11 results about "Functional programming" patented technology

The invention discloses a functional programming intelligent recommendation method and system based on a semantic knowledge graph, relates to the technical field of data processing, and constructs a high-dimensional semantic embedding space by performing semantic feature vector extraction on a multi-source functional programming corpus. The method comprises the following steps: firstly, embedding a plurality of candidate entity clusters into a semantic embedding space, preliminarily clustering the embedded vectors by utilizing a semantic aggregation pre-screening mechanism to obtain each candidate entity cluster and performing dynamic processing, then constructing a semantic relationship among the candidate entity clusters according to neighborhood distribution of the semantic embedding space, performing self-adaptive correction on inter-cluster distribution, and constructing a semantic knowledge graph generation recommendation method. A closed loop is formed from the corpus to the knowledge graph to the recommendation strategy, so that the intelligent recommendation system can accurately recognize the function semantic relationship, reduce noise interference and improve the recommendation hit rate and the personalized matching effect, and the accuracy, stability and user satisfaction of functional programming intelligent recommendation based on the semantic knowledge graph are remarkably enhanced.

The invention relates to a real-time hybrid test control and test system and method based on a Linux-RT system and application, and belongs to the technical field of real-time hybrid tests of structural engineering. Comprising the following steps of: realizing deterministic conversion of states by adopting a real-time system manager of a singleton mode and an atomic state variable; according to the real-time executor based on the SCHEDFIFO scheduling strategy, affinity binding of a high-priority thread and a CPU is set, and periodic task scheduling of microsecond-level precision is achieved; a lambda functional programming data processing pipeline is adopted, and efficient data transmission of a filter chain is achieved through a zero copy mechanism; multi-protocol communication interfaces of UDP (User Datagram Protocol), EtherCAT (Ethernet Control Automation Technology) and WebSocket are supported, and a uniform abstraction layer is provided to realize low-delay data exchange between a numerical value and a physical substructure; and a real-time performance monitoring module adopting an exponential moving average algorithm provides accurate statistics of execution time and jitter.

The invention provides a JAX-based high-performance discrete event simulation method and system, and the method comprises the steps: firstly completing environment configuration and initialization through an immutable data structure, and generating an EnvParas object with fixed static parameters; secondly, processing event logic by adopting a pure function steepv, and realizing side-effect-free functional event processing and state iteration by combining JAX condition control primitive and lax.scan iterative loop; then, a batch processing task is generated through job packaging, and job-level parallel acceleration is achieved on multiple GPU / TPU devices by means of jax. Jit compiling and jax. Vmap vectorization; and finally, packaging a standardized AI interactive interface, supporting external algorithm calling and finishing result post-processing. Functional programming and JAX hardware acceleration are combined, the simulation speed is increased, meanwhile, the event dynamic accuracy is guaranteed, reinforcement learning large-scale sampling can be seamlessly supported, and the method is suitable for AI application scenes in the field of operational research.

An optimal method of storing, computing, and communicating knowledge is disclosed herein. The method of organizing computer information which allows for more flexible retrieval and manipulation using an ARB paradigm. This paradigm combines and extends elements of a graph database, row-column database, query language, declarative logic language, and functional programming language.

The utility model relates to a multifunctional burning and testing all-in-one machine. The machine comprises a mounting bottom plate; the burning test device is arranged on one side of the mounting bottom plate; the feeding and discharging device is arranged on the other side of the mounting bottom plate and is opposite to the burning test device; the three-axis carrying device is arranged on the mounting bottom plate and is used for carrying the device module to transfer between the burning test device or the feeding and discharging device; wherein the three-axis carrying device comprises an X-axis carrying module, a Y-axis carrying module and a Z-axis carrying module, the arrangement direction of the X-axis carrying module is the same as the feeding and discharging direction of the feeding and discharging device, the Y-axis carrying module is arranged on the X-axis carrying module, and the Y-axis carrying module is arranged above the burning test device and the feeding and discharging device in a crossing mode; the Z-axis carrying module is arranged on the Y-axis carrying module, and the Z-axis carrying module is in sliding fit with the Y-axis carrying module. According to the invention, the testing rate and the testing quality can be improved, and the production and processing cost can be reduced.

The invention discloses a Rust program slicing method and system based on a high-order function, and relates to the technical field of functional programming and program analysis. The method comprises the steps of program preprocessing; analyzing in the process; inter-process analysis and program slice calculation. According to the method, slice information in the process is obtained by utilizing high-order function characteristics, and the function abstract expressed in the high-order function form is generated, so that function parameters in the function abstract can be conveniently substituted at a calling point as required during inter-process calling, and a corresponding relation between the function parameters and actual parameters can be quickly obtained; compared with a traditional abstract-based analysis method, more information can be carried in the parameter transmission process, so that the inter-process slicing efficiency can be effectively improved, various hypergraphs do not need to be constructed, the problem of low analysis efficiency caused by huge graphs and complex composition process is avoided, and the analysis efficiency is improved. Therefore, the space overhead in the analysis process can be effectively reduced, and the inter-process program slicing efficiency is improved on the premise that the detection precision is not lost.

The application discloses a malware escape behavior detection method based on high-order functions and dependent algebra, and relates to the technical field of functional programming and program analysis.The application comprises receiving source code of failed escape malware, and analyzing the dependent relationship among functions in the source code based on dependent algebra theory, and constructing a relevant set, wherein the dependent relationship comprises data dependency, control dependency and parameter dependency; a function abstract is constructed by using a high-order function to form a formal representation of the dependent relationship.The application can accurately analyze the function call relationship, data flow and control flow in the malware code by constructing a high-order function dependent matrix and a function abstract, compared with the traditional static analysis method, the application can quickly extract the key path of the malware, especially in the case of complex function call and dependent relationship, the application can effectively identify the most critical malicious behavior path, significantly improves the analysis efficiency and accuracy, and thus enhances the detection capability of the related detector.

The application discloses a function programming intelligent recommendation method and system based on a semantic knowledge graph, relates to the technical field of data processing, extracts semantic feature vectors from multi-source function programming corpus, constructs a high-dimensional semantic embedding space, and uses a semantic aggregation pre-screening mechanism to preliminarily cluster embedding vectors to obtain each candidate entity cluster and perform dynamic processing. Then, according to the neighborhood distribution of the semantic embedding space, the semantic relationship between each candidate entity cluster is constructed, the inter-cluster distribution is adaptively corrected, and a semantic knowledge graph is generated to form a recommendation method. From corpus to knowledge graph to recommendation strategy, a closed loop is formed, so that the intelligent recommendation system can accurately identify function semantic relationships, reduce noise interference, improve recommendation hit rate and personalized matching effect, thereby significantly enhancing the accuracy, stability and user satisfaction of the function programming intelligent recommendation based on the semantic knowledge graph.

The application discloses a functional programming method, system, device and medium supporting pipeline programming and algebraic data types, and has the following beneficial effects: the application provides a novel programming language system, which can fuse algebraic data types, pipeline programming and pattern matching under a unified syntax framework, wherein rigorous data modeling is provided through the algebraic data types, clear branch logic is realized through the pattern matching, and a readable, maintainable and powerful data processing flow is constructed through the highly flexible pipeline programming, so that the readability, maintainability and expression capacity of programming code are improved, and the application is suitable for various high-demand fields such as financial payment, real-time analysis and system integration, and shows the positive exploration of modern programming languages in paradigm fusion and syntax innovation.

The application relates to the computer technical field, in particular to a micro-service domain algebra data type construction method based on functional programming, which comprises the following steps: obtaining a variant list of a target business domain; identifying the properties of each variant in the variant list, and determining the type of each variant according to the properties of each variant; combining all the variants in the variant list based on the type of each variant to obtain an algebra data type tree, compiling the algebra data type tree, verifying the compiled algebra data type tree, and performing business processing through the verified algebra data type tree. Therefore, the problems of scattered domain object definition, high coupling degree, lack of clear boundaries and complex and lengthy verification logic in the micro-service are solved, the readability and maintainability of the code are improved, and the overall reliability and development efficiency of the micro-service system are enhanced.