197 results about "Modula" patented technology

Techniques for debugging a computer program that includes multiple modules written in multiple languages allow machines for the multiple languages to interface with a single debugger client using a standard interface. The techniques include storing a mapping that maps language constructs of a first language into language constructs of a second language. While a first machine is executing a first module that is written in the first language, the mapping is used to generate debugging information based on language constructs of the second language. The debugging information is sent to a debugger process designed for debugging programs written in the second language.

A system and method for supporting collective communications on a plurality of processors that use different parallel programming paradigms, in one aspect, may comprise a schedule defining one or more tasks in a collective operation an executor that executes the task, a multisend module to perform one or more data transfer functions associated with the tasks, and a connection manager that controls one or more connections and identifies an available connection. The multisend module uses the available connection in performing the one or more data transfer functions. A plurality of processors that use different parallel programming paradigms can use a common implementation of the schedule module, the executor module, the connection manager and the multisend module via a language adaptor specific to a parallel programming paradigm implemented on a processor.

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.

A byte code modification method for a classfile is described. The classfile describes properties of a class within an object oriented environment. The byte code modification method entails modifying a classfile after the classfile has been compiled from source code. The modification of the classfile entails modifying a method information structure by adding byte code instructions to the byte code instructions of the method information structure's respective method. The added, byte code instructions cause a plug-in module's handler method to execute an output function for the method when it is executed during runtime. The modification of the classfile also entails adding a method information structure that includes byte code instructions for registering the identities of the class and the method with a dispatch unit. The dispatch unit is responsible for dispatching an invocation to the plug-in module during runtime execution of the modified byte code, where, the invocation is directed to the dispatch unit from the added byte code instructions.

The simulation method of the present invention for simulating a system having a plurality of circuit modules using software, comprises the steps of: using an object oriented language; preparing a plurality of circuit base classes, which describe base circuit modules as classes, as a library; describing the circuit modules, to be simulated, as classes by inheriting the circuit base classes prepared as the library; and describing the system, to be simulated, by combining the circuit modules described as the classes.

The invention provides a tree-like combined instruction materialized programming method, which includes the following steps: (1) A running object with a processing unit is built. (2) A linear or tree-like connected materialized logical program is built. A plurality of ID which are joined with a tree-like structure is built in the materialized programming module. (3) A signal connection is built between the materialized logical program and the processing unit. The processing unit reads the materialized programming module ID in sequence according to the tree-like structure, and the linear of tree-like connected relation of the materialized programming module is stored in a storage device. (4) ID is analyzed by the processing unit. The program logic in every materialized programming module is obtained, and the program logic is analyzed in sequence according to the tree-like structure. The tree-like combined instruction materialized programming method, application and materialized programming module further provide an application and a materialized programming module. The tree-like combined instruction materialized programming method, application and materialized programming module can solve the problem of single entity program module combination form, low signal transmission efficiency and low accuracy in current technology.

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.

In a method and system for debugging a program, a debugging module is loaded into a normal thread of execution of the program. A user may then send commands to the debugger module from a command console module operating in a safe separate process. The debugger module receives the commands and converts them into function calls to objects that are accessible by the program. This allows the user to interact manually with the objects and achieve substantially the same responses from the object as the program itself would have obtained during its normal execution. Thus the user can effectively debug the program without having to know the internal structure of any of its constituent objects.

The method comprises: taking a digital document for protection that constitutes a piece of source code, and identifying therein a programming language L defined by a grammar GL; associating an action grammar module with said programming language L; performing a structural characterization of the code in a single syntactic analysis pass on the basis of the action grammar module; this being done by constructing a grammar dictionary GDL associated with the programming language and comprising a set of structural terms such that each of these terms is associated with a rule or a set of rules belonging to said grammar (GL) and by transforming the source code into a structural sequence (RL, TL, GDL) comprising the set of structural terms and the dictionary GDL of the grammar of the language L; proceeding in the same manner to transform a digital document for analysis into a structural sequence (RL, TL, GDL); and measuring the plagiarism ratio between the source code of the digital document for protection and the source code of the digital document for analysis with the help of quantification of the alignment ratio between the respective structural sequences of the source code of the digital document for protection and the digital document for analysis.

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.

An apparatus and method for developing component-based software, and more particularly, an apparatus and method for developing component-based software in order to define an identified component in a component language and reuse the identified component. The apparatus includes a component division module to analyze source code and a build file and to divide the analyzed source code and build file into a build-level component and a functional-level component; an integrity check module to check the integrity of languages defining the build-level component, the functional-level component, and an interface of the functional-level component; and a component combination module to combine one or more build-level components corresponding to one or more functional-level components that form an architecture.

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.

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 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 discloses a software package release method and system based on a multi-language environment. The method comprises the following steps: (a) a server compiles a source code through a built-in compiler; (b) the server packages the complied source code to generate a compiling package; (c) the server sends a configuration information request to a configuration module to obtain corresponding configuration information; and (d) the server adds the received configuration information to the compiling package to generate a corresponding deployment package so as to execute a release operation of a direction target. By adoption of the software package release method and system provided by the invention, errors caused by artificial factors are eliminated to a certain extent to increase the release reliability, the release cost is reduced by automatically executing repeated works of the system, and the resources of the entire system can be effectively used by the reasonable compiling package so as to achieve the purpose of saving resources.

A method generates and verifies a design-for-test (DFT) library for an automatic test pattern generator (ATPG) tool. The method includes (a) creating a synthesis library including primitives to be used to create the modules, the primitives being the same as primitives used by the ATPG tool, (b) creating a register transfer level (RTL) description for each module, (c) performing synthesis using the synthesis library and the RTL description to create a gate level description for each module, and (d) generating the DFT library by converting a hardware description language (HDL) of the gate level description into a script language for the ATPG tool to create a DFT file for each module. The method may further include (e) converting the DFT files into a RTL description to create a pseudo-RTL description for each module, and (f) comparing the RTL description and the pseudo-RTL description for verification of the DFT library.

Apparatus and methods are provided for controlling the loading status of DLLs. Specifically, a streaming program compiler is provided. The compiler includes operation modules for calling DLLs during streaming program execution; association table generating units for generating association tables according to user-defined rules, where the association table includes entries indicating (i) stream branches of the streaming program and (ii) an operation module corresponding to the stream branches; and a trigger generating unit for generating a trigger based on user-defined rules, where the trigger generating unit (i) determines which conditions for loading and unloading DLLs fit the streaming program, (ii) matches these conditions to a particular stream branch to identify a matched stream branch, and (iii) sends out triggering signals indicating the matched stream branch. This invention also provides a corresponding method and controller.

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.

A linker is described and the method of forming an executable program from object code modules using the linker. The linker uses a linker control language in the form of an ordered sequence of relaxation instructions. The relaxation instructions include a jump relaxation instruction which specifies the instruction count of the relaxation instruction which is subsequently read. In this way, more flexibility can be provided for linkers.

The invention relates to an annotation-based Java language method coverage rate and method input and output statistical method and device. The method comprises the following steps: S1, adding a compilation annotation to a newly-added or modified method, and counting and recording related information of the annotated method in an application compilation process by the compilation annotation definition during compilation; S2, adding a runtime annotation to a newly-added or modified method, wherein the runtime annotation definition obtains and records related information of the method when the method is called; and S3, compiling and executing the tested software, obtaining the related information in S1 and S2, calculating the coverage rate of the method according to the information recorded in S1 and S2, and counting the input and output of the method. The device is used for executing the method and comprises an annotation adding module, an annotation processor, a software execution module and an information storage module. The coverage rate and input and output of the statistical method are carried out by increasing annotations, the actual logic of codes cannot be affected, dependence on source codes does not exist, and the method is convenient for testers to use in daily tests.