首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   15篇
  免费   5篇
  国内免费   3篇
综合类   1篇
无线电   1篇
自动化技术   21篇
  2024年   1篇
  2021年   1篇
  2020年   1篇
  2016年   1篇
  2011年   1篇
  2010年   4篇
  2009年   4篇
  2008年   7篇
  2006年   2篇
  2005年   1篇
排序方式: 共有23条查询结果,搜索用时 13 毫秒
1.
调试或测试分布式系统是一项重大的挑战。文中,作者在D3S系统架构上实现了一个针对分布式系统的运行时监控系统。介绍了该监控系统的框架与实现,以及涉及到的相关理论背景,并给出了案例分析和系统的性能分析。整个分布式系统的运行被建模成一系列带全局时间戳的一致性快照。监控系统采用LTL作为系统规约的描述语言,并且使用有限自动机判定在一条有限路径上某个LTL公式是否被满足。  相似文献   
2.
近年来,现场可编程逻辑门阵列(FPGA)由于其灵活的可定制性和优秀的并行性,在硬件加速卷积神经网络(CNN)的研究和应用中吸引了广泛的关注.这些工作主要集中在两方面:对特定硬件加速模块的设计和优化以及对一类网络模型的通用加速硬件设计.前者一般是基于数据流的针对固定网络的设计,通过牺牲通用性来换取性能;后者一般是基于指令集能够加速一类模型的设计,通过牺牲性能来换取通用性.为了能够灵活地应对不同的需求,本文提出一种通过管理不同粒度算子来平衡性能与通用性的fGrain框架.该框架一方面利用底层基于数据流的算子设计来充分发挥硬件性能,另一方面通过虚拟化层来管理算子映射提供灵活性.实验表明,相比GPU推理延迟至多有25%的提升,而虚拟化性能损失仅在1.3%以下.  相似文献   
3.
基于细胞膜演算的Web服务事务处理形式化描述与验证   总被引:4,自引:0,他引:4  
戚正伟  尤晋元 《计算机学报》2006,29(7):1137-1144
采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT.针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态.模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性.进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因.  相似文献   
4.
简要介绍了嵌入式图形领域中2D图形加速器的基本情况,并结合Monahans的应用平台的开发,实现了基于Bootloader上的M arvell PXA300集成2D图形加速器的驱动,通过随机生成参数,测试了该图形加速器的绘图速度,并与软件加速的渲染速度进行了比较。  相似文献   
5.
朱江  戚正伟 《计算机工程》2010,36(3):280-282
提出一种基于信号衰减的GSM移动定位算法,该算法从移动台上行信令中提取相关网络信号衰减参数,通过改进的无线信道数学模型计算出移动台与附近基站的距离,通过孤立点检测算法降低偶然误差,给出移动台的估计位置。实验表明,该算法有效提高定位精度,且对现有网络和移动台无任何要求,实用性强。  相似文献   
6.
功耗数据采集是绿色计算的前提,也是软件能耗测量的基础工作。在功耗数据采集中,通常内置功率传感器采集软件能耗面临功率迟滞、程序能耗受启动时间影响等问题,产生的原因在于内置传感器的硬件构成及其使用的功耗算法。该文针对内置传感器的功耗算法问题,提出了一种基于逼近函数的功率数据矫正方法。该方法根据程序运行时间长短,分别采用数据拟合方法和基于误差方向的逼近函数进行矫正。最后,在代表性的K20系列GPU实验平台上进行验证,实验结果表明该方法能较好地解决传感器采集功耗数据存在的问题,且使用该方法和经验参数法获得的能耗数据相比误差小于1%,具有较高的精度。  相似文献   
7.
基于GSPM的安全协议检验工具   总被引:1,自引:0,他引:1       下载免费PDF全文
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述了该工具如何验证安全协议,表明GSPM模型和验证算法的有效性和正确性。  相似文献   
8.
介绍了多媒体信息服务,即彩信MMS(Multimedia Messaging Service)的收发流程,提出了 MMS客户端的模块设计方案,将PDU的编解码能力和具体的编解码行为分离,并给出了MMS客户端的具体实现,顺利完成彩信收发功能.  相似文献   
9.
Web服务环境下JTA事务的扩展方法   总被引:1,自引:0,他引:1  
事务处理是构建企业级应用的必要基础。随着Web服务技术的发展,以及在企业信息集成中的广泛应用,Web服务已经成为构建成功的企业级应用的成熟技术,但是这些正在实施的Web服务项目对事务处理的支持仅仅是利用传统的Web技术明确地写入代码进行控制或者通过对后台信息系统进行只读访问而明确禁止。该文在分析J2EE事务模型的基础上,讨论了如何通过对JTA事务进行扩展,从而使得JTA事务能够在Web服务之间进行传播并且保持其ACID属性。  相似文献   
10.
Web服务的事务处理研究越来越活跃,对于Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法.该文提出了一种基于重写逻辑的Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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