时间自动机状态空间的一个极小化构造方法

对时间自动机的转换系统进行改进,提出了一个状态空间的极小化构造方法。该方法用位置和停留在该位置时的可能时钟值集合来表示状态,以此隐藏因时间流逝而引发的无穷状态,得到了改进的转换系统——时间段转换系统;并通过对转换可能发生时间的分析,去除无效转换;然后使用转换互模拟合并等价状态,实现了状态空间的极小化,有效地避免了状态空间爆炸。     

基于PKI的安全电子支付研究

PKI(公钥基础设施)是实现电子商务的重要技术之一。该文简要介绍了PKI体系的技术、构架和服务,并在此基础上描述了一种基于PKI的安全电子支付系统。     

主辅模块相结合的计算机多媒体技术专业教学体系研究

示范性软件职业技术教育是计算机类人才培养模式的一次改革,其核心问题是教学体系的研究与完善。本文根据我院计算机多媒体技术专业的实际,从培养目标、专业定位、培养模式、教学体系、课程设置、教学方法、实训方法等方面提出了两年制高职计算机多媒体技术专业教学改革和建设的实际问题。     

基于DHT分布式的物联网发现服务

针对EPCglobal提出的发现服务,在整个供应链中查找物品的信息存在的缺陷,提出了一个基于DHT分布式的发现服务。该方法采用分布式的散列算法为每个参与的节点分配一个标识符,并且每个节点维护一个缓存表用于存储已经查找过的供应链的相关信息,使每个供应链节点都能参与信息的查找,从而消除了中央服务器的概念。通过程序测试对提出的发现服务进行了分析,表明了该方法能够有效地提高网络容量的利用率,解决了负载不平衡等问题。     

基于ZigBee的动态WSN节点定位

针对因障碍物影响而无法实现动态无线传感网MWSN (mobile wireless sensor network)高精度定位的问题,提出了基于RSSI信号传播模型的α-驱动更新的质心定位算法α- drive renewing weighted centroid localization(α-DRWCL).根据WCL (weighted centroid localization)的距离计算公式,建立了路径衰减因子α的计算模型,利用边界探测装置的探测结果适时改变α的值,得到较接近实际情况的各参考节点权重,达到了减小定位误差的目的.在实验环境中对α-DRWCL算法进行定位仿真,仿真结果表明了该算法的精确性和有效性.     

基于DNSCurve的ONS安全机制

针对目前EPCglobal ONS(Object Name Service)系统存在的信息容易被偷听、篡改、欺骗等威胁,提出一种基于DNSCurve协议和椭圆曲线加密机制的ONS系统来实现产品动态信息在查询过程中的安全性和隐私性,并通过实验验证此系统的安全性能,能够抵御偷听、篡改、欺骗等攻击,有效地加强了ONS系统安全,对整个物联网的发展具有很重要的现实意义。     

基于云计算的常见疾病用药规范系统

针对目前不规范用药病例屡见不鲜的问题,为了使临床工作者能够对病人能够更合理规范的用药,提出了基于云计算平台和关联规则挖掘技术相结合的一种常见疾病用药规范系统的方案.该方案根据临床诊断疾病的业务特点和云计算平台的优势,设计出了一种新的体系结构,再此基础上分析了新系统的E-R图和业务流程图,并讨论了新系统的安全性以及利用ASP.NET技术进行云应用程序的开发和发布,实验结果表明了该方案的可行性,并对以后临床规范用药系统的开发具有积极的建议意义.     

基于朋友关系的Gnutella搜索策略

在大规模P2P文件共享系统中,搜索效率往往直接决定了网络的可扩展性.洪泛机制广泛应用于非结构化P2P文件共享系统中,尽管它在内容搜索方面有很高的效率,但同时产生了大量的冗余消息,严重制约了网络的可扩展性.为了能够在保持较高查询成功率的同时大大减少查询开销,本文提出一种新的基于朋友关系的搜索策略FbSearch.FbSearch在搜索过程中,优先把查询消息转发给朋友节点,若失效再按照BFS机制广播查询.实验结果表明:FbSearch稳定高效,能够在大幅度降低搜索开销的同时,保持较高的查询成功率.     

智能变电站电气二次回路可视化技术研究

由于智能变电站采用光纤等网络通信模式进行信息传输,不能通过设计图纸清楚分析回路构造,使得运行检修人员在维护设备时无法直观了解各IED智能设备之间的联系及各保护测控的采集动作逻辑,因此研究智能变电站通信网络,将其转化为运维人员原有的思维维护模式显得尤为重要.