基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

铁路区间信号系统测试评估平台——信号设备与列车运行仿真研究

铁路区间信号系统测试评估平台是对铁路区间列车运行安全控制和防护系统进行可靠性、安全性测试及评估的平台.区间信号设备与列车运行仿真子系统是平台的一个子系统,它为平台提供了一个虚拟的现场环境.采用面向对象技术和离散事件仿真技术对仿真子系统进行了研究.详细地阐述了信号设备及列车的仿真模型、设计和仿真算法,并给出仿真实例,满足平台对仿真子系统地要求.     

大深度复合同振式矢量水听器设计

针对目前深海无人移动平台缺乏与其工作深度相匹配的复合同振式矢量水听器的问题,采用薄壁铝合金球壳作为矢量通道,压电陶瓷圆环作为声压通道,设计制作了一型大深度复合同振式矢量水听器,并用理论计算、有限元仿真和实验测试的方法对其声学性能和耐压性能进行了验证。该水听器的外径为85 mm,质量为398 g,平均密度为1 240 kg/m~3,工作频段为20～3 000 Hz,矢量通道呈余弦指向性,灵敏度为-187 dB@500 Hz,声压通道无指向性,灵敏度为-191 dB@500 Hz,耐压深度为2 000 m。海上试验表明,该水听器能够搭载在水下滑翔机等深海无人平台上执行声学探测任务,在大深度声学探测领域具有重大的应用价值。     

点邻域尺度差异描述的点云配准算法

针对传统特征描述符计算复杂度高、配准精度低的问题,提出一种基于不同尺度点邻域特征信息差异的点云配准算法。在特征描述符方面,对关键点选取不同尺度的邻域空间,计算各尺度空间之间的特征值归一化向量差异和法向量夹角,建立点邻域尺度差异描述符,特征描述符计算简单且节省时间。在关键点选取方面,根据曲面形状指数设计了一种寻找关键点的方法,提取的点具有很好的代表性。在对应关系寻找方面,提出一种基于欧式距离的对应点二重筛选方法,找出对应点对集,设计了基于全局距离的全局最优点云变换矩阵求取方法。实验结果表明,点邻域尺度差异描述的点云配准算法具有良好的配准精度和稳健的噪声鲁棒性。     

【专题】“无人系统自主性与智能化”专题编者按

地空协同无人系统作为新质跨域智能作战力量已成为世界强国开展军事技术竞争的前沿方向。本文首先总结了地空协同无人系统的概念、功能及发展目标,分析了世界主要国家制定的专项规划,从形成智能作战体系、改变战场攻防平衡及全面提高作战效能三个方面阐述了地空协同无人系统对未来战争的重大意义;其次,针对其面临的环境复杂、资源受限和平台异构等约束条件,从分布式态势认知、适应性智能导航及异构系统协同控制等方面总结了地空协同无人系统需要突破的关键技术;最后,为应对智能化战争挑战,从技术瓶颈、平台建设及政策支持等方面提出发展建议。该研究可为地空协同无人系统在国防科技领域的研究、应用和发展提供参考。     

【邀请论文】基于区块链环境的军队审计作业平台建设构想

在信息技术高速发展、社会经济水平不断进步的背景下,被审计单位经济活动日益复杂,军队审计要想全面履行监督职责,必须不断丰富手段方式,创新技术方法。区块链技术去中心化的特点有利于提高数据存储的完整性、可靠性,可追溯特点有利于验证信息的真实性,公开透明、不可篡改的特点正与审计对证据安全性的要求不谋而合,利用区块链智能合约可编程的特点还可以根据不同审计场景设计出智能、灵活、实时、全程的审计范式。为探究区块链技术与军队审计作业平台的结合应用,本文结合区块链技术特点和军队审计实际,在分析构建区块链环境下军队审计作业平台必要性和可行性的基础上,提出基于区块链环境的军队审计作业平台建设构想及保障措施,以助力军队审计信息化发展,加速军队审计现代化进程。     

An approximate planning model for distributed computing networks

We develop an approximate planning model for a distributed computing network in which a control system oversees the assignment of information flows and tasks to a pool of shared computers, and describe several optimization applications using the model. We assume that the computers are multithreaded, and have differing architectures leading to varying and inconsistent processing rates. The model is based on a discrete‐time, continuous flow model developed by Graves [Oper Res 34 (1986), 522–533] which provides the steady‐state moments of production and work‐in‐queue quantities. We make several extensions to Graves' model to represent distributed computing networks. First, we approximately model control rules that are nonlinear functions of the work‐in‐queue at multiple stations through a linearization approach. Second, we introduce an additional noise term on production and show its use in modeling the discretization of jobs. Third, we model groups of heterogeneous computers as aggregate, “virtual computing cells” that process multiple tasks simultaneously, using a judiciously selected control rule. © 2005 Wiley Periodicals, Inc. Naval Research Logistics, 2005.     

移动数据库的应用研究

阐述了移动数据库的概念和特性,介绍了其应用现状及市场上存在的相关产品,分析了移动数据库在应用中要解决的关键问题,指出了其发展目标。     

静电放电及其抗扰度试验的研究现状与发展趋势

在综述ESD测试和抗扰度试验研究状况基础上,指出该研究领域当前需要进一步研究的问题和发展方向。静电放电的深入研究对现代电子设备(系统)的快速发展具有十分重要的意义。     

多目标多火力通道云调度策略研究

在水面舰艇面对多目标饱和攻击时,对多火力通道的最佳调度是水面舰艇自防御武器系统火力分配的关键问题。本文采用云模型方法将多目标威胁判断与反导武器系统多火力通道状态相匹配,通过实时评估目标威胁等级、武器系统抗击时间和最佳抗击距离等因素,提出一种兼顾目标和火力通道实时状态的新调度策略——云调度策略,有效降低舰艇损伤程度,提高反导武器系统抗击效率和抗击质量。仿真证明,此策略可提高整体反导防御效能。