114 results about "Formal description" patented technology

A system and method for intelligently generating computer code. The system being comprised of a local computer, which is connected to a remote computer via a network system or the Internet and which is capable of exchanging files with the remote computer. The local computer is further comprised of a document manager for transferring files between the local computer and the remote computer and for providing enhanced file management functions. The document manager works in connection with the server module, the site manager and the connectivity layer to connect to remote computers, to transparently exchange files with the remote computer and to manage server profiles and connection information that is related to remote computers and transferred files. Once the file is transferred to the local computer, the editor can modify the code associated with the file; the editor is also capable of creating new files. The visualizer is capable of displaying a program flow diagram and a data flow diagram, which are comprised of program flow icons and data flow arrows to depict the code in terms of processing blocks and data blocks. To assist in developing new code or editing existing code, the template manager allows the user to browse through a directory of existing code sections or templates and to copy templates into the selected code for editing. For allowing the editor to process code that is written in different Data Management System programming languages and for creating the program flow icons, the parser layer detects the file type of a selected file and activates the rules and logic that apply to the corresponding Data Management System.

In certain example embodiments, distributed cloud application deployment systems (DCADS), and / or associated methods are provided. A formal description of the cloud application is created. The cloud application's formal representation, with its constituent nodes and their associated properties and interfaces, etc., is exported to a machine processable form. The exported DCADS machine processable rendition and any needed implementation artifacts are retrieved by a cloud application deployer that helps facilitate the deployment of the cloud application into the distributed and heterogeneous cloud environments as prescribed in the DCADS.

A system and method for configuring a user formset for display on a user interface of a client computer, the client computer coupled by a network to a formset server, the user formset for providing interaction with a network transaction, the user formset described in a structured definition language. The system and method comprise: requesting the user formset from the server according to at least one formset generation criterion; selecting a first overlay for application to a master formset, the first overlay including first components based on a role of the user; applying the first overlay to the content of the master formset for generating a role based version of the master formset; selecting a second overlay for application to the role based version, the second overlay including second components based on settings particular for the user functioning in the role; and applying the second overlay to the content of the role based version for generating the user formset; wherein the user formset is subsequently rendered on the user interface of the client computer.

Architecture that provides model-based systems management in virtualized and non-virtualized environments. A security component provides security models which define security requirements for services. A management component applies one or more of the security models during the lifecycle of virtual machines and services. The lifecycle can include initial deployment, expansion, moving servers, monitoring, and reporting. The architecture creates a formal description model of how a virtual machine or a service (composition of multiple virtual machines) is secured. The security requirements information can also be fed back to the general management system which uses this information in its own activities such as to guide the placement of workloads on servers can be security related.

When a portion of an input speech sentence contains an untrained portion or when speech recognition is partly erroneously performed, transference to the target language is disabled. Moreover, a phrase dictionary and interphrase rules which are necessary for transference must be manually produced. Therefore, development is low in efficiency and requires much labor. An apparatus includes: a language rule producing section which statistically automatically trains grammatical or semantic restriction rules for a partial word or a word string from a parallel-translation corpus, and in which rules are described in the form wherein a source language partial sentence corresponds to a target language partial sentence; a speech recognizing section which performs speech recognition on speech of the source language by using the produced language rules, and which outputs a result of the recognition; and a language transferring section which transfers a source language sentence into a target language sentence by using the same language rules. Even when a portion of an input speech sentence contains an untrained portion or when speech recognition is partly erroneously performed, transference to the target language is surely enabled. Moreover, a phrase dictionary and interphrase rules which are necessary for transference can be automatically produced without requiring much manual assistance.

The present invention provides a system that creates a report that includes complete sentences based on input values that reflect measured or observed patient conditions. The system creates a sentence or a portion of a sentence that describes the patient's condition by comparing the input values for one or more attributes to the default values for those attributes. The default values are pre-determined and are usually based on medical standards. By comparing the input values to the default values the system can generate highly descriptive text that describes the patient's condition in a narrative form.

A method for describing an invention comprising: a. defining a vocabulary of standard terms; b. describing the invention in a concise form and using only standard terms for the substantive description. The description may be in concise form uses mathematical equations or mathematical-like statements or tables. The description comprises, for an apparatus invention, the parts of the apparatus and the interrelationships therebetween, and for a method invention the steps of the invention and the order of execution of the steps.

A method and structure for emulating on a single display platform an application's user interface as it would appear on each of a number of target devices, given a set of device characteristics for any device to be emulated and a formal description of one or more applications to be emulated. The method includes combining a selected one or more of the device characteristics and a selected one of the application formal descriptions and providing a simultaneous and consistent display representation for the selected application, so as to provide a stylized rendering of the selected application's interface in a uniform appearance and in which the selected application's interface for more than one target device can be simultaneously viewed. The method also synchronizes the display representation, so that a simultaneous update to all of the selected target device representations is updated when information in a device-independent portion of the formal description is changed.

A process of implementing, or engineering, topology-dependent functions based on a formal description of the Substation Automation system, includes performing a topology analysis of the current single line state. A topology interpreting implementation replacing complex topology analysis logics can include the project specific static single line topology and the connection to the real process state data. All information can be delivered in an IEC 61850 conforming SCD file. The interface description for controlling and monitoring the load transfer application can be generated automatically from the SCD file.

A method and structure for emulating on a single display platform an application's user interface as it would appear on each of a number of target devices, given a set of device characteristics for any device to be emulated and a formal description of one or more applications to be emulated. The method includes combining a selected one or more of the device characteristics and a selected one of the application formal descriptions and providing a simultaneous and consistent display representation for the selected application, so as to provide a stylized rendering of the selected application's interface in a uniform appearance and in which the selected application's interface for more than one target device can be simultaneously viewed. The method also synchronizes the display representation, so that a simultaneous update to all of the selected target device representations is updated when information in a device-independent portion of the formal description is changed.

The present invention provides a system, method, and computer program product to accelerate provisioning by dynamically creating dynamic free pools (DFPs) of pre-provisioned resources that are provisioned in advance, and are ready and free for use. A DFP construct for a resource, and its associated dynamic free pool manager are generated dynamically from a formal description of an aggregated resource structure (e.g. in the form of an XML schema). The present invention also provides a system, method, and computer program product to improve the delivery time of SEs based on the DFP constructs. The methods are extended to deal with special conditions such as contention over resources, or critical delivery time.

In certain example embodiments, distributed cloud application deployment systems (DCADS), and / or associated methods are provided. A formal description of the cloud application is created. The cloud application's formal representation, with its constituent nodes and their associated properties and interfaces, etc., is exported to a machine processable form. The exported DCADS machine processable rendition and any needed implementation artifacts are retrieved by a cloud application deployer that helps facilitate the deployment of the cloud application into the distributed and heterogeneous cloud environments as prescribed in the DCADS.

A command is received to alter data storage in a cluster, along with parameters for executing the command. Information is obtained relating to one or more volumes in the cluster and information relating to devices in the cluster. A formal description of a placement function is generated that maps one or more object identifiers to a storage device set. Placement function code is generated by compiling the formal description of the placement function to computer-executable code.

This invention relates to a knowledge database establishing and automatically answer index system based on HNC natural language, which extracts ERE knowledge to establish ERE knowledge database and to define and establish knowledge frame to describe frame knowledge data. The two database receives user inquires by natural language through analysis on question sentences and aim ERE structure extraction.

This invention teaches a way of implementing formally verified massively parallel programs, which run efficiently in distributed and shared-memory multi-core chips. It allows programs to be developed from an initial abstract statement of interactions among parallel software components, called cells, and progressively refine them to their final implementation. At each stage of refinement a formal description of patterns of events in computations is derived automatically from implementations. This formal description is used for two purposes: One is to prove correctness, timings, progress, mutual exclusion, and freedom from deadlocks / livelocks, etc. The second is to automatically incorporate into each application a Self-Monitoring System (SMS) that constantly monitors the application in parallel, with no interference with its timings, to identify and report errors in performance, pending errors, and patterns of critical behavior. This invention also teaches a way of organizing shared-memory for multi-processors that minimizes memory interference, protects data and increases execution efficiency.

Assistant serving a software platform which operates intermittently on use cases, comprising:a. an interface receivinga formal description of the use cases including a characterization of each along dimensions; anda formal description of the platform's possible configurations including a formal description of execution environments supported by the platform including for each environment a characterization thereof along the dimensions; andb. a categorization module including processor circuitry operative to assign an execution environment to each use-case,wherein at least one characterization is ordinal wherein the ordinality is defined such that if characterizations of an environment are along at least one of the dimensions respectively >=characterizations of a use case, the environment can be used to execute the use case,the categorization module generating assignments which assign to use-case U, an environment whose characterizations are respectively >=the characterizations of U along each dimension.

An autonomous assembling technique of application software based on ITRON includes container in charging of interaction between software application component and operation environment and in charging of setting up application component according to design policy, domain configuration file for describing hardware unit and software component in system, automatic assembly / disposal tool for providing visualized editor of domain configuration file and automatic assembly / disposed tool being used to generate domain configuration file as required by container.

The present invention relates to a based on a status measure protocol abnormal measure method and system. The foundation of a protocol normal running state model comprises the examination of a protocol formal description expression and the making of a correlation protocol state machine; a protocol running state orientation moment realizes the exact orientation of the used protocol state in the present conversation towards the exact network communication data message; a protocol running state moving moment realizes the forecast of the next likely ongoing state moving and makes a normal state running concourse of the after-orientation protocol state; an abnormal examination moment judges whether the present protocol running accords with the protocol standard model and return the examination result by the gained subsequent message and the forecast running concourse. The present invention can check the correlative abnormal protocol in the network protocol communication process according to the exact protocol of the practically gained message and can conveniently expand the protocol normal running model according to the practical requirement.

A method, system and software arrangement in accordance with an exemplary embodiment of the present invention are provided to extract descriptive narrative from numerical experimental data augmented with ontological controlled vocabulary. One exemplary application of such system, method and software arrangement is in organizing gene-expression time course data in terms of biological processes that may be activated and deactivated as the biological system responds to its normal or perturbed environment. The present invention may also have biological applications to drug-or-vaccine discovery, understanding behavior of a cell in an altered diseased state (e.g., cancer, neuro-degeneration or auto-immune disease, etc.), genetically modifying a natural wild-type organism, genetic-engineering, etc. Other exemplary applications may include understanding neural behavior, market behavior of a population of users interacting on the Internet, etc.

The invention provides an Android software visualization safety analysis method based on module relations.According to the method, module recognition is conducted on Android software source codes according to a standard module model, all Android modules are extracted, then all attributes of individual module are obtained through regulation matching engine analysis, automated module type modeling of Android software is achieved, software behavior is described in the modularized form, meanwhile, user privacy data serve as the core, privacy data and data leakage outlets are recognized, the weakness degree of each module is quantified, visualization description is conducted on possible privacy disclosure behavior of the software, module positions which is attacked by malicious applications possibly and the module calling relation, and visualization display of the software behavior with respect to safety is achieved.Artificial distinguishing of a user and a program analysis method are effectively combined, so that the user has more visualized knowledge about the software behavior related to privacy data, and the purpose of distinguishing safety of an application is achieved.

The invention discloses a network service intelligent deployment method and a system, which relates to the field of network function virtualization. The method comprises the following steps: describing virtual resources in a tensor-based formal description mode of virtual resources; based on artificial intelligence technology and historical sample data, calculating the transfer probability of eachvirtual resource, generating a transfer tensor model, and predicting the change trend of the virtual resource utilization rate according to the transfer tensor model; according to the change trend prediction result, allocating the most suitable virtual resources to the virtual network function to ensure the normal operation of the virtual network function. The invention intelligently realizes thedeployment and resource allocation of the virtual network function in the telecommunication cloud platform.

The invention discloses an event extraction method based on sequence labeling. The vent extraction method comprises the following several steps that 1, input texts are preprocessed; 2, word sequencesof the texts are labelled by utilizing an LSTM+CRF network; 3, labeling results are merged to obtain event elements; 4, a designed template is filled with extracted events and their elements to form one-sentence description. The method mainly solves the problem how to extract events of loans, consolidations and the like from announcements of various major events of listed companies and give descriptions in a human language form. The labor cost for reading a large number of company announcements every day by financial employees is saved.

A command is received to alter data storage in a cluster, along with parameters for executing the command. Information is obtained relating to one or more volumes in the cluster and information relating to devices in the cluster. A formal description of a placement function is generated that maps one or more object identifiers to a storage device set. Placement function code is generated by compiling the formal description of the placement function to computer-executable code.

A magnetic resonance sequence model that is a formal description of a measurement sequence is used to automate measurement sequence programming. The sequence model allows a system-independent specification of the measurement sequence for execution in a magnetic resonance scanner. The sequence model is as formal as possible; it is limited to the minimum required information for description of a measurement sequence without limiting the flexibility in the sequence programming. A method for formal description of the measurement sequence describes the measurement sequence by a number of parameters to be parameterized. The parameterization of the measurement sequence can ensue automatically from the formalized description of the measurement sequence, except for a set of parameters that are still be determined. For automatic generation of an executable measurement sequence, the method determines the parameters to be determined using a solver, under consideration of boundary conditions, so that a consistent set of parameters is created that completely describes the measurement sequence. This complete description of parameter values of the measurement sequence is then be translated automatically into a programming language that can be directly executed in the magnetic resonance scanner.

The present invention relates to methods, computer systems, and computer programs for simulating a biological network. The methods of the present invention facilitate biological network simulations via automated equation generation based on the concept of a hierarchy of canonical forms that describe biological processes at various levels of detail. At each level of hierarchy two classes of canonical forms can be identified: the input canonical form, that is used to supply information to the program, and the output canonical form that is produced by a simulator. The methods in certain preferred embodiments include explicit output description and flexible user intervention at several steps through the model generation. Furthermore, preferred embodiments of the present invention provide the modeling of developmental networks using an organism-as-a-graph approach using domains and fields.

The invention discloses a formal description method for adaptive software architecture during operation. The formal description method comprises the following steps of: (1) describing the adaptive software architecture framework and setting a formally described architecture framework, wherein the framework comprises components, a connecting element and architecture configuration; (2) building an adaptive component model based on Agent internetware, and forming the internal part of the adaptive component by using a computing module which finishes calculation action and an adaptive model which finishes dynamic action in a manner of using the adaptive component as a component in the internetware; (3) formally describing various mental attitudes of the adaptive component in sequence, and providing formal definition of an atomic component and the connecting element; and (4) finishing appointed definition of the calculation action and dynamic action of the adaptive component, providing the corresponding relation of pi calculation thereof, and then dynamically reasoning the architecture action according to the performability and embedded background debug interface (EBDI) of the Pi calculation. The formal description method for adaptive software architecture during operation has performability, reasonability and legibility.