Patents
Literature
Patsnap Eureka AI that helps you search prior art, draft patents, and assess FTO risks, powered by patent and scientific literature data.

227 results about "Sequential logic" patented technology

In digital circuit theory, sequential logic is a type of logic circuit whose output depends not only on the present value of its input signals but on the sequence of past inputs, the input history as well. This is in contrast to combinational logic, whose output is a function of only the present input. That is, sequential logic has state (memory) while combinational logic does not.

Multifunctional test tool and method for EUROMAP interface of injection molding machine

The invention relates to the field of industrial automation testing, discloses a multifunctional testing tool and method for an EUROMAP interface of an injection molding machine, and achieves the crossing from single function verification to system-level compliance evaluation. A test network is constructed through a controller, and deep compliance verification, coverage data interaction, exception handling and cross-layer response consistency are realized. The test tool integrates the functions of protocol analysis, signal simulation, fault injection and the like, supports dynamic generation of boundary value test scenes and abnormal injection of signal delay, CRC errors and the like, and verifies the time sequence / logic consistency of a protocol instruction and an execution mechanism response through a hardware-level timestamp alignment technology. According to the method, an evaluation report including compliance rating, fault diagnosis and optimization suggestions is automatically generated, the problems of single coverage dimension, insufficient abnormal simulation, cross-layer verification deficiency and the like of a traditional test are solved, the intelligence and standardization level of the injection molding machine interface test is remarkably improved, and the equipment interconnection and intercommunication performance is guaranteed.
Owner:KRAUSSMAFFEI MACHINERY ZHEJIANG CO LTD

Electric power system intrusion detection and defense method based on artificial intelligence

The invention provides a power system intrusion detection and defense method based on artificial intelligence, and belongs to the technical field of power system intelligent control, and the method comprises the steps: 1, collecting data based on a multi-dimensional data collection layer, and forming an original data flow containing a time-space synchronization mark; 2, dynamically segmenting the original data stream by adopting a self-adaptive sliding window mechanism, automatically adjusting the size of a window according to the arrival frequency of a data packet, and converting the continuous data stream into a final triple sequence; 3, extracting and analyzing the features of the final triple sequence, and determining an equipment behavior mode and sequential logic of power operation; 4, performing deviation analysis on the equipment behavior mode and the normal behavior mode, and generating a primary alarm signal when the deviation degree exceeds a dynamic threshold value; and 5, starting multi-stage interlocking verification based on the primary alarm signal to determine an intrusion type, and matching a preset response rule base according to the intrusion type. Intrusion behaviors in the power system are effectively detected and defended in real time.
Owner:ALTAY POWER SUPPLY CO OF STATE GRID XINJIANG ELECTRIC POWER CO

Running state monitoring and fault diagnosis method for loom control system based on machine vision

The invention relates to the technical field of industrial vision and intelligent monitoring, and discloses a loom control system operation state monitoring and fault diagnosis method based on machine vision, which comprises the following steps: acquiring a video stream in a loom shed area and constructing a two-dimensional space-time slice tensor; performing global motion compensation processing on the space-time slice tensor by using a homography transformation matrix, mapping a compensated dynamic texture feature sequence to a three-dimensional phase space by using a time delay embedding algorithm, and reconstructing a closed phase space trajectory representing periodic operation logic of the loom; the discrete Frechet distance between the phase space trajectory of the current operation cycle and the preset reference trajectory is calculated, and a control instruction is generated. The health degree of the sequential logic of the system is directly quantified on the premise that specific components are not recognized by using the invariant characteristic of the phase space manifold topology; the technical problems that small phase lag is difficult to perceive and nonlinear faults cannot be early warned in a strong noise environment are solved.
Owner:HU ZHOU XIN NAN HAI ZHI ZAO CHANG

Multi-level circulation box quantity distribution scheduling method and system

The invention relates to the technical field of electric digital data processing, and discloses a multi-level circulation box quantity distribution scheduling method and system, and the method comprises the steps: extracting a request numerical value in a resource request instruction, comparing the request numerical value with a reference limit, and when the request numerical value exceeds a preset triggering proportion, executing the step 1; splitting the resource request instruction into an activated detection sub-instruction and a frozen main body sub-instruction; issuing a detection sub-instruction and receiving a processing state updating signal fed back by the target node; calculating a state circulation rate of the detection sub-instruction, and when the state circulation rate is higher than a preset circulation rate threshold value, unfreezing the main body sub-instruction and triggering an issuing operation; according to the invention, through an active interaction mechanism of data instruction fragmentation and sequential logic gating, prediction of an uncertain demand is converted into determinacy verification of instant physical feedback; the problems of system resource locking and scheduling deadlock caused by input data distortion in a distributed network are solved.
Owner:TIANJIN PORT INFORMATION TECH DEV CO LTD

Rigid-flexible switching type four-door hinge mounting tool and method based on pneumatic sequential logic

The invention discloses a rigid-flexible switching type four-door hinge installation tool and method based on pneumatic sequential logic, and relates to the technical field of automobile manufacturing equipment, and the rigid-flexible switching type four-door hinge installation tool comprises a positioning and clamping operation module, a ground pushing chassis module and a pneumatic sequential logic floating module. The floating module comprises a three-dimensional decoupling mechanism, a normally-closed self-resetting mechanism and a normally-open delaying locking mechanism. The pneumatic control system is provided with three parallel branches including a reset unlocking branch, a clamping operation branch and a delay locking branch with a one-way sequence valve, and a pure pneumatic logic time sequence is constructed by utilizing the characteristic that an opening threshold value is set between dynamic pressure and stable pressure. By means of the scheme, accurate switching of pushing rigidity, positioning flexibility and tightening rigidity can be automatically achieved only through on-off of a single air source, complex electrical control is abandoned, the rigid and flexible requirement contradiction in follow-up assembly is effectively solved, vehicle body damage caused by time sequence disorder is avoided, and hinge installation accuracy and equipment reliability are improved.
Owner:CHINA FAW CO LTD

Intelligent building method and system based on BIM

The invention relates to the technical field of intelligent construction, and discloses a BIM-based intelligent construction method and system, and the method comprises the following steps: S1, deploying a laser scanner, an RFID tag and a displacement sensor; s2, coding sequential logic in the construction plan into a JSON format rule, and importing the JSON format rule into a BIM logic coding unit; s3, establishing an end-to-end data pipeline through 5G SA networking; s4, the cloud server runs the pre-trained three-layer residual convolutional neural network; s5, dynamically adjusting the inspection path of the unmanned aerial vehicle according to the updated BIM coordinates; and S6, monitoring the execution attitude data of the construction machinery in real time through the sensor database. By constructing the BIM and the Internet of Things, construction logic rule codes are embedded into the BIM, dynamic interaction of design-construction data is achieved, two-way association of a physical entity and a virtual model is achieved through the data mapping technology, the mechanical arm is driven to conduct automatic deviation correction, and the construction precision and the automatic construction effect are remarkably improved.
Owner:ZHONGYUAN CONSTR GROUP

Semi-cut mountain modeling database construction method and system based on multi-dimensional parameters

The invention relates to the technical field of database structures, in particular to a semi-cut mountain modeling database construction method and system based on multi-dimensional parameters, and the method comprises the following steps: extracting slope elevation and cutting angle fields, arranging the sequence of related fields and unifying formats, calculating a text relationship and generating numbers, dividing blocks, and writing the blocks into a structural text. And forming a database structure construction atlas. According to the method, a regularized field cluster is formed by constructing a field value set and a structure sequence, a field jump path is established, the sequence direction is identified, clear expression of a field combination mode and continuing logic is achieved, content blocks are divided in combination with node information, the pairing relation is adjusted, and a unified format is set to enhance field normalization; the method comprises the following steps: binding elevation and strength sections through attribute injection, completing classified undertaking and structure reconstruction of text records, realizing field system output in cooperation with directory naming and path registration, enhancing the ordered organization and linkage ability among fields, and improving the expression efficiency and expansion adaptability of structure construction.
Owner:THREE GORGES NEW ENERGY POWER GENERATION (MAILE) CO LTD +1

Parking lot automatic parking extreme test case generation method and related equipment

The embodiment of the invention belongs to the field of intelligent driving, and relates to a parking lot automatic parking extreme test case generation method and related equipment. In the prior art, in a parking lot automatic parking extreme test case generation process, parameter combination explosion causes computing resource waste and low efficiency, insufficient risk quantification precision is difficult to guarantee case extreme performance, and lack of sequential logic rationality causes low reference value of a test result. According to the method and the device, the technical problems that key cases cannot be accurately obtained due to undefined screening standards and the like are solved, so that the test cases which have extreme property and time sequence reasonability and can effectively trigger system limit response are efficiently generated, and the effectiveness and safety verification level of extreme scene testing of the automatic parking system are improved.
Owner:SHENZHEN ZHONGHONG TECH

Water conservancy equipment cooperative operation system based on industrial control system

The invention relates to the technical field of water conservancy project automation and industrial control, in particular to a water conservancy equipment collaborative operation system based on an industrial control system, which comprises a programmable input mapping and logic matching unit, a data processing unit and a data processing unit, the system carries out binary bit mode matching on the operation result and the feature data block in the memory; the logical operation and addressing unit is used for calculating control lag time and generating a structured digital control sequence data stack; the sequential control and instruction addressing unit is used for generating a cooperative control instruction set containing sequential logic; the output mapping and checking unit is used for reading real-time feedback, and if deviation exists, an interruption compensation program is triggered to correct an action curve of an executing mechanism; the storage rewriting and loop optimization unit is used for correcting transmission delay parameters of the model and realizing closed-loop optimization; according to the method, the problem of model distortion caused by physical property drift is solved, and stable full-life-cycle operation is ensured.
Owner:ANHUI ZHONGKE ZHIBO TECH DEV CO LTD

Multi-target interaction behavior retention monitoring video concentration method based on semantic enhancement and space-time constraint

The invention discloses a multi-target interactive behavior retention monitoring video concentration method based on semantic enhancement and space-time constraint, which belongs to the technical field of video concentration and mainly comprises the following steps: acquiring a video background through a Gaussian mixture model MOG2 in combination with random frame sampling and a median fusion strategy; performing multi-target tracking and behavior identification on the video by using a DeepSORT algorithm and a deep learning model based on CNN + GRU architecture, and extracting a target trajectory, a spatial position, a moving direction, a moving speed and behavior label features; according to the spatio-temporal characteristics and the semantic information, interaction behaviors between the targets are judged, and the targets with interaction are divided into the same target tube group; the collision constraint and the time domain constraint are integrated, a new time label is distributed to the target tube group through a greedy strategy and a space hash algorithm, and meanwhile sequential logic is optimized by means of a sequential loss function; and fusing the tube group with the background to generate a concentrated video. The video concentration method provided by the invention can accurately retain the interaction behavior between the targets.
Owner:SHIJIAZHUANG TIEDAO UNIV

Automatic test-oriented communication protocol and sequential logic cooperative control system

The invention discloses an automatic test-oriented communication protocol and sequential logic cooperative control system, and relates to the technical field of nuclear field instrument and control system test, and the system comprises a 7-slot computer cage, a controller, a function card, a dual-path full duplex communication link, and a power supply monitoring module. The controller is fixed at the slot 0 of the 7-slot cage, and the function card is inserted in the slot 1 to the slot 6 in a mixed manner. And the controller is connected with each function card through a double-path full duplex communication link, is linked with the power supply monitoring module through a GPIO (General Purpose Input / Output) signal so as to monitor and control the power supply of the function card, and is also connected with the HMI through a gigabit Ethernet. The controller receives a test case of the HMI based on a first preset communication protocol, generates a test instruction, packages the test instruction into a control frame through a second preset communication protocol, issues the control frame according to three time sequence regulation and control modes, receives the state and test data returned by the function card, and intervenes the abnormal function card through the power supply monitoring module. And the function card analyzes the instruction, executes a test, collects and returns data, and reports the operation state at the same time.
Owner:NUCLEAR POWER INSTITUTE OF CHINA

Power network security knowledge ontology modeling method

The invention belongs to the technical field of computer network security, and discloses a power network security knowledge ontology modeling method, which comprises the following steps of: firstly, collecting multi-mode heterogeneous data such as power monitoring, security equipment and threat intelligence in parallel; then, adopting a hybrid strategy, on one hand, constructing a top-layer seed ontology based on a domain standard, and on the other hand, automatically extracting an entity relationship from the text by utilizing a deep learning model; secondly, associating multi-source knowledge and solving conflicts through entity alignment and sequential logic fusion, and generating a consistent and credible global knowledge view; and finally, establishing an ontology self-evolution mechanism based on reinforcement learning, dynamically adjusting knowledge weight and automatically expanding a mode, realizing deep understanding, accurate prediction and self-adaptive evolution of network threats, and improving the active defense level of a power system. According to the method, the core problems of one-sided knowledge acquisition, poor fusion capability, static model evolution incapability and the like in the prior art are solved.
Owner:GUANGXI POWER GRID CORP

Closed-loop virtual test flight pre-evaluation method and medium

The invention relates to a closed-loop virtual test flight pre-evaluation method and a medium, and relates to the field of flight tests. The method comprises the steps of constructing a digital twin module which comprises a pneumatic sub-model, a flight control sub-model, a power sub-model and a structure sub-model, defining a tilt transition specific high-risk subject and generating a test case, executing parallel Monte Carlo simulation and hardware-in-the-loop test, performing flight safety risk identification and envelope boundary quantification, and determining a tilt transition specific high-risk subject according to the tilt transition specific high-risk subject. And generating a risk assessment report and optimizing a real aircraft test flight outline. Wherein the aerodynamic sub-model adopts a dynamic vortex grid correction method based on CFD offline calibration and online query; the flight control sub-model comprises a configurable fault injection module based on a script engine, and the configurable fault injection module is used for defining a coupling fault sequence of sequential logic and a condition triggering relation. Compared with the prior art, the accuracy and the applicability of the pre-evaluation of the virtual test flight are improved.
Owner:LOW SPEED AERODYNAMIC INST OF CHINESE AERODYNAMIC RES & DEV CENT

Adaptive feature fusion intrusion detection method and system for electric power industrial control network

The invention provides a self-adaptive feature fusion intrusion detection method and system for an electric power industrial control network, and the method comprises the steps: enabling the generation of a sample to strictly follow the sequential logic of an industrial control protocol through introducing a protocol state perception dynamic sampling mechanism; multi-modal causal feature extraction is adopted, protocol semantics, equipment fingerprints and causal association features are fused, and the feature discrimination ability is effectively improved; designing a federated residual error enhancement fusion model, and realizing safety cooperative training and heterogeneous data adaptation between distributed nodes; and in combination with deep reinforcement learning and transfer learning, constructing a detection parameter dynamic tuning mechanism. According to the method, various attacks such as DoS attacks, protocol forgery and unauthorized access can be accurately identified, the real-time performance of services is guaranteed, meanwhile, the detection precision is remarkably improved, the false alarm rate is reduced, and the method has high environmental adaptability and can be widely applied to electric power industrial control scenes such as transformer substations and dispatching centers.
Owner:ZHANGZHOU POWER SUPPLY COMPANY STATE GRID FUJIANELECTRIC POWER +1

Dynamic configuration cockpit host video test multiplexing method

The invention belongs to the technical field of computers, and particularly relates to a dynamically configured cockpit host video test multiplexing method. The method aims at solving the problems that a traditional testing means is poor in universality, incomplete in coverage and low in automation degree. A structural equipment description file is constructed by analyzing a host technical document, an adaptive dynamic test configuration template is automatically generated in combination with a test case library, and flexible configuration of multi-channel video stream parameters, abnormal injection modes and time sequence logic is supported. A containerized virtual signal source is deployed on a universal computing platform, and an analog video stream conforming to an input specification is generated in real time. Through the equipment description driving and virtualization signal generation technology, the multiplexing capability and coverage integrity of the testing system are improved, efficient and automatic testing of multiple types of hosts is achieved, and the hardware cost and the deployment period are remarkably reduced.
Owner:SHENZHEN TINGBAO TECH CO LTD

Safety control method for mobile robot under sequential logic and disturbance observer

The invention provides a mobile robot safety control method under a sequential logic and disturbance observer, relates to the technical field of robot safety control, establishes a novel high-order finite time barrier function control method with disturbance, and realizes mobile robot control under a sequential logic task. Under the condition that interference needs to be considered in a robot system and the relative order of a control obstacle function is a high order, an interference observer is constructed to solve the interference of the system, and a high-order interference observer control obstacle function is proposed to guarantee safe obstacle avoidance. Meanwhile, in order to encode complex task specifications, a control framework based on signal sequential logic is provided. In order to achieve the purpose, subsequent control design is carried out.
Owner:NORTHEASTERN UNIV CHINA

System and method for mobile robot task planning

A technique for enabling a robot to autonomously compute solutions to complete sequential logic tasks, and to complete these solutions at runtime. A task formula is obtained on an airborne computer of the mobile robot. And converting the task formula into an automaton. A motion tree is established using the initial map of the space and the automaton. Sampling-based tree search is performed using the motion tree to generate an initial plan for the mobile robot to operate in space and satisfying a task formula, the initial plan including a trajectory. The mobile robot is then moved along the trajectory.
Owner:THE CHINESE UNIVERSITY OF HONG KONG

Underground water pollution tracing method and system based on block chain

The invention relates to the technical field of block chains, in particular to an underground water pollution tracing method and system based on a block chain, and the method comprises the following steps: obtaining parameters such as permeation rate, aquifer thickness, water flow direction and the like, writing the parameters into a chain structure, generating a hydrological dynamic label, verifying pollution direction consistency to generate a space-time label, and screening credible nodes to generate a credible identifier. And calculating a diffusion range to form a liability list, and verifying emission records to generate a multi-chain evidence chain. According to the method, by recording hydrological parameters and pollutant concentration gradient differences in real time, generating diffusion threshold values, checking space-time consistency of pollution diffusion paths and screening credible node data, it is ensured that pollution source positioning and diffusion paths are accurate, a responsibility subject is determined through sequential logic checking, and a multi-chain mutual authentication data chain is generated; the credibility and transparency of pollution traceability are improved, the risk of data tampering is reduced, the cross-mechanism data sharing and cooperation efficiency is enhanced, and the completeness of a traceability chain is ensured.
Owner:JIANGXI COALFIELD GEOLOGICAL SURVEY RES INST

Artificial intelligence voice interaction system based on big data

The invention belongs to the technical field of artificial intelligence and big data fusion, and particularly relates to an artificial intelligence voice interaction system based on big data, and the system comprises a multi-dimensional data collection module which is used for collecting user voice data, real-time scene data and equipment state data, and providing basic data support for subsequent processing; the big data preprocessing module is used for carrying out cleaning and feature extraction on the collected original data, removing invalid data and improving the subsequent analysis efficiency; and the multi-level semantic analysis module is used for associating a multi-instruction sequence through a sequential logic algorithm and adjusting an analysis priority in combination with scene data. Through progressive logic of the multi-dimensional data acquisition module, the big data preprocessing module and the multi-level semantic analysis module, the situation that original data containing noise and invalid fields are directly used for semantic analysis is avoided, and repeated instruction operation caused by analysis errors of a user can be reduced.
Owner:BEIJING CHUANGLIAN YUNRUI TECH CO LTD

Distributed sequential logic conflict resolution method for distributed control system

The invention discloses a distributed sequential logic conflict resolution method for a distributed control system, which relates to the technical field of automatic control, and can accurately calculate the queuing retention time length of an instruction in a network by acquiring the real-time load and identifier of each network node in an instruction transmission path, thereby improving the accuracy of the queuing retention time length of the instruction. The local clock of the controller is subjected to high-precision correction by combining the basic transmission delay of the link, so that the real sequential relationship of the instruction is restored, and the interference of clock asynchronization and network delay fluctuation in the distributed system on sequential judgment is fundamentally eliminated; meanwhile, on the basis of a real-time working condition self-adaptive physical constraint model, the theoretical duration needed by equipment state change is quantified, the corrected clock difference value and the theoretical duration are dynamically matched, causal instructions can be effectively distinguished from the physical level, and the accuracy and reliability of conflict resolution are remarkably improved.
Owner:NANJING HORBON ENERGY TECH CO LTD

Smart factory production scheduling and energy supply collaborative optimization method and system integrating clean energy

The invention discloses a smart factory production scheduling and energy supply collaborative optimization method and system integrated with clean energy, particularly relates to the technical field of industrial process control, and is used for solving the problems of insufficient consumption of clean energy and reduction of production efficiency caused by neglecting of production flow sequential logic in the prior art. The method comprises the following steps: calculating a carbon-energy collaborative efficiency index by acquiring energy consumption data, production tasks and clean energy supply information in an industrial production process, judging whether clean energy supply meets a production scheduling requirement, and if not, constructing a directed graph network model of the production tasks and calculating propagation betweenness centrality; key paths are identified, key time sequence conflict points are positioned, system core output performance attenuation caused by all the key time sequence conflict points is simulated, function toughness loss is quantified in the recovery process, the priority is determined, and finally the execution sequence and time sequence of corresponding production tasks are sequentially adjusted according to the priority. The invention aims to minimize time sequence conflicts and maximize clean energy consumption.
Owner:SHANDONG YUSHENG COMPREHENSIVE ENERGY CO LTD

Layered motion planning method and equipment for mechanical arm in dynamic environment

The invention discloses a mechanical arm hierarchical motion planning method and device in a dynamic environment, and belongs to the technical field of mechanical arm motion planning. A target position of the mechanical arm is set, and a collision-free initial global path from the current position of each joint of the mechanical arm to the target position is planned; a continuous and smooth planned mechanical arm movement track is generated; generating the angular velocity control quantity of each joint of the mechanical arm; on the basis of avoiding the static obstacles, when it is detected that the moving range of the mechanical arm contains the dynamic obstacles, a dynamic obstacle avoiding frame is constructed in combination with a dynamic control obstacle function (DCBF); and a signal sequential logic STL is introduced into the dynamic obstacle avoidance framework to carry out task constraint, and the mechanical arm is controlled to carry out dynamic obstacle avoidance. The method is simple in step, high in execution efficiency and capable of guiding the mechanical arm to avoid obstacles and complete tasks in real time.
Owner:CHINA UNIV OF MINING & TECH

Port delay constraint method, device, electronic device, and storage medium

A method, device, electronic device, and storage medium for constraining port delay. The method for constraining port delay includes: obtaining all ports in multiple modules, wherein all ports include multiple first ports; for each of the multiple first ports: obtaining N sequential logic devices corresponding to the first port and module clock information corresponding to the module to which the first port belongs; based on the N sequential logic devices and the module clock information, determining at least one clock object associated with the first port and at least one object information corresponding to at least one clock object; determining the port type of the first port; and setting the port delay of the first port according to the port type, at least one clock object, and at least one object information. The method for constraining port delay can automatically set complete port constraints for the ports of each module based on the design itself, saving iteration time.
Owner:HYGON INFORMATION TECH CO LTD

A method and system for maintaining consistency between a floating point operation algorithm verification prototype and hardware engineering

A method and system for ensuring consistency between a floating-point arithmetic algorithm verification prototype and hardware engineering, relating to the field of floating-point arithmetic, are disclosed. The method includes: obtaining the HDL source code of a hardware floating-point IP core; converting the sequential logic describing floating-point operations in the HDL source code into a behavioral-level combinational logic expression, which retains the computational logic of floating-point operations; compiling the converted HDL source code using an HDL compilation tool to generate a library file executable on a processor; calling function interfaces in the library file to perform floating-point operations in a prototype verification program running on the processor; and integrating a hardware floating-point IP core into the hardware system to implement floating-point operations, wherein the library file and the hardware floating-point IP core are based on the same HDL source code. Implementing this method can reduce the cost of ensuring consistency between the floating-point arithmetic algorithm verification prototype and hardware engineering.
Owner:SUZHOU SILITER SEMICON TECH CO LTD

Complex man-machine cooperation station operation compliance sequential logic verification method and system based on multi-modal video

The invention discloses a complex man-machine cooperation station operation compliance sequential logic verification method and system based on a multi-modal video, and the method comprises the steps: obtaining a standard operation instruction (SOP), analyzing the SOP, and converting the SOP into a formal model with sequential logic constraints; synchronously acquiring a video data stream, an audio data stream and an equipment data stream of the station; performing real-time analysis on the video data stream by using a human-object interaction (HOI) deep learning model to generate structured visual event metadata; taking the visual event metadata as input, and driving the formalized model to carry out state evolution so as to judge the compliance of an operation process; and performing fusion cross validation on the audio data stream and the equipment data stream at a preset key verification node by taking the time window of the occurrence of the visual event as a reference. By fusing fine-grained visual interaction recognition, strict sequential logical reasoning and multi-modal cross validation, high-reliability closed-loop verification can be carried out on operational process compliance and physical result authenticity.
Owner:ZHUJI HEWU DIGITAL TECH CO LTD

Sequential logic control circuit for noise shaping SAR ADC

The invention relates to the technical field of sequential control, and discloses a sequential logic control circuit for a noise shaping SAR ADC (Synthetic Aperture Radar Analog to Digital Converter), which comprises an analog signal acquisition circuit for receiving and preprocessing an initial input signal; the noise shaping circuit is used for performing frequency spectrum shaping on quantization noise in the analog signal and generating the analog signal subjected to noise shaping; the successive approximation type analog-to-digital converter is used for performing bit-by-bit comparison with the analog signal subjected to noise shaping and gradually completing conversion from the analog signal to the digital signal from the highest bit to the lowest bit; and the clock control circuit is used for coordinating sequential logic among the analog signal acquisition circuit, the noise shaping circuit and the successive approximation type analog-to-digital converter. According to the method, frequency spectrum remodeling is carried out on the quantization noise in the signal, the signal-to-noise ratio of the signal is remarkably improved on the premise that the hardware complexity is not additionally increased, and then interference of the noise on follow-up analog-to-digital conversion is reduced.
Owner:XIDIAN UNIV +1

A security monitoring and analyzing system and method applied to an electronic ticket platform

The application discloses a kind of security monitoring analysis system and method applied to electronic ticket platform, it is related to information security technical field, to solve the time difference attack problem of state synchronization delay implementation in distributed ticket system;Method includes: monitoring system captures multiple operation request sequences to the same ticket in specific time window;Respectively from business access end and distributed account book obtain the local trusted time stamp and block confirmation time stamp of each operation;After uniform to coordinated universal time benchmark, traversal all operation to execution serialization logic judgment: when the local time of operation one is earlier than operation two, but its on-chain confirmation time is later than operation two, it is judged that there is timing logic paradox;Accordingly, it is determined that fraudulent attack occurs and generates tamper-proof security audit report and pushes to regulatory party;The application realizes accurate insight into hidden fraud by cross-validation of double-source time stamp, fills the blind area of existing monitoring technology.
Owner:上海市大数据中心

Behavior verification method and device of information physical system, electronic equipment and medium

The invention provides a behavior verification method and device of an information physical system, electronic equipment and a medium, and the method comprises the steps: for a to-be-verified function of the to-be-verified information physical system, obtaining a mixed operation signal which is generated in the operation process of the system and is related to the to-be-verified function; obtaining a time-sequence point to be verified; calling a pre-defined mixed signal sequential logic formula for formally describing the function to be verified; utilizing Boolean semantics to judge whether the mixed operation signal meets a mixed signal sequential logic formula on a time-sequence point or not; and / or, calculating a robustness value of the mixed signal sequential logic formula on a time-sequence point by using robust semantics so as to quantify the degree of meeting or violating the mixed signal sequential logic formula; and determining whether the to-be-verified function passes verification or not according to the judgment result of the Boolean semantics or the robustness value. Unified processing and verification of the mixed operation signals are realized through the method.
Owner:BEIJING JIAOTONG UNIV

A stable on-chip clock generation circuit

ActiveCN115955218BPulse generation by differential amplifiersEnergy efficient computingCapacitanceHemt circuits
The present invention belongs to the technical field of integrated circuits and relates to a stable on-chip clock generation circuit. The present invention includes a charge and discharge circuit, a comparator, and a timing logic circuit. Four switches are used in the charge and discharge circuit to jointly control the charging and discharging of the charging capacitor C1 to generate a linearly rising triangular wave signal. The compensation capacitor C2 in the charge and discharge circuit is used to offset the negative voltage mutation caused by the capacitor flip, effectively stabilizing the waveform and frequency of the triangular wave at the charging node VC. The comparator compares the charging triangular wave signal VC with the reference voltage source VREF, and the output signal is supplied to the timing logic circuit. The timing logic circuit is connected to the output of the comparator and is used to generate the first clock SW and the second clock SW_B, and the two are non-overlapping clock signals. By swapping the charging and discharging of the upper and lower plates of the capacitor C1 and combining with the compensation capacitor C2, the present invention can achieve rapid discharge of the charge on the capacitor, with a stable output clock frequency, a simple circuit structure, and low power consumption.
Owner:UNIV OF ELECTRONICS SCI & TECH OF CHINA

Ribbon winding device of ribbon loom

The invention provides a ribbon winding device of a ribbon loom, and belongs to the technical field of ribbon looms. The device comprises a mounting plate and a driving box, a plurality of clamping and cutting mechanisms are correspondingly arranged on the mounting plate and the driving box, and each clamping and cutting mechanism comprises a clamping assembly and a cutting assembly; a driving cavity is formed in the driving box, and a driving assembly is arranged in the driving cavity and used for driving the clamping and cutting mechanism to clamp and cut the braid. According to the ribbon winding device of the ribbon loom, through cooperation of the cutting cam and the clamping cam which rotate synchronously, sequential logic of clamping, cutting and loosening in the ribbon cutting process is achieved.
Owner:XUZHOU ZHENYI PLASTIC PRODUCTS CO LTD