设备协同技术及其系统软件研究综述

设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控制的快捷性和协同的安全性.之后,归纳了大规模设备协同系统软件的体系结构,并分析了大规模设备协同中的三...     

应用级粒度的可集成构件重用性提升方法

提出了一种用于提高软件构件重用能力的构件构造方法。与当前研究中主要以软件实现逻辑表达一项应用用例的功能封装单元相比,该方法以应用功能层面的一类需求范畴为构件的表达目标,将业务用例以可配置的描述内容交由构件进行解释执行。通过提升构件粒度,应用级构件单元以更高的重用能力支持更为广泛的用例集合。基于这一原理设计了构件模型以及相应的构件库扩展和组装机制。通过所建立的构件集合原型,在实际开发案例中的应用验证了该方法的有效性。重用性的度量结果表明,所提方法将软件构件的重用性在特定领域中提高到96.6%~99.4%。     

安全苛刻系统自动化测试的形式化语义模型

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.     

基于Prolog的安全协议在线自动化分析*

基于串空间理论和约束消减方法,提出安全协议可达性分析模型;采用Prolog实现模型自动推理,利用XSB的Java接口实现基于Web的自动分析工具。     

基于P2P自组织的数字图书馆网格结构模型*

针对现有数字图书馆网格系统中存在的瓶颈、低扩展性及节点自主性差等问题,引入P2P自组织管理策略,用P2P和网格技术互补特性及自主性管理策略来弥补这些缺陷。首先提出一个基于P2P自组织的三层数字图书馆网格结构模型;然后分析模型的体系结构并对主要模块的功能进行了详细的介绍;最后通过数字图书馆网格体系结构的Petri net描述方法对模型进行了评价。     

Q2SM: 基于BERT的多领域任务型对话系统状态跟踪算法

基于管道的方法是目前任务型对话系统的主要构建方式,在工业界具有广泛应用,而对话状态跟踪(dialogue state tracking,DST)是任务型对话系统中的核心任务。面对传统的方法在多领域场景下表现较差的问题,该文结合语言模型预训练的最新研究成果,该文提出了一种基于BERT的对话状态跟踪算法Q2SM(query to state model)。该模型的上游使用了基于BERT的句子表征与相似度交互的槽判定模块,下游使用了一种面向对话状态跟踪任务的自定义RNN: DST-RNN。在WOZ 2.0和MultiWOZ 2.0两个数据集上的实验表明,Q2SM相比于之前的最好模型,分别在联合准确率和状态F₁值两个评价指标上提升了1.09%和2.38%。此外,模型消融实验验证了,DST-RNN相比于传统的RNN或LSTM,不仅可以提升评价指标值,还可以加快模型的收敛速度。     

基于神经网络的自动源代码摘要技术综述

源代码的摘要可以帮助软件开发人员快速地理解代码,帮助维护人员更快地完成维护任务.但是,手工编写摘要代价高、效率低,因此人们试图利用计算机自动地为源代码生成摘要.近年来,基于神经网络的代码摘要技术成为自动源代码摘要研究的主流技术和软件工程领域的研究热点.首先阐述了代码摘要的概念和自动代码摘要的定义,回顾了自动代码摘要技术...     

面向无线传感器网络的混沌加密与消息鉴别算法

针对数字混沌密码无法直接在轻量的传感节点上实现,介绍了一种基于整数型混沌映射的轻量级分组加密算法,并提出一种新型的消息鉴别码方案,具有输出长度可变、混沌序列复合安全等特点,最后实现了一个完整的无线传感网数据安全传输应用方案,并在Mica2节点上给出性能分析。实验表明该方案对无线传感网具有更高的实用性。     

场发射电子显微镜的远程共享

场发射透射和扫描电子显微镜是材料微观结构研究的重要工具。但一方面其昂贵的价格限制了社会对其的拥有量，另一方面一个优秀的电子显微镜工作者必须经过多年的培养，因此如何有效地共享有限的设备资源以及电子显微学专家这一人力资源，在管理和技术方面都是一重要命题。     

大城市环境下移动Ad Hoc网络通信技术的研究

结合实际应用场景，对大城市环境下面向车辆通信的移动ad hoc网络通信技术进行了分析与研究，分析了车辆运动行为特征，总结车辆运动的规律性，结合该规律提出了改进的ad hoc路由协议以及适用该协议的网络结构。利用实测的车辆运行数据对改进的网络性能进行评估，取得了一定效果。