17 results about "Type checking" patented technology

The invention discloses a complex task structured decomposition method, system and device based on a large language model and a medium, and the method comprises the steps: converting natural language query into a standardized atomic task flow through the combination of a dynamic prompt template and a strong type verification mechanism; the core innovation comprises the steps that a structured prompt template is adopted to guide a large language model to generate a subtask description object meeting the JSON Schema specification, it is ensured that an output result meets the expected structure requirement in combination with a format constraint mechanism, and the logic completeness of a task flow is ensured through a dependency relationship consistency verification mechanism; the system realizes an end-to-end processing process from natural language input to structured task output through task processing link series prompt template construction, model reasoning and result analysis links; according to the method, the problems of adaptability limitation, difficulty in unstructured output docking and weak dependency relationship verification of a traditional rule engine are effectively solved, and efficient and reliable task decomposition support is provided for a complex business scene.

The invention relates to an automatic verification method and system for a power distribution station project file, and the method comprises the following steps: deep analysis of multi-modal information: receiving design assets of a power project of a power distribution station, carrying out the multi-modal structured analysis, and generating structured design data; performing rigidity specification verification: inputting the structured design data into a rule engine, executing rigidity specification verification in combination with rule terms, and outputting a first type of verification result; prediction-reasoning evaluation: performing risk prediction and optimization reasoning on the structured design assets based on a large language model to obtain a second type of evaluation result; and intelligent report generation: fusing the first type of verification result and the second type of evaluation result, and automatically generating a visual review report. Compared with the prior art, the system has the advantages of intelligent examination and the like.

The invention provides a hardware description language code generation system based on TypeScript, comprising a configuration conversion unit, a type verification unit, a parameter calculation unit, an intermediate representation construction unit and a code generation unit, through a type system of TypeScript, type inconformity can be effectively captured in a coding stage, illegal configuration with parameter type inconformity is effectively intercepted, and the code generation efficiency is improved. Therefore, the design error risk and the later debugging cost are reduced; meanwhile, based on the object-oriented characteristic of the TypeScript, the target hardware description language code with the structured hierarchy can be generated, so that the readability of the target hardware description language code is high, and then the maintainability and development efficiency of hardware design are improved.

The invention discloses a Fortran program parallel optimization method based on intelligent dependency analysis. The method comprises the following steps: firstly, constructing a parallel optimization system consisting of a loop extraction module, a loop nested relation analysis module, a semantic analysis module, an intelligent dependency analysis engine, a variable classification module and an instruction generation and injection module; the loop extraction module analyzes a nested relation and a variable action range of loops; the loop nesting relation analysis module determines a nesting relation between loops; the semantic analysis module constructs a row-level data access view; the variable classification module identifies private variables and reduction variables; the intelligent dependency analysis engine executes loop type check, I / O operation check and data dependency check; and the instruction generation and injection module generates a parallelization instruction and inserts the parallelization instruction into the source code to obtain a parallelized program source code. The method can solve the problems that an existing parallelization method is low in cyclic dependency relation recognition accuracy and safety, and parallelization errors cannot be accurately recognized.

The invention relates to the technical field of data serialization, and particularly provides a structured storage fixed-length serialization method and system based on a Rust process macro, and the method comprises the following steps: analyzing declarative attributes in a structured data definition through the Rust process macro, and obtaining a preset fixed length of a variable-length field; based on the preset fixed length, automatically configuring the memory capacity for the variable-length field to avoid dynamic capacity expansion; converting the structured data into a byte sequence by adopting a fixed-length serialization algorithm, so that the total length of the byte sequence is fixed and is irrelevant to a field actual value; when the actual data length of the variable-length field exceeds a preset fixed length, intelligent truncation is performed on the actual data, and the data integrity is maintained; performing type verification on the serialization process in a compiling period by utilizing a type checking mechanism of a Rust compiler; the execution logic of the previous steps is generated in the compiling period through the Rust process macro, so that no redundant operation exists in the running process; according to the scheme, the fixed-length serialization processing of the structured data is comprehensively optimized.

The invention relates to the technical field of programming language compilation, and provides a type checking method, electronic equipment and a storage medium, the method comprises the following steps: reading an instruction statement in a to-be-checked program to obtain an operation code, an operand and an expected type of the operand in the instruction statement; based on the operation code, determining the check strict degree of the instruction statement; based on the checking strict degree of the instruction statement, the expected type of the operand and the declaration type of the operand are checked, and the declaration type is determined based on the declaration statement in the program to be checked. According to the method, the electronic equipment and the storage medium provided by the invention, an effective type checking mechanism with universality is realized for a low abstraction level of a virtual instruction set class, and the security of a program is guaranteed. And moreover, more flexible type checking which is more suitable for the own requirements of the instruction statements is realized, unnecessary type limitation caused by strictly fixed type checking is avoided, and the convenience of programming and debugging is improved.

The invention discloses a process visualization orchestration engine and method based on a large model technology, and relates to the technical field of software process orchestration, and the process visualization orchestration engine based on the large model technology comprises a bidirectional editing core module which is used for supporting canvas editing and code editing of a workflow; the intelligent difference analysis rendering module is used for driving bidirectional change synchronization of code editing and canvas editing based on a response type mapping relation between the bidirectional editing core module and bottom layer node configuration data, and deciding an optimal rendering strategy to realize updating; the mixed checking module comprises static type checking and dynamic checking, and the dynamic checking automatically verifies the compatibility of node interfaces in the configuration process, prompts logic errors in real time and guarantees the executable performance of the process; millisecond-level synchronization of editing operation and rendering updating is realized; invalid redrawing operation is reduced; the error detection accuracy is improved; and the arrangement efficiency of the complex process is improved.

The application provides an intelligent Scala code generation method and system based on artificial intelligence, which comprises the following steps: obtaining a user natural language requirement description, performing semantic understanding and information extraction, extracting function, input and output type and constraint condition to form standardized technical elements, and mapping to a Scala syntax and programming paradigm to generate a requirement semantic vector; performing static analysis on a project code library, extracting code structure, dependency relationship and coding style, constructing a multi-level context knowledge graph, and obtaining a context vector through a graph neural network and an attention mechanism; fusing the two types of vectors to generate a joint vector, relying on a pre-trained Scala code generation model to generate a code framework and core code, generating and optimizing a candidate scheme through a beam search algorithm, and determining an optimal code scheme; performing formatting, type checking, performance optimization and test verification on the optimal code scheme, automatically generating document annotations, and obtaining a final perfect code. The application realizes perfect balance between performance and reliability.

The present application relates to the technical field of digital twinning, in particular to a low-code device information digital twinning model creation method, which builds a model framework by dragging and dropping predefined input, output and logic processing components from a component library to a canvas, flexibly configures component parameters using a context attribute panel, and establishes data flow between component ports using intuitive graphical connection operations, and performs real-time data type checking to ensure the correctness of the connection. Finally, by configuring the address binding of I / O components with external controllers or data sources, and supporting real-time data monitoring and input forced assignment during the simulation stage, a device information model is constructed that is complete in function and can directly interact with the real control system for data verification. The traditional code writing work is transformed into visual configuration and connection operation, greatly reducing the technical threshold and development workload, enabling domain experts to quickly build, modify and debug models without deep programming background.

This invention provides a method, apparatus, and computer device for generating database operation statements. By using a chained approach to call application programming interfaces (APIs) to generate input instructions, it simplifies the learning and development process for developers. By passing the fields required by the APIs called by the input instructions through method references, it achieves compile-time type checking, avoiding runtime exceptions caused by spelling errors or table structure changes. By generating ORM-compatible database operation statements from the input instructions based on the mapping relationship between entity classes and the database, it eliminates the need for inheriting specific classes, configuring numerous annotations, or generating auxiliary classes, enabling seamless integration into existing application systems. This invention addresses the pain points of traditional SQL generation tools, such as complex syntax, high code invasiveness, high integration costs, and steep learning curves, providing developers with an efficient, secure, and flexible solution for dynamically constructing database operation statements, thus supporting enterprise digital transformation.

The invention relates to an anti-quantum cryptography hybrid programming language program verification method and an anti-quantum cryptography hybrid programming language program verification system. The method comprises the following steps: inputting a password protocol program to be verified in Rocq based on a hybrid programming language; subprograms in the cryptographic protocol program are modeled in a formalized mode through a module system, and classic program behaviors and quantum program behaviors in the cryptographic protocol program are described based on a unified grammar framework of a hybrid programming language; performing type checking and grammar checking on a program written based on a unified grammar framework and a module system; generating semantics of the program according to grammar for the program passing the check; protocol properties needing to be proved are described in a formalized mode according to grammar; establishing an inference rule based on program rewriting on the basis of grammar; and carrying out interactive certification on the formally described protocol property in the Rocq by using a certification strategy of the Rocq. According to the method, the security of the complex password protocol can be completely and accurately described and automatically verified, and the verification reliability and efficiency are remarkably improved.

Techniques are described for providing a software-based platform used to collect and analyze data artifacts generated during software development processes and to display results of the analyses as actionable information. The software development observability platform is a software-based agent (also referred to as an “artifact collector”) capable of capturing output from a wide variety of software development tools including compilers, test frameworks, code coverage and type checker tools, and the like. The artifact collector stores the data in an event data format and forwards the data to a data intake and query system or other destination for further analysis. In some examples, the software development observability platform further includes graphical user interfaces (GUIs) and other analysis tools that enable users to obtain insights into their software development processes.

The application discloses a kind of dynamic form automatic mapping methods and systems for multi-modal data.The method comprises: obtaining multi-modal original data and target dynamic form unit information;The multi-modal original data is preprocessed to obtain structured intermediate data;For form field dynamically generating structured prompt word template;Structured intermediate data and prompt word template are input into large language model, and structured data segment containing field value, confidence and source position is obtained;The output JSON Schema matched with form structure is constructed, and the data segment is organized as standard JSON data package;After the field value in JSON data package is matched by semantics, type checking and logical constraint, it is automatically filled into the corresponding control of form, and the automatic mapping of multi-modal data to dynamic form is completed.By the present application, multi-modal original data can be automatically mapped, filled and configured to any dynamic form with high precision, which greatly improves data entry efficiency and reduces error rate.

This invention discloses a method for dynamic language syntax extension and type description based on Prefer blocks. The method includes: performing lexical and syntactic analysis on the dynamic language source code containing Prefer blocks to construct an abstract syntax tree (AST) containing Prefer nodes; parsing the Prefer nodes in the AST to extract type constraint information declared in the Prefer blocks; associating the type constraint information with the corresponding function and variable nodes in the AST to obtain an associated syntax tree; and performing type checking and code generation on the dynamic language source code based on the associated syntax tree to obtain a bytecode file. By setting non-intrusive Prefer blocks and describing type constraints using syntax classes, type information is introduced into the dynamic language without modifying the core syntax or intruding on business logic code, thus solving the problems of tight coupling, poor extensibility, and strong intrusion between the type description mechanism and the core syntax.

The invention is suitable for the field of computer programming, and provides a chained-call-based Java language LINQ expression implementation method, which comprises the following steps: providing a LinqQuer interface, defining a chained operator, namely, a where operator and a select, and providing type security through a generic T; a user calls a chain operator of the LinqQuery interface to generate an operator tree, wherein the operator tree is used for recording query logic; analyzing the operator tree, executing query according to levels, and returning a result set; the method has the advantages that compared with traditional circulation and condition branch implementation, the number of code lines is reduced by about 40%, readability is remarkably improved, a developer can easily expand a query function through an open operator interface, query logic type check is completed in a compilation period through generic constraint, errors during operation are reduced, and the method is convenient to operate. Unified query of various scenes such as a memory set, database query and file reading is supported.

The application is suitable for the field of computer programming and provides a Java language LINQ expression implementation method based on chain calling, which comprises the following steps: providing a LinqQuery interface, the LinqQuery interface defines a chain operator where operator and select, and type safety is provided through a generic T; a user generates an operator tree through calling the chain operator of the LinqQuery interface, the operator tree is used for recording query logic; the operator tree is parsed, query is executed in layers, and a result set is returned; the application has the beneficial effects that compared with traditional loop and conditional branch implementation, the number of code lines is reduced by about 40%, the readability is significantly improved, through an open operator interface, a developer can easily extend query functions, through generic constraints, type checking of query logic is completed at the compilation stage, runtime errors are reduced, and unified query of various scenes such as memory collection, database query and file reading is supported.

The invention discloses a high-safety PLC compiling verification method for a nuclear energy automation control system, and relates to the technical field of software engineering and nuclear energy control, and the method comprises the following steps: firstly, designing a PLC language subset ST-light suitable for the nuclear energy control system; secondly, constructing a semantic model of ST-light based on big step semantics; then, a trusted compilation algorithm from ST-light to Light is designed; comprising the steps of performing type checking to ensure variable type matching; a Light code is generated; a CompCert credible compiling chain is adopted to convert the Light into a target code; and finally, proving the semantic consistency of the designed trusted compilation algorithm by using a theorem proving technology. According to the method provided by the invention, system faults caused by compiling errors are avoided, so that the operation reliability of nuclear energy facilities is improved.