Abstract: Systems and methods for validating electrical network models are provided. Systems include a memory configured to store electrical network model data for an electrical network. The electronic device also includes data processing circuitry configured to define in the memory an electrical network model object based, at least in part, on the electrical network model data. The data processing circuitry is further configured to create copies of the electrical network model object in the memory, wherein each copy of the electrical network model object corresponds to a respective set of rules, and wherein each set of rules independently defines a plurality of constraints relating to at least a portion of a plurality of parameters of the electrical network. The data processing circuitry is further configured to determine, in parallel, whether each copy of the electrical network model object is valid with respect to the corresponding set of rules.

Abstract: A service provision quality control device according to the present invention includes a simulation processing unit which predicts a group of state predicting vector values on the basis of vector values of a current state and a past state of measurement statistic, a judging unit which judges whether a control operation is necessary or not on the basis of the state predicting vector value and a target state vector value whose control target is agreed service level, and an adjusting unit which adjusts evaluation condition of an execution environment repeatedly until control deviation becomes not larger than a predetermined value under the condition that iteration number is not larger than a predetermined value which is corresponding to an upper limit value.

Abstract: The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.

Abstract: An automatic three-phase unbalanced load compensation experimental device includes an automatic compensation device, a load simulation part, and detection, display and control parts. The automatic compensation device includes power capacitors and intelligent grouping compound switches. The detection, display and control part includes a plurality of current transformers, molded case circuit breakers, a three-phase digital display ammeter, a three-phase electric power monitoring instrument, a protocol conversion module, RS-485 buses, Ethernet cables and an upper computer. The load simulation part includes phase A, B and C loads which are in star connection and are same in component and circuit connection, an analog output module and a relay output module. A power monitoring instrument and digital ammeter are connected to the grid by circuit breaker and the plurality of current transformers. The automatic compensation device and load simulation part are connected to the grid in parallel.

Abstract: Systems and methods for monitoring and analyzing components and operation of a simulated network environment including a module configured for storing a predetermined baseline for the simulated network environment, monitoring the simulated network environment during one or more operations, analyzing the monitored operations and the impact of the operations on one or more components of the simulated network environment, and comparing at least one of the monitored operations and impacts of the operations against the predetermined baseline.

Abstract: A climate control system for a building includes air conditioning systems and ventilation (HVAC) systems. The system is controlled by determining sensible cooling and heating rates using temperature differences at inlets and outlets at evaporators, as well as moisture absorption, moisture desorption, ventilation influences, human activities, and condensation at the evaporator. Humidity differences and temperature differences are determined as driving forces for moisture absorption, desorption, and temperatures and humidities of interior fabrics. The differences are obtained from a thermal circuit model. A latent cooling rate is determined using the humidity differences. The model integrates a temperature model and a humidity model for jointly predicting temperatures and humidities for operating the HVAC systems using a mass transfer process.

Abstract: A method for modeling a conductor in a substrate and a dielectric coating formed between the conductor and the substrate includes meshing a surface of the conductor into multiple conductor cells, each cell including a corresponding node in network topology, modeling a first displacement current flowing from each cell through the substrate, and modeling a second displacement current flowing from each cell through the dielectric coating. Modeling the first displacement current includes determining a first branch connecting the node corresponding to each conductor cell to ground, the first branch having at least a first capacitance. Modeling the second displacement current includes determining a coating capacitance connected in series between the node corresponding to each conductor cell and the first branch, the coating capacitance representing a capacitive effect of the dielectric layer.

Abstract: A method for designing a secondary sub-system for monitoring the condition of a platform is disclosed. The platform can include one or more primary sub-systems. The method can include identifying stakeholders of the platform, capturing information requirements of the stakeholders, determining data requirements corresponding to the information requirements, defining a sensor array comprising sensors suitable for providing output signals relating to condition characteristics of the one or more primary sub-systems, and defining procedures for converting the output signals from the sensor array to the data requirements, thereby to fulfil the information requirements of the stakeholders. The method can be implemented using a design tool having a graphical user interface with a hierarchical layer structure.

Abstract: Methods, systems, and computer readable media for modeling a workload are disclosed. According to one method, the method occurs at a computing platform. The method includes providing for user configuration of a file system associated with a device under test (DUT), providing for user configuration of at least one emulated user, and providing for user configuration of interaction behavior between the at least one emulated user and the file system.

Abstract: Methods, systems, and computer-readable and executable instructions are described herein. One method includes identifying a number of structural rules of an area utilizing a map of the area, determining a placement for each node of a number of nodes of a node network on the map of the area utilizing a node placement model, identifying a placement of a node among the number of nodes that deviates from a structural rule among the number of the structural rules, and providing an indication of the node on the map of the area.

Abstract: A system and methods are provided for verifying a hardware design for an electronic circuit. The method may include: providing a hardware design description for the electronic circuit; extracting a set of design constraints from the hardware design description, where the set of design constraints represents the electronic circuit in terms of signals and logical operations performed on the signals; creating an abstraction model from the set of design constraints, where the abstraction model abstracts one or more of the logical operations in the set of design constraints by replacing the abstracted logical operations with uninterpreted functions; and property checking the abstraction model in relation to one or more design properties. When a violation in the electronic circuit is detected by the property checking step, the feasibility of the violation is then checked and, if the violation is deemed infeasible, the abstraction model is refined.

Abstract: Techniques for tuning systems generate configurations that are used to test the systems to determine optimal configurations for the systems. The configurations for a system are generated to allow for effective testing of the system while remaining within budgetary and/or resource constraints. The configurations may be selected to satisfy one or more conditions on their distributions to ensure that a satisfactory set of configurations are tested. Machine learning techniques may be used to create models of systems and those models can be used to determine optimal configurations.

Abstract: The disclosure contains descriptions of various methods and systems for accelerating the execution of a virtual prototype simulation. Acceleration may be achieved, for example, by providing two or more redundant virtual communication paths for access made by virtual models of a virtual prototype of a hardware design to provide for both accelerated access transactions and time-accurate access transactions. A model having such redundant virtual communication paths is referred to herein as a “multimode model.

Abstract: A configuration tool includes a tangible, non-transitory computer-readable medium having computer-executable instructions for configuring a model of a technical system and displaying the model on a display connected to a computer. The model includes at least two model components. Each model component has at least one port. Each model component is displayable in an expanded component representation on the display. The at least one port of each model component is connectable to at least one port of another model component by port association lines. Each model component is displayable in an expanded line representation on the display along with the at least one port and the port association lines of each model component. At least for one selected model component the port association lines connected to ports of the selected model component can be selected to be displayed in a reduced line representation.

Abstract: A device for monitoring operation of a plurality of system assets includes a storage device configured to store a model of a plurality of system assets, wherein the model includes a plurality of asset images associated with the system assets, and a plurality of component connections representative of a plurality of conduits coupled to the system assets. The device also includes a processor coupled to the storage device. The processor is configured to display the plurality of asset images and to display the plurality of component connections. The processor is also configured to select an asset image, display a status of a system asset associated with the selected asset image, and automatically display a representation of at least one of a process flow entering the system asset and a process flow exiting the system asset when the asset image is selected.

Abstract: The invention provides a method and system for quantitative determination of cooling characteristics of a data center by calculating thermal influence indices. The invention further provides a method and system for providing effective thermal management in a data center using quantitative determination of cooling characteristics of a data center.

Abstract: Automatically translating a building architecture file format (Industry Foundation Class) to a simulation file, in one aspect, may extract data and metadata used by a target simulation tool from a building architecture file. Interoperability data objects may be created and the extracted data is stored in the interoperability data objects. A model translation procedure may be prepared to identify a mapping from a Model View Definition to a translation and transformation function. The extracted data may be transformed using the data stored in the interoperability data objects, an input Model View Definition template, and the translation and transformation function to convert the extracted data to correct geometric values needed for a target simulation file format used by the target simulation tool. The simulation file in the target simulation file format may be generated.

Abstract: A method for visually verifying an implementation of a design is described. The method includes integrating logical design data, physical design data, and physical implementation data into a common data format and graphically displaying the commonly formatted data to provide a visualization of the design, the visualization including a spatial context component associated with the physical implementation data.

Abstract: An emulation system integrates multiple custom prototyping boards for emulating a circuit design. A first custom prototyping board including at least one FPGA and an interface connected to a first set of wires coupling to the at least one FPGA. A second custom prototyping board includes at least one second FPGA and an interface connected to a second set of wires coupling to the at least second FPGA. An adaptor board connects to the first custom prototyping board and the second custom prototyping board through the first interface and the second interface. The adapter board controls emulation of the circuit design and controls communication through the partitioned circuit using at least one of the first set of wires and at least one the second set of wires.

Abstract: A method is disclosed for simulating user load and evaluating performance and/or capacity of SBC or VDI datacenter infrastructure. The method runs workloads on a virtual desktop infrastructure for an increasing number of virtual users. When the average response time of the infrastructure to performed operations exceeds a predetermined threshold, the number of simulated users at that time may be considered the capacity of the infrastructure.

Abstract: A system, method and apparatus arranged for early-stage reliability-growth models for predicting project reliability at an early stage. These predictions can integrate with an overall system reliability model. Embodiments include predicting reliability of hardware, software, or any other engineering project.

Abstract: A method includes simulating operation of a fiber optic gyroscope during a digital simulation. The simulation includes performing an iterative loop that includes simulating an intensity of light from a fiber coil of the fiber optic gyroscope and simulating operation of one or more control loops within the fiber optic gyroscope using the simulated intensity of the light. The intensity of the light is simulated using a sine/cosine function based on at least one angular rate-related effect injected into the simulation as a Sagnac phase shift. The simulated operation of a first of the one or more control loops attempts to reduce or eliminate the Sagnac phase shift. The method also includes storing, outputting, and/or using results of the simulation. The at least one angular rate-related effect could include rotation of the fiber coil and/or mechanical vibration of the fiber coil.

Abstract: In connection with a machining program used in machining a workpiece by means of a machine tool controlled by a numerical controller, interpolation data, a command position point sequence, and a servo position point sequence for each processing period are determined by simulation by designating speed data for giving a machining speed and precision data for giving a machining precision. A predicted machining time for workpiece machining is determined based on the determined interpolation data, and a predicted machining error for workpiece machining is determined based on the determined command and servo position point sequences. Further, the precision data and the speed data are determined for the shortest predicted machining time within a preset machining error tolerance, based on a plurality of predicted machining times and a plurality of predicted machining errors.

Abstract: A simulation environment is provided for running a process simulation used to validate an industrial control program. The simulation environment exposes the I/O module configurations defined in the control program and retrieves module configuration information therefrom. This I/O module configuration information is combined with generic, module-specific I/O module profiles to create a pool of available controller I/O points, which can be selectively associated with I/O points in the simulation to create an I/O point mapping. During control program validation, simulated I/O data is exchanged between the process simulation and the I/O module instances in the controller in accordance with the I/O point mapping. A variation of these techniques for use with cloud-based emulations is also described.

Abstract: Embodiments of the present invention provide a semiconductor sensor reliability system and method. Specifically, the present invention provides in-situ positioning of a reliability sensor (hereinafter sensors) within each functional block, as well as at critical locations, of a semiconductor system. The quantity and location of the sensors are optimized to have maximum sensitivity to known process variations. In general, the sensor models a behavior (e.g., aging process) of the location (e.g., functional block) in which it is positioned and comprises a plurality of stages connected as a network and a self-digitizer. Each sensor has a mode selection input for selecting a mode thereof and an operational trigger input for enabling the sensor to model the behavior. The model selection input and operation trigger enable the sensor to have an operational mode in which the plurality of sensors are subject to an aging process, as well as a measurement mode in which an age of the plurality of sensors is outputted.

Abstract: A simulation instructing unit instructs a simulation unit, which generates signal characteristics, to generate the signal characteristics. A characteristic value extracting unit extracts, from the signal characteristics, characteristic values for distinguishing between a signal characteristic generated by setting a first simulation parameter and a signal characteristic generated by a second simulation parameter. A simulation parameter determining unit determines a first mapping relationship from the characteristic values to the simulation parameters with the characteristic values obtained by setting a plurality of set values in the simulation parameters and with the set values.

Abstract: A computer-implemented method may include receiving transition information indicative of transition rates associated with a plurality of communication links in a network, wherein the network includes a plurality of nodes, the plurality of communication links, and a communication path between a first node and a second node of the plurality of nodes. In one embodiment, the communication path uses at least two of the plurality of communication links. The method may include generating biased transition information indicative of biased transition rates, wherein the biased transition rates are greater or less than the indicated transition rates and simulating the network, based on the biased transition information, until a transition associated with one of the communication links causes the communication path to transition to a different state. A network reliability parameter may be determined based on the simulation of the network.

Abstract: Systems and methods comprise a network in which a mobile device is configured as an input/output interface for a user such that actual processing, storage and network interfaces are performed or provided by a remote server.

Abstract: A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy.

Abstract: A battery system simulation apparatus that enables a battery system to be stably driven by using simulation data. The battery system simulation apparatus includes a voltage simulator that outputs an imaginary simulation voltage corresponding to a battery included in a battery system, to a battery management unit for controlling the battery, and a simulation verification unit that receives control results of the battery which is generated in dependence upon the imaginary simulation voltage. The control results are transmitted by the battery management unit.

Abstract: The disclosed technology includes systems and methods for modeling signaling and/or connections in a mobile network, and specifically, the benefits of any optimization technique on the traffic including signals and/or connections in the mobile network. Embodiments can allocate signaling to specific applications (e.g., to determine which applications are chatty and which can cause problematic signaling), and/or to further model the optimizations or savings utilizing the disclosed traffic optimization technology. In some embodiments, to enable or enhance the performance of the data traffic and signal optimization for the network, the disclosed technology includes one or more fields (e.g., an expanded “CRCS” fields) that are calculated by, for example, a CRCS analysis core module, to define and identify at least: (1) whether a transaction causes a connection (and thus signaling); and (2) the number of connections that are reduced or saved by the disclosed embodiments of distributed caching and proxy system.

Abstract: Automatically translating a building architecture file format (Industry Foundation Class) to a simulation file, in one aspect, may extract data and metadata used by a target simulation tool from a building architecture file. Interoperability data objects may be created and the extracted data is stored in the interoperability data objects. A model translation procedure may be prepared to identify a mapping from a Model View Definition to a translation and transformation function. The extracted data may be transformed using the data stored in the interoperability data objects, an input Model View Definition template, and the translation and transformation function to convert the extracted data to correct geometric values needed for a target simulation file format used by the target simulation tool. The simulation file in the target simulation file format may be generated.

Abstract: Accurate simulation of two-terminal resistive random access memory (RRAM) behavior is accomplished by solving equations including state variables for filament length growth, filament width growth, and temperature. Such simulations are often run in a SPICE environment. Highly accurate models simulate the dynamic nature of filament propagation and multiple resistive states by using a sub-circuit to represent an RRAM cell. In the sub-circuit, voltages on floating nodes control current output while the voltage dropped across the sub-circuit controls growth and temperature characteristics. Properly executed, such a sub-circuit can accurately model filament growth at all phases of conductance including dynamic switching and a plurality of resistive states.

Abstract: Approaches for simulating a photolithographic process are provided. Specifically, provided is an optical proximity correction (OPC) model that includes kernel parameters corresponding to inter-layer activity and an etch process for a connecting via of an integrated circuit (IC). A resultant intensity is determined for a corresponding plurality of process variations corresponding to the interlayer activity and the etch process. As such, the OPC model considers both interlay activity and etch process.

Abstract: A method for generating a power model for a device includes identifying a device-level set of power contributors for a given state of the device, wherein each power contributor in the device-level set of power contributors contributes to power dissipation when the device is in the given state, and generating the power model for the device based on the device-level set of power contributors, wherein the power model is independent of process, voltage, and temperature.

Abstract: Physical systems modeled by matrix equations may simultaneously be simulated for multiple excitations using, for example, an adaptive Krylov iterative recycling method.

Abstract: A security assurance system includes a back-end application and a computing resource. The back-end application receives a selection of a network security product that is associated with a protected network, and receives a selection of a threat from a plurality of threats stored on the security assurance system. The computing resource launches an evaluation of the security product based upon the threat, and reports to a user of the security assurance system a result of the evaluation.

Abstract: A system and methods emulate an application executing in real time in a mobile device. The mobile device is emulated in real time using a model running on a processor extrinsic to the mobile device. The model is based on characteristics indicative of performance of the mobile device. The application is executed in real time within the model and the application executing in the model is monitored to determine resource utilization information by the application for the mobile device. The resource utilization information for the mobile device is displayed.

Abstract: A method, apparatus, and computer program for simulating a sensor device are disclosed.

Abstract: A method and system for predistorting signals provides a test signal to model a non-linear component. Model kernels representative of static and dynamic parts of the model are extracted from an output of the non-linear component responsive to the test signal. The dynamic part represents memory effects of the non-linear component. The model kernels are then used to calculate an inverse memory model component model. An input signal is predistorted using the inverse memory model.

Abstract: An ISS (instruction set simulator) debugging method. The method includes executing a plurality of instructions of an ISS (instruction set simulator). For each instruction, an ISS simulation state is synchronized to a simulation time when the execution of the instruction is finished. At least two debugger components are executed in conjunction with the execution of the ISS, wherein the debugger components are each coupled to control the ISS.

Abstract: In an illustrative embodiment, an apparatus, computer-readable media, or method may be configured to suggest determine relationships. Interaction with a block diagram model may include receiving a first portion of a block diagram model. The block diagram model may include a plurality of blocks. Each of the plurality of blocks may represent a set of dynamic equations. The interacting may be performed using the computer. Relationships between a plurality of a synthesized input, a synthesized output, a synthesized state, or a synthesized derivative, may be determined. A determination may be performed for the first portion of the block diagram model. The determining may include determining a block Jacobian pattern of relationships between two or more of an input, an output, a state, or a derivative of a first block of the plurality of blocks in the graphical model.

Abstract: A computing system, interface and method for generating a model of a physical system. The method includes automatically collecting information about the physical system to generate an extended topology map of the physical system; automatically storing the extended topology map in a database; automatically processing the extended topology map to generate a model topology; and automatically generating, based on the model topology of the physical system, a simulation model or a virtualized model of the physical system.

Abstract: Systems and methods that efficiently simulate controlled systems are presented. A simulation management component (SMC) controls simulation of a controlled system by controlling a desired number of nodes, each comprising a controller (e.g., soft controller) and a simulated component or process, which are part of the controlled system. The simulation can be performed in a step-wise manner, wherein the simulation can comprise a desired number of steps of respectively desired lengths of time. For each step, the SMC dynamically selects a desired clock (e.g., currently identified slowest clock) as a master clock for the next step. The SMC predicts a length of time of the next step to facilitate setting a desired length of time for the next step based in part on the predicted length of time. As part of each step, components can synchronously exchange data via intra-node or inter-node connections to facilitate simulation.

Abstract: An abstract trace may be defined based on a coverage goal. An execution of a System Under Test (SUT) is guided in accordance with the coverage goal. Non-deterministic decision, which correlates to receiving a stimulus to the SUT, is decided based on a probability function. After one or more executions, the probability function is modified based on a measurement of similarity between the abstract trace and each of the one or more executions. The modification of the probability function may be performed using on Cross-Entropy method. The modification is performed in order to cause determination of non-deterministic decisions in executions to better correlate with the abstract trace. In some exemplary embodiments, a determination whether the abstract trace is reachable is determined based on a rate of convergence of the executions to the abstract trace.

Abstract: Provided is a method for structuring hardware information in computer system, including: modeling Target Independent Model (TIM), which is independent from a hardware; structuring hardware information based on Meta Object Facility (MOF)-Hardware Component Modeling Language (HCML); and transforming the TIM into a Target Specification Model, which depends on the hardware, based on the structured hardware information and the model transformation language, wherein the step of structuring hardware information based on Meta Object Facility (MOF)-Hardware Component Modeling Language (HCML), comprises: defining a MOF-based Hardware Component Modeling Language (HCML) meta-model; and defining a model by using a meta-model of the HCML and representing architecture information on the model.

Abstract: A circuit is simulated by using distributed computing to obtain a real solution. The circuit may be an entire integrated circuit, portion of an integrated circuit, or a circuit block. A circuit simulation technique of the invention generates a system graph, finds a tree, and partitions the tree into two or more subtrees. The technique identifies global links and local links in the graph. Each subtree may be solved individually using distributed, parallel computing (e.g., using multiple processor cores or multiple processors). Using the results for the subtrees, the technique obtains a real solution, branch voltages and currents, for the circuit.

Abstract: Executing a simulation of a computer platform, the simulation including simulation models. A dynamic quantum is accessed whose current value specifies a maximum number of units of execution a simulation model is allowed to perform without synchronizing with another simulation model. The dynamic quantum may be received from a user. Respective simulation models are invoked for execution with the current value of the dynamic quantum provided to each of the simulation models. The method also comprises modifying the value of the dynamic quantum based on a simulation event.

Abstract: A method and apparatus for managing, modeling, predicting, allocating and utilizing resources and bottlenecks in a computer network managing, predicting and displaying of capacity, allocating and utilizing of resources, as well as actual and potential performance-degrading resource shortages in a computer network, is provided. Specifically, exemplary implementations of the present invention provide a method, system and apparatus for calculating, detecting, predicting, and presenting resource allocation, utilization, capacity bottlenecks and availability information, in a computer network, particularly in a virtualized computer environment.

Abstract: A method of generating system level power information for an embedded application configured to execute on a multi-core system-on-chip (SoC), which includes configuring a simulation model of hardware of the SoC that executes the embedded application; loading one or more software components of the embedded application into the simulation model of the SoC hardware; executing the one or more software components of the embedded application on the simulation model, and extracting state information about both the software components of the embedded application and hardware components of the SoC; determining, from the hardware state information, per-cycle energy values for the hardware components of the SoC; and creating a power profile from the software state information by accumulating the per-cycle energy values and assigning the per-cycle energy values to corresponding software components.