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

105 results about "Toolchain" patented technology

In software, a toolchain is a set of programming tools that is used to perform a complex software development task or to create a software product, which is typically another computer program or a set of related programs. In general, the tools forming a toolchain are executed consecutively so the output or resulting environment state of each tool becomes the input or starting environment for the next one, but the term is also used when referring to a set of related tools that are not necessarily executed consecutively.

Dynamic tool integration method and system for intent-driven AI dialogue system

The invention provides a dynamic tool integration method and system for an intention-driven AI dialogue system, and the method comprises the steps: S5, extracting resource occupation information from a transaction log according to a state persistence record, carrying out the resource release and temporary context cleaning of each heterogeneous component, and obtaining a released resource list; s6, searching a breakpoint state snapshot and a transaction log from the distributed database according to the released resource list, and reconstructing a tool chain execution flow historical state to obtain a fault context analysis result; and S8, according to the context recovery state and the semantic feature vector, updating a tool chain execution stream, and reallocating computing resources through a heterogeneous component coordination mechanism to obtain a task continuity confirmation result. According to the method, the recovery efficiency and the resource utilization rate of the tool chain in an abnormal scene are remarkably improved, and the task continuity and the system robustness in a high-concurrency environment are guaranteed.
Owner:GUANGDONG SANDING INTELLIGENT INFORMATION TECH CO LTD

Large model calling system and method based on MCP tool chain

The invention discloses a large model calling system and method based on an MCP tool chain, and the method comprises the steps: receiving user input, and carrying out the preliminary matching of tools: querying whether the user input contains an entity in an entity database or not through a fuzzy matching technology, and carrying out the preliminary screening of a plurality of candidate tools based on a matching result, so as to obtain limited to-be-selected tools; user input is converted into semantic vectors, semantic matching is conducted in a vector database, and semantic similarities of all tools to be selected are ranked through a similarity calculation method; extracting key information in user input; abstracting the user input into a specified format; and matching the specified format with the historical workflow template, and if the historical workflow template is matched, replacing the key information to a corresponding position of the historical workflow template by adopting a structure-preserving parameter replacement algorithm to realize workflow reuse. According to the method and the device, a complete technical link from accurate tool screening to intelligent workflow multiplexing can be realized.
Owner:DACE INFORMATION TECH CO LTD

Lightweight cross-platform PLC multi-language code generation method

The invention discloses a lightweight cross-platform PLC (Programmable Logic Controller) multi-language code generation method, which relates to the field of industrial process control, and firstly provides a unified intermediate data model, and on the basis, a module for converting each PLC language into the unified intermediate data model is realized; on the basis of a standardized JSON data structure, a modularized unified intermediate language conversion chain is further supported, an analyzer and a generator communicate through a JSON interface, a cross-platform conversion path is supported, and unified intermediate language conversion from PLC to JSON to XML to ST to C is completed; the method comprises the following steps of: integrating an open source compiler and runtime, constructing an open and pluggable automatic execution framework, compiling a generated C code into a platform executable file by using an adaptive GCC tool chain aiming at different target platforms, and deploying a program generated by compiling to a soft PLC runtime system supporting multiple platforms. According to the method, a JSON intermediate data structure which is light in weight, unrelated to languages and uniform in structure and a matched conversion framework of the JSON intermediate data structure are constructed.
Owner:SHANGHAI JIAOTONG UNIV

Intelligent agent and tool chain collaborative data processing method, equipment and medium

The invention discloses an agent and tool chain collaborative data processing method and device and a medium, and relates to the technical field of agent application. The method comprises the steps of receiving a data processing task target and related configuration parameters input by a user, and initializing task context data based on the task target and the configuration parameters; executing a circular processing process by an agent based on a ReAct framework, and dynamically adjusting a task strategy by iteratively executing a thinking stage, an action stage and an observation stage until a task completion condition is met; in the circular processing process, based on standardized tool calling instruction data generated by the intelligent agent, cooperatively calling the MCP tool chain and a plurality of tools in the external tool adaptation layer to execute a data processing task; performing aggregation processing and data verification on the multi-source result data returned by the tool execution to generate integrated analysis result data; and displaying task execution process data and a final analysis result in real time through a front-end interaction interface, and dynamically adjusting a task execution process based on user intervention instruction data.
Owner:INSPUR INTELLIGENT NUMBER (TIANJIN) DIGITAL TECHNOLOGY CO LTD

AI dialogue flow control method, system and device supporting real-time interruption of user, medium and program product

The invention discloses an AI dialogue flow control method, system and device supporting real-time interruption of a user, a medium and a program product. The method comprises the steps that a user request is received, and a flow session is established; based on the stream session, requesting LLM increment generation, receiving fragments generated by increment, returning the fragments, and pushing the fragments to the client; when a click stop request of a user is received, an STOP signal is sent; when the STOP signal is monitored, sending a mark termination request; after a mark termination request is received, a subsequent generation termination request is sent to the LLM, a STREAMTERMINATED semantic event is published and broadcasted, and generated content and a termination mark are returned to the client; terminating subsequent generation comprises stopping untriggered subsequent reasoning and tool chain calling; discarding the tail cache which is not sent; and recording the output token count, and terminating the offset. The AI dialogue flow control method supports real-time interruption of the user, is low in delay, clear in semantics and recoverable, and further has the advantages of saving resources, being high in stability, capable of being universally expanded, gaining behavior analysis and the like.
Owner:BEIJING DIANFU TECHNOLOGY CO LTD

An AI native operating system construction method and system based on ecological synergy

PendingCN122284988AOperational systemConfigfs
This invention discloses a method and system for constructing an AI-native operating system based on ecosystem collaboration, belonging to the field of operating system technology. The invention first acquires and decomposes target requirements to form a set of functional and non-functional requirements, constraints, and priority lists. Based on this, it generates an operating system architecture description including kernel configuration and subsystem division. Then, it generates and completes multi-dimensional checks on module code and configuration files, and compiles, links, and packages them through a toolchain to generate an operating system image. This invention employs a three-layer AI model to realize requirement reasoning, system construction, and test optimization, forming a complete automated closed loop from requirement input to runnable image output. Simultaneously, it establishes a unified ecosystem collaboration mechanism to support multi-vendor collaborative development. This invention effectively reduces errors and repetitive work caused by manual intervention, shortens the development cycle, improves system stability and adaptability, and promotes the collaborative evolution and improvement of the AI-native operating system ecosystem.
Owner:四川华鲲振宇智能科技有限责任公司

A circuit input sensitivity analysis method based on undef_sat

The application discloses a circuit input sensitivity analysis method based on Undef SAT, which comprises five steps of netlist analysis and input division, two groups of CNF clause construction, S set assignment and initial solving, first group of solution increment SAT processing and termination and result output. The method uses the incremental SAT processing mode to gradually determine the final assignment of the input variables of the L set, effectively avoids full space search, significantly reduces the search space, and improves the analysis and determination efficiency. The method constructs two groups of CNF clauses supporting irrelevant item propagation, directly processes the irrelevant input variables of the S set by using the Undef SAT solver, reduces the number of logic propagation, and thus reduces the operation time. The integrated process of the circuit input sensitivity analysis formed by the method is suitable for mainstream EDA tool chains, has good engineering applicability, and is suitable for different scenes such as logic synthesis stage, formal verification, functional equivalence checking and loop oscillation detection.
Owner:NINGBO UNIV

Script language oriented earthquake batch job editing method and device

The application provides a script language-oriented seismic batch processing job editing method and device, including obtaining seismic job requirements to be processed, determining seismic job items and database information; initializing each module object in a previously established seismic batch processing job framework, the framework being a script language framework including a preset core library, a module library and a tool chain; determining standard type parameters corresponding to each module object; initializing a job topology structure of the seismic batch processing job framework; based on the seismic job items and the database information, selecting target module objects and adding them to target jobs; outputting a topology graph of a module according to debugging needs, and generating target jobs corresponding to seismic job requirements by calling an XML format file. The application edits a seismic batch processing job framework by facing a script language, realizes seamless connection between job editing and code editing, is more flexible and efficient, and meets diversified needs of users in editing jobs by using a script programming language.
Owner:BGP INC CHINA NAT PETROLEUM CORP +2

Automatic testing method and system for tool chain database file analysis and mapping

The invention provides an automatic testing method and system for tool chain database file analysis and mapping, and belongs to the technical field of automatic testing. The method comprises the steps that a source file is obtained, and first configuration data is obtained through analysis; obtaining a vehicle control operation system configuration file generated after the tool chain performs analysis and mapping processing on the source file, and performing analysis to obtain second configuration data; calling a mapping rule according to a to-be-tested configuration parameter object, and performing mapping processing on the first configuration data to obtain target configuration data; and performing automatic data comparison on the second configuration data and the target configuration data to generate a test report. The method has the beneficial effects that special verification is performed on the correctness of the configuration file of the vehicle control operation system mapped by the source file through tool chain analysis in the design and configuration stage, so that the configuration error of the tool chain caused by the file analysis and mapping error is found in time, the error is prevented from being left in the downstream code generation, integration and function test stage, and the operation efficiency is improved. And the later-stage troubleshooting, debugging and repairing cost is reduced.
Owner:ISOFT INFRASTRUCTURE SOFTWARE

Real-time kernel-oriented program real-time compiling method and device and storage medium

The invention provides a real-time kernel-oriented program real-time compiling method and device and a storage medium. The method comprises the following steps: constructing and running an operating system containing real-time kernel capability on a target hardware platform, and determining a real-time interface library and a real-time equipment driving model of the operating system as dependence of compiling and linking; real-time transformation is carried out on the high-level language compiler and the runtime key library to generate a transformed tool chain, and the real-time transformation comprises the steps that a real-time interface library is introduced into construction and link configuration of the runtime key library, an interface and a data structure of a real-time equipment driving model are included in a visible range of the runtime key library, and the real-time interface library and the real-time equipment driving model are constructed. Real-time constraints are set for a concurrent scheduling and timer mechanism; and compiling an application program source code by utilizing the transformed tool chain, and introducing a real-time interface library in a linking stage to obtain a real-time application program running on an operating system. According to the method, real-time compilation without change of the source code, uniform interface adaptation, cross-architecture multiplexing and deterministic operation can be realized.
Owner:BEIJING FANSHU INFORMATION TECHNOLOGY CO LTD

Excel to ARXML format conversion method and system

PendingCN122287557APathPingIn vehicle
This invention relates to the field of vehicle communication technology, providing a method and system for converting Excel to ARXML format. The method pre-defines an Excel conversion template, specifying that different worksheets correspond to different top-level containers in the ARXML document, and pre-defined mapping rules between Excel column names and ARXML element attributes or child nodes. Based on these mapping rules, the method automatically converts data rows in the Excel worksheet into corresponding ARXML element nodes, and performs reference relationship parsing on the generated nodes, replacing reference path placeholders with reference nodes conforming to the AUTOSAR standard. Finally, it integrates all ARXML element nodes that have undergone reference parsing and updates, generating a compliant ARXML file that can be directly used in the AUTOSAR toolchain. This invention transforms complex manual coding into parameterized table configuration, effectively improving the efficiency, consistency, and compliance of vehicle communication configuration file creation through end-to-end rule mapping and automated processing.
Owner:WUHAN JIANGXIA CHUNENG AUTOMOBILE TECHNOLOGY R&D CO LTD

Uvm verification platform automatic generation system and method based on generative artificial intelligence

PendingCN122262002Agood synergyResolve the contradiction between scale expansionFault responseDetecting faulty computer hardwareLinguistic modelAlgorithm
The application discloses a kind of UVM verification platform automatic generation system and method based on generative artificial intelligence, the system includes generative AI dynamic anchoring module, LLM-VCS self-feedback verification module and conflict detection correction module;The generative AI dynamic anchoring module is used to solve the context window limit problem on large language model, by the key component in UVM platform is marked as anchor file and generates subsequent file based on dependency relationship priority;LLM-VCS self-feedback verification module cooperates with large language model and EDA tool chain, forms closed loop system from specification input to UVM platform generation, simulation and debugging;The conflict detection correction module is used to detect and correct the interface inconsistency and logic error between generated files.The application can adapt to the verification needs of different RTL designs, effectively solve the interface consistency problem of high coupling between UVM modules, flexibly generate UVM platform of different structures, significantly improve the verification efficiency and quality.
Owner:NANJING UNIV

Automatic network protocol program de-randomization method

The invention provides an automatic network protocol program de-randomization method, and belongs to the technical field of fuzzy testing. The method comprises the following steps: a code analysis stage: analyzing a target network protocol program by constructing a prompt guide large language model, identifying random problems and classifying the random problems; an adaptive query generation stage: dynamically generating an adaptive query for each class of deterministic problems so as to locate random codes involved by the random problems; in the deterministic transformation stage, a deterministic patch containing deterministic constraints is generated according to the random codes; in the patch verification stage, the validity of the deterministic patch is verified by executing path consistency detection and fuzzy test efficiency evaluation; and a tool chain integration stage: integrating the generated deterministic patch into a fuzzy test framework so as to carry out continuous verification and subsequent optimization. According to the method, the randomness problem in the program can be identified and eliminated, and the stability and effectiveness of the fuzzy test are remarkably improved.
Owner:NAT UNIV OF DEFENSE TECH

Platform compiling method and device adaptive to various cross tool chains, equipment and storage medium

The embodiment of the invention relates to the technical field of software development, and discloses a platform compiling method and device adaptive to various cross tool chains, equipment and a storage medium, the method comprises the following steps: executing a compiling script, and displaying a tool chain list; the tool chain list comprises a plurality of available cross tool chains, and each cross tool chain has a predefined configuration file and an adaptive script which are independently stored in an independent subdirectory of a tool chain configuration directory; in response to a selection instruction of a user, calling a configuration file and an adaptive script of a target tool chain from the tool chain configuration directory, and configuring a construction environment of the target tool chain; the target tool chain is a cross tool chain in a tool chain list selected by the user; and compiling in the configured construction environment. By means of the technical scheme, the problems that in the prior art, due to the fact that using configurations of cross tool chains provided by all platforms are different, cross-platform compiling of the same set of codes becomes difficult, and the development efficiency is low can be solved.
Owner:AVATR CO LTD

Intelligent software development auxiliary platform fusing multi-modal information

The invention relates to the technical field, and discloses an intelligent software development auxiliary platform fusing multi-modal information, which comprises a multi-modal information acquisition module, a multi-modal fusion module, an interaction and auxiliary generation module, an atlas construction module, a collaborative management module and a feedback closed loop module. According to the method, information of different forms such as requirement documents, design drafts, codes and operation and maintenance data is automatically understood and associated, a unified project knowledge graph is constructed, 'information isolated island 'in a traditional development tool chain is broken, complete and traceable contexts are provided for developers, manual switching and information splicing among multiple tools are not needed, and the development efficiency is improved. And the cognitive load and the context switching cost are obviously reduced. The high-quality code can be directly generated according to the natural language description or the design manuscript, and repeated work is liberated.
Owner:XINYU YUANHE TECHNOLOGY CO LTD

Embedded software construction method and device, electronic equipment and storage medium

The invention discloses an embedded software construction method and device, electronic equipment and a storage medium, and belongs to the technical field of software development, the method comprises the steps that construction parameters configured by a user are provided, and the construction parameters comprise a hardware identifier used for specifying a target embedded hardware platform type; calling a corresponding configuration file from a preset configuration library according to the hardware identifier, wherein the configuration file is used for providing a compiler tool chain path and default compiling options related to the platform; generating a compiling rule frame based on the configuration file, wherein the compiling rule frame comprises a to-be-compiled file list, a final compiling option and a target generation rule; and executing compiling operation according to the compiling rule framework to generate a target output file. According to the method, the preset configuration file is automatically matched through the hardware identifier, so that manual configuration redundancy is greatly reduced; dynamic switching of tool chain configuration during cross-platform construction is realized, and zero modification of platform migration is ensured.
Owner:ZHEJIANG LEAPENERGY TECH CO LTD +1

Method for constructing openEuler embedded file system based on SPARC architecture

A method for constructing an openEuler embedded file system based on an SPARC framework comprises the steps that firstly, according to build root source codes, a proper kernel header version is selected, a cross compiling tool chain of the SPARC framework is compiled, then a binary inclusion set is compiled through the cross compiling tool chain and the build root source codes, and finally the binary inclusion set is packaged to form the file system. According to the method, all source code packets are compiled and compressed into file system packets through a sparc cross compiling tool chain.
Owner:CHINA AEROSPACE TIMES ELECTRONICS CORP

Bidirectional communication method for digital twin system and PLC (Programmable Logic Controller) equipment in Linux environment

The invention discloses a two-way communication method for a digital twin system and PLC (Programmable Logic Controller) equipment in a Linux environment, which comprises the following steps of: establishing a secure communication channel based on TCP (Transmission Control Protocol) and TLS (Transport Layer Server) encryption and two-way authentication, defining an application layer message structure, and finishing initial secure link connection; developing, integrating and packaging a UE5 plug-in with a communication function, and providing visual blueprint nodes to configure PLC equipment parameters and process message serialization; based on a secure communication channel and a UE5 plug-in, real-time bidirectional data interaction is executed between the digital twin system and PLC equipment, and connection is maintained through heartbeat detection and automatic reconnection; and constructing the UE5 project containing the plug-in into a Linux executable file through a cross compiling tool chain, and deploying and configuring the Linux executable file. According to the invention, a safe, real-time and easy-to-use complete solution for bidirectional communication between the digital twin system and the PLC equipment in the Linux environment with good expansibility is formed while the requirements of localization and autonomous controllability are met.
Owner:NORTHWEST ENGINEERING CORPORATION LIMITED

Multi-dimensional adaptive large model inference engine method and system

PendingCN121960747ASolve compilation optimization barriersSolve lossHardware monitoringProgram loading/initiatingParallel computingInterface (computing)
The invention provides a multi-dimensional self-adaptive large model inference engine method and system, and relates to the technical field of artificial intelligence, and the method comprises the steps: collecting hardware identification information of calculation hardware, and calling a hardware fingerprint database for matching to generate a hardware type result and a hardware characteristic parameter; constructing a hardware abstraction layer, loading a hardware abstraction driving plug-in according to a hardware type result, and virtualizing computing hardware into a unified logic computing power unit through a hardware abstraction interface; when a large model reasoning task is triggered, dynamically routing to a back-end executor according to a hardware type result by querying a back-end registry; on the basis of hardware characteristic parameters and a hardware abstract interface, a hardware compiling tool chain is called through a rear-end executor, graph optimization and operator fusion are executed on a large model calculation graph, and therefore self-adaptive deployment and efficient reasoning of a large model on heterogeneous hardware can be achieved; the problems that in the prior art, heterogeneous hardware is insufficient in compatibility, configuration is tedious and rigid, and compilation optimization barriers and performance losses are caused during model cross-platform migration are solved.
Owner:NANJING NANZI INFORMATION TECH

Script toolchains, development methodologies for automotive functional safety projects, electronic devices and software products

This application discloses a script toolchain, a development method for automotive functional safety projects, an electronic device, and a program product. The script toolchain includes: a user interface module for users to perform development operations on target functional safety modules through a visual interface; a user interface control module for calling preset script tool source code based on user development operations; and a script tool source code module including at least two sets of script tool source code corresponding to at least two functional safety modules. The at least two sets of script tool source code are used to automatically complete the development of the target functional safety module in response to the calling instructions from the user interface control module. Using this script toolchain for automotive functional safety project development, users only need to select the functional safety module to be developed in the user interface module, and the user interface control module can then call the corresponding script tool source code from the script tool source code module to automatically complete the development of the target functional safety module.
Owner:SZ ZHUOYU TECH CO LTD

Plan bank for API chains in routing engine for generative model-based digital assistant

Techniques for routing a user input to an action and associated parameters to generate a response to an utterance using a digital assistant and a plan bank for API chains are disclosed. A system can access, based on an utterance, a plan bank that includes composite tools. Each of the composite tools includes: a chain of tools including: application programming interface (API) tools or other composite tools, and associated logic. The system can generate, by a first generative artificial intelligence model, an action plan including one of the composite tools. The system can execute the action plan to obtain response data by executing actions associated with each of the API tools or the other composite tools. The system can generate, by a second generative artificial intelligence model, a response to the utterance based on the response data and can provide the response to the user.
Owner:ORACLE INT CORP

Heterogeneous edge neural network deployment method and system, and electronic device

This application provides a method, system, and electronic device for deploying heterogeneous edge neural networks. The method addresses the adaptation difficulties caused by toolchain dialect barriers and knowledge dispersion by constructing a knowledge base and integrating fragmented hardware knowledge. It replaces scripts that rely on fixed templates by assembling prompt words based on model profiles and target hardware types to generate code, enabling the deployment logic to flexibly adapt to different hardware and model combinations. Through containerized sandbox execution and adaptive correction iterative closed loop based on retrieval and intelligent reasoning, it avoids interruptions upon encountering errors. Execution failures no longer require manual intervention for debugging but instead trigger a diagnosis and repair process until success. Therefore, this method can improve the automation, robustness, and success rate of the deployment process in edge computing scenarios with highly heterogeneous hardware and rapidly evolving toolchains.
Owner:SHANGHAI ANBOTONG COMPUTING POWER TECHNOLOGY CO LTD

Code protection method, electronic equipment and storage medium

The embodiment of the invention provides a code protection method, electronic equipment and a storage medium, and the method comprises the steps: analyzing a preset program, and determining a target code in the preset program; designing a custom instruction based on the target code; and adjusting a tool chain based on the custom instruction, and generating an executable file corresponding to the target code based on the adjusted tool chain. According to the embodiment of the invention, by designing the custom instruction of the key code, the difficulty of reverse engineering of the code is increased, so that the source code is effectively protected, and key confidential information in the code is prevented from being leaked.
Owner:ZHEJIANG GEELY HLDG GRP CO LTD +1

Management method and device of agent tool chain, equipment and storage medium

The invention relates to the technical field of artificial intelligence, can be applied to the medical field and the financial science and technology field, and discloses an agent tool chain management method and device, equipment and a storage medium, and the method comprises the steps: maintaining and dynamically updating a real-time reliability score for each tool in a tool set capable of being called by an agent; determining a target tool from the tool set based on the user query task instruction and reliability analysis; executing the task through the target tool to obtain an execution result; if the execution result is execution failure, obtaining an original error log and failure context information, and converting the original error log and the failure context information into semantic error description information; multi-path backtracking and re-planning operations are performed based on the semantic error description information to switch to an alternative tool and continue to execute the task. The reliability and task success rate of the intelligent agent tool chain are improved, the fault-tolerant capability is enhanced, and resource waste is reduced.
Owner:PING AN TECH (SHENZHEN) CO LTD

A graphical-based C language code file automatic generation system

The application discloses a kind of based on graphical C language code file automatic generation system, comprising: data structure module, data mapping module, C language code file generation module and data storage module, data structure module is used to save the variable of component, data mapping module is used to establish the corresponding relationship of data element between two data models, data field and target field are matched, complete the conversion of data, C language code file generation module is used to generate the final C language code file according to data information in combination with data structure and operation rule, data storage module is used to store the code generated, the present application uses simple and easy automatic code generation mechanism, can automatically generate high-quality production C code meeting MISRA standard, improve the readability of code, and various interfaces and standardized file exchange format are provided by code generator, can integrate tool into the development process and tool chain of user.
Owner:JIANGSU JINLING YUANWANG TECHNOLOGY CO LTD

Ecological maturity evaluation method and device for RISC-V basic software

The embodiment of the invention relates to the technical field of software ecological maturity analysis, and provides an ecological maturity evaluation method and device for RISC-V basic software, and the method comprises the steps: dividing an ecological network of the RISC-V basic software into a plurality of logic layers from bottom to top, and obtaining a hierarchical model, the plurality of logic layers comprise a system firmware layer, an operating system and basic library layer, a compiling tool chain and development tool set layer, a language runtime layer, a video coding and decoding and AI computing ecological layer, a big data processing ecological layer, a virtualization and containerization layer and a cloud computing / cloud native layer, and each logic layer comprises a plurality of software components which can be independently added and deleted; performing hierarchical scoring based on an RISC-V basic software hierarchical model, and performing longitudinal hierarchical aggregation on scoring results of each hierarchy to obtain an overall ecological maturity score; and evaluating the ecological maturity of the software based on the integral ecological maturity score. Therefore, dynamic dimension and hierarchical structure expansion can be supported, and systematic evaluation can be carried out on the ecological system based on quantifiable multi-dimensional indexes.
Owner:INST OF SOFTWARE - CHINESE ACAD OF SCI

Systems and methods for deterministic conformance suites, validator implementation certification, and verifiable certificate registries for replay-verifiable conformance receipts

Disclosed is a fail-closed conformance control layer for machine-assisted decision artifacts. The system generates replay-verifiable receipts that commit to a canonical artifact digest, evidence and snapshot identifiers, assumptions, toolchain identifiers, and a policy pack identifier and policy version digest. A deterministic validator evaluates a receipt under the versioned policy pack to output PASS, FAIL, or HOLD with reason codes from a reason-code registry, including time-stamped modeled-variability codes. Downstream side effects are gated in a control path and permitted only on PASS; otherwise they are withheld or routed to remediation or human review. The system may emit portable conformance packs and revalidate receipts over time to detect drift and manage a certification lifecycle. Conformance suites with deterministic test vectors and expected validator outputs may certify validator implementations by issuing signed conformance certificates and publishing a certificate or certificate digest to a verifiable certificate registry for independent verification and procurement acceptance testing.
Owner:STONE & INK ARCHIVE LLC

Real-time kernel-oriented program real-time compiling method and device and storage medium

The application provides a real-time kernel-oriented program real-time compiling method and device and storage medium. The method comprises the following steps: constructing and running an operating system with real-time kernel capability on a target hardware platform, determining a real-time interface library and a real-time device driver model of the operating system as a dependence for compiling and linking; performing real-time modification on a high-level language compiler and a runtime key library to generate a modified tool chain, wherein the real-time modification comprises introducing the real-time interface library into the construction and linking configuration of the runtime key library, incorporating interfaces and data structures of the real-time device driver model into the visible range of the runtime key library, and setting real-time constraints on concurrent scheduling and timer mechanism; and using the modified tool chain to compile application source code, introducing the real-time interface library in the linking stage, and obtaining a real-time application program running on the operating system. The application can realize real-time compiling without source code modification, unified interface adaptation, cross-architecture reuse and deterministic running.
Owner:BEIJING FANSHU INFORMATION TECHNOLOGY CO LTD

DCU-based performance modeling and code generation method and device

The invention provides a DCU-based performance modeling and code generation method, which comprises the following steps of: constructing a performance model, namely constructing a calculation, memory access and synchronization three-in-one performance model according to acquired DCU hardware characteristics; a parameter analysis model construction step: constructing a parameter analysis model by combining the performance model according to DCU hardware resource constraints, and automatically screening out optimized parameters through the parameter analysis model; and an assembly code generation step: constructing a customized code generation tool, and automatically generating assembly codes of double-precision dense matrix multiplication by the code generation tool according to the optimization parameters. The invention further provides a DCU-based performance modeling and code generation device, a storage medium and electronic equipment. In this way, through an integrated automatic tool chain of performance modeling, parameter analysis and code generation, autonomous and efficient optimization of DCU-DGEMM is achieved.
Owner:INST OF COMPUTING TECH CHINESE ACAD OF SCI