摘要：测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。

摘要：为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。

摘要：基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题。

摘要：从下面的几个重要特性看，相变存储器（PCM）技术均符合当前电子系统对存储器子系统的需求：

摘要：Web应用软件一般都具有体系结构复杂、代码量大、页面众多且相互联结的特点,在一定的时间和投入内,显然是无法做到穷尽的测试,而确保Web应用软件可靠性的一个很好的可选方案就是基于使用模型的Web统计测试,以便重点测试用户频繁使用的路径和页面,使测试效率达到最高。针对这个问题,提出了一个能够反映系统真实使用情况的Web统计测试的使用模型WSUM,该模型基于Web应用的导航行为图和日志文件进行构建,对于用户的导航行为的描述更为全面和准确。在此基础上,还提出了基于使用模型WSUM设计和生成测试用例的方法,并给出了应用此方法进行统计测试的例子。

摘要：本书的主题是动力学系统中的模型提取，主要目的是通过使用模型提取技术为移动机器人汽车设计控制器。模型提取提供了一种简单的方法来描述动力学系统却仍能获取原始系统最重要的信息。另一个目的是对不确定初始条件下的模型提取技术进行研究。

摘要：Ecosystems in China have been absorbing anthropogenic CO2 over the last three decades. Here, we assess future carbon uptake in China using models from phase 5 of Coupled Model Intercomparison Project under four socio-economic scenarios. The average of China's carbon sink from 2006 to 2100 represented by multimodel mean net ecosystem production(NEP) is projected to increase(relative to averaged NEP from 1976 to 2005) in the range of 0.137 and 0.891 Pg C a-1across differentscenarios. Increases in NEP are driven by increases in net primary production exceeding increases in heterotrophic respiration, and future carbon sink is mainly attributed to areas located in eastern China. However, there exists a considerable model spread in the magnitude of carbon sink and model spread tends to be larger when future climate change becomes more intense. The model spread may result from intermodel discrepancy in the magnitude of CO2 fertilization effect on photosynthesis, soil carbon turnover time, presence of carbon-nitrogen cycle and interpretation of land-use changes. For better quantifying future carbon cycle, a research priority toward improving model representation of these processes is recommended.

摘要：2013年公布的《美国新一代科学教育标准》中，“科学与工程实践”（以下简称“科学实践”）一词取代了“科学探究”。这一改变不是否定科学探究，而是对科学探究的拓展和丰富。科学实践包括8个类型：提出问题和明确需要解决的问题；建立和使用模型；设计和实施调查研究；分析和解释数据；利用数学和计算思维；建构解释和设计解决方案；基于证据进行论证；获取、评估和交流信息等。

摘要：选择合适的千兆位收发器（GT）是通信和实时处理领域尤其需要重点考虑的设计事项，但特定的市场领域可能会存在太多的标准、协议或使用模型。有时针对某一种应用就会涉及到好几种标准，为了选择最适合的千兆位收发器，必须对各种协议的最新发展情况了如指掌。

摘要：天然气作为一种清洁能源,其燃烧产生碳排放物原低于汽柴油的排放物,目前天然气在家庭生活和出租车等领域已经有了广泛的应用。文中探讨天然气在通信基站的应用,从使用环境、使用成本以及可靠性等方面进行了详细的分析,充分利用其低价格、低污染等特点,为中国移动的"绿色行动计划"贡献力量。