搜索筛选:
搜索耗时0.1075秒,为你在为你在102,285,761篇论文里面共找到 45 篇相符的论文内容
发布年度:
[学位论文] 作者：颜炯,,
来源： 年份：2005
计算机已经广泛地应用于航空、航天、武器装备、工业控制、交通、金融和医疗等领域,这些系统越来越多地使用软件进行控制,软件是否正确运行关系到人的生命安危,软件失效会引...
[会议论文] 作者：颜炯,
来源：2018第五届全国自然教育论坛 年份：2018
本文首先系统地回顾了四川大学可持续发展教育课程的发展趋势;讲述了四川大学的可持续发展教育,从单一的课程到多门课程,从启蒙到专题化的探究,中间不断遇到新的挑战,而在解决新的挑战时,也在不断地尝试;指出将来大学的环境可持续发展课程必然走向个性化、多样......
[期刊论文] 作者：谢永春,颜炯,,
来源：公路工程 年份：2015
岩体力学参数的选取具有较大的繁冗性或主观性,在工程实践中具有较大的弊端。结合HoekBrown经验强度准则及区间数学理论对岩体力学参数区间量化,该法以区间值表示边坡的稳定...
[会议论文] 作者：邓军;颜炯;,
来源：第三届ARC/INFO暨ERDAS中国用户大会 年份：1998
ARC/INFO作为一套功能强大的地理信息系统软件,本身提供了大量的图形(空间数据及属性数据)编辑命令.我们在数字化作业时,依靠这些命令的组合,可以完成绝大多数海图数字化工作...
[期刊论文] 作者：卢红雁, 颜炯,,
来源：环境教育 年份：2004
...
[期刊论文] 作者：卢红雁,颜炯,
来源：环境保护 年份：2009
欧洲的城市圈和优化城市新陈代谢的战略以推动城市的可持续增长为目标，城市圈重在区域规划层面确保实施紧凑发展战略、自然保护战略、低能耗高附加值产业战略和低能耗交通网络......
[会议论文] 作者：贲可荣,颜炯,
来源：1999年全国理论计算机科学学术年会 年份：1999
计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前......
[会议论文] 作者：卢红雁,颜炯,
来源：2015年成都市科学技术年会 年份：2015
生活垃圾中菜叶、果皮和剩饭等湿垃圾的比例很高.成都市主城区每天收运生活垃圾约5500t,其中湿垃圾占比50％～70％,其他垃圾一起通过焚烧和填埋来处置.本文建议成都市逐步建立湿垃......
[期刊论文] 作者：颜炯, 王戟, 陈火旺,,
来源：软件学报 年份：2005
软件统计测试要求基于软件使用模型产生测试例对软件系统进行测试,并根据测试结果评价软件可靠性,是高可靠软件测试的重要组成部分.由于统一建模语言(unifiedmodelinglanguag...
[期刊论文] 作者：王韦, 颜炯, 刘秀坤,,
来源：地理空间信息 年份：2012
针对电网规划的特点和需求,实现了一个面向电网规划的GIS集成应用平台。分析了基于GIS技术的电网规划平台系统结构,介绍了平台实现中的功能,并讨论了面向服务架构的电网规划...
[期刊论文] 作者：颜炯, 王戟, 陈火旺,,
来源：计算机科学 年份：2004
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和接...
[期刊论文] 作者：王涛,徐锡山,颜炯,
来源：计算机工程与设计 年份：2004
软件可靠性测试是高可靠软件质量保证的重要过程,而软件使用模型则是进行软件可靠性测试的基础.UML(Unified Modeling Language)作为事实上的工业标准,在软件开发中得到了日...
[期刊论文] 作者：王涛,徐锡山,颜炯,
来源：计算机工程与科学 年份：2005
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用.软件可靠性测试是高可靠软件质量保证的重要过程.研究基于UML的软件可靠性测试具有很强的现实意义.软件使用模型...
[期刊论文] 作者：颜炯,王戟,陈火旺,
来源：计算机工程与科学 年份：2005
本文提出一种基于重要抽样的软件统计测试加速方法,该方法通过调整软件Markov链使用模型的迁移概率,在根据统计测试结果得到软件可靠性无偏估计的前提下,可以有效提高安全攸...
[期刊论文] 作者：邓晔,徐锡山,颜炯,,
来源：计算机应用研究 年份：2006
改进了文献[2]中提出的一种由软件的UML模型转换得到软件的Markov链使用模型的方法。采用Java语言实现了一个从软件的UML模型获得软件使用模型的工具。...
[会议论文] 作者：秦静,徐锡山,颜炯,
来源：第二届中国可信计算与信息安全学术会议 年份：2006
给出了一些形式化定义,为基于统一建模语言(UML)的分布软件统计测试提供了一个形式化描述基础,并提出了一个从软件UML模型构造分布式软件Markov链使用模型的算法.最后以一个分布式卫星控制系统为例说明了算法的有效性.......
[期刊论文] 作者：金桃,颜炯,Michael Bottlinger,Morit,
来源：可再生能源 年份：2014
文章以校园餐厨垃圾为原料，以水热炭化的方法处理餐厨垃圾，对得到的水热炭化固体产物生物煤的特性参数进行测定，得出生物煤的热值及灰分均达到GB／T17608—2006精煤的一级标准。通......
[期刊论文] 作者：吉增宝,魏健,颜炯,
来源：电气时代 年份：2021
根据电动汽车充电站后评价工作实践,从项目决策目标、实施过程、效果效益、环境社会影响和可持续性等5个方面总结后评价的重点内容和评价要点,提出电动汽车充电站后评价的评价指标体系,为同类项目后评价工作提供指导,同时也为相关研究和探索提供参考。......
[期刊论文] 作者：金桃, 颜炯, Michael Bottlinger, Mori,
来源：可再生能源 年份：2014
...
[期刊论文] 作者：崔铁宁,卢红雁,颜炯,,
来源：生态经济 年份：2011
对国家有关有机垃圾资源化和生物质能发展的法规政策进行了梳理和回顾,再现国家在多项不同的法规中对该领域所做的有关政策措施的规定,体现了国家对该领域产业的高度重视和扶...
相关搜索：
