72 results about "Requirements modeling" patented technology

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 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 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.

Systems and methods for airspace demand prediction with improved sector level demand prediction are provided. In one embodiment, an air traffic demand prediction system (10) operable to predict demand within an airspace divided into sectors includes an expanded route predictor (14) operable to generate predicted two-dimensional expanded route information (40) associated with at least one requested flight (34), a trajectory modeler (16) operable to generate predicted four-dimensional expanded route information (46), a sector crossing predictor (18) operable to generate predicted sector crossing information (48), a departure time predictor (22) operable to generate predicted departure time information (54), and a demand modeler (62) operable to generate a demand model (28), the demand model (28) including predicted time intervals associated with the at least one requested flight indicating when it is expected to be present within one or more sectors of the airspace.

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 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 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.

The invention discloses a method for establishing a software requirement model, which comprises the following steps: a problem domain is identified and a viewpoint is defined; a scene is established for each viewpoint relevant to a software system to be developed; a system requirement model is established in an action description language; all the viewpoints are tested; if the testing result is problem finding, the corresponding scene action model or the viewpoint action model is required to be modified and returned to be detected again until the testing result of every viewpoint passes; and if the testing result passes, all the viewpoint action models are synthesized to get and output a final system requirement model. By adopting the technologies of scene and viewpoint, a good foundation is laid by the method of the invention for establishing the high quality requirement model for a complex software system and automatically detecting whether a software system is correct and complete; moreover, the invention is compatible with other modeling methods and technologies and has good universality and utility.

The invention discloses a quality design system used for cross-factory production organization, and belongs to the technical field of metallurgical industry manufacturing and informatization. Data support is provided for a quality design process through the construction of a metallurgy knowledge library model of a whole factory; on one hand, customer order requirements are extracted from history orders to build a customer ordering requirement model taking a client requirement code as a prototype, and information is included into the metallurgy knowledge library model according to the customer requirement code; on the other hand, information is read from the metallurgy knowledge library during a quality design and evaluation process, if the data needed by the quality design and evaluation process exist in the metallurgy knowledge library, the quality design and evaluation process is accomplished automatically by the system; if data do not exist in the metallurgy knowledge library, then the quality design and quality evaluation process is accomplished through human machine interaction; an order form after quality design and evaluation is converted into a production order list, and the production order list is released to a production line to be sorted and production execution system organization to carry out production planning and production organization.

The invention relates to a behavior-oriented software requirement model visualizing method. Since realizing of requirement animation is closely related to requirement modeling methods and requirement models, firstly, software behavior based requirement modeling methods and behavior descriptive languages are studied to set up requirement models based on software behaviors, and secondly, a formal converting mechanism for conversion from the requirement models to requirement animation descriptive models and a software behavior oriented requirement animation operating mechanism meeting user understanding modes are studied and set up to realize visualization of the requirement models. The software behavior oriented requirement animations can assist users with different background knowledge in understanding behavior processes in the requirement models directly and definitely, and accordingly, effective feedbacks of users can be acquired, requirement analyzing efficiency is improved, and software development cost is reduced. Therefore, the behavior-oriented software requirement model visualizing method not only has important theoretical significances and innovativeness but also has specific practical values.

The invention discloses an avionics system oriented formalized modeling and verifying method based on requirements. The method applies a RSML<-e>(Requirement State Machine Language) to establish a formalized requirement model of the system, a formalized model conversion rule is given, a RSML<-e> model is converted into the input model of a model detector, the security property of the system is verified, the safety and the reliability of the system are improved, and meanwhile, time and cost are saved.

The invention provides an electro-ceramics electrical equipment earthquake failure probability evaluation method based on a total probability theory. The method includes the steps of firstly, calculating the strength random parameter R of electro-ceramics electrical equipment; secondly, calculating an earthquake action random parameter S; thirdly, building the capacity-requirement model g(X) of the electro-ceramics electrical equipment; using a Monte Carlo method to analyze the failure probability of the electro-ceramics electrical equipment on the basis of the strength random parameter R and the earthquake action random parameter S; fourthly, drawing the vulnerability curve of the electro-ceramics electrical equipment. Compared with the prior art, the method has the advantages that the failure probability of the electro-ceramics electrical equipment under different-level seismic responses can be evaluated, and analyzing results are statistically significant and have an evaluation effect.

The invention provides an intelligent nutrition proportioning method and system based on uncertainty support vector classification. The system comprises a database, a nutrition requirement model construction module, a nutrition requirement proportion calculation module, a multi-target function and constraint condition construction module, an optimal feed supply amount solving module and an intelligent dosing module, wherein the database is used for storing historical dairy cow monitoring information independently corresponding to an ID (Identity) of each monitored dairy cow. According to the basic information and different daily food intake and milk yield of the dairy cows, a proper quantity of different ingredients is blended duly, an optimal proportion of mixed feed which conforms to traditional farm resources can be intelligently obtained, and therefore, the high-quality and efficient production of the dairy cows can be realized. Meanwhile, feed use efficiency is improved, and the fine cultivation of a dairy cow cultivation process is realized.

The invention discloses a random optimization scheduling method considering flexibility for a wind power-containing electric power system. According to the method, the random fluctuation of the net load and the operation characteristics of the source load storage are comprehensively considered, a power system flexibility requirement model is established by utilizing Gaussian mixture distribution,a multi-type flexibility resource supply model is constructed, and then a power system operation flexibility probability balance model is constructed. Risk loss brought to the power system due to insufficient flexibility is measured by utilizing conditional risk values, then system power balance constraints, operation flexibility constraints and equipment operation constraints are considered, a wind power-containing power system random optimization scheduling model considering flexibility is constructed, and system operation economy and flexibility are considered at the same time.

The invention discloses a medical expert personalized recommendation method and system based on big data verification. The method includes the steps: S1, building a medical expert database comprising expert personal data, expert evaluating data of patients and hospital data; S2, verifying personal data of experts in many ways by the aid of a big data method; S3, computing special recommendation degrees of the experts; S4, verifying expert data evaluated by patients by the aid of a big data method; S5, verifying hospital data by the aid of a big data method; S6, comprehensively building special recommendation models of the experts according to the three aspects; S7, acquiring patient information; S8, building personalized requirement models according to the patient information; S9, individually recommending the medical experts according to the special recommendation models of the experts and the personalized requirement models. The medical expert personalized recommendation method solves the problem of asymmetric information between doctors and patients, medical advice seek accuracy of the patients is improved, medical resources are sufficiently and reasonably used, medical advice seeking personalization is achieved, and clinical effects are improved.

A goal and scene-based use case-driven requirement elicitation method includes the following steps: (1) goals and scenes are divided into a four-layered structure, which includes a business layer, a service layer, an interaction layer and an internal layer; (2) a user is guided to fill in a table, so that requirements are elicited; (3) the requirements elicited in step 2 are converted into a goal-scene table, which is converted into a use case table; (4) the use case table is converted into a use case diagram, and by means of the use case diagram, an activity diagram, a sequence diagram and a state diagram are generated; (5) the non-functional requirements and the functional requirements are correlated, and the non-functional requirement templates added by the user are converted into a visualized non-functional requirement diagram and a soft goal tree. The goal-scene four-layered structure is designed and realized, so that requirement analyzers can conveniently interact with the user; the requirements elicited from goals and scenes are converted into a use case model; and the conversion from the use case model to a UML (Unified Modeling Language) requirement model is provided.

The present invention discloses an integrated knowledge cloud service method and system for multi-axial milling of rotor blades, and belongs to the technical field of knowledge services of cloud manufacturing and processing of components of rotor blades. The method comprises the following steps: obtaining knowledge service requirement information of a multi-axial milling process of rotor blades and establishing a knowledge service requirement model; inputting the knowledge service task requirement information; parsing and matching the service task requirement information; establishing a knowledge cloud service process model, and setting the service task related information; and managing the service process, and providing knowledge cloud services for users. The system comprises a human-computer interaction interface, a knowledge cloud library, a task parsing and matching device, and a service flow collaborative activity engine. The method and mode provide knowledge cloud services for the milling process of the rotor blades in the cloud mode, and systematically represent the knowledge resources of the milling process of the rotor blades, so that the utilization rate of knowledge resources and the milling efficiency of the rotor blades are improved.

The invention discloses a hydraulic independent heat dissipation control method, device and system. The method includes the steps that the hydraulic oil temperature of a hydraulic heat dissipation system is obtained; temperature variation trends of the hydraulic oil temperature in a preset temperature range is determined, wherein the temperature variation trends at least comprise the temperature increasing trend and the temperature decreasing trend; the hydraulic oil temperature is input to a rotating speed requirement model corresponding to the temperature variation trends, and the required rotating speed of a cooling fan is determined; and a control current corresponding to the required rotating speed of the cooling fan is generated, the control current is used for controlling an electromagnetic proportional pressure reducing valve, and therefore the pump displacement of a cooling pump is controlled. Through the hydraulic independent heat dissipation control method, device and system, the technical problems that in an existing hydraulic independent heat dissipation system, when the pump displacement of the cooling pump is regulated by controlling the electromagnetic proportional pressure reducing valve of the cooling pump through hydraulic oil temperature variations, a cooling system is low in hydraulic oil temperature variation response speed and inaccurate in response result due to a magnetic hysteresis phenomenon are solved.

The invention discloses a remote sensing earth observation requirement model establishment method based on domain ontology, and aims at realizing the normalized expression of the remote sensing earth observation requirement. The remote sensing earth observation requirement model establishment method comprises the following steps: collecting the descriptive requirement information of an original industry department, and carrying out preliminary processing on the information on an aspect of grammatical form; according to industry department experience support, carrying out preliminary check on the processed requirement information on an aspect of semantics; taking one part of information which passes the check for modeling; carrying out semantic analysis on the requirement information used for the modeling, and mining requirement description elements from the requirement information; on the basis of a remote sensing specialized knowledge base, integrating the requirement description elements; judging the necessary degrees of the requirement description elements, and rejecting the element of which the necessary degree is smaller than a threshold value; carrying out category integration on the rejected elements, and refining a requirement core element from the rejected elements; defining the attribute and the attribute constraint of the requirement core element; and carrying out effectiveness check on the model.

The invention discloses a time requirement modeling and verification method based on a problem frame method, which is used for modeling time requirements and verifying normative consistency of a time-critical system. The invention relates to the operations as follows: (1) defining an interaction and problem domain as a logical clock by using the concepts of the logical clock and clock relations in a clock constraint specification language (CCSL) based on a functional requirement model problem graph of the problem frame method; using clock constraint to define time constraint of an interaction environment (comprising the interaction and problem domain) of the time-critical software system to be developed, wherein the time constraint comprises quantitative and qualitative relations, establishing a time requirement model and exporting a time protocol of the system to be developed via time constraint of the environment; (2) defining formal semantics of the clock constraint, establishing a transformational rule from the clock constraint to an NuSMV description according to the semantic, using the rule to convert the time constraint into the NuSMV description, using a model detecting tool NuSMV to verify consistency of the time protocol according to a computation tree logic (CTL) expression of a consistent property.

Systems and associated methods for capturing and storing asset analysis details are described. Systems and methods provide for building a model of the particular asset requirement for a specific purpose and a model of the range of capabilities that a particular asset can provide. The mapping of these two models allows for the identification of the best asset for a particular solution requirement. An asset match may occur when an asset capability model whose functional and non-functional capabilities subsume the functional and non-functional requirements specified in the asset requirements model.