738 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.

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.

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.

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.