32 results about "Functional programming" patented technology

An exemplary embodiment of a system, method and/or computer program product for creating a fare analytic database, may include: receiving, by at least one processor, fare(s) and fare related data; and creating a graph database of the fare(s) and fare related data; where the creating may include: creating one or more node(s) of the graph database representing at least one component of the fare and fare related data; creating one or more relationship(s) between a plurality of the nodes; and applying at least one property to the node(s) and the relationship(s). A fare analytic engine may further incorporate the database, and the engine may process queries traversing the database for fare and fare related data; and functional programming methods may be used to generate Boolean byte code routines from fare restrictions, according to exemplary embodiments disclosed.

A system and method are provided for enabling an efficient processing environment for a functional programming language runtime machine. Separate processors are provided for the main FP processor and the garbage collector as well as separate access to the heap. The routine maintenance performed by the garbage collector does not compete for resources of the main FP processor. The processor implementation for the main FP processor also includes a separate bus to each of the program memory, the heap, and the stacks.

A method for information flow tracking is provided using, for example, a functional programming language based on lambda calculus, λ_I. The method provides a unified information-tracking framework that supports multiple, interdependent dimensions of information. An expressive policy-specification system is separated from the underlying information-flow tracking mechanism. Arbitrary domain-specific policies are supported that can be developed and enforced independent of information flow tracking. Information-flow metadata is treated as a first-class entity, and information flow is correctly tracked on the metadata itself. Classes of information flow polices are defined using multiple dimensions that are application to both information flow data and to the information flows themselves. These classes of polices accurately model more realistic security policies, based on partial trust relations. Therefore, multiple interdependent dimensions of information are simultaneously tracked and enforced within the framework of the information flow tracking system.

Disclosed herein are systems and methods for executing programs written in functional style. A distributed computing system receives a program that expresses computation upon one or more sets of distributed key-value pairs (DKVs) and one or more global variables (GVs). The system distributes an assembly that includes at least a compiled binary of the program to the nodes of a computing cluster, with different portions of the DKVs being stored across the plurality of nodes of the computing cluster. The system causes execution of the assembly by each of the plurality of nodes of the computing cluster, the ones of the plurality of nodes executing the assembly using the different portions of the one or more DKVs stored thereon.

The present invention provides a method for implementing a medical informatics system. The method comprises the step of creating one or more named medical objects having attributes and behaviours, each object being implemented as an object in an object oriented programming paradigm, a function in a functional programming paradigm or an equivalent entity in a hybrid functional/object oriented programming paradigm, wherein the or each medical object name is derived from an algorithmic transformation of a description key assigned to a corresponding medical concept in a medical coding or classification system into an explicit health code, the named medical object having the attributes and behaviours of the corresponding medical concept, the composition of explicit health codes and medical objects derived therefrom being suitable for computer representation of medical narratives.

The present invention provides a novel computer system that synthesizes object programming, functional programming, data-flow programming, mathematical logic and cognitive modeling. The synthesis allows a system to exist which provides for close alignment among the manner in which a user interacts with a system, how that interaction is logically parsed, how set-theoretic composition of the logic results, how that set-theoretic algorithm builds functional reactive flows and how those flows are structured for display to a user.

The invention discloses a high-level comprehensive method and system for graph calculation, and belongs to the field of big data processing, and the method comprises the steps: (1) generating a graphcalculation program according to a functional programming model taking a point as a center; (2) specifying architecture parameters and micro-architecture parameters by adding an optimization instruction; (3) compiling a graph calculation program into modular data flow intermediate representation according to the data flow graph and the optimization instruction; (4) according to a mapping relationship between the IR module and the hardware template, mapping the intermediate representation of the data stream to a bottom-layer architecture, and instantiating an assembly line and a buffer area inthe hardware template; (5) if the instantiated parameterized hardware templates and the overall architecture meet constraint conditions, turning to the step (6); otherwise, turning to the step (3) after modifying the optimization instruction; and (6) generating a hardware language code which can be synthesized. Effective support can be provided for generating a graph application RTL from an upper-layer language, so that the execution parallelism degree of graph calculation on an FPGA is improved.

The invention discloses an EDA development platform based on a Python language and a use method thereof. The development platform comprises a Python-based hardware description class library, a P2F interpreter for interpreting Python scripts, an FIRRTL language middle representation layer, an F2V interpreter for interpreting the FIRRTL language and a Veriator simulation tool for simulation testing.According to the invention, by adding an interpreter of Python language and FIRRTL language, and fully utilizing the characteristics that the Python language faces the object, supports the functionalprogramming, the polymorphism, the operator reloading, the multi-inheritance and the like, a user of the development platform can directly use the Python language to realize hardware description andtesting of the FPGA/ASIC chip, and the EDA development efficiency is greatly improved.

A workflow for an operational process may be defined using a functional programming language. A computer system may parse the workflow to generate an abstract syntax tree, which may include states of the workflow and transitions from one workflow state to another. The computer system may generate code paths from the abstract syntax tree representing sequences of execution. Reflection on the workflow may be performed using the abstract syntax tree and code paths to allow intelligent decision-making.

The invention discloses a C + + interprocess anomaly analysis system and method based on a high-order function in the technical field of functional programming and program analysis, and the method comprises the steps: determining an analysis sequence of each called sub-process in a process call graph, and classifying statements in a C + + program; collecting set constraints of exception related statements and function call statements of each called sub-process, solving the set constraints according to a set constraint rule, and storing exception analysis results of all the called sub-processes as an exception analysis function abstract in a high-order function form after obtaining exception analysis information in the process; and correspondingly substituting parameter set information of the high-order functional expression anomaly analysis function abstract at a process calling point according to a parameter transmission mode of the function and parameter information corresponding to the formal parameter and the actual parameter. According to the method, the space-time overhead of performing interprocess analysis on the exceptions by constructing an interprocess exception control flow diagram in a traditional method is reduced, and the problem that the exception analysis efficiency is relatively low is solved.

The invention provides a device for programming the functions of a monitor, which comprises a memory, a program code programming device and a program code checking module. The memory is used for storing program codes. The program code programming device is coupled with the memory and used for reading a program code with a preset length from the memory, and the program code with a preset length is part of the program codes. The program code checking module is coupled with the program code programming device and used for checking whether the program code with a preset length conforms to a preset state and generating a control signal; and the program code programming device is controlled by the control signal to determine whether the program code with a preset length is to be written into the memory of a monitor.