147 results about "Requirements model" patented technology

Context-aware training systems, apparatuses and systems. The context-aware training systems, apparatuses and systems are computer-implemented and include sensing a user action and, based on a training needs model, estimating a cost or benefit to exposing the user to a training action, selecting a training action from a collection of available training actions and delivering the training action to the user if the user action indicates a need for the user to be trained and the cost or benefit to exposing the user to the training action indicates user exposure to the training action is warranted.

A method for developing a software product includes developing a machine-readable description of a requirements model defining a plurality of functionalities of the software product, developing an architectural framework for the product that includes definitions of a plurality of components that make up the product and facilities for loading and running a configuration of one or more components, and mapping functionalities of the requirements model into the components of the architectural framework. A centralized product management and engineering group develops the requirements model and architectural framework and coordinates an incremental development of the components of the product. One or more component development groups are assigned to develop one or more components of the software product so that components of the software product are developed concurrently. A schedule is set for delivery of each component to the centralized product management and engineering group.

A method and apparatus for designing an optimal IS architecture of a business entity is disclosed. In different levels of abstraction, a business operations model, an applications model, a physical requirements model and technical infrastructure model are produced. The models in a stepwise manner generate an IS architecture meeting desired performance criteria of the business entity. An optimizer evaluates, in a numerical manner, implementations of the IS architecture and design alternatives such that an optimal IS architecture is determined. Subsequent continual refinement of the IS architecture is achieved by remodeling the physical requirements and the technical infrastructure, and by evaluating through the optimizer the then produced IS architecture.

A method is provided that includes defining a plurality of independent component markets for a good. In accordance with the method, each component market can be defined a respective price sensitivity distribution of a unit purchase of the good, as well as a market potential distribution of a number of units of the good. The demand and/or supply in the aggregate market can thus then be modeled based upon the price sensitivity distributions and market potential distributions of the component markets. The method can further include modeling cost and/or profitability of the good in an aggregate market. Profitability can be modeled based upon the demand model and the cost model for the aggregate market.

A system and method for tuning markdown plans is provided. Such a system and method may include configuring initial rule set. Initial Demand models are generated. A first optimization for inventory pricing may be received from the price optimization system. The first optimization uses the initial demand models and cost data. A markdown plan is generated by applying the initial rule set to the first optimization. The plan is implemented. Updated data may be received which mandates a re-optimization of the plan. Demand models are refreshed using the updated data. Initial rule set is updated by cross referencing plan history with the initial rule set and subtracting rule events that have previously occurred. A second optimization is received which uses the refreshed demand models and cost data. Then, the markdown plan is re-optimized by applying the updated rule set to the second optimization. The re-optimized markdown plan is reported, approved and implemented.

Method and apparatus suitable for demand forecasting. The invention can enable sales forecasting “by item, by size, by location”. The invention features combining a demand profile and a demand model into a single encompassing model which is capable of projecting demand for an identified set of merchandise.

A property used in functional verification of a circuit design is debugged independently of the circuit design for which the property is intended. Visualization of the property under various conditions helps a user to debug any errors in how the property is implemented in a requirements model. To visualize a particular property, a trace of a corresponding property in the requirements model is generated. The trace illustrates waveforms of a set of signals related to the property for a number of clock cycles. To visualize the property under various conditions, a user can find additional traces of the property by applying visualization constraints to obtain meaningful traces.

The present invention provides a system and method for simulating a security checkpoint. While the present invention is presented in the context of an airport, the simulation may be easily adapted for any type of security checkpoint at any location. Specifically, the present invention provides a model that evaluates the time costs of security measures related to checking-in baggage, screening passengers, and screening the passengers' carry-ons. The model is robust to allow changes in security configurations, schemes, devices, and personnel. In one embodiment, the present invention further includes a security demand model.

A method and system are disclosed for learning a demand model and simulation parameters from validation information. Validation information is received from automatic fare collection systems and trips are reconstructed from the validation information. Origins, destinations, and arrival/departure times are estimated from the reconstructed trips. A demand model is then generated from the origins, destinations, and times. Assignment model parameters are then learned from the received validation information and demand model via iterative simulations. Infrastructure changes are made to a simulated transportation network based on the assignment and demand model using the learned parameters. A simulated response of the transportation network to the infrastructure change is then output.

Embodiments of the present invention provide systems, methods and computer readable media for calculating the capacity of a provider by calculating, using biographical data representing the provider, a first total units of service that are available to be offered to consumers during a first time period; calculating a second total units of service potentially available from the provider for a proposed second time period using a projection based in part on a model of consumer demand for the units of service; determining a third total units of service that are unavailable during the second time period based on at least one known or projected unavailability; and calculating a capacity based on the third total units of service and the second total units of service, the capacity being a capacity for a proposed promotion representing a maximum total of instruments to be offered in the proposed promotion by the provider.

The invention discloses a modeling technology-based software security test method, which comprises the following steps of: transforming a software security defect test behavior demand and a software security function test behavior demand into formalized software security test behavior demand models, and generating security test cases of a finite state machine characteristic sequence based on the acquired models; and meanwhile, extracting security defects for the acquired security test cases, and complementing a security defect library. The method provided by the invention solves the problem of security test demand extraction in the current standard and an engineering system, and ensures the coverage and validity of the software security test demands. Meanwhile, the method provides a test process system from security test demand extraction, formalized demand description to automatic generation of the test cases, forms a set of full software security test method system and support system, shortens the software security test period at the same time of improving the pertinence, and is favorable for improving the software security quality.

The invention discloses a method for automatically generating user interface, comprising: obtaining the dereference of a layout model parameter, and building a layout model; building the mapping relationship between a service requirement field name input by a user and an interface element type to be stored into a requirement model; according to the layout model, the prestored interface element and a program developing language mapping table, reading in the mapping relationship between a service requirement field name in the requirement model and the interface element type; and automatically generating the user interface. The embodiment of the invention can reduce workload, ensure the unified style of the interface, make the interface beautiful and bring convenience for users to use.

An unexpected demand detection system for detecting an unexpected demand for IT resources includes: a demand model recording part that records a demand model representing a time-based transition in a predetermined time period of a required amount of the IT resources; an unexpected demand model recording part that records an unexpected demand model representing a time-based transition different from the time-based transition of the amount of the IT resources represented by the demand model; and a judging part that performs a comparison among observation data indicating an actual demand for the IT resources observed in the predetermined time period, the amount of the IT resources represented by the demand model, and an amount of the IT resources represented by the unexpected demand model thereby to judge whether an unexpected demand represented by the unexpected demand model occurs.

The invention relates to a data requirement standardization method and standardization system. The data requirement standardization method comprises the steps that a data requirement standardization description model is created, and the data requirement standardization description model generates the description document of the business data requirements; a data source layer, a requirement model layer and an application layer are created in the data requirement standardization description model, and the data source layer converts the data assets and the data of other data sources into the understandable business data source of the business personnel; the requirement model layer performs information extraction of indicator description under each component of the data source layer and describes the algorithm and operation rules of the indicators under each component of the data source layer so as to generate the description information set of the understandable business data indicators of the business personnel; and the application layer records the combination, the presentation mode, the frequency and the path through which the indicators of the requirement model layer are convertedinto the description information of the understandable business data graphs, tables and information of the business personnel. The barriers of the business and the technology can be broken through.

The invention provides an electric vehicle charging scheduling method considering user satisfaction evaluation. The method comprises the steps of building a user travel demand model by analyzing influence factors of travel demands of electric vehicle users; in combination with actual travel scenes of the electric vehicle users, designing corresponding classification methods, and classifying the electric vehicle users; for various users, in combination with electric vehicle related travel data, calculating charging power demand prediction values of the various users; and finally designing corresponding objective functions and constraint conditions, and performing optimization scheduling on charging power of the various users. The method is simple to realize and small in calculation amount;the charging demands of different users can be better reflected; and classified scheduling is performed, so that flexible scheduling of electric vehicle charging and popularization of electric vehicleuse are facilitated.

System and method for determining piecewise pricing, in one aspect, generate a distribution function of transactions based on a plurality of data records associated with said transactions. One or more correlations between total cost and one or more performance measures are analyzed. Demand model is generated based on the distribution function. Piecewise pricing or level-price pairs are determined for a plurality of levels of performance measure, based on said one or more correlations between total cost and one or more performance measures, said demand model, and desired profit margin.

The invention discloses an automatic software test system and method constructed based on an artificial intelligence algorithm, and the system can autonomously learn test specification requirements and previous test data and results, and summarize and refine a test specification requirement model. The system can autonomously learn programming language design content and generate a programming language model. The system can be combined with different software platforms and hardware platforms to carry out self-adaption on a programming language model to generate a target system model, and the target system model is used for guiding automatic software testing to be carried out on different software and hardware platforms. By adopting the test system, a system and a method for autonomously learning test requirements and programming specifications, autonomously adapting to different software and hardware platforms to automatically generate test cases, automatically carrying out software tests and automatically providing software test reports can be provided.

The invention provides a method for detecting software features on the basis of a system requirement model. The system requirement model consists of the viewpoint behavior model of all the viewpoints in a system; the viewpoint behavior model consists of all the scene behavior models in the viewpoint; the scene behavior models are formed by combining all the effective behaviors in the scene according to the relations among the behaviors; and the method is characterized by checking the consistency in the viewpoints of the system requirement model and verifying the effectiveness of the behaviors thereof, more particularly, the consistency in the viewpoints of the system requirement model is checked by converting the behavior model expression of the viewpoint behavior model into the expression of a dynamic operation semantic model and judging whether the viewpoint behavior models of two viewpoints are equivalent by observation, and the verification of the effectiveness of the behavior is achieved by converting the system requirement model into an equivalent dynamic operation semantic model, expressing the software features related to the effectiveness of the behavior as the sequential logic formula and carrying out the automatic detection according to the dynamic operation semantic model and the sequential logic formula to obtain the verification result of the effectiveness of the behavior.

The invention relates to a system for analyzing reliability of flight guidance control software based on a formalized rule. The system comprises a flight guidance control software requirement modelingmodule, a flight guidance control software reliability analyzing rule management module, a flight guidance control software reliability analyzing rule formalized description module and a flight guidance control software reliability automatic analysis module based on the formalized rule. According to the system, automatic traversing failure model effectiveness analysis is performed for a requirement model, potential logic branches which are not defined or considered in the requirement are sufficiently recognized, and existing potential safety hazards are analyzed. The efficiency and quality inthe work of software reliability analysis are improved, the requirement quality and completeness are ensured, the level of the software reliability is guaranteed, and the development requirements ofa flight guidance control system are met.

A system that determines markdown pricing for a plurality of items over a plurality of time periods receives a non-linear time-dependent problem, where the non-linear time-dependent problem comprises a demand model. The system determines approximate inventory levels for each item in each time period and, for a plurality of pair of items in a product category, determines coefficients for a change in demand of a first product at each of the plurality of time periods when a price of a second product is changed using initial prices and initial approximate inventory levels. The system generates an approximate MILP problem comprising a change of demand based on a sum of the determined coefficients. The system then solves the MILP problem to generate revised prices and revised inventory levels. The functionality is repeated until a convergence criteria is satisfied, and then the system assigns the revised prices as the markdown product pricing.