736 results about "Software simulation" patented technology

A software simulation method and program storage device for software defect detection and obtaining insight into software code is disclosed, where simulation consists of executing target software program code for multiple input values and multiple code paths at the same time, thus achieving 100% coverage over inputs and paths without actually running the target software. This allows simulation to detect many defects that are missed by traditional testing tools. The simulation method runs a plurality of algorithms where a plurality of custom defined and pre-defined rules are verified in target software to find defects and obtain properties of the software code.

A simulacrum security device and methods. In one embodiment, a simulacrum or likeness of a physical security device is provided for use in conjunction with a software emulation of the security device. In one implementation, a “faux SIM card” is provided that does not contain Subscriber Identification Module (SIM) information itself, but instead enables a user to download Electronic SIM (eSIM) information (e.g., from a network or eSIM server) which is loaded into a software emulation of a Universal Integrated Circuit Card (UICC) device. The faux card is printed with an activation code, scan pattern, or other activation or access information. The subscriber purchases the faux card, and enters the activation code into a device; the entered activation code enables the device to log onto a network, and download the appropriate eSIM data. Delivery of eSIM information as enabled by the faux card addresses deficiencies in existing SIM distribution schemes, provides users with an enhanced perception of security, and further addresses various legal requirements.

A method and system for simulating computer networks and computer network components to test computer network security is disclosed. A user specifies a desired configuration of a simulated computer network by using a configuration manager. The user also defines all the network components within the simulated computer network by specifying whether a component should be provided in hardware or should be simulated via software. Upon receiving the above-mentioned information from the user, the configuration manager acquires the required hardware resources from a hardware inventory. The configuration manager utilizes an interface switch that connects the hardware in the hardware inventory to produce the desired network layout. Next, the specified configuration for each of the network components is pushed into the acquired hardware resources. Computer network components to be simulated with software are subsequently initialized by the configuration manager. At this point, the user can use the simulated computer network for real-time testing of network security.

The invention relates to an intelligent teaching system based on VR (virtual reality) technology. The system includes a cloud platform side, a teacher side, and a student side; the teacher side and the student side are in communication connection with the cloud platform side; the cloud platform side is responsible for the data exchange, statistics and management of the teacher side and the student side; the teacher side is the middle control end used by a teacher during the teaching for opening or closing the teaching resource displayed at the student side and controlling the playing and pausing of the video content of the student side; and the student side includes an instruction receiving module, a high-performance host, a wireless communication module, a virtual reality display module, a virtual reality handheld interaction module, and a virtual reality positioning module. The system solves the problems of lack of hardware resources, unbalanced hardware resources, and bad software simulation effect in the teaching and training links in the basic education and vocational education fields.

Partially opaque intellectual property (IP) includes source code providing the IP functionality. Meta-comments (pragmas or attributes) are provided with the source code to enable visibility of one or more nodes in the IP. Aliasing of the visibility-enabled nodes may also be provided for using meta-comments in the IP source code. The visibility-enabled nodes may be used by system designers in debugging a system design in either a software simulation environment and/or in debugging of a hardware device implementing the partially opaque IP.

The invention relates to a fiber temporary plugging turnaround fracture method capable of improving low permeability tight sandstone oil and gas well production capacity, which comprises steps: 1 wells and layers which can carry out fiber temporary plugging turnaround fracture are selected; 2 perforation intervals and perforation parameters are selected; 3 fracture construction parameters and fracture construction pump sequence are optimized and determined; 4 fiber temporary plugging diversion agent addition, fiber addition speed in construction and crack turnaround plugging pressure are counted; 5 crack closing time, crack closing pressure and prepad fluid amount are simulated and counted; and 6 original cracks are plugged by utilizing fiber temporary plugging diversion agent, and are turned to fracture stage construction after being turned over. The fiber temporary plugging turnaround fracture method capable of improving the low permeability tight sandstone oil and gas well production capacity can be widely applied to improve fracture of low permeability tight sandstone multiple storage layer oil and gas wells, and improves reforestation effect of storage layers by counting software simulation, optimizing fracture construction parameters and increasing fibers. Compared with prior art, the fiber temporary plugging turnaround fracture method capable of improving low permeability tight sandstone oil and gas well production capacity has low construction cost, strong controllability and excellent pressure effect, and is 2-4 time of adjacent well productivity.

A system for applying distributed software simulation techniques to hardware emulation may include a first hardware emulator mounted on a first expansion board at a first host, and a second hardware emulator mounted on a second expansion board at a second host. The first hardware emulator may be configured to emulate a first portion of a system under test, and the second hardware emulator may be configured to emulate a second portion of the system under test, and the first and second hardware emulators may coordinate an emulation of the system under test using one or more messages, i.e., a coordination of an emulation of the system under test may be accomplished using communications between the first and second hardware emulators.

A system and method is provided to improve software simulation. A software emulator is used in conjunction with a hardware simulator. A special snapshot instruction is included in the software code that is emulated. When the snapshot instruction is encountered, values such as register, memory, and program stack values, are stored creating an initial snapshot. Code continues to be emulated and, when the next snapshot instruction is encountered, the values are written to create a second snapshot. The initial values are used to set an initial state in a hardware model that is simulated on a hardware simulator. The results of the hardware simulation are compared to the second snapshot to uncover software errors and/or hardware errors so that the software can be modified or the hardware design can be modified. Multiple sets of snapshots can be taken to analyze multiple sections of the software program.

A system and method for development of a computer application and of a computer application simulation is disclosed. During execution of a program, a processor may identify one or more object class instantiations that are associated by the program with a program state obtained during the execution of the program, may store in a file a description of the identified object class instantiations, where at least a portion of the execution of the program is simulatable based on the file, and may modify the first file in response to a user interaction with a graphical representation of one of the described object class instantiations, where a modified version of the portion of the execution of the program is simulatable based on the modified first file.

A method of representing n-dimensional parametric surfaces (animated shapes) is provided that expresses all shapes in a consistent manner to reduce storage requirements, support deformation and simplify interaction between shapes. The method, a version of sweeps, represents shapes using a unique combination of three discrete types of (piecewise polynomial) curves: spine (sweeping) curves, slice (section) curves, and lathe (plane) curves, which are combined to create surfaces. The curves required to make simple 3D primitives (i.e. torus, sphere, cube and pyramid) are themselves simple 2D primitives (i.e. line, circle, square, triangle). The storage size of this system's shapes is exponentially smaller than the size of polygonal versions of the same shapes (as a function of the number of polygons). Complex models can be broken into multiple shapes, which are arranged in a tree hierarchy. The shapes of this invention can be tiled with other shapes of this invention (i.e. a row of smokestacks made of bricks). The shapes of this invention can smoothly travel on other shapes of this invention (i.e. a football rolling over arbitrary terrain). This invention supports fast, intuitive creation of shapes such as hand-drawn shapes. This invention is a closed system, providing a suite of operations that can occur in arbitrary order sans approximation errors. When scenes are constructed of parametric building blocks, each represented with the same universal formula, a suite of advanced operations becomes available, providing support critical to advanced software simulations.

A computerized system for performing a simulated medical procedure, comprises: (a) a physically simulated interventional instrument that looks and feels like an endoscope, for providing user input to a computer simulated medical angioplasty procedure; (b) a motion detector circuit to provide navigation signals representative of the movement of the physically simulated interventional instrument, the motion detector comprising a laser radiation detector, used for determining the location of the interventional instrument in a predetermined area in proximity to the detector and a laser radiation emitter used for emitting a laser beam toward the predetermined area; and (c) a movement calculation unit receiving the navigation signals from the motion detector circuit, and programmed to update the position of a corresponding software simulation of the interventional instrument. A tactile feedback mechanism may be included for providing simulated tactile feedback back to the physically simulated interventional instrument according to the calculated position of the software interventional instrument in the computer simulation.

Systems and methods facilitate accurate and rapid simulation of software by periodically saving simulation states and design stimuli for use as a replay model. Divergences from the stored information may be detected during subsequent re-executions, which can in turn be run using the saved stimuli and states.

The invention provides a software simulation verification method based on a Cache coherence protocol. According to the method, pseudo random test which is capable of compiling constraint models and also carrying out band constraint in a manual mode is subject to software simulation and verification; specific objects are verified, and the accuracy and defect of the protocols are fed back. The method based on software simulation comprises the following steps of: firstly determining a multi-stage coherence description mode based on an expanded Cache Coherence protocol; and subsequently realizing the software simulation verification method, counting the coverage rate and carrying out error report. With the adoption of the method, the Cache Coherence protocol in multi-stage domains in a multi-state space can be verified effectively so as to enable a protocol table to realize the establishment of corresponding logic relationship, judge whether the state transition of a system in accordance with the protocol table accords with the coherence definition through an overall checker, and primarily judge whether a mode established in accordance with the protocol table has expected properties. The model system has the remarkable advantages that counter-examples can be generated automatically so as to assist in debugging errors of the system and accelerating system diagnosis and debugging.

The invention discloses a method for machining a perforated structure form luneberg lens and relates to the technical field of manufacturing of a perforated luneberg lens antenna. The method mainly comprises the following steps of designing parameters, such as the caliber, a layer number along the radial direction, the number of each layer of holes, and the shape of the holes, of the perforated structure luneberg lens, through electromagnetic software simulation; according to the designed parameters, adopting large 3D (three-dimensional) software to model the perforated structure form luneberg lens antenna; guiding the built model into 3D printing equipment, and preparing the perforated structure form luneberg lens by 3D printing technology. The method is high in machining precision, high in efficiency and low in cost, is not affected by a gap layer, and is particularly suitable for machining the whole perforated luneberg lens.

The invention relates to a design method of a virtual testing system of a network device. The method is realized by using the network chip and testing instrument in a software simulation network device, wherein the analog network chip and analog testing instrument both run on virtual machine, the network ports of the analog network chip and the analog testing instrument are mapped to the network ports of the virtual machine, and the network ports of the virtual machine adopt virtual connection. From the user's perspective, the processing to messages by the analog network chip is the same as the processing to messages by the real network chip except for the parts which are not considered in virtual test such as the processing speed which may be different from that of the real network chip; the analog network chip can be used to provide API for system software to interact; and the analog testing instrument can be used to transmit messages, receive messages and analyze message results according to the configuration of the user. The method of the invention can largely save the testing cost of the network device and find problems in diagnostic test easily and conveniently.

The invention discloses a laboratory simulation detection device for a low-voltage meter reading system and aims to provide the laboratory simulation detection device for the low-voltage meter reading system, wherein the laboratory simulation detection device can carry out comprehensive test on all independent collecting equipment of the low-voltage meter reading system and the whole low-voltage meter reading system and can evaluate the data collecting and communication ability of the low-voltage meter reading system under the site environment in the laboratory environment. The laboratory simulation detection device comprises a to-be-detected product group, an equipment basic-parameter testing unit, a carrier wave launching testing unit, a receiving sensitivity testing unit, an interference signal simulation module, a relay routing simulation module, a reactive power compensation simulation module, a line impedance simulation module, a testing unit and simulation module control system, a testing device master station platform, a testing device master station control software and a power supply. In the laboratory simulation detection device, the software simulation technique and the hardware simulation technique are adopted to carry out the comprehensive test on all the independent collecting equipment of the low-voltage meter reading system and the whole low-voltage meter reading system, and the data collecting and communication ability of the low-voltage meter reading system under the site environment can be evaluated under the laboratory environment.

Method and device for checking logical software engines for commanding railway plants, particularly station plants, include at least a computer with at least a central processing unit and at least a memory for loading and executing programs, a logical engine for commanding a plant, particularly a station plant, being loaded or loadable in said memory for its execution, which plant comprises a plurality of operating units for actuating and/or detection and/or measurement and/or signalling, so-called wayside equipments, which units are provided for receiving command signals and for transmitting control signals about the operating condition, and which logical software engine reads control signals given by the operating units for actuating and/or detection and/or measurement and/or signalling and its processes command signals of said operating units based on an operation protocol of the plant itself. According to the invention, in the computer memory there is loaded or loadable and is executable by the computer a software simulation program of the plant that must be controlled and commanded by the control and command logical program, which simulation program reproduces faithfully the plant structure and the operating modes of the operating units provided in said plant.

The invention discloses a semi-physical real-time simulation system of an airplane reverse thrust hydraulic unit. A closed loop testing system mainly comprises a computer, a programmable logic controller (PLC) hardware platform, an input device, and a software simulation device arranged in the computer; submodels of a hydraulic system are built by utilizing a hydrokinetics and electronic control theory, and then each simulation submodel forms the software simulation device; the PLC hardware platform performs parameter control and logic control to the software simulation device according to a state signal of the input device, and the output quantity of the software simulation device is shown in the computer by a digital and cartoon mode and also used as a feedback signal to be fed back to the PLC hardware platform through a communication interface. The invention can test and analyze various parameters of the airplane reverse thrust hydraulic unit without preparing the hydraulic unit, thereby greatly shortening the developing and analyzing periods of the reverse thrust hydraulic unit, improving the design quality and reducing the test expense.

The invention discloses a GPRS (General Packet Radio Service) core network simulation and test system applied to the field of mobile phone network testing. The system comprises a system access module, a system configuration and management module, a service test and management module, an alarm and management module and a fault analyzing and positioning module, wherein the system access module is accessed into a network through a simulated core network element and a hardware interface; and the service test and management module is used for issuing a test task, transferring a mobile phone simulated by the system configuration module to generate signaling and sending the signaling to the core network for testing through the simulated network element for testing. In the system, the simulated mobile phone and core equipment before an access point are used for testing, which crosses a wireless network and avoids the occupation to wireless network resources and the influence of the wireless network on a testing result. Meanwhile, in the method of the invention, a GPRS terminal quantity and a high-intensity test task are generated through software simulation, thus the system expansion cost is relatively lower.

The invention relates to a satellite signal simulation technology and a virtual instrument technology, and discloses a housekeeping software simulation test system based on technology of a virtual instrument. The housekeeping software simulation test system comprises an industrial personal computer, an analog/digital signal input and output card, a serial port card, a CAN (Controller Area Network) bus card, and an FPGA (Field Programmable Gate Array) high-speed transmission card, wherein the industrial personal computer is connected with the cards, and the cards are connected with a housekeeping computer. The simulation test system functionally comprises a satellite separation module, a direct remote control module, an analog quantity telemetering module, a remote control digital input module, a telemetering reception and analysis module, a programmable command receiving module, a GPS (Global Position System) second signal module, a time reference module, a CAN data simulation module, a data transmission module and a serial port communication module. The housekeeping software simulation test system is formed by frame type hardware, and is programmed by the flexible software modules. Compared with the prior art, the housekeeping software simulation test system has the beneficial effects of being simple in structure, convenient to operate, short in development period, being widely suitable for various types of housekeeping software, and meeting flexibly-changed dynamic tests and nonstandard signal tests.

The invention relates to a processing method for transmitting and receiving UART (universal asynchronous receiver/transmitter) communication interface data through software simulation in an embedded system. The method for achieving a plurality of UART communication interfaces through software simulation, provided in the invention, comprises a data receiving method and a data transmitting method, wherein baud rate timing is accurately achieved by a timer interruption function of a timer, and both transmitting and receiving are performed under the control of timer interruption. In the invention, for simulating one UART communication interface, only one timer, two I/O (input/output) ports and one software interrupt are required. For simulating a plurality of UART communication interfaces, the timer and the software interrupt are shared. Therefore, once one UART communication interface is added and expanded, only two I/O ports are required to be added. According to the invention, UART communication interfaces can be achieved through software simulation.

The invention discloses a time synchronizer applied to protective test equipment of a power system. The time synchronizer is characterized in that the time synchronizer is provided with a wireless control host machine with a master clock time synchronization hardware module, wherein the wireless control host machine is directly connected with a software simulation platform of an upper computer, and a slave clock time synchronization hardware module is arranged in a protective test terminal. Time synchronization between the master and slave clock time synchronization hardware modules is implemented through a wireless communication application IEEE (Institute of Electrical and Electronic Engineers) 1588 time synchronization protocol. According to the technology provided by the invention, the wireless IEEE1588 time synchronization protocol is applied to a secondary side test protective device of a transformer substation of the power system, so that a network signal of a mutual inductor obtained by simulation is synchronously output in real time, in this way, a signal network output of the power system can be stimulated more authentically so as to test a plurality of secondary side test protective devices of the transformer substation at the same time.

The invention provides a high-efficiency phase unwrapping method based on a deep convolutional neural network. The method comprises the following steps: step 1, acquiring data of wrapped phases and phase wrapping times through software simulation, and establishing a training sample database according to the data; step 2, constructing a deep convolutional neural network with a residual path by utilizing a convolutional layer, a pooling layer, batch normalization, an activation function ReLu, an upper sampling layer and a Softmax classifier; step 3, preprocessing the data set obtained in the step 1, taking the preprocessed image as training data, and training a deep convolutional neural network model to obtain network model parameters; and step 4, inputting a to-be-expanded wrapped phase, expanding the wrapped phase by using the convolutional neural network model in the step 3, and visualizing the wrapped phase. According to the method, the construction problem of the sample database issolved, and high-precision phase unwrapping is realized on the premise of ensuring the measurement efficiency.