首页 | 官方网站   微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   52篇
  免费   12篇
  国内免费   17篇
工业技术   81篇
  2023年   2篇
  2022年   1篇
  2021年   3篇
  2020年   2篇
  2018年   5篇
  2017年   2篇
  2016年   1篇
  2015年   2篇
  2014年   3篇
  2013年   2篇
  2012年   3篇
  2011年   2篇
  2010年   6篇
  2009年   6篇
  2008年   4篇
  2007年   6篇
  2006年   4篇
  2005年   4篇
  2004年   3篇
  2003年   4篇
  2002年   10篇
  2001年   3篇
  2000年   3篇
排序方式: 共有81条查询结果,搜索用时 15 毫秒
1.
赵会群  孙晶  张爆  王同林 《软件学报》2014,25(2):373-385
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究.  相似文献   
2.
复杂事件处理技术是射频识别技术(Radio Frequency Identification,RFID)应用中的重要技术。现有的RFID复杂事件处理模型,例如基于petri网的模型、基于树的模型、基于图的模型、基于自动机的模型,并不能十分有效地解决复杂的RFID应用问题,具体地说,RFID复杂事件的语义分析方面缺乏进一步的研究。针对上述问题,提出了一种RFID复杂事件语义分析方法。该方法,借鉴编译原理中的语义分析技术,为事件增添定义了继承属性和综合属性,同时按照事件之间的关系,定义了三种语义模式,最后通过一个语义解析算法,解析出了特定模式组合的语义信息。实验证实,该方法取得了比较理想的效果。  相似文献   
3.
网构软件体系结构代数模型   总被引:1,自引:0,他引:1  
由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究.  相似文献   
4.
为了更加高效地测试基于SIP(session initiation protocol,会话初始协议)的应用软件,提出了一种通过执行TTCN-3抽象测试套来验证SIP应用程序正确性的新方法.简单介绍了SIP协议和TTCN-3,给出了基于TTCN-3的SIP协议软件测试的设计与实现方法,结合一个具体应用实例详细验证了该方法的可行性.该方法具有可重用、操作简单、执行快捷等特点.  相似文献   
5.
赵会群  孙晶  魏莹  王文文  郭峰 《计算机学报》2011,34(6):1001-1011
针对网构软件(Internetware)可达性检测中存在状态空间"爆炸"等问题,提出了一种基于网构软件代数模型的可达性检测方法.根据网构软件特性建立其代数模型,通过引入网构相关和网构空间概念,进一步扩展网构软件代数模型.通过明确网构软件可达性与网构组合运算表达式的关系,把可达性判定转化成递归表达式(网构线性相关)判定上...  相似文献   
6.
基于EPC的物联网研究综述   总被引:5,自引:0,他引:5  
90年代电子标签和物联网概念出现以来,越来越引起人们的注意。介绍电子标签和物联网的基本原理和EPC与物联网开发的关键技术,主要介绍Savant中间件技术、域名服务技术和物理标记语言技术,并提出EPC应用系统开发的方法。  相似文献   
7.
基于网格技术的物联网Savant中间件的实现技术*   总被引:2,自引:0,他引:2  
简述物联网Savant中间件的工作原理,分析了目前Savant系统中存在的缺陷,并提出了相应的解决办法.讨论了网格技术的特点及与构造Savant系统紧密相关的技术细节和系统构建思想,就基于网格技术构造可扩展的Savant系统进行研究.提出了一种基于网格技术的Savant系统体系结构,并分析了这个体系结构的特点及优势.详细介绍了Savant系统的内部模块功能和交互方式,并介绍了一个能够满足这种设计需求的Savant系统原型的功能特点及实现方法.  相似文献   
8.
孙晶  赵会群 《计算机工程与应用》2003,39(34):124-126,166
对DSS模型代数在实际系统中的建模方法进行研究,并结合一个实际应用系统介绍DSS模型代数的应用。在应用系统中采用Java技术对DSS模型之间的各种通信方式编程,充分体现了DSS模型代数的实用性。所形成的设计模式可以有效地应用到具体的DSS系统的开发中。  相似文献   
9.
关联规则挖掘在乒乓球比赛技战术分析中的应用   总被引:3,自引:0,他引:3  
介绍关联规则挖掘技术在乒乓球比赛技战术分析中的应用.以世界排名前6位的王皓和柳承敏比赛的技战术数据为挖掘对象,采用脚本描述方法对比赛技战术数据进行采集,利用关联规则挖掘中的Apriori算法,寻找比赛中技战术之间的关联关系,从而为教练员的指导和决策提供科学依据.  相似文献   
10.
基于组件的软件可靠性模型   总被引:13,自引:0,他引:13  
首先对不同的软件体系结构描述语言(ADL)进行分析,找出体系结构的共性,用抽象代数和一代阶逻辑理论对组件,连接器和软件体系结构的属性和动态行为进行讨论和描述,探讨不同连接形式下的软件体系结构,给出基于组件的软件可靠性模型,在此模型基础上,对基于组件的软件系统的可靠性计算模型进行研究,提出一种半Markov模型,并在理论上证明该模型的可用性,最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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

京公网安备 11010802026262号