183 results about "Modula" patented technology

A technique verifies a compound software code using a modularized architecture. The compound software code may be divided into smaller components or modules that provide various functions (e.g., services) of the code. A set of properties may be defined for the modules, such that the verification technique may be used to verify that the modules manifest those properties, wherein at least one property may be security related and the remaining properties may be related to the services of the modules. The compound software code is divided into smaller modules to facilitate verification of the properties related to the services provided by the modules. Properties of the modules may be verified in accordance with an enhanced verification procedure to demonstrate that the modules manifest those properties and transform those modules into verified code bases (VCBs). The services of the VCBs may then be combined to provide functionality of the compound software code using well-defined interfaces, such as application programming interfaces (APIs).

The invention discloses a physical programming method and applications of the method in a robot field. The method comprises steps: (1) a running object with a main control board is built; (2) physical programming building blocks are used for building program logic; (3) a physical programming module is connected with the main control board; (4) a program is loaded to a memory of the main control board; (5) the program is analyzed and whether the program logic is correct is detected; (6) if the program logic is correct, the program is executed, and whether the program is correctly executed is verified, and if the program logic is incorrect, error block information is fed back, the corresponding program is corrected, the third step is returned for continuing until the program logic is correct; and (7) if the running object runs correctly, termination is carried out, or otherwise, the program is corrected, and the third step is continued until correct running. Through visually reflecting the program spliced by the physical instruction model to running of the running object, kids and green hands can understand the program more specifically, and the program can be designed and corrected.

The invention provides an automated task parallel method suitable for distributed machine learning and a system thereof. The method and the system solve defects of a programming interface in existing distributed machine learning, and tight coupling of system data access behaviors and application logic caused by just providing a reading-writing interface of key value pairs. The defect intensifies network bandwidth resource competition in distributed cluster, and causes that programming personnel is difficult to perform parallelization on a task. The system comprises a work node module, a service node module, a host node module, a tensor module, a scheduling module, a message tracking module, a stage module, a stage group module, and an executing engine module. Through providing higher-level programming abstraction, the system decouples logic of reading-writing access behaviors and an application program. In operation, the system firstly dynamically partitions tasks according to the load condition of a service node, and then machine learning tasks are automatically executed in a parallel manner, so as to greatly reduce burden of programming personnel to compile high-concurrency machine learning applications.

Some embodiments provide a system that facilitates the development, maintenance, and execution of a software program. During operation, the system obtains a module declaration for a module to be used in the software program. Next, the system resolves one or more dependencies of the module using the module declaration and a list of available modules for the software program. Finally, the system uses the resolved dependencies to manage the software program throughout the life cycle of the software program.

The invention relates to a parallelization security hole detecting method based on a function call graph, which is characterized in that a function set to be detected is determined by analyzing the function call relation in a C language module, instrumentation and assert analysis are performed for the function set by means of the preprocessing technology, and then security holes of a program are detected by the aid of model checking and the parallelization technology. The method mainly includes the steps: generating the function relation call graph, and determining C function information to be detected by analyzing the function relation call graph; extracting attribute information of a buffer area related to C program source codes by the aid of the constraint analysis technology, and inserting corresponding ASSERT statement information in a variable declaration, an assignment and a function call point by means of the attribute information of the buffer area; and performing accessibility judgment for the instrumented codes, and analyzing whether a dangerous point in the program includes an accessible path to discover the security holes in the source codes or not. The method detects the security holes such as buffer area overflow and the like by combining the constraint analysis static detecting technology, model checking and the parallelization technology, and the detecting precision of the method is higher than that of the general static detecting technology.

The invention relates to a system for automatically converting a hardware language VHDL (Vhsic Hardware Description Language) into an MSVL (Modeling, Simulation and Verification Language). The system can convert a VHDL language program file into an MSVL language program file; the conversion system comprises a file analysis module, a lexical analysis module, a syntactic analysis, an information storage module, a translation module and a translation result character string connection module. After a VHDL program is converted into an MSVL program, model construction and property description use the same language, so that verification is carried out in the same logic framework and indirect model detection on the VHDL language program is conveniently realized. In the converting process, the VHDL program is converted into the semantic equivalent MSVL program by making conversion rules of different grammatical structure through a plurality of additional auxiliary means, so that correctness of a source VHDL program can be ensured by carrying out simulation, model construction and verification on the equivalent MSVL program.

The invention relates to a computer language transformation system. The computer language transformation system is used for transforming C language program into MSVL (Modeling, Simulation and Verification Language) program, and comprises a lexical analysis module, a syntax analysis module and a transformation processing module, wherein the lexical analysis module is used for transforming character sequences into word sequences; the character sequences comprise definitions of key words, identification characters, constants, operators, header files and comment lines in C language; the syntax analysis module is used for identifying specific sentences in C language based on related lexical rules of C language specified in yacc (Yet Another Compiler Compiler); and the transformation processing module is used for transforming C language into MSVL language according to a language transformation rule between C language and MSVL language.

The invention discloses a system and method for MSVL compiling. The system comprises an MSVL leading end and a bottom layer virtual machine rear end. The MSVL leading end comprises a morphology grammatical analysis module, a preprocessing module and an intermediate code generating module. An LLVM rear end comprises a target code generation module. A method for MSVL compiling comprises the steps of using a normal form method to preprocess simple statements in MSVL, respectively preprocessing each concurrent component for complex statements, and creating a thread for each concurrent component. According to the system and method for MSVL compiling, problems that in the prior art, efficiency of executing an MSVL program and the efficiency of program verification and execution is affected are solved well, and MSVL program execution and verification efficiency is improved. According to differences of the complexity of a program, the program execution speed can be improved by tens of times or even up to a hundred times; and the program can be repeatedly executed after being compiled successfully in one time and does not need to be compiled again.

The autonomous underwater system for environmental monitoring (100) comprising a multidisciplinary underwater station (101) equipped with onboard instrumentation (202), at least one autonomous, modular underwater vehicle (102) movable inside an area to be monitored (107) along an assigned route 106 and at least one external instrumental modulus (206) which can be connected to said vehicle (102), wherein said multidisciplinary underwater station (101) comprises a docking area (204), an interface system (220), an equipping system (207) for supplying the vehicle (102) with instrumental modula (206) and a management system (201).

The invention relates to an implementation system of flow engine based on dynamic business, which comprises a flow module, a combined flow module, a flow scheduling module, and a dynamic flow processing module, wherein an output end of the flow module is connected with an input end of the combined flow module, an output end of the combined flow module is connected with the flow scheduling module, and an output end of the flow scheduling module is connected with the dynamic flow processing module. The method and system of the invention are characterized in that: flow modules are added to generate a function for combining a plurality of flow modules into a new flow module; a flow engine is written by using C language, and execution efficiency of codes is high; the flow engine is processed in a multi-process manner, thereby improving the business processing capacity greatly; dynamic flow generating and scheduling methods are adopted in the invention, and processing of flow supporting complex business is realized.

A process module library according to the invention for programming a manipulator process, in particular an assembly process, comprises a plurality of parametrisable process modules (''search()'',''peg_in_hole()'',''gear()'',''screw()'') for carrying out a sub-process which in particular is common to different manipulator processes. Each of the process modules comprises a plurality of basic commands of a common set of basic commands for carrying out a basic operation, in particular an atomic or molecular operation, and a process module can be linked, in particular mathematically, to a further process module and/or a basic command. During programming, a manipulator can be controlled by means of a functional module of a graphic programming environment (100).

The invention relates to a method for realizing hybrid programming by embedding a high-level language into a ladder diagram. In the method, a high-level language program taken as a module is inserted into the ladder diagram, and the inserted grogram module is stored in a file in a function type. The high-level language program file and a machine instruction code generated by the ladder diagram program are compiled into an executable file to be downloaded on a PLC (Programmable Logic Controller). In running, the high-level language program module is called from a machine instruction generated by the ladder diagram program so as to execute the high-level language program module. By embedding the algorithm module compiled by the high-level computer language in the ladder diagram, the method solves the problem that a complicated algorithm is difficult to realize; and by utilizing the advantages of stability and reliability of the ladder diagram, the development efficiency of a complicated control system is enhanced, and the aim of enhancing the functions of the ladder diagram can be realized by embedding an intelligent algorithm at the same time.

A combined language-compiler that provides for the efficient compilation process of hybrid computer code written using a plurality of computer languages by splitting the hybrid code in such a way that each code statement is optimally independently compilable. The designer specifies both computation and communication between different hybrid code modules.

The invention relates to the technical field of code compiling and particularly discloses a code compiling method and device, wherein the method includes the following steps: modifying some or all ofthe code modules in a program; recording identifying information of a compiled description file corresponding to the modified code modules in a record file; when compiling the program, recompiling with the code modules corresponding to the compiled description file recorded in the record file, and performing the last compilation result with the code modules corresponding to the compiled description file not recorded in the record file. The code compiling method has the advantages that by setting the record file to record the identifying information of the compiled description file corresponding to the modified code modules, the goal of recording the modified code modules is attained and automatic recording after modifying the codes is achieved; in addition, only the modified code modules are recompiled, which can ensure correct rate of compiling and increase compiling efficiency.

The invention relates to a safety redundant coding processing method for a vehicle-mounted ATP system, which comprises the following steps: (1) processing pregenerated signatures, configuration information and unsafe C language codes by an input and error detection module; (2) processing the processed pregenerated signatures, configuration information and unsafe C language codes by a precompiler of a safety redundant coding compiler to generate intermediate code files, and processing the intermediate code files by an intermediate code compiler of the safety redundant coding compiler to generate compensation constants and coded C language codes; (3) generating auxiliary language codes by a safety redundant coding optimization module; (4) processing the compensation constants, the coded C language codes and the auxiliary language codes by a general compiler and a connector to generate safety redundant codes; and (5) processing the safety redundant codes by an output and error detection module to be output. Compared with the prior art, the invention has the advantages of ensuring safety operation of the system, and the like.

The invention discloses an automatic generation system of a C language code on the basis of data configuration in a trackside control unit. The system comprises a database analysis module, a data structure module, an interlocking rule library module, a logic tree module and a C language generation module, wherein the data structure module defines a data structure required for interlocking expression and logic operation; the interlocking rule library module defines an operation rule based on an interlocking specification; the database analysis module reads interlocking data and configuration data and is combined with the data structure module and the interlocking rule library module to express interlocking data as a complex logic expression; the logic tree module analyzes the complex logic expression into a basic logic expression; and the C language generation module takes the list of the basic logic expression as input and is combined with the data structure module and the interlocking rule library module, and a final C language code file is generated according to the configuration data, the interlocking data and existing source code information. The analysis and the code compiling of the complex logic expression on the basis of the data configuration can be accurately processed.

The invention provides a Python program encryption protection system and method based on code virtualization. According to the invention, a pyc analysis module, a code object disassembling module, anencryption virtual machine generation module, a code object post-processing module, a code object generation module and a pyc generation module are arranged; on the premise that a Python interpreter layer is not modified and any third-party dll and so library is not loaded, Python codes are protected as high as possible, an original pyc file structure is damaged, so that a universal decompilationtool cannot be applied to an encrypted pyc file in architecture, the program safety is improved, and software written in Python script language is tamper-proof and counterfeit-proof.

The embodiment of the invention discloses a GPU performance test method and device and a computer storage medium. The method comprises the following steps: analyzing the ratio of GPU related codes ineach test case program in a test case set; counting the running duration of each test case program in the test case set in the GPU and the frame processing amount in the running process; for each testcase program, dividing the test case program into a plurality of code modules according to a graphic rendering pipeline of the GPU, and calculating a weight value of each code module; based on the set influence factor corresponding to each code module, the weight value of each code module and the ratio of GPU related codes in each test case program, obtaining the corresponding weight value of each test case program in the test case set; and determining a performance score of the test case set for performing a performance test on the GPU based on the corresponding weight values of all the testcase programs in the test case set in the test case set, the running duration and the frame processing amount in the running process.

The invention relates to an extension method based on the existing standard C language so that the existing C language specification can be applied to the program design of a polycaryon processor. In addition, the invention describes a method for correspondingly improving the existing C language compilation system, so that the existing C language compilation system can support the improved method and can also complete the compilation work of the polycaryon program. Source program is marked according to different processor nuclei and public storage regions through adding keywords of MCU and PUB, in addition, the source program is processed into source program files realizing the correspondence according to different processor nuclei and public storage regions under the processing of C language prepositive compilation program related by the invention, then, a traditional C language compilation system is invoked for compilation, finally, one or a plurality of binary program files are obtained, and system operation is carried out. The invention adopts a keyword adding method for extending the C language program on the basis of the existing C language system, realizes the compatibility of all C language functional definition modules in the extension C language, has simple application, and can be easily accepted. The compilation according to the traditional C language can be ensured, and the binary program files used for the polycaryon processor can be compiled. Under the condition that the prepositive compilation program of the invention is added, the compilation can be carried out on the polycaryon processor, executable files are generated, and the extension of the existing compilation software is convenient, and the invention can realize the compilation aiming at the polycaryon.

A system and methods for the creation of domain-specific languages that are both domain-agnostic and language-agnostic for use in a multi-language abstract digital simulation model generation and execution, comprising an onboarding module that creates domain specific models from declarative languages, domain-specific language engine, that uses the declarative domain-specific models to create a domain specific language, a meta-model structuring and creation system, meta-model mapping table, remote server, simulation execution process, computer domain-specific language, and methods for user-creation and editing of meta-models, simulation models, and parametrization of simulation environments, actors, objects, and events in real-time using heuristic searching.

The invention discloses an automatic programming method and system for natural language machine thinking. After a task book is obtained, the following steps are sequentially carried out: S1, converting and expressing a task book text; S2, establishing a corresponding relation library; S3, externally inputting or automatically compiling a task book text, and interpreting, defining and understandingthe task book to be solved; S4, searching an algorithm module library according to the problem type and the problem framework composition mode, and designing an algorithm for solving the problem, a design program and a selected algorithm according to the algorithm module library; S5, entering a natural language generation type system, and outputting an instruction to enter programming software orenter any programming language for programming to obtain a program; And S6, running the program, and checking an output result of the program. Therefore, the machine automatically generates a specific program capable of completing the target after receiving the demand description about the target to be realized by the designed program. The method is a creative artificial intelligence technology,and has a great commercial value.

The invention discloses a C language program question automatic scoring system, and aims at realizing complete paperless teaching of a C language course, reducing paper marking workload and enhancing fairness and accuracy in the reviewing process. The C language program question automatic scoring system comprises four modules of a result comparison module, a test case automatic generation module, a program static comparison module and a result output module. A connection mode of the aforementioned modules is that processing results of the result comparison module, the test case automatic generation module and the program static comparison module act as input of the result output module.