期刊文献+
共找到227篇文章
< 1 2 12 >
每页显示 20 50 100
基于UML的软件使用模型的研究及工具实现 被引量:7
1
作者 邓晔 徐锡山 颜炯 《计算机应用研究》 CSCD 北大核心 2006年第1期129-131,共3页
改进了文献[2]中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。
关键词 UML 统计测试 MARKOV链 使用模型 软件可靠性
下载PDF
基于使用模型的统计测试方法的研究 被引量:3
2
作者 冯华 王戟 徐锡山 《计算机工程》 CAS CSCD 北大核心 2002年第12期93-95,共3页
介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试... 介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。还具体阐述了怎样通过使用模型生成测试用例,同时根据测试充分性理论讨论了统计测试中测试充分性的度量方法。最后简要介绍了自行开发的统计测试辅助工具STToolkit。 展开更多
关键词 使用模型 统计测试方法 软件测试 软件工程 静态参数 测试充分性 测试用例 软件可靠性
下载PDF
基于教育主客体互动模式的教科书使用菱形模型构建 被引量:9
3
作者 章全武 《课程.教材.教法》 CSSCI 北大核心 2019年第3期48-54,共7页
教科书是课程体系的重要组成部分,教科书研究一直备受重视。然而,教科书使用研究还不够深入,研究借鉴教育主客体互动模式对教科书使用四面体模型进行解析,意在指明"教师、学生"与"教科书、知识、能力"的主客关系、... 教科书是课程体系的重要组成部分,教科书研究一直备受重视。然而,教科书使用研究还不够深入,研究借鉴教育主客体互动模式对教科书使用四面体模型进行解析,意在指明"教师、学生"与"教科书、知识、能力"的主客关系、教科书与"知识、能力"的表述关系以及教师与学生的交往关系,厘清教科书使用所包含的三种活动,拓展教科书使用四面体模型中的对象性教育客体,使其包括知识、技能、能力、情感、态度、价值观等层面的内容。在此基础上,构建适切的教科书使用菱形模型。 展开更多
关键词 教育主客体互动模式 课堂教学 教科书 使用模型
下载PDF
基于Markov链使用模型的软件可靠性测评方法研究 被引量:7
4
作者 陈振华 王峰 《计算机工程与设计》 CSCD 北大核心 2007年第12期2768-2771,共4页
基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们... 基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。论述了该方法中使用链与测试链的构建技术,基于使用模型的统计分析计算,基于测试链的软件可靠性评估,操作可靠性和使用可靠性评估,以及它们在实际应用中需要注意的若干问题。 展开更多
关键词 MARKOV链 使用模型 使用 测试链 软件可靠性
下载PDF
Multimodel projections and uncertainties of net ecosystem production in China over the twenty-first century 被引量:8
5
作者 Tao Wang Xin Lin +2 位作者 Shushi Peng Nan Cong Shilong Piao 《Chinese Science Bulletin》 SCIE EI CAS 2014年第34期4681-4691,共11页
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-... 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. 展开更多
关键词 中国东部地区 生态系统 生产量 不确定性 模式预测 二氧化碳 使用模型 净初级生产力
原文传递
基于UML的软件Markov链使用模型的构建 被引量:7
6
作者 吴彩华 刘俊涛 +1 位作者 彭世蕤 李海鸿 《计算机研究与发展》 EI CSCD 北大核心 2012年第8期1811-1819,共9页
构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利... 构建软件的使用模型是进行软件可靠性测试及软件可靠性评估的基础.近年来,如何由软件的UML模型构造软件的使用模型成为研究热点.对于大型的软件系统来说,应用现有方法构建的软件Markov链使用模型的状态空间过于庞大,模型描述困难,不利于测试用例的自动生成及软件可靠性评估.针对以上问题,提出了一种由UML模型构建Markov链使用模型的方法.该方法将场景的前置条件和后置条件作为Markov链使用模型的状态,将场景的执行及执行概率作为状态之间的转移及转移概率.与现有方法相比,新方法构建的Markov链使用模型的状态空间小且无需人为干预,而且可以很方便地生成测试输入从而进行可靠性测试.针对UML模型的有效性,提出了经过可靠性评估扩展的UML模型生成Markov链使用模型的验证算法.最后通过一个卫星控制系统的实例对新方法的性能进行了验证. 展开更多
关键词 UML MARKOV链 使用模型 可靠性评估 测试用例
下载PDF
基于UML的软件统计测试方法研究 被引量:3
7
作者 张惠 熊前兴 《计算机与数字工程》 2008年第1期20-22,25,共4页
软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出一种基于UML模型的统计测试方法。建立基于UML模型的统计测... 软件统计测试要求基于软件使用模型产生测试用例对软件系统进行测试,为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出一种基于UML模型的统计测试方法。建立基于UML模型的统计测试过程,结合形式化描述,给出从UML模型导出使用模型的形式化算法,并基于卫星控制系统,说明方法的有效性。 展开更多
关键词 软件统计测试 使用模型 马尔可夫链 软件可靠性 UML模型
下载PDF
课堂教学中教科书使用模型的构建与应用 被引量:4
8
作者 毕华林 万延岚 《当代教育科学》 北大核心 2013年第12期14-16,19,共4页
教科书是学校教育中的主要教材,是教师教和学生学的重要资源和工具。课堂教学中教师对教科书的使用方式影响着学生的学习方式和学习结果。本文通过对基于活动理论构建的教科书使用模型的分析,为研究课堂教学中教师使用教科书的方式提供... 教科书是学校教育中的主要教材,是教师教和学生学的重要资源和工具。课堂教学中教师对教科书的使用方式影响着学生的学习方式和学习结果。本文通过对基于活动理论构建的教科书使用模型的分析,为研究课堂教学中教师使用教科书的方式提供新的视角和理论依据。 展开更多
关键词 课堂教学 教科书 使用模型
下载PDF
基于使用模型的Web应用软件统计测试 被引量:3
9
作者 赵宏斌 路晓丽 董云卫 《计算机技术与发展》 2009年第12期113-116,共4页
Web应用软件一般都具有体系结构复杂、代码量大、页面众多且相互联结的特点,在一定的时间和投入内,显然是无法做到穷尽的测试,而确保Web应用软件可靠性的一个很好的可选方案就是基于使用模型的Web统计测试,以便重点测试用户频繁使用的... Web应用软件一般都具有体系结构复杂、代码量大、页面众多且相互联结的特点,在一定的时间和投入内,显然是无法做到穷尽的测试,而确保Web应用软件可靠性的一个很好的可选方案就是基于使用模型的Web统计测试,以便重点测试用户频繁使用的路径和页面,使测试效率达到最高。针对这个问题,提出了一个能够反映系统真实使用情况的Web统计测试的使用模型WSUM,该模型基于Web应用的导航行为图和日志文件进行构建,对于用户的导航行为的描述更为全面和准确。在此基础上,还提出了基于使用模型WSUM设计和生成测试用例的方法,并给出了应用此方法进行统计测试的例子。 展开更多
关键词 WEB应用软件 统计测试 使用模型
下载PDF
在建模活动中提升模型认知能力 被引量:3
10
作者 姚国平 《中学生物学》 2018年第11期12-14,共3页
模型与建模是科学发展的重要元素,也是科学学习中不可或缺的认知与能力。模型认知即指基于模型的认知,包含两个基本层次:①基于科学模型的认知,即感受模型素材,识别组成要素及要素间的关系,通过模型理解事物及其变化的本质特征和规律,... 模型与建模是科学发展的重要元素,也是科学学习中不可或缺的认知与能力。模型认知即指基于模型的认知,包含两个基本层次:①基于科学模型的认知,即感受模型素材,识别组成要素及要素间的关系,通过模型理解事物及其变化的本质特征和规律,在使用模型过程中完成描述、解释现象,预测性质与变化等功能;②建构认知模型,在认识研究对象的本质特征、构成要素及其相互关系的基础上,建立认知模型,为解决复杂问题提供思考框架,形成解决问题的思路与方法。在生物学教学中,教师应该帮助学生树立模型意识、体会模型价值,以建模活动为载体提高学生的模型认知能力,提升学生的学科核心素养。 展开更多
关键词 科学模型 认知能力 建模 认知模型 生物学教学 科学发展 组成要素 使用模型
下载PDF
基于Markov链的软件可靠性早期评估研究 被引量:3
11
作者 吴彩华 马建朝 +1 位作者 魏海涛 张秀峰 《空军预警学院学报》 2014年第3期199-202,共4页
针对Markov链使用模型缺乏软件失效信息,提出了一种改进Markov链使用模型进行软件可靠性早期评估的方法.该方法首先扩展Markov链使用模型,在其中加入失效状态及执行概率,构建软件可靠性早期评估模型;然后,依据软件可靠性早期评估模型生... 针对Markov链使用模型缺乏软件失效信息,提出了一种改进Markov链使用模型进行软件可靠性早期评估的方法.该方法首先扩展Markov链使用模型,在其中加入失效状态及执行概率,构建软件可靠性早期评估模型;然后,依据软件可靠性早期评估模型生成算法得到软件可靠性.最后,通过一个SCS软件实例,对本文方法性能进行了验证.实验结果表明,该方法可以自动输出多种软件可靠性评估指标,有效评估软件可靠性. 展开更多
关键词 软件可靠性 早期评估模型 MARKOV链 使用模型
下载PDF
基于使用模型和遗传算法的测试数据自动产生技术 被引量:3
12
作者 周献中 孙勇成 江金龙 《兵工学报》 EI CAS CSCD 北大核心 2006年第6期1051-1055,共5页
测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相... 测试数据的自动产生技术是软件测试的一个重要研究领域,是提高软件测试效率和效果的有效方法。为保证被测对象中实际运行更频繁的部分得到更充分的测试,把使用模型和遗传算法相结合,以整个被测试对象所需测试数据量为优化目标,给出了相应的规划模型,并提出了路径权重和目标路径集的确定方法,设计的适应性函数综合考虑了路径权重、路径覆盖率和路径接近程度三要素。实例证明了模型与方法的合理性及有效性。 展开更多
关键词 计算机软件 软件测试 测试数据 使用模型 遗传算法
下载PDF
Markov链使用模型的测试用例生成方法研究 被引量:3
13
作者 雷航 陈丽敏 《电子科技大学学报》 EI CAS CSCD 北大核心 2011年第5期732-736,共5页
采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从"开始"状态到"结束"状态形成一个完整的测试案例。因此,输入和激励的选择对于产生高效的测试案例十分重要。提出一种激励选择——带概率约束的随机选... 采用基于马尔科夫链使用模型的软件测试,在状态与激励序列中,从"开始"状态到"结束"状态形成一个完整的测试案例。因此,输入和激励的选择对于产生高效的测试案例十分重要。提出一种激励选择——带概率约束的随机选择方法,以软件Markov链模型的状态迁移概率作为激励选择的约束条件,使用遗传算法中用于选择下一代种群的选择算子——轮盘赌选择算子对激励进行选择。通过与以往的激励选择方法对比,验证了所提出的方法能提高生成测试用例的有效性。 展开更多
关键词 MARKOV链 轮盘赌算法 测试用例 测试输入 使用模型
下载PDF
软件Markov链使用模型生成与化简技术 被引量:3
14
作者 冯俊池 于磊 刘洋 《计算机工程与设计》 北大核心 2015年第8期2114-2119,共6页
为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描... 为解决软件可靠性测试中Markov链使用模型的状态空间爆炸问题,研究基于UML模型的使用模型生成与化简技术。基于UML模型中的顺序图获取软件与外部环境之间的消息交互,通过分析激励与响应消息来获取状态生成软件Markov链使用模型,准确描述软件的使用情况。针对状态空间爆炸问题,提出冗余状态和等价状态的定义,设计使用模型化简算法,针对化简算法给出相关理论证明。实验结果表明了该方法的有效性。 展开更多
关键词 统一建模语言 马尔科夫链 使用模型 软件可靠性测试 状态化简
下载PDF
一种可直接用于预测的神经网络消费函数模型 被引量:2
15
作者 孙傲冰 张安年 丁喆 《河南科技大学学报(自然科学版)》 CAS 2005年第1期44-47,共4页
目前几乎所有的消费函数模型在实际应用时都有一个共同的不足之处,即在对下一期的消费额进行预测时,模型需要使用的相关数据都直接或间接与下一期的统计数据有关,所以在使用模型前首先要对未知的相关数据进行预测,这样势必会造成误差的... 目前几乎所有的消费函数模型在实际应用时都有一个共同的不足之处,即在对下一期的消费额进行预测时,模型需要使用的相关数据都直接或间接与下一期的统计数据有关,所以在使用模型前首先要对未知的相关数据进行预测,这样势必会造成误差的积累。本文在对传统的消费函数模型进行分析的基础上,建立了一种可直接用于预测的神经网络消费函数模型,这种模型只需使用前期的相关数据即可进行预测,且预测精度高于传统的消费函数模型。 展开更多
关键词 消费函数模型 预测精度 消费额 统计数据 积累 实际 基础 神经网络 使用模型 误差
下载PDF
基于马尔可夫链使用模型的系统测试 被引量:2
16
作者 曾风华 彭澄廉 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第z1期203-208,共6页
在系统测试中,对处理器或部件之间的通信验证是非常重要的。为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法。文中介绍了基于统计软件测试的欧盟项目中有关的主要技术。还介绍了基于扩展标识语言的马尔可夫链标... 在系统测试中,对处理器或部件之间的通信验证是非常重要的。为此,本文提出把统一建模语言的顺序图转换成为马尔可夫链标记语言的方法。文中介绍了基于统计软件测试的欧盟项目中有关的主要技术。还介绍了基于扩展标识语言的马尔可夫链标记语言的主要结构及编码方法。最后,给出了相应的算法及实现技术。 展开更多
关键词 软件测试 马尔可夫链 使用模型 扩展标记语言
下载PDF
基于使用模型的软件可靠性加速测试 被引量:2
17
作者 徐云青 徐义峰 李舟军 《计算机应用与软件》 CSCD 2009年第3期147-148,178,共3页
给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过... 给出了一种使用分层抽样和重要抽样方法并基于Markov链使用模型的软件可靠性加速测试的方法,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸关软件的测试效率,部分解决了安全攸关软件统计测试时间和费用开销过大的问题。实例仿真结果表明,该方法可以有效地提高软件可靠性关键操作的测试效率。 展开更多
关键词 使用模型 软件可靠性 加速测试 分层抽样 重要抽样
下载PDF
Internet的IP基密度分析
18
作者 徐野 赵海 +3 位作者 苏威积 张文波 张昕 王祖伟 《通信学报》 EI CSCD 北大核心 2005年第11期125-131,共7页
研究了Internet的物理量表征问题。以海量数据分析为基础,首先形式化定义表征Internet空间效能的物理参量——IP基密度,然后拟合出IP基密度基于时间维演化的数学模型。并从定性、定量、收敛性、拟合准确度及模型预测准确度等方面,对模... 研究了Internet的物理量表征问题。以海量数据分析为基础,首先形式化定义表征Internet空间效能的物理参量——IP基密度,然后拟合出IP基密度基于时间维演化的数学模型。并从定性、定量、收敛性、拟合准确度及模型预测准确度等方面,对模型进行了评价。最后使用模型对较远未来网络情况进行了预测,重点预测并得出2008年8月北京奥运期间Internet高度可利用的结论。 展开更多
关键词 INTERNET 密度分析 IP 数学模型 模型预测 形式化定义 数据分析 物理参量 使用模型 北京奥运
下载PDF
基于LBM的气泡聚并研究
19
作者 覃一海 《中国科技信息》 2018年第17期40-42,共3页
针对伪势模型产生虚速度大,自由能模型不满足伽俐略不变性等不足,本文提出了复合的LBM模型,通过拉普拉斯定律验证模型的正确性,然后使用模型研究双气泡、四气泡的聚并现象,由实验可知复合模型产生的较小的虚速度,并且满足伽俐略不变性。
关键词 气泡聚并 LBM 复合模型 自由能模型 BM模型 验证模型 拉普拉斯 使用模型
下载PDF
生产函数模型估计中应注意的问题
20
作者 高启杰 《农业技术经济》 1987年第6期14-16,共3页
近年来,生产函数模型在我国农业技术经济分析中的应用得到了迅速的发展,但有一个问题必须提出来,以引起理论和实际工作者的重视。生产函数模型是计量经济模型的一种,计量经济学运用模型研究实际经济问题包括建立模型、估计模型,检验模... 近年来,生产函数模型在我国农业技术经济分析中的应用得到了迅速的发展,但有一个问题必须提出来,以引起理论和实际工作者的重视。生产函数模型是计量经济模型的一种,计量经济学运用模型研究实际经济问题包括建立模型、估计模型,检验模型和使用模型等四个连续的阶段。 展开更多
关键词 生产函数模型 技术经济分析 计量经济学 建立模型 使用模型 估计模型 检验模型 实际工作者 正确应用 实际经济
下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部