基于离散ID序列的RFID标签认证协议

针对RFID的安全问题,提出一种基于离散ID序列的RFID标签认证协议——DSTAP,在此基础上,将DSTAP协议与其他认证协议进行比较分析,桑用BAN逻辑对所提出的协议进行形式化分析。分析结果表明,DSTAP协议达到指定的安全设计要求,同时可减少计算量。     

异步128位AES算法的硬件设计

基于四相握手协议设计异步流水线,实现单轮运算内流水操作,设计轮运算启动模块和异步控制信号生成模块,满足算法多轮运算的需要。在子密钥生成模块、字节替代模块和列混合模块使用复用技术,降低了对硬件的需求。在COMS0.18μm工艺下进行综合、布局布线和仿真,与采用同样数据路径设计方法的同步电路相比,吞吐率提高了12.5%。     

Pattern discovery: A progressive visual analytic design to support categorical data analysis

When using data-mining tools to analyze big data, users often need tools to support the understanding of individual data attributes and control the analysis progress. This requires the integration of data-mining algorithms with interactive tools to manipulate data and analytical process. This is where visual analytics can help. More than simple visualization of a dataset or some computation results, visual analytics provides users an environment to iteratively explore different inputs or parameters and see the corresponding results. In this research, we explore a design of progressive visual analytics to support the analysis of categorical data with a data-mining algorithm, Apriori. Our study focuses on executing data mining techniques step-by-step and showing intermediate result at every stage to facilitate sense-making. Our design, called Pattern Discovery Tool, targets for a medical dataset. Starting with visualization of data properties and immediate feedback of users’ inputs or adjustments, Pattern Discovery Tool could help users detect interesting patterns and factors effectively and efficiently. Afterward, further analyses such as statistical methods could be conducted to test those possible theories.     

Detecting and resolving deadlocks in mobile agent systems

Mobile agents environment is a new application paradigm with unique features such as mobility and autonomy. Traditional deadlock detection algorithms in distributed computing systems do not work well in mobile agent systems due to the unique feature property of the mobile agent. Existing deadlock detection and resolution algorithms in mobile agent systems have limitations such as performance inefficiency and duplicate detection/resolution when multiple mobile agents simultaneously detect/resolve the same deadlock. To address these problems, we propose an improved deadlock detection and resolution algorithm that adopts priority-based technique and lazy reaction strategy. The priority-based technique aims to ensure that there is only one instance of deadlock detection and resolution, and it also helps reduce mobile agent movement and data traffic together with the lazy reaction strategy. The liveness and safety properties of the proposed algorithm are proved in this paper. Theoretical analysis and experimental results show that the proposed algorithm provides better performance in terms of agent movement, data traffic, and execution time.     

绿色计算背景下的网络管理研究

随着IT技术的不断发展,IT行业在整个节能减排环节中占据的地位越来越高,由此提出了绿色计算、绿色网络等概念。从绿色网络的概念入手,分析网络中主要设备的节能方式和可能性,提出了在网络管理中增加能耗管理的功能,研究并提出了实现能耗管理应具备的MIB信息,并设计了能耗监视、控制和统计的实施方案,从而可以对网络中的能耗进行定量监视和控制,为绿色节能网络的建立提供全面的监控和管理。     

公交线路查询算法

公共交通不仅是衡量城市现代化程度的重要标志也是解决交通拥堵问题的途径. 而公交线路查询系统的关键技术是公交线路查询算法, 它对提高公交资源的利用率有着重要的意义. 总结了国内外城市公交最优路径算法并在此基础上分析了高效运行城市公交系统的条件和影响因素. 介绍了最短路径问题及Dijkstra算法及其在查询系统应用中的弊端. 然后提出了基于换乘最小的广度优先算法的数学模型, 给出了算法的实现, 并以银川市公共交通公司的公交部分数据为基础, 完成了公交信息查询系统的设计与开发.     

球型支座应用于大型渡槽的隔震研究

结合实际大型渡槽工程,设计球型隔震支座NKQZ15000GD,该支座具有较高的竖向承载能力、较低的水平剪切刚度,并具有一定阻尼和复位能力;对该支座进行材料性能测试,拟合支座的力学性能参数;分别采用反应谱法和动力时程法,计算隔震渡槽在设计地震与超设计地震作用下的动力反应;分析球型隔震支座应用于大型渡槽的减震效果,根据定量分析的结果得到一些规律性的结论。     

4U平行四边形机构的一类新用途——整体设计为两足步行机构

提出了将4U平行四边形机构整体设计为两足步行机构的一类新用途.此类两足步行4U平行四边形机构均由4个构件和4个万向铰组成,能够实现平面运动.根据万向铰布置方式的不同,分为3种构型.在针对构型Ⅰ的前期研究基础之上,应用螺旋理论分析了构型Ⅱ和Ⅲ的自由度,并分别对其进行了运动学分析、步态分析和稳定性分析.此外,还将3种构型的性能与应用作了进一步的分析与比较.运用ADAMS软件建立3种构型的动力学模型,仿真其运动的全过程,验证该类构型及其运动的可行性.制作出2台样机,实现了预期的运动.     

铁路动车组故障诊断知识库管理系统的设计

针对我国动车组维修的特点,为动车组维修人员能够及时、快速地对动车组发生的故障进行分析和处理,运用人工智能的思想,结合数据库技术,设计了一套知识表示和知识库管理系统,对动车组故障信息及其原因信息、处理措施信息进行维护,处理了知识的正确性、完备性、冗余性、一致性检验,并在一定程度上实现了知识处理的自动化,对我国高速铁路动车组维修工作起到辅助支持作用．有很强的实际意义。     

Parameter mapping and data transformation for engineering application integration

Enterprise applications may be classified into management applications used by managerial staffs for making decisions on business operations, and engineering applications used by engineers for solving multidisciplinary design problems. In the literature, enterprise application integration is extensively addressed in the context of management applications, but insufficiently discussed in the engineering disciplines. Practitioners in manufacturing industries have for a long time feel the increasing need of integrating engineering applications, in order to accelerate product development paces and improve design qualities. Integrating engineering applications used in the multiple engineering disciplines has to cope with a number of challenges. This paper focuses on one of the critical issues: parameter mapping and data transformation, which is of pivotal importance to integrating engineering applications. Design parameter mapping provides a consistent approach to data extraction, storage, display and manipulation among different data sources. Data transformation describes the operational logic of parsing input/output files, extracting and transforming data, and maintaining consistency among multiple data sources.