109 results about "Program model" patented technology

Model data is generated from performance information sorted by day of the week, time period, and process status by a performance information analysis section and a process status analysis section. An abnormality determination section detects abnormality using appropriate model data. What the graph of an expected status is like, how much the graph of the current status that has been determined abnormal differs from the graph of the expected status, and how much the current status is like the expected status are displayed allowing a system manager to observe detailed information about abnormality determination.

Methods are discussed that enhance program analysis. One aspect of the invention includes a method for checking a model of a program. The method includes a control-flow graph having vertices from the model, applying a transfer function to each vertex to form a set of path edges, and analyzing the set of path edges of a vertex. The set of path edges includes valuations that are implicitly represented so as to inhibit an undesired explosion in the valuations that would hinder the act of analyzing.

The invention provides a programming model oriented to a neural network heterogeneous computing platform. Specifically, the invention provides a compiling method and system of a heterogeneous computing platform and a program running support method and system thereof. A trained neural network model is input to a neural network (NN) optimization complier to generate a NN assembling file corresponding to the NN. The NN assembling file is input to a NN assembler to generate a NN binary file corresponding to the neural network; a host complier tool chain is used for compiling and assembling a neural network application program developed by a user by using the high-level language, and orderly generates a corresponding host assembling file and a host binary file. The host linker is used for linking the NN binary file and the host binary file to generate a single mixed link executable file. The technical scheme provided by the invention has the features of being good in calculation performance, strong in expandability, strong in compatibility and high in flexibility.

Methods, systems, and computer program products are provided for deploying an application. Embodiments include receiving a packaged application for deployment and an instruction to perform a deployment management operation; selecting in dependence upon plug-in selection rules one of a plurality of configuration plug-ins for creating a deployable object from the packaged application; receiving from the selected configuration plug-in a deployable object; querying one or more of the plurality of configuration plug-ins with the deployable object for identifications of configuration attributes needed to perform the deployment management operation; receiving from each of the queried configuration plug-ins identifications of configuration attributes needed to deploy the deployable object; presenting the identifications of configuration attributes needed to deploy the deployable object to a user; receiving from the user the configuration attributes needed to deploy the deployable object; and storing the deployable object and the configuration attributes.

A system for an accounting infrastructure, including monitoring and reporting, for individual services within a composite service. An accounting engine integrates with the composite service to monitor components and parameters of at least one service in the composite service, to provide reporting on the measurements and statistics associated therewith over time. The accounting engine aggregates data for components and services. One example provides the accounting infrastructure as an object-oriented program model, instantiating statistics as objects. The reporting distinguishes each statistic allowing analysis and optimization of processes and services.

According to one example, there is provided a method of deploying applications in a computer system. The method comprises obtaining, for each of a plurality of computer applications, a set of application characteristics, assigning, based on the obtained characteristics, each of the plurality of applications to one of a set of predetermined application models, and determining, based in part on the obtained characteristics and in part on application model compatibility data, a set of hardware characteristics, a virtual server distribution plan, and an application distribution plan.

The invention relates to a method which can make users to use websites to manufacture an e-book, an album and a game. The invention is characterized in that JAVA language development software is adopted and is operated on the website, the invention comprises the following steps: a program model is the manufactured, a user name and a password input into a user logging page is validated with the logon message of a user in a database, and then the choice is judged, the page is jumped to the corresponding cell phone application manufacture page; the user commits the self made cell phone application content to a server, according to the difference of the manufacture content chosen by the user, the manufacture method can be divided into three types: the server establishes a file folder, and three types, uploading pictures and texts are copied in the file folder according to the manufacture requirements; the server sets according to the choice of the user, the content is packed into a cell phone applicator program file according to the packing of a JAR file; the generated cell phone applicator program file is stored to the database; a corresponding downloading page is generated for the user to visit, download or send to the cell phone. The invention has the advantages that the operation is convenient.

A system and method for identifying modeling errors in textual use case description analyze an input text describing a use case and create an application model representing the use case, the application model containing information obtained from analyzing the input text describing the use case. The application model may be automatically analyzed using automatic process and one or more errors in the use case and/or reports about the use case may be generated. In one aspect, processing components may be integrated into a user development environment to allow developing use cases and improving them incrementally and/or iteratively as information is identified about the use cases.

The invention discloses a real time streaming-oriented television program recommendation system. The real time streaming-oriented television program recommendation system comprises a user information collecting module, a program model definition module, a user preference tracking module, a program recommendation module and a recommendation result display module, wherein the user information collecting module is used for automatically and transparently collecting user watching information when users watch television programs; the program model definition module is used for extracting program related information from internet and establishing a program model by adopting an information extraction technology; the user preference tracking module is for generating a user preference model by using the user watching information collected by the user information collecting module and the program model established by the program model definition module; the program recommendation module is used for generating recommendation results by using extended Jaccard similarity according to the current user preference; and the recommendation result display module is used for adding art designing and animation effects to the recommendation results on the basis of text recommendation results generated by the program recommendation module. The real time streaming-oriented television program recommended system has the advantages of having stronger individuation, keeping in step with the preference of the user to change, solving the problem that the traditional system asks for the clear feedback of users, adding time maintenance for programs and carrying out pertinence recommendation.

The invention relates to a microgrid energy storage power station program control method based on economical evaluation, comprising predicting the microgrid load data of N days, wind power output power and photovoltaic output power, and characterized by calculating the energy storage system capacity meeting load requirements based on obtained data; utilizing an improved empirical mode decomposition algorithm to decompose the energy storage system capacity to obtain n IMF components, wherein k is respectively 1-n, the sum of 1-(k-1) IMF components is used as a cell capacity, and the sum of k-n IMF components is used as a super capacitor capacity; substituting the power and capacity of a cell and a capacitor into a microgrid energy storage power station program model, determining whether meeting constrained conditions, and calculating a corresponding objective function value; and utilizing a genetic algorithm to search optimization for the model, obtaining a k value meeting the constrained conditions and minimizing an objective function, and determining the optimal capacity configuration and annual mean least cost of an energy storage system.

The invention discloses an energy-saving remote controller of an air conditioner. The energy-saving remote controller of the air conditioner comprises a microprocessor module; the microprocessor module is connected with a keystroke input module, a state display module, a remote-control transmission module, a power module and a temperature detection module; the temperature detection module comprises an ambient temperature sensor used for detecting indoor temperature and an air opening temperature sensor used for detecting the temperature of the air outlet of the air conditioner; a mode conversion program model is preinstalled in the microprocessor module; the mode conversion program model calculates and analyzes the temperature data input by the temperature detection module to respectively obtain the working time the air conditioner under the refrigeration mode and the air supply mode; and the microprocessor module transmits a control signal for converting the working mode of the air condition to an air-conditioning switch through the remote-control transmission module. The energy-saving remote controller of the invention finds the optimal compressor start-stop time meeting the environment and temperature requirements, thus achieving the purpose of saving energy.

Method for optimizing a flow network is disclosed. The method comprises: constructing a multidimensional graph representation which is characterized by a plurality of vertices and a plurality of edges, whereby at least one edge of the plurality of edges is associated with a vector quantity over the flow network. The method further comprises formulating a linear programming model over the multidimensional graph representation, and using a linear programming algorithm for obtaining a substantially optimal solution to the linear program model.

The invention discloses an entity relation extraction method based on a neural network, using the algorithm of machine learning and neural network model, Input a Chinese sentence into the program model, the model will give a special label to the entity words or statements, that is, the entity in the text can be extracted, and then through a classification algorithm for the extracted entity to do relationship classification, entity relationship classification is completed. Specifically, assign an ID to each word that appears in the Chinese text, Then the IDs corresponding to these sentences aretransformed into input vectors of the neural network model, and the results obtained through bilstm and CRF layer are mapped to corresponding entity tags to complete entity extraction. Finally, the entities in the text are classified by machine learning classification algorithm, and finally such a triple form of an entity of the entities-relationsientities is obtained. . This method only needs training text and input statements to complete the extraction of relational entities, which is a flexible and convenient method.

The invention provides a concurrent real-time program verification optimized processing system and method based on rewrite logic and belongs to the technical field of computer application. The system comprises a program model module, a property model module and a rewrite logic verification module. The method comprises the following steps: verifying a concurrent real-time program by virtue of rewrite logic; carrying out status space optimization on the property to be verified and model of the system by virtue of an algebraic model; adopting a time meta model to process real-time related property; and using equivalent state compression and algebraic simulation optimization so as to improve the program verification efficiency.

A risk analysis system having a risk analysis engine that can identify a set of risks for a program based on a constructed program model. The program model can be based on known, historical programs using current program attribute information. The risks can be identified by executing one or more simulations using the program model. The outcome of the simulation can be used to identify individual drivers of risk, which can in turn be used to identify one or more previously undetected and unanticipated black swan-level risks facing the program.

The present invention discloses an automatic detection method for program unaccessible paths. The method comprises the steps of: converting a to-be-detected computer program into a control flow diagram; and converting the control flow diagram into a program model, performing accessibility analysis to obtain unaccessible states, automatically detecting the unaccessible states to obtain an unaccessible state set, and then obtaining an unaccessible path set according to the unaccessible state set. The automatic detection method for the program unaccessible paths is based on a state searching technology being simple in theory, and effectively lowers the technology application and promotion difficult when being compared with the prior art usually based on complex mathematical technology; the detection method for the program unaccessible paths is complete and has high automatization degree; the problem of accessibility detection of the control flow diagram is solved; problems of difficulties and low efficiency of a static analysis technology in processing of complex programs are solved; and the problem that the static analysis technology has difficult in expressing compound data in processing a multi-branch procedure is solved.

A method and apparatus are disclosed for evaluating the performance of a Linear Program model of an operation. The significant properties of the current invention include the use of a historical record or operating data as a means to improve the evaluation of the Linear Program model quality. The historical record of operating data also allows a more reliable means for calculating corrected Linear Program model coefficients. Related applications are disclosed for viewing graphically both the uncorrected and the corrected Linear Program model's performance. Statistical methods are disclosed as further aids in understanding both the uncorrected and corrected Linear Program model's performance.

Methods of providing a combined synthesis of cost-effective heat and power (CHP) utility systems and the key process systems are provided. An exemplary method includes process steps for identifying the best key subsystem design and operating conditions for both the process and the utility systems. The method can include the step of determining an optimal allocation of steam and power between both process and utility systems for one or more industrial process facilities in both partially and totally decentralized environments. This can include defining rigorously bounded decision variables as model input data, processing the model input data by a combined heat and power utility and process subsystem mathematical program model, and determining a plurality of at least substantially optimal process and utility subsystem conditions.

The invention provides a GPU-accelerated fluid-structure coupling simulation method through immersion boundary and lattice Boltzmann methods. The GPU-accelerated fluid-structure coupling simulation method comprises the following steps: 1, establishing a structure body to be detected and an internal fluid immersion boundary body shape in professional pre-processing software, and dividing a boundary lattice for program read; reading boundary body shape data through a program, and setting a boundary condition of a point required to be measured and a program model parameter; calculating the boundary acting force applied to a fluid by using a finite element method according to a structure of the boundary at the current time and a reference structure; diffusing the boundary acting force to surrounding fluids through the Dirac function; solving a Navier-Stokes equation carrying an external force term by using the lattice Boltzmann method; interpolating the fluid speed into the boundary through the Dirac function to obtain a boundary movement speed to further update the boundary position; repeatedly performing the steps 3-6 till the updated boundary position reaches an calculated ending point. According to the GPU-accelerated fluid-structure coupling simulation method, structure bodies in any shapes can be processed, an underlying fluid lattice does not require to be reconstructed in the calculation process, and the calculation efficiency is high.