首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   24篇
  免费   7篇
  国内免费   17篇
化学工业   5篇
建筑科学   1篇
无线电   5篇
自动化技术   37篇
  2017年   1篇
  2013年   3篇
  2012年   4篇
  2011年   1篇
  2010年   4篇
  2009年   1篇
  2008年   3篇
  2007年   3篇
  2006年   1篇
  2004年   3篇
  2003年   2篇
  2002年   4篇
  2001年   2篇
  2000年   1篇
  1999年   3篇
  1998年   1篇
  1996年   3篇
  1995年   1篇
  1993年   2篇
  1991年   1篇
  1982年   1篇
  1981年   1篇
  1980年   1篇
  1979年   1篇
排序方式: 共有48条查询结果,搜索用时 14 毫秒
1.
模型转换是模型驱动开发的核心技术. 当要把模型转换用于工业生产时, 其性能成为影响这一技术成败的关键因素之一. 为了测试模型转换程序的性能, 需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据. 本文提出一种随机化的模型生成方法. 该方法能够根据元模型的定义以及用户输入的约束条件随机、正确地生成模型文件. 实验结果也表明, 本方法和其它方法相比具有更好的生成效率, 从而更加适合支持模型转换的性能测试.  相似文献   
2.
基于TPM的运行时软件可信证据收集机制   总被引:1,自引:0,他引:1  
古亮  郭耀  王华  邹艳珍  谢冰  邵维忠 《软件学报》2010,21(2):373-387
扩展了已有的软件可信性证据模型,引入了运行时软件可信证据,从而提供了更为全面的软件可信证据模型.为了提供客观、真实、全面的可信证据,提出了一种基于可信计算技术的软件运行时可信证据收集机制.利用可信平台模块(trusted platform module,简称TPM)提供的安全功能,结合“最新加载技术(late launch)”,在操作系统层引入了一个可信证据收集代理.此代理利用TPM,可以客观地收集目标应用程序的运行时可作为软件可信证据的信息,并保障可信证据本身的可信性.该可信证据收集机制具有良好的可扩展性,能够支持面向不同应用的信任评估模型.基于Linux Security Module,在Linux中实现了一个可信证据收集代理的原型.基于该原型,分析了一个分布式计算客户端实例的相关可信属性,并且分析了可信证据收集代理在该应用实例中的性能开销.该应用实例验证了该方案的可行性.  相似文献   
3.
统一建模语言UML述评   总被引:7,自引:0,他引:7  
  相似文献   
4.
基于构件的软件配置管理技术研究   总被引:12,自引:0,他引:12       下载免费PDF全文
张路  谢冰  梅宏  邵维忠  杨芙清 《电子学报》2001,29(2):266-268
本文分析了基于构件的软件开发对配置管理技术的需求,提出了基于构件的软件配置管理系统模型,并介绍了一个基于该模型的系统,讨论了系统中的管理策略和关键技术.  相似文献   
5.
面向对象的系统设计(第2版)(ISBN:9787302147985邵维忠、杨荚清编著,清华大学出版社出版)是介绍面向对象设计方法的著作,是我们的前一本著作《面向对象的系统分析》(第2版)的姊妹篇,两本书可构成一个完整的面向对象的分析与设计方法体系。  相似文献   
6.
李戈  张路  谢冰  邵维忠 《软件学报》2004,15(Z1):45-52
在基于构件的软件开发中,构件查询是影响软件开发效率的关键性问题.为了降低复用者的查询难度。提高构件查询效率,提出将决策树方法引入构件查询过程中,从软件开发项目的构件查询历史信息中获取决策信息。辅助构件查询.在对传统构件查询过程进行分析的基础上,首先对决策树方法与构件库查询过程结合的需求进行了探讨I然后针对如何利用构件查询历史信息建立决策树,如何利用决策树进行构件查询,以及如何对决策树规则集进行存储等关键问题给出了解决方案,提出了一种基于决策树的构件查询方法.还对基于该方法搭建的构件查询系统的基本功能进行了介绍,并给出了该系统的一个应用实例.  相似文献   
7.
面向对象软件开发工具集中类库和模型库的研究与实现   总被引:2,自引:0,他引:2  
类库可以有效地支持复用,该文就如何在面向对象软件开发工具集中建立类库和模型库展开讨论。首先研究了类库中类的存储和组织形式,以及检索和提取方法,给出了类库权限和安全方面的解决方案,然后讨论了模型库的设计,并研究了相关的模型演化问题,给出了一种方便实用的记录模型演化过程的方法。青鸟面向对象工具集JBOO2.0对上述研究进行了成功的实践。  相似文献   
8.
扩充CDL支持基于构件的系统组装与演化   总被引:12,自引:0,他引:12  
基于构件的软件开发方法适应于软件构造性和演化性的特征,也对软件配置管理提出了新要求,在基于构件的软件配置管理模型基础上,提出了在构件描述语言CDL上扩充系统演化信息的方法,使构件组装系统与配置管理系统形成有机的整体,为基于构件的软件开发方法提供了良好的技术支持,不仅可以有效地支持基于构件的系统构造定义,而且可以支持系统的演化以及系统的部署。  相似文献   
9.
邵维忠 《四川水泥》2012,(5):44-46,48
煤矸石代替铝质校正材料配料,可降低熟料煤耗,吨熟料可节约标煤7~10kg,但因其硫、碱、氯等有害成分较多,易结皮、结圈,影响了正常生产,故许多厂家在试用一段时间后,被迫停止使用。我公司在考察了辽东水泥、千山山水两个兄弟厂家后,决定使用煤矸石部分代替铝矾土配料。  相似文献   
10.
何啸  麻志毅  张岩  邵维忠 《软件学报》2011,22(2):195-210
QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations 进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展...  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号