首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   20篇
  免费   1篇
  国内免费   3篇
综合类   2篇
无线电   5篇
一般工业技术   1篇
自动化技术   16篇
  2022年   2篇
  2021年   1篇
  2020年   1篇
  2017年   1篇
  2015年   3篇
  2014年   6篇
  2013年   1篇
  2012年   2篇
  2011年   1篇
  2010年   1篇
  2009年   1篇
  2004年   1篇
  2003年   2篇
  2001年   1篇
排序方式: 共有24条查询结果,搜索用时 15 毫秒
1.
针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间相容性的方法。对于不相容的情况,定义了适配器模型的语法和操作语义,给出了适配器模型的自动生成算法,并对得到的适配器模型进行约简以支持适配器BPEL代码的自动生成。通过一个实例分析说明本文所提方法的可行性。  相似文献   
2.
随机产生失效核分布的方法不能反映众核处理器物理拓扑结构的真实状况,在评价相关拓扑重构算法的效能时有失客观性.本文针对这一现状,提出了一种基于缺陷成团效应的众核处理器失效核分布建模方法.实验表明,本方法得到的物理拓扑结构缺陷分布呈现出不同程度的成团特性,且成团效应会显著影响核级冗余技术的拓扑重构效果.  相似文献   
3.
基于时间概率代价进程代数的Web服务组合建模和分析   总被引:2,自引:0,他引:2  
形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.  相似文献   
4.
随着嵌入式实时系统低能耗研究的不断深入,软件能耗已经成为影响系统的主要因素,并朝着定量分析方向发展.针对嵌入式实时系统缺乏有效的软件能耗建模与分析的方法,提出一种基于进程代数的嵌入式实时系统软件能耗建模与分析的方法.通过在时间通信顺序进程上扩展价格信息得到价格时间通信顺序进程,将嵌入式实时系统指令的功耗映射成价格时间通信顺序进程的价格,利用价格时间通信顺序进程对嵌入式实时系统软件能耗建模并进行量化分析,提出的最优路径算法可以对建模结果进行指令功耗可满足性检查,并计算当前最低能耗可达路径.该方法可以从很大程度上提高嵌入式实时系统软件能耗计算和分析的准确性,计算结果有助于嵌入式实时系统软件能耗的量化分析和优化设计.  相似文献   
5.
面向对象和模式在嵌入式软件中的应用   总被引:5,自引:0,他引:5  
由于嵌入式系统的特殊性,长期以来嵌入式软件设计和开发使用的是过程化技术,使用面向对象和模式进行嵌入式软件设计,是一种全新的设计理念。该文描述了面向对象和模式的实现机制,分析了面向对象和模式在嵌入式软件设计和开发中的应用,提出了一个基于面向对象和模式设计的面向通信领域的嵌入式软件平台模型,并给出了基于该平台的上层应用开发模式。  相似文献   
6.
尺度不变特征变换即SIFT算法存在实时性差,易误匹配等固有问题,本文针对性地提出了特征描述符降维处理和匹配优化解决方案,得到一种能满足更高实时性和精确性需求的特征匹配算法.通过使用特征点为中心的9个同心圆环梯度累计值,构建72维特征向量,进行特征描述符降维,达到简化特征描述的目的,从而减少描述符的生成和匹配时间.此外,结合匹配点择优筛选和RANSAC算法匹配提纯,有效地减少了误匹配.实验表明:改进优化后的特征匹配算法既显著地提高了特征匹配精确度,又改善了算法自身实时性.  相似文献   
7.
基于描述逻辑的扩展预测模型标记语言EPMML   总被引:1,自引:0,他引:1  
预测模型标记语言PMML正被许多数据挖掘组织作为标准化的数据挖掘模型描述语言.然而,由于数据挖掘技术的不断发展,参与建立PMML的数据挖掘厂商的经验有差异,PMML本身含有的大量语言元素不可避免地带来基于PMML的数据挖掘元数据的语义不一致问题.为解决这个问题,提出了一种基于描述逻辑的扩展预测模型标记语言EPMML,详细分析了EPMML的描述逻辑基础SOIN,设计EPMML的语言元素.基于EPMML描述的数据挖掘元数据可以转化为基于SOIN的知识库,进而进行知识推理以自动发现数据挖掘元数据的内在语义不一致问题.Racer推理实例验证了EPMML语言的良构性,良好表达能力和推理有效性.  相似文献   
8.
为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.  相似文献   
9.
现有的行波列借拓扑重构算法是基于分级优化思想,把整体优化问题分解为以失效核为中心的局部优化问题,通过局部搜索失效核重构的最优解来求解整体优化问题的最优解。但其在局部邻域进行的是单向搜索,易导致搜索到的解并不是局部最优解,或者前一单元依次占用下一单元最优解而导致连锁列借操作。针对上述情况,构造一种局部邻域双向搜索的优化行波列借算法,可使局部解更优,并避免连锁操作。实验结果表明,该算法在失效核数目较多的情况下,与原有行波列借算法相比,众核处理器虚拟拓扑结构性能明显提高。  相似文献   
10.
Web 服务组合功能与QoS 的形式化统一建模和分析   总被引:1,自引:0,他引:1  
肖芳雄  黄志球  曹子宁  屠立忠  祝义 《软件学报》2011,22(11):2698-2715
进程代数是一种适合描述Web服务组合的形式建模语言,然而同样对QoS建模和分析的支持不足.在现有进程代数的基础上,提出了一种代价概率进程代数PPPA(priced probabilistic process algebra),给出其语法和语义,证明其具有功能、概率和代价的统一建模和分析能力.给出了基于PPPA统一建模和分析Web服务组合功能和QoS的方法.实例建模和分析了Web服务组合的功能、可靠性、性能和代价,其结果表明,PPPA可以有效地支持Web服务组合功能和QoS的形式化统一建模和分析.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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