32 results about "Program Design Language" patented technology

The invention discloses an automatic grading method used in C, Pascal, Fortran and Basic programming subjects. Its steps include: input program (S) designed by students and standard key; respectively analyze grammar and accidence of program (S) and standard key (Ti) and generate system dependency graph (Gs), (Gt.i); Normalize the two graphs; represent the two graphs in syntax tree to eliminate code diversification; match process result in scale, construction, depth and knowledge application four layers; give once matching score (108) and select the highest score from all matching results of (S) and (Ti) as the final score (110). With a full consideration of kinds of grading factors, the invention has a higher precision than manual grading.

The invention provides a unified data service platform and an implementation method of the unified data service platform. The implementation method of the unified data service platform comprises the steps that an operation request from an application server is received through an RESTful interface, wherein the operation request includes a data object and an operation method; a corresponding and executable operation process is searched for in a memory according to the data object and the operation method in the operation request, and a database server where the data object in the operation request is located is searched for according to the preset mapping relation between the data object and the database server; the searched executable operation process is sent to the database server to be executed. According to the unified data service platform and the implementation method of the unified data service platform, the purpose that a data service is irrelevant to a specific program design language can be achieved, high extensibility is achieved, and effectiveness of the data service is improved.

The invention provides a program source code automatic generation function descriptive annotation method. The method comprises the steps of 1, extracting features of source codes; and 2, analyzing theextracted features, and expressing the features about functions automatically by using a natural language. According to the method, corresponding function descriptive annotations can be automaticallygenerated for various different program design languages; the effects and functions of the source codes are well expressed; and the maintenance and development of software can be effectively promoted. Compared with the prior art, the method has the following beneficial effects that 1, an analysis tree of the source codes is processed and the features are extracted, so that the features, not merely the local partial features, of the source codes can be represented more comprehensively in comparison with other methods; 2, the annotation generation no longer depends on a fixed template, so thatthe flexibility and diversity are higher in comparison with other methods, the generated annotation can express more functions, and the description is more comprehensive; and 3, the method is suitablefor various program design languages, and has universality.

The invention discloses a game development system and method in the data disposal device, which is characterized by the following: specifying the function area into several modes through game engine; providing game program design language of each defined mode and relative game engine program execution edition of program coded mode; embedding the edited game engine program in the corresponding game engine mode through information conversion interface; generating the modified game content through game system conformity; the game content can be modified by producer and user, which reduces the development cost and increases the game polyphyly and variation.

The invention relates to a multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system which comprises a variable type declaration module, a variable storage module, an arithmetic expression processing module, an assignment operation processing module, a type cast order processing module and a frame order processing module. Various built-in data types are extended in projection time sequence logic and program design language MSVL, the description capability of the MSVL can be enhanced, the application fields of the MSVL can be extended, so that the MSVL can be more flexibly and widely model and verify a multi-data type system. According to the interpretive system and the interpretive method, the discourse domain of variables is defined as a binary group consisting of a dereference and a type, the interpretations of the variable and constant are defined as a binary group, so that the type of each variable serve as the solid property of the variable, and the reference efficiency of the variable can be improved. Aiming at the discourse domain of the variable and constant and the extension of the interpretations, semantemes of related functions and operational characters can be given, the functions and the operational characters relative to types after the types are extended are compatible with the existing MSVL sentences.

The invention provides an online interactive IT skill education method. A Learner can select interested IT skill types and designated program design language courses to learn through a front-end page of an online interactive system, and learning modes comprises online reading and teaching video watch; the learner can edit program codes online through the online interactive system in a learning process, and network programming, computer programming or hardware description language (HDL) are supported; the learner can check self learning accomplishment in an online test mode, and scores can be recorded; after the learner finishes certain courses, possible interested courses can be recommended by the system to the learner according to a learning locus of the learner. The method is advantaged in that through the novel online interactive IT skill learning method, a learning threshold for the learner is reduced, and IT skill course learning efficiency of the learner is improved.

The invention relates to a method of optimizing interpreted programs, in a virtual machine interpreter of a bytecode-based language, comprising means for dynamically reconfiguring said virtual machine with macro operation codes by replacing an original sequence of simple operation codes with a new sequence of said macro operation codes. The virtual machine interpreter is coded as an indirect threading interpreter thanks to a translation table containing the implementation addresses of the operation codes for translating the bytecodes into the operation code's implementation addresses. Application: embedded systems using any bytecode-based programming language, set to box for interactive video transmissions.

The invention is applicable to the field of computer technology and provides a file protection method based on a block chain and terminal equipment. The method comprises the steps that type information of a first file needing to be protected is acquired; the type information is used for identifying a program design language adopted by a source file corresponding to the first file; protection information of the first file is determined according to the type information; the protection information is used for preventing decompilation; the protection information is configured to the first file according to a preset configuration strategy to obtain a second file; and execution logic of the second file is the same as execution logic of the first file. According to the method, the protection information is configured for the first file of a data interaction port used for setting up the block chain, content in the first file is confused through the configured protection information, therefore, the data security of the first file can be improved, and the security of user information or user properties in an application corresponding to the first file is improved.

The invention relates to an immersive programming language learning system. The system can be arranged in a servo host, and the servo host is connected with a plurality of operation end devices through a network. The system comprises a communication module, a login module, a program installation suite downloading module, a data database module and an analysis and comparison module. The data can bestored by using a traditional relational database or permanently stored by using a blockchain technology. According to the learning game displayed by the hardware architecture and the application program installed by the program installation suite, an operator of a kindergarten can be immersed in the game in a dragging mode and learn English and programming grammar at the same time under the guidance of voice in cooperation with animation demonstration.

The invention discloses a message forwarding gateway system and a message forwarding method, and relates to the technical field of computers. One specific embodiment of the system comprises: a first gateway used for receiving an HTTP request and analyzing the HTTP request to obtain to-be-sent data, and a second gateway which is used for generating a to-be-sent message according to the to-be-sent data and sending the to-be-sent message to the target terminal. According to the embodiment, the user can send the message to the target terminal in various programming language environments, the limitation of official language is broken through, and the user does not need to care about version compatibility; moreover, the first gateway and the second gateway are respectively responsible for different parts of the message forwarding gateway system to form a layered architecture, thereby achieving the purpose of system layered service decoupling, enabling the data processing to be more flexible,enabling the maintainability and expandability to be higher, and reducing the maintenance cost.

The embodiment of the invention discloses a database statement generation method and device and electronic equipment, and the method comprises the steps that attribute information of a data table is obtained, a target programming language is determined, and the data table is a data table in a database; based on the attribute information, a table operation method of the target programming language is defined, the table operation method is used for generating a table operation statement, and the table operation statement is a database statement used for operating a data table with the attribute information in a database; and executing the table operation method based on the attribute information to obtain the table operation statement so as to improve the efficiency of obtaining the database statement.

The invention provides a micro-service interface publishing method and device, electronic equipment and a storage medium. The method comprises the following steps: verifying an input micro-service interface definition described by an interface definition language (IDL), and determining whether the micro-service interface is a new micro-service interface or a micro-service upgrading interface; verifying the determined micro-service new interface or the micro-service upgrade interface; if the micro-service new interface is effective or the micro-service upgrade interface is effective and compatible, taking the micro-service new interface or the micro-service upgrade interface as a to-be-processed micro-service interface; converting the to-be-processed micro-service interface into a programming language source code SDK package by a micro-service interface definition described by IDL; and auditing the SDK package, and issuing the SDK package passing the auditing to a predefined software repository. Therefore, when the micro-service interface is published, the purpose of meeting the high requirement for publishing the micro-service interface in the micro-service mode is achieved.

The invention discloses a use method of a CFlex script language for realizing command sequence and event management, which comprises system implementation, a CFlex infrastructure, target equipment, a CFlex script language, a target programming language, an environment system, a sequence block, an event block, a runtime monitoring and testing framework, a driving program, a real-time scheduling program and a software tool. The software complexity can be reduced by combining the command sequence and the event-driven algorithm.

The invention belongs to the technical field of computer programming languages and application, and discloses an explanation system and method for Python programming language XD-M which comprises the following steps: for basic statements in an XD-M language and statements from a modeling simulation verification language MSVL, carrying out interpretation by a method of calling a bottom layer interface of an MSVL interpreter; for statements with XD-M language characteristics, creating an equivalent MSVL syntax tree for the statements, expanding an underlying interface, and writting an interpretation method for the statements by an underlying layer. An XD-M program written by using the XD-M language can be subjected to modeling, simulation and verification, so that the correctness, reliability and safety of the XD-M language are improved, a Python-like simple variable is used without a programming style of type declaration, and the flexibility of the XD-M program is improved; the invention depends on a MinGW development environment.