基于移动医疗大数据平台下深度最优匹配算法的机会网络转发机制
摘要：通过分析在移动医疗大数据平台下,机会网络中节点传递信息方式的特点,遍历所有邻接节点,对两节点的数据进行比较,通过最优匹配方式,选择匹配结果最优的邻接节点作为下一跳的节点,从而找出一条使数据高效转发的路径.根据此过程,提出一种基于移动医疗大数据平台下深度最优匹配算法的机会网络转发机制,即DOM算法,用来匹配节点中的数据分组,从而选择一条数据高效转发的路径.通过与机会网络中的经典算法比较,表明DOM算法能够在数据传播的过程中减少冗余数据并且显著提高传输成功率.云计算环境下安全的极限学习机外包机制
摘要：应用程序中涉及到的数据日益扩大且结构日益复杂,使得在大规模数据上运行极限学习机ELM成为一个具有挑战性的任务.为了应对这一挑战,提出了一个在云计算环境下安全和实用的ELM外包机制.该机制将ELM显式地分为私有部分和公有部分,可以有效地减少训练时间,并确保算法输入与输出的安全性.私有部分主要负责随机参数的生成和一些简单的矩阵计算;公有部分外包到云计算服务器中,由云计算服务商负责ELM算法中计算量最大的计算Moore-Penrose广义逆的操作.该广义逆也作为证据以验证结果的正确性和可靠性.我们从理论上对该外包机制的安全性进行了分析.在CI-FAR-10数据集上的实验结果表明,我们所提出的机制可以有效地减少用户的计算量.几种确定型量子程序的可达和终止验证
摘要：讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序—确定型量子程序,从计算基态运行时程序的可达集合和它们终止及发散的情况.研究表明：这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.FlatVC：云环境下虚拟机集群的扁平化版本控制
摘要：IaaS的发展使得云服务能够快速地部署虚拟机集群.然而,在部署过程中虚拟机群的版本控制效率不高.目前的版本控制方法存在网络负载大、操作速度慢的问题.提出一种新颖的虚拟机集群版本控制方法,叫做FlatVC.FlatVC在计算节点增量地生成虚拟机版本,以避免将版本数据传输至存储节点,并在虚拟机版本恢复时按需传输版本数据,因此减小了网络传输负载并加速了版本控制过程.通过使用缓存树结构来共享网络传输数据,FlatVC减小了根节点数据传输压力.此外,我们针对增量版本所构成的版本链进行了I/O优化,避免了版本链导致的性能下降.实验结果显示,FlatVC能有效地实施虚拟机集群版本控制,加速版本生成以及恢复过程.数字通道传输延迟时间测量方法研究
摘要：在集成电路测试领域,传输延迟时间tPD是一个非常重要的参数,其不仅反映集成电路对信号的响应速度,也是集成电路测试系统交流参数测量准确的重要影响因素.详细分析了集成电路测试系统传输延迟时间产生的原因,及其对待测器件交流参数测量结果的影响.提出了基于时域反射技术的集成电路测试系统数字通道传输延迟测量方法,并在泰瑞达J750EX集成电路测试系统上进行了实验验证.通过对实验数据的分析,表明该方法能有效测量数字通道传输延迟时间,提高集成电路测试系统交流参数测量准确度.基于用户身份标识的外设访问控制方法
摘要：针对现有设备访问控制方法控制粒度粗、控制方式单一的问题,提出一种基于用户身份标识的外设访问控制方法.该方法利用角色外设访问控制列表、用户组外设访问控制列表、用户外设访问控制列表实现了对外设的灵活、细粒度控制.结合Linux操作系统进行了结构设计和实现,通过设备特征数据库实现对各种外设的甄别,通过策略数据库实现对外设的角色、用户组和用户控制,通过访问仲裁实现对外设的灵活访问控制,并对所有操作进行审计.最后,通过功能测试验证了方法的有效性,分析了方法的特点.基于延时影响因子的应用层多播ASD模型改进研究
摘要：为提高应用层多播的稳定性和效率,在原ASD-TS模型上加以改进,提出一种基于延时因子的ASD-DIF模型.该模型可以在新节点探测整个多播网络的基础上自主选择加入方式,使新节点给整个多播组带来的延时最小,构建高效率、高分发度的多播树.仿真实验表明ASD-DIF模型在构建多播网络的时候能够构建高效率的转发路径,有效降低多播的时延.基于历史传输效率的最小传输延迟算法设计
摘要：机会网络的数据交换不需要完整的路径,且传递数据是基于节点机会移动和机会相遇.相对于传统网络来说,达到了绿色节能的目的.但是,机会网络中节点逐跳传递数据存在较大的传输时延和大量的数据副本,造成传递过程中节点能量的过度消耗,为了取得较小的传输时延和较少的数据副本,本文提出基于历史传输效率的最小传输延迟算法MDBHE算法,根据历史的传输效率构建一条局部效率高且传输时间短的传递路径.仿真实验结果表明,MDBHE算法与传统的机会路由算法相比,缩短了传输时延,提升了机会网络的传递成功率.基于事件逻辑的改进Needham-Schroeder协议安全性证明
摘要：安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题.事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础.用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论.利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的.此理论适用于类似复杂协议形式化分析与验证.一种基于可信计算平台的无线传感器网络标识密钥更新方法
摘要：针对无线传感器网络使用标识密码的密钥更新问题,设计了一种以可信计算平台为密钥生成中心,利用单向函数构造随机数池的高效密钥更新方案,使得传感器节点既能对密钥更新消息进行验证,又不至于引起过多的网络通信.为保证通信密钥的安全性,使用可信计算平台作为密钥生成中心,保证了密钥源头的安全.密钥更新时,利用可信计算平台的特性对其平台配置情况进行验证,来判断其所发出的消息和密钥的真实性与完整性.利用单向函数产生随机数池,一方面使得传感器节点可以验证消息的真实性,另一方面可以抵抗重放攻击.《计算机工程与科学》征文通知
摘要：《计算机工程与科学》是由国防科技大学计算机学院主办的中国计算机学会会刊，是国内外公开发行的计算机类综合性学术刊物，现为月刊。本刊欢迎关于计算机科学理论、计算机组织与系统结构、计算机软件、计算机应用、计算机器件设备与工艺等学科领域方面的来稿。本刊每年出版一期高性能计算专刊，并且常年设有高性能计算专栏。主从交换式以太网中跨多Switch传输消息实时调度研究
摘要：针对FTT-SE协议在单Master多交换机的网络扩展结构中存在的消息跨多Switch传输调度问题,给出了消息在每个基本调度周期内到达各交换机输出端口时间的计算方法,提出了单EC内的消息可调度性判定算法,并对算法的可行性进行了证明.在此基础上,设计了基于EDF的消息实时调度算法和准入控制算法.通过确定消息在每个基本调度周期内到达各交换机输出端口时间,所提出的调度算法能针对COTS交换机输出端口的FCFS消息传输机制,实现对单EC内消息传输的精确控制和调度.相对已有的调度算法,仿真实验表明,所提出的算法能更有效地利用网络带宽,提高了主从交换式以太网通信的实时性.无线传感器网络分簇路由节能研究
摘要：在大规模传感和环境监测中,节约能源延长传感器节点生命已成为无线传感器网络最重要的研究课题之一.提供合理的能源消耗和改善无线网络生命周期的传感器网络系统,必须设计一种新的有效的节能方案和节能路由体系.方案采用一种聚类算法减少无线传感器网络的能量消耗,创建一种cluster-tree分簇路由结构的传感器网络.该方案主要目标是做一个理想的分簇分配,减少传感器节点之间的数据传输距离,降低传感器节点能源消耗,延长寿命.实验结果表明,该方案有效地降低了能源消耗从而延长无线传感器网络生命.基于Tropos＋需求模型的软件自适应方法
摘要：在模型驱动的软件自适应控制过程中,监测、分析、决策和执行等活动均基于共享的知识模型.为便于知识重用和运行时维护,常采用抽象级别较高的需求模型来表示知识.为建模软件的适应性需求,针对传统的Tropos及其扩展方法不能用于软件对异常事件适应性需求建模问题,对Tropos进行上下文和异常条件扩展,记为Tropos＋.在此基础上,提出一种由Tropos＋需求模型驱动的软件自适应方法,该方法能够用于软件运行环境和异常事件监测以及软件对环境变化和异常事件的自适应处理.最后通过一个案例说明了软件自适应过程.一种基于扩展不完全Kripke结构的三值逻辑模型检测方法
摘要：多值模型检测是解决形式化验证中状态爆炸问题的一种重要方法,三值模型检测是多值模型检测的基础,其中如何检验不确定状态的真值是一难点.针对不确定状态检验,提出了一种模型检测方法,首先对不完全Kripke结构PKS进行了扩展,然后在扩展后的模型上给出了检测不确定状态真值的方法,最后给出了基于扩展不完全Kripke结构的三值逻辑模型检测算法.与已有的三值逻辑模型检测算法相比,该算法降低了算法复杂度,完善了对于不确定或不一致信息的处理,从而增强了三值逻辑模型检测的实用性.基于多色集合的冷链物流仓储流程优化
摘要：分析陕西某企业冷链物流实际运营情况,利用统一建模语言UML用户界面友好、能有效描述系统以及多色集合理论PS具有严密的数学基础,所建模型易于计算机仿真的特点,构建UML和多色集合相结合的冷链物流仓储作业流程模型,进行模型结构分析和时间可达性分析,保证了作业流程模型的合理性,并提出作业流程优化措施,建立了新的冷链物流仓储系统出入库流程模型.通过对比优化前后作业流程模型的期望执行时间,验证了模型优化的有效性.空间区域中对象流动模式构建方法研究
摘要：随着时空数据获取设备的普及应用,产生了大量反映移动对象活动的位置数据,数据的海量性及分析的复杂性决定了该类数据为典型的大数据.位置数据中的到达和离开可以反映移动对象的流动规律,可以表示为区域的流动模式,本文研究空间区域中移动对象流动模式的构建方法,将区域的流动规律以时间序列进行定量表示,模式可用于指导交通、安全等方面的可预测调度.由于对象流动的随机性,使得构建高预测精度的模式成为一个挑战.提出一种基于层次聚类的流动模式构建模型,模型中通过数据的离散化、序列化、模式训练等步骤实现模式构建;提出偏斜度层次聚类树及异常序列去除方法,可以有效去除局部异常序列及自动聚簇选取,提高了模式的预测精度.利用真实数据集对所提出的模式训练方法进行了充分的实验,验证了所构建的空间区域中的流动模式可以用于表达区域中对象的流动规律,所提出的模式训练方法与现有的训练方法相比具有较高的预测精度.分布式异构数据库集成系统研究与实现
摘要：由于历史原因和数据库技术的不断发展,很多部门已经积累并且还会大量积累各种异构数据,其异构性主要表现在数据库类型和数据结构的不同.针对这一问题进行研究,以三峡库区水环境及水文分布式异构数据库为例,在分析水环境和水文数据需求的基础上,构建了水文及水环境数据交换架构和数据共享平台;采用异构多源数据库引擎中间件解决了不同种类数据库之间的数据交换问题;针对大量历史数据的交换问题提供了分批导入数据交换方式;使用数据目录注册的方式使得集成平台的管理和使用便捷通用.本研究的异构多源数据库引擎不仅可以方便地连接目前主流的各种数据库,还基于WebServices技术解决了连接Web数据接口的问题.研究成果可满足不同应用环境的异构数据集成需求.
