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

615 results about "Program control" patented technology

Program controls are processes, procedures, reports, checks, audits and systems that are put in place to manage programs. Controls are systematic practices that can be consistently applied. They compliment the leadership aspects of program management that are more dynamic and people-focused.

Accurate powder supply control system

The invention relates to the technical field of program control, in particular to a precise powder supply control system, which is characterized in that multi-cycle differential processing of a rotating speed fluctuation ratio of a spiral feeder is performed on multiple key parameters such as a powder batch particle size value, a batch density value, an accumulated discharging amount and a feeding cycle; abnormal fluctuation numbers are extracted in different periods and combined according to the abnormal fluctuation numbers to generate a feeding feature set, a fuzzy neural network is utilized to improve the fitting precision of a discharging rate change trend under a nonlinear condition, the screening capability of extreme value interference is improved, a fluctuation difference value sequence is associated with symbol consistency and a density mean value, and the accuracy of the fluctuation difference value sequence is improved. Analyzing the variation trend of the discharge deviation in the symbol direction and the numerical slope, matching the numbers to establish a feed deviation grade section sequence, adopting a generative adversarial network to construct a target and actual discharge quantity difference value sequence, dividing symbol consistent sections, extracting the coupling trend of the fluctuation slope and the average density value, and obtaining a target discharge quantity difference value sequence; and misjudgment caused by deviation mode covering is avoided.
Owner:ZHEJIANG TIANXIONG IND TECH CO LTD

Experimental box-type resistance furnace integrating intelligent program control and multiple safety protection

The invention belongs to the technical field of high-temperature experimental equipment, and discloses an integrated intelligent program control and multiple safety protection experimental box-type resistance furnace which comprises a furnace body, a sensor suite and a controller, the controller runs an intelligent control program based on neural network model predictive control, namely NN-MPC, and the intelligent control program is connected with the sensor suite. The method is used for realizing accurate tracking of a complex temperature control curve and optimization of energy consumption. Meanwhile, the controller also runs an active health management program based on prediction and health management, namely PHM, and the program predicts the residual service life, namely RUL, by monitoring health indexes such as resistance of the heating element in real time, so that early warning and predictive maintenance of faults are realized; the health state information of the PHM module is fed back to the NN-MPC module in real time, so that the control system can adapt to aging of the equipment, and the control performance, the energy efficiency, the operation reliability and the overall safety of the equipment are remarkably improved.
Owner:HANGZHOU LANTIAN INSTR CO LTD

Smart park-oriented cooperative control and dynamic resource scheduling method and system

The invention discloses a cooperative control and dynamic resource scheduling method and system for a smart park, and relates to the technical field of program control. According to the method, the heterogeneous sensor network is deployed, and multi-source data is subjected to denoising, feature extraction and classified transmission; constructing a digital twinborn model, embedding equipment physical law constraints, optimizing the learning rate of an RCN prediction network in combination with historical data and a bee colony algorithm, and realizing high-precision state prediction; when the real-time data or the predicted data exceeds a threshold value, triggering global scheduling, generating an initial allocation scheme by using an improved contract network protocol, and generating a Pareto optimal scheme set of comprehensive cost, equipment utilization rate and service delay through a pea population algorithm; verifying the feasibility of the scheme based on digital twinning simulation, and dynamically distributing conflict resources by adopting virtual auction; the network load is reduced, the prediction progress is improved, the equipment load peak-valley difference is compressed, and the park resource scheduling efficiency is improved.
Owner:SHAOXING YUEDEAN INTELLIGENT TECH CO LTD

Femtosecond laser process parameter self-optimization method and system

ActiveCN121857530AProgramme controlComputer controlFeature vectorVirtual machining
The invention relates to the technical field of program control, and discloses a femtosecond laser process parameter self-optimization method and system, and the method comprises the steps: carrying out the image reconstruction of real-time three-dimensional shape data, and obtaining a real-time ablation contour image; performing morphological feature deconstruction on the real-time ablation contour image to obtain a contour feature parameter set; performing deviation quantitative analysis on parameters in the contour feature parameter set and a standard feature threshold range to obtain a deviation feature vector; performing compensation strategy addressing on a preset process parameter adjustment rule base to obtain a preliminary compensation parameter combination; virtual machining track planning is carried out on the machined area, ablation morphology deduction is carried out on the planned track, and a fitting verification result is obtained; when a fitting verification result meets a convergence condition, performing parameter solidification packaging on the initial compensation parameter combination to obtain a final compensation parameter; according to the method, the self-optimization efficiency of the femtosecond laser process parameters can be improved.
Owner:LUOYANG INST OF SCI & TECH +1

Three-phase converter control method, system, medium and equipment

The invention relates to the technical field of converters, in particular to a three-phase converter control method and system, a medium and equipment. The method comprises the steps that a main processor transmits sampling original data of a three-phase converter to a first storage area; the coprocessor reads the sampled original data, performs operation to obtain operation result data, and transmits the operation result data to the second storage area; the coprocessor runs at a period higher than the preset control frequency of the main processor, and immediately triggers the operation of the sampled original data after completing the collection of the sampled original data; the main processor performs control loop calculation, reads the operation result data when the newest operation result data is needed, and loads the newest operation result data for updating operation; the main processor runs the control program at the preset control frequency, and the control program triggering time is set in a minimum allowable time window before the control output quantity loading moment. Through the above arrangement, real-time sampling is effectively realized, CPU load is optimized, and the control performance of the converter is improved.
Owner:XIAMEN QIHANG HYDROGEN ENERGY TECHNOLOGY CO LTD

Program control flow protection method and device based on shadow stack and computer equipment

The embodiment of the invention provides a program control flow protection method and device based on a shadow stack and computer equipment, and the method comprises the steps that in response to a current calling instruction, at least a return address corresponding to the current calling instruction and a verification value in a verification register are written into the shadow stack, the verification value in the verification register is determined at least based on the return address of the write shadow stack corresponding to the previous call instruction and the verification value; and determining an updated verification value at least based on the return address of the write shadow stack corresponding to the current call instruction and the verification value, and writing the updated verification value into the verification register so as to verify whether the program control flow is normal or not when a current return instruction corresponding to the current call instruction is executed. According to the embodiment of the invention, the protection performance of the program control flow based on the shadow stack can be improved, so that the security of a computer execution program is improved.
Owner:HYGON YUNXIN INTEGRATED CIRCUIT DESIGN (SHANGHAI) CO LTD

Reamer processing path intelligent optimization method and system based on artificial intelligence

The invention relates to the technical field of program control, in particular to a reamer machining path intelligent optimization method and system based on artificial intelligence, and the method comprises the following steps: collecting a reamer main shaft load torque and a Z-axis feed current in the process that a reamer cuts into a workpiece, and generating a reaming contact area resistance characterization quantity; and mapping the resistance characterization quantity of the reaming contact area to generate a hardness distribution characteristic value of the workpiece material. According to the method, differential operation is carried out on a generated nonlinear track, the acceleration change rate of the nonlinear track is extracted, the dynamic complexity of a motion state is quantitatively evaluated, the dynamic complexity is combined with a contour error predicted by AI, a dynamically weighted feed-forward compensation amount is formed, and when a motion instruction is complex and the system following capability faces challenges, the compensation effect is enhanced; according to the predictive compensation mechanism, active suppression can be carried out before the servo error actually occurs, and the contour tracking precision of a complex nonlinear instruction is improved.
Owner:BOAO PRECISION LNDUSTRY (DALIAN) CO LTD

Test case automatic generation method and device, electronic equipment and storage medium

The invention discloses a test case automatic generation method and device, electronic equipment and a storage medium. The method comprises the steps of obtaining a to-be-tested program; analyzing the to-be-tested program to generate an initial population; determining a fitness function; performing iterative optimization on the initial population based on the fitness function to obtain an optimal individual; and taking the optimal individual as a target test case for the to-be-tested program. According to the technical scheme, the boundary value use case generated based on the program control flow diagram is fused with the candidate use case to generate the initial population, the coverage rate of critical paths in the population can be effectively increased, the proportion of redundant use cases can be effectively reduced, and under the same test target, the scale of the use case set is reduced, and the test execution time is shortened. The hierarchical fitness function design reduces the proportion of high-time-consumption operation cases and improves the test efficiency. All stages of operation of the genetic algorithm are combined with all stages of operation of the artificial bee colony algorithm, and algorithm efficiency is improved.
Owner:AGRICULTURAL BANK OF CHINA

Complete set of welding tool for accurately aligning end socket and barrel of fire extinguisher

The complete welding tool comprises a bottom plate, brackets are fixed to the upper end face of the bottom plate in a bilateral symmetry mode, the fire extinguisher cylinder is placed on the brackets, a lower end socket is arranged on the left side of the fire extinguisher cylinder, and a lower end socket is arranged on the right side of the lower end socket. An upper sealing head is arranged on the right side of the fire extinguisher cylinder, and fixing plates are further fixed to the bottom plate in a bilateral symmetry mode. According to the complete-set welding tool for accurate alignment of the fire extinguisher end socket and the barrel, by arranging the rotating disc with the multiple sets of first positioning sleeves and second positioning sleeves of different sizes and conducting indexing rotation through the first motor, rapid switching of an upper end socket positioning tool and a lower end socket positioning tool is achieved, and an operator only needs to control the motor to rotate through a program; and the adaptability of equipment to production of fire extinguishers of different specifications is greatly improved, the model changing speed is high, and the production efficiency is greatly improved.
Owner:HUBEI PULONG FIRE FIGHTING EQUIP CO LTD

Online program-controlled excitation power supply with quench protection for high-temperature superconducting magnet

An on-line program control excitation power supply with quench protection for a high-temperature superconducting magnet comprises a single-chip microcomputer for receiving control data, outputting control voltage through digital-to-analog conversion (DAC) of the single-chip microcomputer, and magnetizing a magnet coil through current stepping; a sampling signal is output to the liquid crystal screen to display corresponding voltage and current values in real time after being processed by the single-chip microcomputer analog-to-digital conversion ADC; voltage signals at the two ends of the magnet coil are sampled and returned to the single-chip microcomputer to be processed, when high voltage occurs, it is judged that the voltage signals are abnormal voltage signals, quench protection is carried out, the single-chip microcomputer outputs control signals to cut off connection between the magnet coil and the excitation power source, and residual energy of the magnet coil is released through the high-power thyristor. The provided excitation power supply has the characteristics of high power, high stability, good repeatability and good linearity; performing numerical control stepping output, gradually applying current to the superconducting coil, and slowly establishing a magnetic field; effective quench protection is achieved, and it is guaranteed that a magnet coil is not damaged by quench.
Owner:TIME MEDICAL JIANGSU

Kitchen waste pretreatment spraying deodorization regulation and control method based on multi-mode sensing fusion

The invention relates to the technical field of program control systems, in particular to a kitchen waste pretreatment spraying deodorization regulation and control method based on multi-mode sensing fusion, which comprises the following steps: acquiring multi-sensing data containing odor concentration in a plurality of sub-control areas; calling a working condition identification program to determine a current preprocessing state; and the control system calls matched spraying control parameters from a control strategy library according to the current state, executes an overall spraying control program and obtains control feedback data. When the feedback data meet preset local control conditions, local or linkage spraying control is executed according to program logic; and in combination with multiple control feedback results, updating a control parameter combination. According to the invention, on the basis of'integral-local-integral 'multi-region cooperative control, comprehensive inhibition of peculiar smell spatial diffusion in the whole kitchen waste pretreatment process and optimal configuration of deodorant and energy consumption are realized.
Owner:LUKONG ENVIRONMENTAL PROTECTION TECH (TAICANG) CO LTD

Automation program controller allocation

An industrial integrated development environment (IDE) supports decoupled development of industrial control programs without requiring the programs to be initially bound to a specific industrial controller. The IDE system allows industrial control programs to be defined as smart objects within an industrial control project. These smart objects can be created without an initial binding to an industrial controller, and can subsequently be assigned to selected industrial controllers after development of the control programs is complete, or while program development is in progress. A smart object can be reused and deployed to multiple industrial controllers, providing a simple means to implement common control functionality on multiple different automation systems. To allow for deployment of smart objects to selected controllers, the IDE system supports creation of a control project having a one-to-many relationship with industrial controllers, such that multiple controllers can be defined within a single project.
Owner:ROCKWELL AUTOMATION TECH INC

Computer control behavior category identification method and medium

The invention relates to a computer control behavior category identification method and a medium, and relates to the technical field of computer control. The method comprises the following steps: identifying a current computer control parameter, and comparing the computer control parameter with a corresponding reference threshold value, so as to identify whether the current computer control behavior type is a biological control behavior type or a program control behavior type, the computer control parameters comprise any one or more of a curvature fluctuation value, a speed fluctuation rate, a target offset rate and a random pause rate of a mouse moving track. Therefore, the biological control behavior and the program control behavior of the computer are identified, so that the program control can be stopped based on the judgment result under the condition that the control right needs to be given to people preferentially, and the influence on the operation behavior of the people is avoided.
Owner:四川互慧软件有限公司

Adaptive testing based on user mastery levels of educational standards using integrated programmatic control and specialized guided and constrained artificial intelligence

An adaptive test generation system based on varying mastery levels of the user on educational standards to guide and constrain an AI engine in selecting educational standards for adaptive testing and updating user mastery levels based on real-time responses is disclosed. The method involves receiving a list of eligible standards, the user's knowledge graph, and dependencies between standards. A prompt is generated to direct AI engine in choosing the next educational standard for questioning. The AI engine selects a standard based on current knowledge graph and previous user responses, presents a question, and receives the user's answer. The knowledge graph is updated to reflect user's mastery levels of related standards. The AI engine then selects next standard, considering the updated knowledge graph and interdependencies among standards. This iterative process determines difficulty of subsequent questions and continues until the adaptive test concludes, based on the states of the educational standards involved.
Owner:2HR LEARNING INC

Information processing apparatus, information processing system, and information processing method

An information processing apparatus includes: an internal storage configured to store one or more programs; a controller configured to execute the one or more programs; and an interface configured to receive information from an external storage containing a whitelist. The whitelist includes determination information indicating whether to allow the controller to execute each of the one or more programs. The controller is configured to acquire the whitelist from the external storage through the interface, verify an integrity of the acquired whitelist, and in response to a determination that the acquired whitelist is complete, store the acquired whitelist in the internal storage as an active whitelist to be used for determining whether to allow the controller to execute each of the one or more programs stored in the internal storage.
Owner:TOSHIBA TEC KK

Intelligent control system and method for capacitive touch screen assembly production line

The invention relates to the technical field of industrial control systems, in particular to an intelligent control system and method for a capacitive touch screen assembly production line, and the method comprises the steps: obtaining multi-source operation parameters in the capacitive touch screen assembly production line; calling an edge-deployed program control processing unit to carry out programmed processing on the multi-source operation parameters, and extracting operation characteristics in the operation process of the production line through program control logic with time sequence analysis capability; dynamically adjusting the length of the sliding window and a running state judgment threshold value, and generating standardized control input data; constructing a multi-source parameter weighting method based on a gating unit, and dynamically calculating a weight ratio of various sensor data in a control decision according to an association relationship among real-time operation parameters; identifying the operation condition of the production line equipment through an embedded sequential operation state judgment method; and executing production line control response early warning. The invention aims to improve the operation stability and intelligent level of the production line and meet the industrial automation control requirement.
Owner:ANHUI HONGSHIXIN OPTOELECTRONICS TECH CO LTD

In-browser integration of real-time artificial intelligence (AI) character for in context task performance using integrated programmatic controlled and specialized guided and constrained artificial intelligence

A response generation method in which a real-time tutor is integrated into the user's browser to guide an AI engine to generate real-time responses, enabling user interaction with a real-time tutor integrated within a browser extension is disclosed. The method involves receiving user input, which can be text or spoken queries. If the input is audio, it is converted to text. Prompts are then generated based on user input, educational standards, real-time tutor details, educational content from the browser, and internal educational content. These prompts guide the AI engine, which is pre-trained on educational standards, to generate a relevant response. The response is converted to audio using text-to-speech synthesis, aligning with the real-time tutor. The audio is synchronized with the video to create an educational video featuring the real-time tutor. Finally, the real-time generated video is streamed back to the user, enhancing engagement through integrated visual and auditory feedback.
Owner:2HR LEARNING INC

Multifunctional oven and multi-section program control method and medium thereof

The invention relates to the technical field of household appliance control, and discloses a multifunctional oven, a multi-section program control method thereof and a medium. The multifunctional oven comprises an oven body with a baking cavity, a heating device, a spraying device, a door body and a control system, wherein the heating device and the spraying device are arranged in the baking cavity, the door body is used for opening and closing the baking cavity, and the control system comprises a processor and a control panel used for inputting parameters. The method comprises the following steps: inputting parameters of a plurality of baking periods executed in sequence through a control panel; the heating device and the spraying device are sequentially controlled to work according to the set sequence of the multiple baking time periods, the humidity in the baking cavity is monitored in real time through a humidity sensor, and if the humidity exceeds the set humidity range of the corresponding time period, the spraying amount of the spraying device is adjusted for humidity compensation; and after all the baking time periods are completed, the door body is opened, the temperature in the baking cavity is monitored in real time through a temperature sensor, and when the temperature is reduced to the cooling target temperature or reaches the cooling time, the door body is controlled to be closed.
Owner:ZHUHAI JIABAODE TECH CO LTD

Automation program controller allocation

An industrial integrated development environment (IDE) supports decoupled development of industrial control programs without requiring the programs to be initially bound to a specific industrial controller. The IDE system allows industrial control programs to be defined as smart objects within an industrial control project. These smart objects can be created without an initial binding to an industrial controller, and can subsequently be assigned to selected industrial controllers after development of the control programs is complete, or while program development is in progress. A smart object can be reused and deployed to multiple industrial controllers, providing a simple means to implement common control functionality on multiple different automation systems. To allow for deployment of smart objects to selected controllers, the IDE system supports creation of a control project having a one-to-many relationship with industrial controllers, such that multiple controllers can be defined within a single project.
Owner:ROCKWELL AUTOMATION TECH INC

Intelligent program control method and system for intelligent agent Bluetooth headset

The invention relates to the field of intelligent control of Bluetooth earphones, and discloses an intelligent program control method and system for an intelligent Bluetooth earphone, and the method comprises the steps: collecting voice, intonation and physiological signals of a user in real time, and carrying out the dislocation marking of a data stream according to the time, the signal type and the collection source; dynamically matching a psychological state confidence score matrix with a music database and a voice dredging module in combination with voice emotion characteristics, heart rate variability, blood pressure fluctuation and historical psychological state modes and in combination with characteristic clustering density mutation, emotion entropy drift inflection points and multimode signal coupling anomaly analysis, and constructing an emotion-intervention coupling map; and dynamically reconstructing the sensing weight, the recommendation sequence and the playing strategy, and generating an intelligent control instruction set of the Bluetooth headset. The method has the advantage of improving the emotion compactness between the Bluetooth earphone equipment and the user.
Owner:华欧同惠(苏州)科技有限公司

Non-transitory computer-readable recording medium storing support application program for terminal device, and method for controlling terminal device according to support application program

A terminal device may, according to a support application program, in a case where a first instruction corresponding to a printing-related operation related to printing is acquired from the OS program and an end user license agreement related to the computer program has not been agreed, display, on a display of the terminal device, an end user license agreement screen. In a case where the first instruction is acquired from the OS program and the end user license agreement has been agreed, the end user license agreement screen may not be displayed. In a case where an operation of not agreeing to the end user license agreement is received on the end user license agreement screen displayed in response to the first instruction being acquired from the OS program, execution of a process corresponding to the printing-related operation may be limited.
Owner:BROTHER KOGYO KK

Intelligent household multi-device linkage power utilization control method based on MOS tube

The invention discloses a smart home multi-device linkage power utilization control method based on MOS tubes, and belongs to the technical field of smart home control. The digital processor is used as a core, the built-in numerical control module and the data processing unit are matched, the on-off state of the MOS tube is accurately regulated and controlled in combination with a program control algorithm, fine management of power utilization parameters of intelligent household equipment is achieved, the limitation that traditional control response is lagged and poor in adaptability is broken through, rated parameters and real-time requirements of the equipment are dynamically matched, and the power utilization efficiency is improved. The optimal operation of equipment is guaranteed to prolong the service life, invalid energy consumption is reduced, a high-precision foundation is laid for multi-equipment cooperative linkage, the stability and energy efficiency of a system are improved, multi-scene linkage logic is preset by means of a logic state machine, and rapid switching and reliable execution of multi-scene linkage are realized by matching with an application selection switch of an MOS tube array structure. Scene requirements are automatically adapted, and through independent loop control, fault detection and standby loop design, the problems that linkage switching is tedious and the fault influence is large are solved.
Owner:SHENZHEN MAXKING ELECTRONICS CO LTD

Large language model operator compiling method and system oriented to GPU (Graphics Processing Unit) platform

The invention provides a large language model operator compiling method oriented to a GPU platform, and belongs to the field of GPU operator compilation. A large language model operator is compiled through a Python interface to obtain a Python code; performing lexical analysis and grammatical analysis on the Python code to generate an abstract syntax tree; mapping the abstract syntax tree into an MMIR extension intermediate representation; tensor layout in the MLIR extension intermediate representation is uniformly converted into a binary linear mapping matrix, and optimization problems of global memory layout, shared memory layout and register block layout are analyzed based on the binary linear mapping matrix; automatically deducing a non-key tensor layout based on a program control flow diagram, generating a global optimal layout scheme, and obtaining an optimized MMIR extension intermediate representation; enabling the optimized MLIR extension intermediate representation to pass through a GGPU (Graphics Graphics Processing Unit) target code generator of the MLIR, and generating a PTX code adaptive to the NVIDIA GPU; the PTX code is loaded to a GPU, and an operator calculation result is output; the invention further provides a compiling system. The problem that the current large language model operator compiling efficiency is low is solved.
Owner:江淮前沿技术协同创新中心

Program control system and method based on pressure distribution test

PendingCN121956636AAchieve form optimizationAchieve automated control and support effectsForce measurementNursing bedsVery high resolutionMedical knowledge
The invention relates to the technical field of program control, in particular to a program control system and method based on a pressure distribution test. Comprising a multi-dimensional pressure data acquisition unit, a control logic decision unit and a cooperative control unit. Through the combination of the high-resolution flexible sensor array and the deep learning inversion model, the spine curvature and the shoulder-hip proportion of the user can be automatically identified, the shoulder, the waist, the hip and other skeleton protruding parts can be accurately tracked, a unique and accurate personalized physiological model basis is provided for subsequent analysis, and the user experience is improved. A'ideal pressure-bearing database 'constructed based on clinical medical knowledge is embedded, a'digital human' pressure state sensed in real time is compared with a matched'health template ', a dynamic weight mechanism with clinical significance is introduced, and a'pressure-bearing difference value' aiming at preventing pressure sores and maintaining spine health is calculated; the purpose of converting an adjustment target from fuzzy'more comfortable 'into quantitative physiological index optimization with definite health orientation is achieved.
Owner:NISCO CO LTD(CN)

System and method for remotely controlling a running tool

A system is for remotely controlling a running tool to install equipment in a subsea well through a subsea structure. The system has a control device for controlling the running tool and a communication module for wirelessly communicating with the control device. The control device and the communication module include wireless communication interfaces for communicating subsea with each other through the subsea structure when the control device is provided internally to the subsea structure and the communication module is provided externally to the subsea structure. The memory of the control device is configured with state identifiers for representing internal states of the running tool and programs associated with operations for controlling the running tool. The control device is configured to receive commands from the communication module, execute the programs based on the command, and return a state identifier for representing a current internal state of the running tool.
Owner:FOX SUBSEA AS

Processing control system and method for ultra-high molecular weight polyethylene lining oil pipe

The invention relates to the technical field of program control systems, in particular to an ultra-high molecular weight polyethylene lining oil pipe machining control system and method, and the system comprises a process parameter resolving module which is used for obtaining input steel pipe outer diameter, lining pipe wall thickness, material thermal expansion coefficient and elasticity modulus parameters; according to the method, in the machining process, basic data such as the outer diameter of the steel pipe, the wall thickness of the lining pipe, the thermal expansion coefficient of the material and the elastic modulus parameter are obtained, and the heating temperature and the holding pressure at each time point are combined, so that the control instruction can be matched with the process requirement in advance; therefore, accurate response is realized when the heating and pressurizing device is driven in the execution stage. Time recording and sensor data acquisition are synchronously started, and real-time numerical values of temperature and pressure are associated with timestamps and integrated into a complete process curve, so that process information has continuity and traceability.
Owner:甘肃衍河石油管道涂层有限公司

Inferring type definitions of user-defined types of variables in application program code

Type definitions of user-defined types in application program code for which definitions are absent (“unknown types”) are inferred. A static analyzer implements two passes of a fixed-point type inference algorithm. Each pass encompasses a plurality of traversals of the application's control flow to build inferred definitions of unknown types until the inferred definitions are maximally built. To build an inferred definition, based on inferring a variable is an unknown type, the static analyzer infers member variables / functions of the unknown type based on contextual information associated with the variable. Type information of unknown types is propagated along control flow paths. After the first pass terminates, unknown types can be assigned known types based on matching of inferred definitions. Inferred definitions of remaining unknown types are incorporated into the application program code. A second pass of type inferencing and data flow analysis are then performed with the inferred definitions incorporated therein.
Owner:VERACODE INC

Aviation handrail automatic production method, electronic equipment, medium and program product

The embodiment of the invention provides an aviation handrail automatic production method, electronic equipment, a medium and a program product, and the method comprises the steps that a production task of a target aviation handrail is acquired, and the production task comprises blank specification data and product specification data; according to the blank specification data, an unstacking robot is controlled to unstack and take materials, a blank of the target aviation handrail is obtained, the unstacking robot is controlled to put the blank into a temporary storage area, and production state data of a workpiece corresponding to the blank is obtained; determining all production processes according to the product specification data, and determining the next production process in combination with the production state data; production equipment corresponding to the next production process is determined, target production equipment is obtained, and the carrying robot is controlled to carry the workpiece to the target production equipment; obtaining a target machining program according to the product specification data, and controlling target production equipment to call the target machining program to machine the workpiece; and when all the production procedures of the workpiece are completed to obtain the target aviation handrail, the stacking robot is controlled to place the target aviation handrail into a finished product stacking disc.
Owner:MAKINO MACHINE TOOL CHINA CO LTD

Robot fiber placement program control method and robot fiber placement program control system

The invention discloses a robot fiber placement program control method and a robot fiber placement program control system. The method can comprise the steps that Python software in a control terminal is used for reading a fiber placement program template file pre-stored in the control terminal, fiber placement process variable parameters are input into the control terminal to modify the fiber placement program template file to generate a fiber placement program file, and the fiber placement program file is sent to a KUKA robot; and the KUKA robot carries out fiber placement operation based on the fiber placement program file. According to the method, the Python is independent of the KUKA robot to generate the fiber placement program file, so that the working efficiency can be greatly improved, the working mode is simplified, and only technological parameters need to be input into the Python; according to the method, the learning cost of personnel is reduced, the KUKA code does not need to be deeply known, the KUKA code does not need to be repeatedly and tediously written, and the fiber placement efficiency is greatly improved.
Owner:BEIJING FANGSHUO COMPOSITE TECH CO LTD

System and method for virtualization-assisted debugging

Disclosed are systems and methods for debugging program code using a computing system. The disclosed method includes designating a control point in a software application subject to a debugging procedure, and then executing the program code for the software application as a guest application executing within a virtual machine. Upon detection of a virtualization event, the hardware processor transfers program control to a hypervisor which then determines whether the virtualization event corresponds to the designated control point based on an execution state of the guest application. If so, the virtualization event handler may generate a debugging event that is used by a debugger.
Owner:PARALLELS INT GMBH