摘要：静态数据流图是异步电路的一种抽象模型,具有灵活性高、易于理解的优点。基于静态数据流图的一种形式化的执行语义,提出了一种适合于性能分析的静态数据流图的Petri网模型,并基于该模型提出了一种性能评价方法。该方法具有速度快、灵活性高的优点,特别适合大规模异步电路设计早期的性能分析。该模型比静态数据流图的传统Petri网模型在规模上小一倍,而且避免了引入非标准的read-arc。通过实验,该模型和性能评价方法的有效性得到了充分的验证。

摘要：IEEE802.15.4e是工业物联网中最新的MAC层标准,其采用时间同步技术实现高可靠、低功耗的无线网络。由于时间同步机制是工业无线网络中的核心支撑技术,因此其往往成为攻击者的首选攻击目标。针对IEEE802.15.4e标准的多跳时间同步协议存在安全性不足的问题,提出了一个多跳时间同步安全策略SMTSF。SMTSF安全策略主要采用基于异常的入侵检测算法、基于信任模型的多路径时间同步方法和加密与认证等关键技术,有效保障了节点之间安全地进行多跳时间同步。在基于入侵检测的算法中,边界路由器对节点的Rank值进行规则验证,可以有效检测出时间同步树攻击;同时设计了轻量级防火墙来抵御来自互联网的恶意主机攻击。在基于信任模型的多路径时间同步方法中,通过建立节点之间的信任模型来保障网络中节点可以找到一条安全多跳同步路径。仿真结果表明,SMTSF能有效检测时间同步树攻击并抵御捕获攻击。

摘要：随着云计算的普及,SaaS作为一种新的软件交付模式得到了越来越广泛地关注.为了支持高速业务发展带来的大量用户的访问请求,多租约SaaS应用需要负载均衡机制以支持可扩展性.本文从对多租约SaaS应用用户需求的分析入手,提出了一种面向租约功能类型的服务器负载模型和面向租约用户非功能需求的执行请求按需分配算法,设计了一个面向多租约SaaS应用的负载均衡系统.实验表明本文提出的面向多租约SaaS应用的负载均衡机制能在满足不同租约用户需求的同时提高系统整体执行效率.

摘要：协同过滤是构造推荐系统最有效的方法之一.其中,基于图结构推荐方法成为近来协同过滤的研究热点.基于图结构的方法视用户和项为图的结点,并利用图理论去计算用户和项之间的相似度.尽管人们对图结构推荐系统开展了很多的研究和应用,然而这些研究都认为用户的兴趣是保持不变的,所以不能够根据用户兴趣的相关变化做出合理推荐.本文提出一种新的可以检测用户兴趣漂移的图结构推荐系统.首先,设计了一个新的兴趣漂移检测方法,它可以有效地检测出用户兴趣在何时发生了哪种变化.其次,根据用户的兴趣序列,对评分项进行加权并构造用户特征向量.最后,整合二部投影与随机游走进行项推荐.在标准数据集MovieLens上的测试表明算法优于两个图结构推荐方法和一个评分时间加权的协同过滤方法.

摘要：随着无线通信技术以及全球定位技术的发展 ,位置相关的查询处理及基于位置的信息服务技术已经成为一个热点研究领域 作为支持位置相关查询的一项关键技术 ,位置相关数据的处理也正在引起人们日益广泛的关注 对位置相关数据处理中的关键技术进行了分析 ,提出了一种基于关系数据库的位置相关数据的存储及表示方法 ,同时提出了一种可变粒度格栅索引方法用于对位置相关数据的数据区域进行索引 在此基础上 ,研究了相应的查询处理算法 为了测试相应算法的性能 ,设计并实现了一个原型系统 实验结果表明 ,所提出的方法具有灵活的表示能力。

摘要：自律计算的研究还处于初级阶段,具体设计和实现过程还不完善.自律评估是自律计算研究组成部分,对自律计算系统的实现和完善起着重要作用,国内外已有机构和学者对其进行深入研究并取得了一些成果.本文主要对国内外现有的自律计算的评估研究成果进行分类,对其评估能力的有效性和完备性进行分析,探讨影响评估研究的制约因素,最后总结评估研究领域存在问题,并展望该领域未来的发展方向.

摘要：以“八六三”项目为背景 ,在探讨应用服务器技术、组件和框架技术的基础上 ,通过结合 CORBA开放性、跨平台、跨语言的特性和 EJB业务处理能力 ,设计并实现了一个可伸缩、健壮的、支持 Web分布式应用的中间应用服务器系统平台 ,其功能包括 :组件容器、管理控制台、事务服务、外部资源管理、名字服务等 ;并在实际中得到了初步应用 ,取得了很好的效果 .与其它方式的服务相比 ,它有着易于开发、易于管理和易于加载服务等特点 .对其理论背景、体系结构。

摘要：P-置换是分组密码轮函数的重要组成部分,好的P-置换能使得轮函数具有更强的抵抗线性和差分攻击能力,长期以来人们利用MDS码设计出了密码性质优良的P-置换,然而在有些情况下,P-置换本的密码学性质只要不低于一个指定的界限,就能方便地应用,因此本文决定利用BCH码和Goppa码来设计密码学指标不低于指定值的P-置换,同时设计了相应算法.因为MDS码的生成矩阵与分支数最大的P-置换之间有一一对应关系,本文利用范德蒙矩阵和柯西矩阵的特性生成了两类分支数达到最大P-置换,最后本文指出利用范德蒙矩阵设计的P-置换是利用Goppa码来设计P-置换的特例.

摘要：目前,嵌入式加密芯片在信息安全领域所面临的挑战不仅来自理论上的攻击,还存在针对其物理实现的攻击.即使数据加密,仍不能保证传输过程中的正确性和可靠性.而如何在攻击者恶意注入错误攻击之后能够自身检测是当前信息安全领域的研究热点.在研究AES算法的基础上,针对现有具备错误检测功能的AES算法的硬件实现占用电路面积大、应用不灵活等问题,提出一种针对AES加密的错误检测方案,其中优化了在AES实现中资源占用最多的S-盒模块在GF(24)域上的错误检测实现.与已有设计比较发现,本文设计有效减少了S-盒错误检测方案的硬件面积.本文设计方案在Xilinx Virtex-6 FPGA平台上进行了综合仿真验证,结果表明,在不影响检错率的情况下,具有占用硬件面积小、成本低的优点.

摘要：软件模拟验证在SoC设计中得到了广泛的研究和应用,是目前SoC功能验证的主要方法.文中从高度抽象化、可重用和自动化三个方面梳理和综述了基于软件模拟的SoC功能验证技术的研究进展.同时,基于断言的验证在SoC的功能验证技术中起到重要的辅助性作用,文中阐述了断言技术的研究进展.最后,对软件模拟验证技术的发展趋势进行了展望.