Although water has the central function of the bloodstream in the biosphere especially in arid or semi-arid regions such as Yah＇an region in northwestern China, yet the very limited attention is paid to the role of t...Although water has the central function of the bloodstream in the biosphere especially in arid or semi-arid regions such as Yah＇an region in northwestern China, yet the very limited attention is paid to the role of the water-related processes in ecosystem. In this research, based on continuous nearly 50-year data including runoff volume, sediment discharge as well as sediment accretion from hydrographic stations, and 10-year information of water quality from pollution monitoring stations, the method for measuring in-stream flow requirement has been put forward supported by experiential models and GIS spatial analysis. Additionally, the changes of in-stream flow requirement for environment and economic development have been addressed from spatial-temporal dimensions. The results show that： （1） According to the central streams in Yan＇an region, mean annual in-stream flow requirement reaches 1.0619 billion m^3, and the surface water for economic exploitation is 0.2445 billion m3 （2） Mean annual in-stream flow requirement for sediment transfers in flood period occupies over 80% of the integrated volume in a year. （3） From the 1950s to 1970s, in-stream flow requirement for sediment transfers is comparatively higher, while from the 1980s to 1990s, this requirement presents a decreasing tendency.展开更多
The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly ap...The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly appliesstate translation rules, semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method, and may be used toanalyze requirements specifications to be specified by the SCR requirements method.Using a simple example, this paper introduces how to analyze consistency and com-pleteness of requirements specifications.展开更多
Requirements analysis is an important phase in a software project. The analysis is often performed in an informal way by specialists who review documents looking for ambiguities, technical inconsistencies and incomple...Requirements analysis is an important phase in a software project. The analysis is often performed in an informal way by specialists who review documents looking for ambiguities, technical inconsistencies and incomplete parts. Automation is still far from being applied in requirements analyses, above all since natural languages are informal and thus difficult to treat automatically. There are only a few tools that can analyse texts. One of them, called QuARS, was developed by the Istituto di Scienza e Tecnologie dell＇Informazione and can analyse texts in terms of ambiguity. This paper describes how QuARS was used in a formal empirical experiment to assess the impact in terms of effectiveness and efficacy of the automation in the requirements review process of a software company.展开更多
Being the first stage of the software lifecycle,software requirements analysis plays a pivotal role in the entire software development process. The success and failure key to the entire software development projects i...Being the first stage of the software lifecycle,software requirements analysis plays a pivotal role in the entire software development process. The success and failure key to the entire software development projects is the quality of software requirements specifications (SRS). By means of fuzzy set theory, this paper firstly analyzes SRS and its characteristics, and then proposes the quota system for evaluating the quality of software requirements specifications. This paper also discusses the approaches of relating data acquirement and fuzzy evaluating, and the quantitative analysis for evaluation results. Finally, the expectation of the future work is given.展开更多
基金National Natural Science Foundation of China, No.40771019 Innovation Foundation of Shaanxi Normal University
文摘Although water has the central function of the bloodstream in the biosphere especially in arid or semi-arid regions such as Yah＇an region in northwestern China, yet the very limited attention is paid to the role of the water-related processes in ecosystem. In this research, based on continuous nearly 50-year data including runoff volume, sediment discharge as well as sediment accretion from hydrographic stations, and 10-year information of water quality from pollution monitoring stations, the method for measuring in-stream flow requirement has been put forward supported by experiential models and GIS spatial analysis. Additionally, the changes of in-stream flow requirement for environment and economic development have been addressed from spatial-temporal dimensions. The results show that： （1） According to the central streams in Yan＇an region, mean annual in-stream flow requirement reaches 1.0619 billion m^3, and the surface water for economic exploitation is 0.2445 billion m3 （2） Mean annual in-stream flow requirement for sediment transfers in flood period occupies over 80% of the integrated volume in a year. （3） From the 1950s to 1970s, in-stream flow requirement for sediment transfers is comparatively higher, while from the 1980s to 1990s, this requirement presents a decreasing tendency.
文摘The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly appliesstate translation rules, semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method, and may be used toanalyze requirements specifications to be specified by the SCR requirements method.Using a simple example, this paper introduces how to analyze consistency and com-pleteness of requirements specifications.
文摘Requirements analysis is an important phase in a software project. The analysis is often performed in an informal way by specialists who review documents looking for ambiguities, technical inconsistencies and incomplete parts. Automation is still far from being applied in requirements analyses, above all since natural languages are informal and thus difficult to treat automatically. There are only a few tools that can analyse texts. One of them, called QuARS, was developed by the Istituto di Scienza e Tecnologie dell＇Informazione and can analyse texts in terms of ambiguity. This paper describes how QuARS was used in a formal empirical experiment to assess the impact in terms of effectiveness and efficacy of the automation in the requirements review process of a software company.
文摘Being the first stage of the software lifecycle,software requirements analysis plays a pivotal role in the entire software development process. The success and failure key to the entire software development projects is the quality of software requirements specifications (SRS). By means of fuzzy set theory, this paper firstly analyzes SRS and its characteristics, and then proposes the quota system for evaluating the quality of software requirements specifications. This paper also discusses the approaches of relating data acquirement and fuzzy evaluating, and the quantitative analysis for evaluation results. Finally, the expectation of the future work is given.
