Product
Patsnap Eureka
For R&D, Patsnap Eureka makes reading and utilizing patents & technical documents easy.
Patsnap Eureka AIR
Designed for self-driven R&D workflows. Generate viable solutions, solve complex R&D challenges, empower your innovation with AI.
Patsnap Eureka Materials
Designed for material experts only. Revolutionize your material R&D, from search, analyze, to developing new materials.
Feature
TechResearch
Generate reliable direction feasibility study reports for your R&D in just a few steps.
TechSeek
Discover and master advanced knowledge NOW. Basics, ideas, possibilities, all at once.
TechMind
As an expert in R&D Theories, TechMind can generates customized viable solutions instantly.
TechRisk
Analyze your overall solution with one click, know your potential R&D risks in advance.
TechMonitor
Get weekly tech updates, stay abreast of the latest tech innovations and key insights.
Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
32 results about "Program Design Language" patented technology
Efficacy Topic
Property
Owner
Technical Advancement
Application Domain
Technology Topic
Technology Field Word
Patent Country/Region
Patent Type
Patent Status
Application Year
Inventor
Program Design Language (or PDL, for short) is a method for designing and documenting methods and procedures in software. It is related to pseudocode, but unlike pseudocode, it is written in plain language without any terms that could suggest the use of any programming language or library.
Artificial intelligence model standardized training platform and automatic system
ActiveCN110378463AGuaranteed automationGuaranteed standardizationCharacter and pattern recognitionArtificial lifePython (programming language)Program Design Language
The invention provides an artificial intelligence model standardized training platform and an automatic system. The training platform comprises a training platform body and an automation system. The method is developed on the basis of Python (programming language). A Docker (application container engine) virtualization technology is deployed to a server with a GPU (graphics processing unit). A TCP / IP (Transmission Control Protocol / Internet Protocol) is adopted for communication, is applied to the field of machine learning, and supports frameworks such as mainstream deep learning (DL) TensorFlow, PyTorch, Caffe, Keras, Thheano and the like; a user only needs to click a button or use some script commands on a client, codes can be automatically uploaded, data is downloaded, a GPU (graphics processing unit) is used for training a model of the user, and model evaluation and automatic optimization iteration are completed. In the whole process of training the model, the invention provides a set of operation system to ensure the automation, standardization and specialization of the training process of the artificial intelligence model, save time and simplify steps.
Owner:北京智能工场科技有限公司
Automatic derivative method for a computer programming language
Owner:PURDUE RES FOUND INC +1
Method of automatic grading program design language editor topic
InactiveCN1598809AEliminate diverse representationsOvercome the limitations of grammatical errorsSpecial data processing applicationsTheoretical computer scienceProgram Design Language
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.
Owner:HARBIN INST OF TECH
Unified data service platform and implementation method thereof
ActiveCN103761102AImprove effectivenessImprove scalabilityTransmissionSpecial data processing applicationsExtensibilityApplication server
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.
Owner:CHINA UNITED NETWORK COMM GRP CO LTD +1
Program source code automatic generation function descriptive annotation method
InactiveCN108345457AEasy maintenanceImprove developmentCode compilationTheoretical computer scienceProgram Design Language
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.
Owner:SHANGHAI JIAO TONG UNIV
Game developing system and method
InactiveCN1801084AReduce labor costsIncrease diversitySpecific program execution arrangementsSystem integrationProgram Design Language
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.
Owner:INVENTEC CORP
Multi-type MSVL (Modeling, Simulation and Verification Language) interpretive system and multi-type MSVL interpretive method
ActiveCN103150199AEnhance expressive abilityFlexible and Extensive ModelingMultiprogramming arrangementsMemory systemsType conversionCorrelation function
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.
Owner:XIDIAN UNIV
Multi-task compiling method based on graphical guarded command calculation
The invention provides a multi-task compiling method based on graphical guarded command calculation and relates to a method for automatically compiling and generating executable multi-task Ada / C codesthrough graphical guarded command calculation GCC_graph. For a GCC_graph program input by a designer, a compiler automatically compiles the program to generate a corresponding executable multi-task Ada / C code. All functions of the compiler are achieved through programming by use of a functional programming language CAML, and since CAML is a secure language, a CAML program is verified by a self-compiler before execution. Besides, the designed compiler adopts a modular structure, and once a program changes, we only need to modify the code of a corresponding module.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Online interactive IT skill education method
InactiveCN106981228AReduce learning costsLower the thresholdData processing applicationsElectrical appliancesProgram Design LanguageOnline test
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.
Owner:SHANGHAI UNIV
Optimized bytecode interpreter of virtual machine instructions
InactiveCN1347525AMemory architecture accessing/allocationProgram controlBytecode interpreterInteractive video
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.
Owner:KONINKLIJKE PHILIPS ELECTRONICS NV
File protection method based on block chain and terminal equipment
ActiveCN108733990AImprove securityImprove data securityDigital data protectionProgram/content distribution protectionProgram Design LanguageTerminal equipment
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.
Owner:ONE CONNECT SMART TECH CO LTD SHENZHEN
Immersive programming language learning system
InactiveCN111145603AElectrical appliancesTeaching apparatusRelational databaseProgram Design Language
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.
Owner:庞国臣
Electronic device, compiling method and computer-readable recording medium
ActiveUS10635421B2Compiling capacity of an electronic deviceIncrease capacityDecompilation/disassemblySoftware simulation/interpretation/emulationProgram Design LanguageProcessing
The present invention relates to an electronic device, a compiling method, and a computer-readable recording medium. An electronic device according to an embodiment of the present invention compiles a source code of a dynamic programming language compiled during execution of a program to the level of a static programming language compiled before execution, and may comprise a processor which determines whether the source code of the dynamic programming language generated when a command for operating the program is received can be processed by the first compiler in the same manner as the source code of the static programming language processing, and converts the source code of the dynamic programming language by the first compiler if the code can be processed as a result of the determination.
Owner:SAMSUNG ELECTRONICS CO LTD
Message forwarding gateway system and message forwarding method
PendingCN112152915ATo achieve the purpose of decouplingFlexible data handlingNetwork connectionsMaintainabilityProgram Design Language
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.
Owner:BEIJING WODONG TIANJUN INFORMATION TECH CO LTD
Web application firewall system and application method based on same
The invention discloses a Web application firewall system which comprises a portable layer, a checking container layer, an interface conversion layer and a filter layer that are arranged from the bottom to the top, wherein the filter layer is used for providing a uniform interface for different standards of servers, analyzing a hyper text transmission protocol request and a hyper text transmission protocol response in the uniform interface, extracting data needing filtration from the hyper text transmission protocol request and the hyper text transmission protocol response, analyzing the datainto a uniform structure, and carrying out the transmission through a function corresponding to the uniform structure; the interface conversion layer is used for unifying programming languages of thedata needing filtration into C++languages, the checking container layer is used for checking the transmitted data through the function; and the portable layer is used for shielding differences of different operating systems during the work of the filter layer, the interface conversion layer and the checking container layer.
Owner:山东中创软件商用中间件股份有限公司
A system and method for analyzing personalized learning effects of programming language courses
ActiveCN107123068BUnderstanding Cognitive Ability LevelsComprehensive learning rulesData processing applicationsPersonalized learningMathematical model
The invention relates to a programming-language-course-oriented personalized learning effect analysis system and method. The system comprises a student cognitive ability assessment module, a practical ability assessment module and a feedback module. The method, based on programming-language-course-oriented general homework and program homework answering behaviors of students, assesses cognitive ability and practical ability of the students by utilizing a mathematical model training learning method, processes the cognitive ability and practical ability data through a data statistical method and feeds learning effect information to the students to realize personalized display. The system and method can judge cognition and practice two-way learning effects of the students, not only can give fair scores to the students more accurately, but also can instruct teachers to find knowledge weak parts of the students and to feed back the knowledge weak parts to the students in a personalized manner in time, thereby realizing a programming-language-course-oriented knowledge point granularity microscopic learning effect and learning trajectory establishment.
Owner:BEIHANG UNIV
Database statement generation method and device and electronic equipment
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.
Owner:AGRICULTURAL BANK OF CHINA
Program executive system for semi-conductor test instrument
InactiveCN1293388CSemiconductor/solid-state device testing/measurementElectronic circuit testingMeasuring instrumentProgram Design Language
The present invention is one program executing system for semconductor measuring instrument. In this system, the device measuring program includes the first sentence written in universal program design language and the second sentences written in special program design language related to the semiconductor measuring instrument, with all the sentences being executed in separated program executing parts.
Owner:ADVANTEST CORP
Computer processing method, distributed calculating method, and net calculating method
An approach to computational processing and programming calls for the creation of multiple software entities ("molecules 10") that can be dynamically configured to autonomously process data. Molecules can send and receive signals that indicate the state of the molecule, whether the processing task is complete, the result of the processing task, and whether to terminate, interrupt, reconfigure, or continue the molecule through the creation of one or more "next" molecules. operate. Molecules can be created from a common set of software microcomponents (40, 42, 44, 46, 48), which can be written in any programming language to run in any operating system environment. Molecules can reside with a single computing resource, however, they are ideally suited for deployment with different types of distributed computing resources on a network or in a parallel processing environment. All data processing tasks are performed by creating molecules in "logical networks" that are dynamically adapted to accomplish their tasks. Logical networks can be allocated to work with different legacy systems, and applications programmed in different languages, and with any type of data stored in any format. As a result, data processing tasks in distributed or parallel processing environments can be performed more efficiently and entirely new types of network computing or parallel processing tasks can be adopted.
Owner:SEASEER R&D
Micro-service interface publishing method and device, electronic equipment and storage medium
PendingCN112965705ADatabase management systemsProgramming languages/paradigmsProgram Design LanguageService mode
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.
Owner:TRAVELSKY
An artificial intelligence model standardized training platform and automation system
ActiveCN110378463BGuaranteed automationGuaranteed standardizationCharacter and pattern recognitionArtificial lifePython (programming language)Program Design Language
The present invention proposes a standardized training platform and automation system for artificial intelligence models. The training platform and the automation system are developed based on Python (programming language) and deployed on a platform with a GPU (graphics processing engine) using Docker (application container engine) virtualization technology. Device) server, using TCP / IP (Internet Transfer Protocol) protocol for communication, applied in the field of machine learning, supporting mainstream deep learning (Deep Learning, DL) TensorFlow, PyTorch, Caffe, Keras, Theano and other frameworks; users only need to Click the button on the client or use some script commands to automatically upload the code, download the data and use the GPU (Graphics Processing Unit) to train your own model, and complete the model evaluation and automatic optimization iterations; in the whole process of training the model, the present invention A set of operation system is provided to ensure the automation, standardization and specialization of the artificial intelligence model training process, saving time and simplifying steps.
Owner:北京智能工场科技有限公司
Intelligent agent reasoning algorithm based on state calculation and programing language
InactiveCN104090744AOvercome inherent flawsAvoid difficultiesSpecific program execution arrangementsAlgorithmTheoretical computer science
The invention discloses an intelligent agent reasoning algorithm based on state calculation and a programing language. On the basis of an axiomatic set theory, a positive flow set and a negative flow set are introduced for defining a state. The reasoning algorithm overcomes the native defects on the state representation of flow calculation, gives a state formula based on an incomplete state and a knowledge representation method, and solves the problem that a modal logic is difficult to express knowledge normally. An axiomatic system for state calculation and a forward inference mechanism are provided to prove that a state knowledge update axiom gives a natural effective solution for expressing and reasoning a frame problem. The invention provides and realizes a STEX (State Calculus Executor).
Owner:JIANGSU SHENGSHIYUNTU IOT TECH CO LTD
A unified data service platform and its implementation method
ActiveCN103761102BImprove effectivenessImprove scalabilityTransmissionSpecial data processing applicationsExtensibilityApplication server
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.
Owner:CHINA UNITED NETWORK COMM GRP CO LTD +1
Translation module, processing module and control system
A transmission module for a machine control, is designed to process an input program code of a control program, and based thereon, to generate a uniform intermediate code having work instructions for execution by the machine control. The input program code comprises a first program code component and a second program code component, where the first program code component is written in a first programming language and the second program code component is written in a second programming language. The work instructions of the intermediate code comprise a first work instruction and a second work instruction, where the first work instruction is generated on the basis of the first program code component and the second work instruction is generated on the basis of the second program code component.
Owner:BECKHOFF AUTOMATION GMBH
A multi-type msvl language interpretation system and multi-type msvl language interpretation method
ActiveCN103150199BEnhance expressive abilitySpeed up the calculation processMultiprogramming arrangementsMemory systemsType conversionCorrelation function
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.
Owner:XIDIAN UNIV
A Multi-task Compiler Method Based on Graphical Guardian Command Calculus
The present invention is a kind of multi-task compiling method based on graphical guard-style command calculus, relates to a graphical guard-style command calculus GCC_graph automatic compiling method to generate executable multi-task Ada / C code, for the GCC_graph program input by the designer, the The compiler automatically compiles it to generate the corresponding executable multi-task Ada / C code. All the functions of the compiler are implemented by the functional programming language CAML programming. Since CAML is a safe language, the CAML program is verified by its own compiler before execution. In addition, the compiler designed by the present invention uses a modular structure, once the program changes, we only need to modify the code of the corresponding module.
Owner:NANJING UNIV OF AERONAUTICS & ASTRONAUTICS
Use method of CFlex script language for realizing command sequence and event management
PendingCN113253993AReduce complexityCombination to avoidInterprogram communicationProgramming languages/paradigmsScripting languageTest frame
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.
Owner:纽播电子(上海)有限公司
A blockchain-based file protection method and terminal equipment
ActiveCN108733990BImprove securityImprove data securityDigital data protectionProgram/content distribution protectionProgram Design LanguageTerminal equipment
Owner:ONE CONNECT SMART TECH CO LTD SHENZHEN
Explanation system and method for Python programming language XD-M
ActiveCN113238759AImprove portabilityIncrease flexibilityProgram code adaptionCode compilationPython (programming language)Theoretical computer science
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.
Owner:XIDIAN UNIV
Who we serve
- R&D Engineer
- R&D Manager
- IP Professional
Why Patsnap Eureka
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com