Patents
Literature
Hiro is an intelligent assistant for R&D personnel, combined with Patent DNA, to facilitate innovative research.
Hiro

147 results about "Requirements model" patented technology

A requirements model helps you: Focus on the system's external behavior, separately from its internal design. Describe the users' and stakeholders' needs with much less ambiguity than you can in natural language. Define a consistent glossary of terms that can be used by users, developers, and testers.

Context-aware training systems, apparatuses, and methods

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.
Owner:PROOFPOINT INC

Method for stabilized tuning of demand models

InactiveUS6078893AStabilize tuningGreat numerical stabilityMarketingSpecial data processing applicationsRequirements modelModel parameters
A method for tuning a demand model in manner that is stable with respect to fluctuations in the sales history used for the tuning is provided. A market model is selected, which predicts how a subset of the parameters in the demand model depends upon information external to the sales history; this model may itself have a number of parameters. An effective figure-of-merit function is defined, consisting of a standard figure-of-merit function based upon the demand model and the sales history, plus a function that attains a minimum value when the parameters of the demand model are closest to the predictions of the market model. This effective figure-of-merit function is minimized with respect to the demand model and market model parameters. The resulting demand model parameters conform to the portions of the sales history data that show a strong trend, and conform to the external market information when the corresponding portions of the sales history data show noise.
Owner:SAP AG

Process for global software development

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.
Owner:SIEMENS CORP RES INC

Generating an optimized price schedule for a product

Generating a price schedule involves generating a graph (50) having paths that include states (52) with values (54, 56, 58). The graph (50) is generated by determining the values (56, 58) of a successor state (52) from the values (56, 58) of a predecessor state (52). An optimal path is selected, and a price schedule is determined from the optimal path. Computing an elasticity curve involves having a demand model, values for demand model, and filter sets that restrict the values. Elasticity curves are determined by filtering the values using filter sets, and calculating the elasticity curve using the demand model. An best-fitting elasticity curve is selected. Adjusting a demand forecast value (56) includes estimating an inventory and a demand at a number of locations (24). An expected number of unrealized sales at each location (24) is calculated. An sales forecast value (56) is determined according to the expected number.
Owner:JDA SOFTWARE GROUP

Systems and method for determining performance metrics for constructing information systems

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.
Owner:X ACT SCI INC

Systems, methods and computer program products for modeling demand, supply and associated profitability of a good in an aggregate market

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.
Owner:THE BOEING CO

Repeatability index to enhance seasonal product forecasting

A repeatability score is described for determining the quality and reliability of product sales data for generating seasonal demand forecasts. The repeatability scores are calculated from seasonal sales data stored in a data warehouse. Products are sorted based on their reliability scores such that those products that are highly seasonal and have a reliable year-to-year demand pattern are used to form initial or unique demand models. Products that are determined to be less reliable based on their repeatability score are added to the unique demand models through an iterative matching process or left out of the unique demand models.
Owner:TERADATA

System and Methods for Pricing Markdown with Model Refresh and Reoptimization

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.
Owner:IBM CORP

Method and system for rapid accreditation/re-accreditation of agile it environments, for example service oriented architecture (SOA)

A system and method for managing and analyzing security requirements in reusable models. At least one functional model, at least one security implementation model, at least one requirement model, and meta models of the models are read by a reader. A correspondence between the functional model, security implementation model, and the requirements model is analyzed, whereby the correspondence indicates that compliance / security / accreditation requirements defined in the requirement model match with security objectives implemented by controls defined by the security implementation model. Next, it is determined whether correspondence is or is not given based on the analysis of the correspondence and then evidence is generated based on the analysis of the correspondence and the determination and the impact of changes is analyzed.
Owner:OBJECTSECURITY

Method and apparatus suitable for demand forecasting

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.
Owner:IBM CORP

Systems, methods and computer program products for modeling uncertain future demand, supply and associated profitability of a good

A method is provided that includes modeling future demand and / or future supply for a good at one or more segments of a period of time. In accordance with the method, future demand / supply at a respective time segment is modeled based upon a 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 in a market associated with the good, during the respective time segment. The price sensitivity distribution and / or the market potential distribution for a respective time segment is based upon a growth rate and an uncertainty for the respective time segment. The method can further include modeling cost and / or profitability of the good at a respective time segment. Profitability can be modeled based upon the demand model and the cost model for the respective time segment.
Owner:THE BOEING CO

Meaningful visualization of properties independent of a circuit design

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.
Owner:JASPER DESIGN AUTOMATION

User customizing method and system

The invention discloses a user customizing method and a user customizing system. The user customizing system comprises customizing environment and a customizing execution module, wherein the customizing environment comprises a visualization interface, a demand model module, a command analyzing module and a communication module; the visualization interface is used for providing a visualization editing interface of terminal software and receiving the customizing demands of users on the configuration of the terminal software; the demand model module is used for generating the attribute information of terminal software control corresponding to the customizing demands; the command analyzing module is used for generating script data corresponding to the attribute information; and the communication module is used for sending the script data to the customizing execution module; and the customizing execution module is used for receiving the script data, resolving the script data to acquire call instructions of the terminal software and performing the customizing operation on the terminal software according to the call instructions of the terminal software. By utilizing the scheme of the invention, the user customizing method and the user customizing system can meet personalized demands of different users and relieve the research and development pressure of manufacturers.
Owner:ZTE CORP

Security checkpoint simulation

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.
Owner:ACCENTURE GLOBAL SERVICES LTD

Learning mobility user choice and demand models from public transport fare collection data

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.
Owner:CONDUENT BUSINESS SERVICES LLC

Capacity calculator

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.
Owner:GROUPON INC

Modeling technology-based software security test method

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.
Owner:PLA UNIV OF SCI & TECH

Method and device for automatically generating user interface

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.
Owner:KINGDEE SOFTWARE(CHINA) CO LTD

Unexpected demand detection system and unexpected demand detection program

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.
Owner:FUJITSU LTD

Data requirement standardization method and standardization system

InactiveCN108492028ACost savingsTotal Quality OptimizationResourcesNormalized systemsDocument preparation
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.
Owner:徐欣

Business network traffic modeling method, network resource scheduling method and network element

Embodiments of the invention provide a business network traffic modeling method, a network resource scheduling method and a network element. The business network traffic modeling method comprises the following steps of establishing a network traffic diagram of a business network; counting the total traffic between two network element nodes with links and taking the total traffic as an attribute value of a traffic attribute of an edge for corresponding nodes of the two network nodes; determining traffic types included in the total traffic and proportions of the traffic types, making the traffic types and the proportions as attribute values of traffic type attributes of the edges for the corresponding nodes; and determining a performance requirement for the traffic between the two network element nodes as an attribute value of a traffic performance attribute of the edge for the corresponding nodes. When resource scheduling is carried out on the business network, resources which meet the network traffic requirements of the business network can be determined from the current distributable physical network resources and are distributed to the business network according to a network traffic requirement model. A problem of unreasonable description of the network traffic in the prior art is solved. The invention relates to the technical field of network communication.
Owner:CHINA MOBILE COMM GRP CO LTD

Method for analyzing and evaluating decision supporting capability of complex system

InactiveCN101819661AStandardize and facilitate assessmentInstrumentsDecision networksElectronic information
The invention discloses a method for analyzing and evaluating decision supporting capability evaluation of a complex system, comprising the following steps of: establishing a system capability requirement model, generating a decision network model, establishing a decision supporting capability evaluation model and evaluating the networking decision supporting capability. In the invention, the method breaks through the conventional evaluation method only based on an index system, and comprehensively utilizes theory methods, such as comentropy, architecture and the like, so that the analysis is more scientific and the pertinence is more obvious, thereby the method can be used for guiding the design of the system structure of military electronics information system and organization operation of the system in fighting.
Owner:PLA UNIV OF SCI & TECH

Electric vehicle charging scheduling method considering user satisfaction evaluation

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.
Owner:CENT SOUTH UNIV

System and method for calculating piecewise price and incentive

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.
Owner:IBM CORP

Automatic software test system and method for artificial intelligence

ActiveCN110347603AFast Semantic PartitioningReduce the language process of human translation into machine recognitionSoftware testing/debuggingEnergy efficient computingAutodidacticismGoal system
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.
Owner:BEIJING RES INST OF PRECISE MECHATRONICS CONTROLS +1

Method for detecting software features on basis of system requirement model

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.
Owner:WUHAN UNIV

Generating an Optimized Price Schedule for a Product

Generating a price schedule involves generating a graph having paths that include states with values. The graph is generated by determining the values of a successor state from the values of a predecessor state. An optimal path is selected, and a price schedule is determined from the optimal path. Computing an elasticity curve involves having a demand model, values for demand model, and filter sets that restrict the values. Elasticity curves are determined by filtering the values using filter sets, and calculating the elasticity curve using the demand model. A best-fitting elasticity curve is selected. Adjusting a demand forecast value includes estimating an inventory and a demand at a number of locations. An expected number of unrealized sales at each location is calculated. An sales forecast value is determined according to the expected number.
Owner:JDA SOFTWARE GROUP

System and method for analyzing reliability of flight guidance control software based on formalized rule

ActiveCN108897676AFacilitate an in-depth understanding of demand elementsEfficient communicationSoftware testing/debuggingRequirement analysisRequirements modelControl system
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.
Owner:NAVAL UNIV OF ENG PLA

Multi-product pricing markdown optimizer

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.
Owner:ORACLE INT CORP
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products