276 results about "Logic analysis" patented technology

A method and system for modifying computer program logic with respect to a predetermined aspect, comprising (a) before run time: analyzing compiled computer program logic of a module for processes involving the predetermined aspect before run time, substantially without decompilation or reference to computer program source code; and storing a set of modifications relating to computer program logic modifications of the module relating to the predetermined aspect; and (b) at run time: based on the stored set of modifications, selectively transferring program control from the module to a separate logical structure, executing modified logical operations with respect to the predetermined aspect, and subsequently returning program control to the module. The predetermined aspect may be, for example, a data type, algorithm type, or interface specification. In a preferred embodiment, the predetermined aspect is date related data, and more particularly, to logical operations relating to date related data which are flawed. The system preferably operates in a mainframe environment, wherein the compiled computer program constitutes one or more load modules, executing under an operating system, wherein the computer program logic modifications preferably comprise program flow control diversions in an original object module, which selectively transfer logical control to a separate object module to effect modifications to the computer program logic, followed by a return of control to the original object module.

Revealed is an intelligent camera security monitoring, fuzzy logic analyses and information reporting system that includes video / audio camera, integrated local controller, interfaced plurality of sensors, and input / output means, that collects and analyses data and information observations from a viewed scene and communicates these to a central controller. The central controller with fuzzy logic processor receives, stores these observations, conducts a plurality of computer analyses techniques and technologies including face, voice, lip reading, emotion, movement, pattern recognition and stress analysis to determine responses and potential threat of / by a person, crowd, animal, action, activity or thing. This invention recognizes possible terrorists, criminals, enraged or dangerous persons and also can identify a person's level of intoxication or impairment by alcohol or drugs via a new “Visual Response Measure”. The invention provides an intelligent tool to assist security systems and personnel, improving capability to record, display and share information and maintain security.

Methodology of implementing complex behavior recognition in an intelligent video system includes multiple event detection defining activity in different areas of the scene (“What”), multiple masks defining areas of a scene (“Where”), configurable time parameters (“When”), and a configurable logic inference engine to allow Boolean logic analysis based on any combination of logic-defined events and masks. Events are detected in a video scene that consists of one or more camera views termed a “virtual view”. The logic-defined event is a behavioral event connoting behavior, activities, characteristics, attributes, locations and / or patterns of a target subject of interest. A user interface allows a system user to select behavioral events for logic definition by the Boolean equation in accordance with a perceived advantage, need or purpose arising from context of system use.

A non-transitory storage medium including instructions that are executable by one or more processors to perform operations including instrumenting a VM is shown. The VM is used to process an object to determine whether the object is associated with malware. Logic within the VM analyzes memory allocated for a process within the VM for a point of interest (POI), the POI being an address of one of a set predetermined instructions likely to be associated with malware. The VMM detects a memory violation during processing of the object and responsive to detecting the memory violation, injects a transition event at the POI on the page on which the POI is located in memory. Further, responsive to detecting an attempted execution of the transition event, the VMM (i) emulates an instruction located at the POI, and (ii) the logic within the VM performs one or more malware detection routines.

The invention discloses a remote monitoring method and a remote monitoring system based on driving safety. The method comprises the steps that an intelligent automobile data recorder acquires driving behavior information of a driver; the intelligent automobile data recorder performs dangerous behavior analysis on the driving behavior information to acquire dangerous driving behavior information based on the driving safety and submits the dangerous driving behavior information to a cloud server; the cloud server analyzes data on the intelligent automobile data recorder to generate a data report. According to the method, the information such as the driving behavior and an automobile is submitted to the cloud server, so that the whole driving habit of the driver can be marked or graded, monitored and proofed due to logic analysis of the cloud, and the information of the driving behavior and the automobile is effectively monitored and managed; therefore, not only is the driving safety improved, but also the automobile management flexibility is improved. Compared with the prior art, the remote monitoring method and the remote monitoring system have the advantages that only a process of a bad driving behavior which is detected by a vehicle-mounted terminal system is monitored and stored, so that a wireless transmission bandwidth and storage resources of a server are saved.

Method and apparatus for computer-aided assessment of risk, criticality, and vulnerability with respect to a site. The method and apparatus may use multiple factors to determine overall risk. In some embodiments, the method may assess or determine an impact if a site or asset is lost. The method and apparatus may identify and quantify what risks are acceptable and unacceptable. In an embodiment, a method and apparatus may incorporate mathematical evaluations and numeric assignments that result in a criticality vector and a vulnerability vector. In some embodiments, the criticality vector and vulnerability vector may be used to represent a site's overall risk and / or prioritization and ranking relative to other sites.

A system chip has many local blocks including processor cores, caches, and memory controllers. Each local block has a local sample-select mux that is controlled by a local selection control register. The mux selects from among hundreds of internal sample nodes in the local block, and can also pass through samples output by an upstream local block. The selected samples from local blocks are sent to a central on-chip logic analyzer that compares the samples to a maskable trigger value. When the trigger value is matched, a trigger state machine advances, and samples are stored into a central capture buffer. A user debugging the chip can later read out the central capture buffer at a slower speed. Thousands of internal nodes from local blocks can be selected for sampling, triggering, and debugging. Local blocks include valid bits in 64-bit-wide samples. Only valid samples are written to the capture buffer.

Techniques and systems for analysis, diagnosis and debugging fabricated hardware designs at a Hardware Description Language (HDL) level are described. Although the hardware designs (which were designed in HDL) have been fabricated in integrated circuit products with limited input / output pins, the techniques and systems enable the hardware designs within the integrated circuit products to be comprehensively analyzed, diagnosed, and debugged at the HDL level at speed. The ability to debug hardware designs at the HDL level facilitates correction or adjustment of the HDL description of the hardware designs.

The invention aims to provide an intelligent glasses device and method used for performing interaction based on multimodal input and capable of enabling the interaction to be closer to natural interaction of users. The method comprises the steps of obtaining multiple pieces of input information from at least one of multiple input modules; performing comprehensive logic analysis on the input information to generate an operation command, wherein the operation command has operation elements, and the operation elements at least include an operation object, an operation action and an operation parameter; and executing corresponding operation on the operation object based on the operation command. According to the intelligent glasses device and method, the input information of multiple channels is obtained through the input modules and is subjected to the comprehensive logic analysis, the operation object, the operation action and the operation element of the operation action are determined to generate the operation command, and the corresponding operation is executed based on the operation command, so that the information is subjected to fusion processing in real time, the interaction of the users is closer to an interactive mode of a natural language, and the interactive experience of the users is improved.

A set of tools is provided herein that produces useful, proven, and correct integrated semiconductor chips. Having as input either a customer's requirements for a chip, or a design specification for a partially manufactured semiconductor chip, the tools generate the RTL for control plane interconnect; memory composition, test, and manufacture; embedded logic analysis, trace interconnection, and utilization of spare resources on the chip; I / O qualification, JTAG, boundary scan, and SSO analysis; testable clock generation, control, and distribution; interconnection of all of the shared logic in a testable manner from a transistor fabric and / or configurable blocks in the slice. The input customer requirements are first conditioned by RTL analysis tools to quickly implement its logic. The slice definition and the RTL shell provides the correct logic for a set of logic interfaces for the design specification to connect. The tools share a common database so that logical interactions do not require multiple entries. The designs are qualified, tested, and verified by other tools. The tools further optimize the placement and timing of the blocks on the chip with respect to each other and with respect to placement on a board. The suite may be run as batch processes or can be driven interactively through a common graphical user interface. The tools also have an iterative mode and a global mode. In the iterative mode, one or more of the selected tools can generate the blocks or modify a design incrementally and then look at the consequences of the addition, or change. In the global mode, the semiconductor product is designed all at once in a batch process as above and then optimized altogether. This suite of generation tools generates design views including a qualified netlist for a foundry to manufacture.

The invention provides a topology error-preventing checking method based on intelligent identification of a state of equipment. The method comprises the following steps of: based on power grid real-time data, combining an SCADA (Supervisory Control and Data Acquisition) monitoring system to carry out object-oriented partial topology analysis to obtain information and real-time opening / closing states of a circuit breaker, an isolation switch, a bypass disconnecting link / earth wire in an equipment gap; and then, obtaining the state of electrical equipment through a logic analysis and analyzing whether the state of the equipment is normal or not; and obtaining influences to a power grid by equipment operations through analyzing changes of a power system before and after the equipment operations, so as to calculate a checked result and give out a prompt to realize the topology error-preventing checking. According to the invention, an intelligent identification function of the state of the equipment is realized and operation conditions of the equipment gap can be monitored in real time; once erroneous states are found, the system sends out an alarming prompt to accelerate a user to find and correct errors, so as to ensure the safe operation of the power grid. By comparing the changes of the power grid before and after the equipment operations to carry out checking, the accuracy of checking operations is ensured.

A multidimensional dynamic local knowledge map is composed of a resource layer, a meta-knowledge layer, a logic analysis layer and a presentation layer, the resource layer provides resource and data support for the meta-knowledge layer, the meta-knowledge layer uniformly describes the resources and data and provides required knowledge for the logic analysis layer, the logic analysis layer obtains the knowledge required by the user from the meta-knowledge layer and sets up an incidence relation of knowledge points, and the presentation layer converts the knowledge points and the incidence relation into graphic elements and presents the graphic elements for the user. A constructing method of the multidimensional dynamic local knowledge map comprises the six steps of 1, collecting and clearing up various kinds of information, 2, constructing a body for the collected knowledge, 3, packaging the knowledge, 4, utilizing meta data for describing a knowledge object, 5, setting up the incidence relation of the knowledge units to form a knowledge relevance link, and 6, utilizing a visualization technology for conducting multidimensional presentation on the knowledge nodes and the relevance of the knowledge map.

A set of tools is provided herein that produces useful, proven, and correct integrated semiconductor chips. Having as input either a customer's requirements for a chip, or a design specification for a partially manufactured semiconductor chip, the tools generate the RTL for control plane interconnect; memory composition, test, and manufacture; embedded logic analysis, trace interconnection, and utilization of spare resources on the chip; I / O qualification, JTAG, boundary scan, and SSO analysis; testable clock generation, control, and distribution; interconnection of all of the shared logic in a testable manner from a transistor fabric and / or configurable blocks in the slice. The input customer requirements are first conditioned by RTL analysis tools to quickly implement its logic. The slice definition and the RTL shell provides the correct logic for a set of logic interfaces for the design specification to connect. The tools share a common database so that logical interactions do not require multiple entries. The designs are qualified, tested, and verified by other tools. The tools further optimize the placement and timing of the blocks on the chip with respect to each other and with respect to placement on a board. The suite may be run as batch processes or can be driven interactively through a common graphical user interface. The tools also have an iterative mode and a global mode. In the iterative mode, one or more of the selected tools can generate the blocks or modify a design incrementally and then look at the consequences of the addition, or change. In the global mode, the semiconductor product is designed all at once in a batch process as above and then optimized altogether. This suite of generation tools generates design views including a qualified netlist for a foundry to manufacture.

The invention discloses a spacecraft power system energy analysis simulation platform which comprises a data input module, a data processing module, a data display module, a power system energy balance analysis judging module and a power system energy balance analysis exception alarm module. A user directly sets the power system designing parameters through the data input module; the data processing module processes and operates the read-in data; and the data display module outputs a visual result. The data processing module is used as the core of the simulation platform, and performs quick and effective data processing through logic analysis; and without a complicated circuit, the simulation platform can be used to perform spacecraft on-track energy balance analysis after the design of power system parameters is finished. The spacecraft power system energy analysis simulation platform greatly reduces the design time of the developing designers, and can quickly correct errors in the power system design.

A key identification system is provided. The key identification system comprises a sensing device configured to extract bitting information from a master key, and a logic configured to analyze the image. The sensing device may be configured to capture information about the bittings of the master key, such as an image of the bittings. The logic analyzes information about the bittings of the master key and compares it with bitting characteristics of known key blanks to determine the likelihood of a match between the master key and a known key blank.

A key identification system is provided. The key identification system comprises an imaging system to capture an image of a master key, and a logic to analyze the captured image. The imaging system may be capture an image of a groove in the master key from an angle between perpendicular and parallel to the blade of said master key. The logic analyzes the captured image to compare characteristics of the groove with groove characteristics of known key blanks to determine the likelihood of a match between the master key and a known key blank. The key identification system may further compensate for displacement or orientation of the master key with respect to the imaging system when analyzing characteristics of the groove.

The embodiment of the invention discloses a mass data based query method and device. The mass data based query method includes: receiving an SQL which is input by a user via a system query page; performing logic analysis and physical analysis on the SQL; converting a query field required by user query into a code defined in metadata, and acquiring a query result according to a table, a storage type, and a storage physical surface in the SQL; and gathering the query results, converting the query result into a preset format, and displaying the query results in the query page. A semantic analysis technique based mass data query system can solve the problem that SQL query cannot supported while big data storage techniques such as haoop and solr are used; and a data pre-fetching technique and a Hash query technique are adopted in a system design, the query performance of the mass data query system can be optimized, and the query real-time performance of mass data can be improved.

A system for eye movement and pupil size change matching for user authentication includes an ocular sensor that is configured to sense eyes of a user and collect data indicative of the user's eye movement and pupil size changes. When a user's eyes are detected, the logic analyzes data collected by the ocular sensor in order to determine whether the sensed data match data extracted from a template defined by the eye movement and pupil size changes of an authorized user. If so, the user is authenticated and is permitted to access at least one restricted resource. As an example, the user may be permitted to access an application or sensitive data stored on a computer system or to access a restricted area, such as a room of a building.

The invention relates to a delay test method for a video image processing system, which comprises the following steps: 1) editing a to-be-tested image by the using of a PC (personal computer), sending the to-be-tested image to a tested video generator, storing the to-be-tested image in a flash by the tested video generator, and standing by; 2) at the moment of testing, selecting the to-be-tested image by an upper computer according to a video standard of tested system and testing the specific sequence form and video format; 3) sending a to-be-tested video into the tested system; and 4) sending the to-be-tested video generated from the step 2) and the video outputted by the tested system to an oscilloscope or logic analysis meter, and reading the time difference of input and output, namely acquiring the system delayed volume. The tested images in the tested video are continuously outputted at intervals. The invention provides a simple, direct and practical method, which can be used for accurately testing the delay of the video image processing system.

A logic analyzer having internal access to the test buses, clocks and events of a chip is used to debug the chip. The logic analyzer is designed with the capability to share existing memory in the chip during the debug process. Additionally, the configuration of the logic analyzer and observation of the acquired results in the shared memory can be accessed through normal control interfaces of the chip and does not require special test cards. The logic analyzer includes a clocking function, a trigger function, a signal multiplexer, and a memory block. The clocking function is configured to select as the sample clock for the function any of the clocks in the integrated circuit. In addition, the clocking function may provide a means to decimate these clocks by some factor to sample over larger intervals.

An improved split-transaction bus intelligent logic analysis tool has a bus synchronizer, a decoder and a logic analysis function. The bus synchronizer is configured to receive link traffic and frame the link traffic into a plurality of framed packets, the plurality of framed packets including a plurality of request packets and a plurality of response packets. The decoder is configured to receive the plurality of framed packets and decode the plurality of framed packets into decoded packets, wherein at least one of the decoded packets includes information from a request packet and information from a corresponding response packet. The logic analysis function is configured to receive the decoded packets and initiate a trigger action on receipt of one of the decoded packets.

Provided are an intelligent, environmentally friendly and energy saving cell power supply system and method. The system comprises a temperature detection unit used for detecting the temperatures of the ambient environment where a cell set is located; a cell management system used for cell physical parameter detection, cell state estimation and cell charge and discharge control, and providing cell state information for a power switching control unit; a cell set used for providing energy; and the power switching control unit for receiving temperature and cell state information, performing logic analysis and realizing cell set switching. The system can accurately switch a cell set according to monitored environment temperatures, cell state information provided by the cell management system and power demands, and make full advantages of operating characteristics of two cell sets, thereby increasing the cell utilization efficiency and service life, and reaching the effects of energy conservation and environment protection.

Provided are a concrete precast slab production line automatic monitoring system and a monitoring method thereof. The system comprises a human-computer interaction interface module, a main controller, and one or more branch controllers. The human-computer interaction interface module is connected with the main controller. The main controller schedules and controls a production line integrally, acquires working state information of the one or more branch controllers, carries out internal control logic analysis and database variable processing based on parameter information input by the human-computer interaction interface module, outputs generated overall state information of the production line to the human-computer interaction interface module for display, and sends a control instruction to the one or more branch controllers. The one or more branch controllers are respectively arranged on station devices of the production line. The concrete precast slab production line automatic monitoring system and the monitoring method of the invention have the following advantages and beneficial effects: the hardware cost is reduced, and the versatility is higher; and integrated overall monitoring and separated control on the whole production line are realized, the level of automation is enhanced, and the efficiency of production is improved.

The invention provides a refrigerator rack lifting synchronization system which comprises a controller, a rack body and at least two lifting mechanisms. Each lifting mechanism comprises a motor, a transmission threaded rod, a guide rod and a connection piece, and each connection piece is furthermore provided with a sliding nut adapted to the corresponding transmission threaded rod; after the rack body and the lifting mechanisms are assembled, the connection pieces are slidably arranged on the guide rods in a sleeved manner, the sliding nuts are arranged on the transmission threaded rods in a sleeved manner, and the motors drive the transmission threaded rods to rotate to drive the sliding nuts to ascend and descend so that the rack body is driven to move along the guide rods; and the controller is set to control the rotation speeds and step numbers of all the motors to gradually tend to be synchronous according to the rotation speed and step number signal of the corresponding motor fed back by each sensor. Compared with the prior art, the method that the operation states of the motors are detected constantly through the sensors and fed back to the controller for logic analysis, drive compensation is adjusted constantly, and then operation signals of drive motors are adjusted is adopted, and the purpose that the two motors can always maintain synchronous operation is achieved.

A circuit arrangement, method, and program product for substituting a plurality of scalar instructions in an instruction stream with a functionally equivalent vector instruction for execution by a vector execution unit. Predecode logic is coupled to an instruction buffer which stores instructions in an instruction stream to be executed by the vector execution unit. The predecode logic analyzes the instructions passing through the instruction buffer to identify a plurality of scalar instructions that may be replaced by a vector instruction in the instruction stream. The predecode logic may generate the functionally equivalent vector instruction based on the plurality of scalar instructions, and the functionally equivalent vector instruction may be substituted into the instruction stream, such that the vector execution unit executes the vector instruction in lieu of the plurality of scalar instructions.

A key identification system is provided. The key identification system comprises an imaging system to capture an image of a master key, and a logic to analyze the captured image. The imaging system may be capture an image of a groove in the master key from an angle between perpendicular and parallel to the blade of said master key. The logic analyzes the captured image to compare characteristics of the groove with groove characteristics of known key blanks to determine the likelihood of a match between the master key and a known key blank. The key identification system may further compensate for displacement or orientation of the master key with respect to the imaging system when analyzing characteristics of the groove.

The invention discloses an equipment operating and process quality state monitoring system for a high-speed rolling mill, belonging to the technical field of high-speed wire rolling. Hardware comprises sensors for electric quantity, rotation speed and the like, a 4017+ intelligent data acquisition module, an RS485-RS232 communication conversion module and an industrial control computer. A rolling current signal, a rolling rotation speed signal and other signals are measured by the sensors, then subjected to A / D (Analog to Digital) conversion by the data acquisition module and then stored into the industrial control computer through the RS485-RS232 communication conversion module, the acquired data are issued to a network by utilizing an OPC (OLE (Object Linking and Embedding) for Process Control) protocol, and a user extracts the recorded information from an IE browser or a client side through the network for observing and analyzing. Software comprises an OPC communication module, an operation state real-time monitoring module, an alarm information recording and analyzing module, a trend information analyzing and processing module, a historical recall functional module and an industrial signal logic analysis module. The equipment operating and process quality state monitoring system has the advantages of improving the reliability for equipment operation, prolonging the service life and effectively lowering the cost.

An emulation and debugging system that includes an in-circuit emulator couplable to a microcontroller. The in-circuit emulator is adapted to execute an event thread in lock-step with the microcontroller. Event information generated as a result of executing the event thread is sampled at selected points and the sampled event information is stored in memory. Trace information is also recorded at the selected points. The sampled event information and the recorded trace information are time-stamped. In one embodiment, a display device is coupled to the in-circuit emulator. The display device is used for displaying analog and / or digital waveforms representing the sampled event information and the recorded trace information. Accordingly, an in-circuit emulator system can also function as an oscilloscope and / or as a logic analyzer, allowing a user to view event and trace information, along with other information, that are generated as part of the debugging process.

The invention relates to electric control damp technology of the damper. It can be applied to suspending frame of car whose damper needs to change along with the driving condition. The invention has a quick electromagnetic valve and pressure limiting valve controlled by the electromagnetic valve, and the piston flow valve and the bottom valve of the traditional damper are changed into a single one-way valve which only permits the oil flow upwards. The design can make the oil flow upwards, thus, the adjustment to the compressing damp and the extending damp can be realized through the single control to the pressure limit valve switch. In order to consider the demands to the damp intensity of the damper of all driving conditions (load, road state, speed, lengthwise acceleration speed and transverse acceleration speed, and so on) and the aim of driver, the invention provides a microprocessor to receive the driver's aim signal and driving conditions, and carries on synthesis logic analysis to the signal and sends out electromagnetic valve output instructions, in order to realize the control to the resistance to the damper.

The invention relates to a method and a system for automatically switching a master station-centralized spare power source. The method comprises the following steps of: monitoring remote signaling displacement information of an enhanced message service (EMS) system in real time; when the remote signaling displacement information is monitored, starting a spare power automatic switching analysis process to obtain topological model information and mode data cross section; analyzing a network topology; judging whether a bus truly loses voltage or not under the condition that the existence of topology power loss in spare power automatic switching equipment is defined by analysis; if the bus truly loses voltage, judging whether the equipment is locked for spare power automatic switching or not according to the information of the EMS system; and if the equipment is not locked for spare power automatic switching, determining an adopted spare power automatic switching scheme by screening to perform a sequence action corresponding to the spare power automatic switching scheme. Spare power automatic switching logic analysis is performed combined with the real-time information of the EMS system, so that power supply protection reliability is enhanced and long-term development of a power supply system is facilitated.