如何解决大型的复杂软件的可靠性及一致性问题是降低软件开发成本的关键。由此应运而生了许多计算机辅助软件工程(CASE)系统。本文将介绍我室汉化成功的大型软件工具CPSL/CPSA(Chinese Problem Statement Language/Chinese Problem Stat...如何解决大型的复杂软件的可靠性及一致性问题是降低软件开发成本的关键。由此应运而生了许多计算机辅助软件工程(CASE)系统。本文将介绍我室汉化成功的大型软件工具CPSL/CPSA(Chinese Problem Statement Language/Chinese Problem Statement Ana-lyzer)系统,并摘要介绍如何应用该系统来描述一个目标系统。 CPSL/CPSA系统应用于软件生命周期的需求分析及设计阶段,其特点在于它提供了一个与自然语言类似的需求规范描述语言来描述目标系统,并具有对目标系统的描述进行分析、修改的能力,输出分析报告及自动生成文档。该系统应用于北京市蔬菜公司经济 信息管理系统的分析和设计,及石油部油藏模拟软件系统的分析、设计和文档生成,收到良好的效果。展开更多
In current researches on spectrum leasing, Common model and Property-right model are two main approaches to dynamic spectrum sharing. However, Common model does not consider the obligation of Primary System (PS) and i...In current researches on spectrum leasing, Common model and Property-right model are two main approaches to dynamic spectrum sharing. However, Common model does not consider the obligation of Primary System (PS) and is unfair to Secondary System (SS), while the cooperation based on Property-rights model has problems on its feasibility. This paper proposes a novel system model, in which a Cost-Prediction scheme for Spectrum Leasing (CPSL scheme) is designed to forecast the cost that PS would pay for leasing spectrum. Cost Function is introduced as a criterion to evaluate the potential cost of spectrum leasing for PS. The simulation results show that compared with Common model based scheme, CPSL scheme substantially improves the QoS of the delay-sensitive traffic in SS at the cost of a small degradation of PS performance.展开更多
文摘如何解决大型的复杂软件的可靠性及一致性问题是降低软件开发成本的关键。由此应运而生了许多计算机辅助软件工程(CASE)系统。本文将介绍我室汉化成功的大型软件工具CPSL/CPSA(Chinese Problem Statement Language/Chinese Problem Statement Ana-lyzer)系统,并摘要介绍如何应用该系统来描述一个目标系统。 CPSL/CPSA系统应用于软件生命周期的需求分析及设计阶段,其特点在于它提供了一个与自然语言类似的需求规范描述语言来描述目标系统,并具有对目标系统的描述进行分析、修改的能力,输出分析报告及自动生成文档。该系统应用于北京市蔬菜公司经济 信息管理系统的分析和设计,及石油部油藏模拟软件系统的分析、设计和文档生成,收到良好的效果。
基金supported by the National High Technology Research and Development Program of China ('863' Program, No.2009AA01Z242)National Natural Science Foundation of China (60972080)
文摘In current researches on spectrum leasing, Common model and Property-right model are two main approaches to dynamic spectrum sharing. However, Common model does not consider the obligation of Primary System (PS) and is unfair to Secondary System (SS), while the cooperation based on Property-rights model has problems on its feasibility. This paper proposes a novel system model, in which a Cost-Prediction scheme for Spectrum Leasing (CPSL scheme) is designed to forecast the cost that PS would pay for leasing spectrum. Cost Function is introduced as a criterion to evaluate the potential cost of spectrum leasing for PS. The simulation results show that compared with Common model based scheme, CPSL scheme substantially improves the QoS of the delay-sensitive traffic in SS at the cost of a small degradation of PS performance.