Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

COM文件加密的一种方法

本文在研究微机加密方法及磁盘噪信号后,提出利用噪信号作为一种识别标志,实现了,COM文件的加密。文中对加密的原理、方法及反解密方法进行了介绍。     

隐蔽锥扫雷达波束的交叉点电平

本文根据隐蔽锥扫雷达天线的工作原理,从方向性函数出发,分析了接收状态下高频馈电网络中,和差信号的幅相特性与隐蔽锥扫波束交叉点电平的关系,从而对不能自动跟踪的隐蔽锥扫雷达,从天馈系统方面分析了原因,并为设计和部队维修提供了理论根据和有效方法。     

YHFT-DX处理器全定制EDA技术的开发与应用

在YHFT-DX处理器的研制中,研究并实现了多项支撑全定制设计的EDA技术。针对全定制设计的功能验证,研究并实现了层次式功能模型自动提取技术,能够将晶体管级网表转化为等效的RTL级网表。研究并实现了晶体管级混合时序分析方法,可自动分析全定制设计的延时,并采用多线程并行的方法获得了约10倍左右的速度提升。为提高模拟结果分析的效率,开发了一个延时提取的工具Aimeasure。开发了两个信号完整性分析工具PNVisual和NoiseSpy,分别用于全定制设计的IR-Drop分析和噪声分析。上述技术已在YHFT-DX处理器的设计中得到了广泛应用,有效提高了全定制设计的效率与质量。     

On the nature and scope of defence economics

Defence economics uses the tools of economics to study the defence sector and its domestic and international implications. Simple models require careful application in defence economics, since indirect effects may have counterintuitive impacts. For example, while certain arms races can lead to the outbreak of war, others may have the counterintuitive effect of discouraging the outbreak of war owing to mutual deterrence.

The world is now multipolar rather than bipolar, analogous to an oligopoly situation. This multipolar world can be analyzed by a qualitative characteristic function, where the formation of a potential coalition allows study of the shift from conflict to cooperation in international relations. Some new issues to be considered in this framework include accidental nuclear war, potential arms races and conflicts in the third world, and the proliferation of chemical weapons and missiles.     

基于功能的网格服务匹配算法

网格环境下,服务功能匹配效果决定着网格服务质量,在分析了网格服务匹配方法中基于推理的匹配算法和相似度匹配方法中基于距离的匹配算法后,对这两种算法的精确度、复杂度和匹配效率进行了分析和比较.结合这两种算法,提出了服务功能匹配改进算法,该算法通过采用细化匹配粒度,引入深度因素等方法,增加了匹配精确度.通过实验模拟,查准率和查全率上表明该改进算法具有一定优越性.     

面向航迹中断的模糊航迹关联算法

针对海战场态势中,由于系统误差、电磁干扰、地理环境隔绝、电子静默等原因,出现的传感器信号长时间中断、目标丢失,导致态势中航迹不连续的问题,提出了一种改进的模糊航迹关联算法.该算法通过采用统一速度模糊因素和方向模糊因素、改进加速度模糊因素、制定二级关联策略和自动调整隶属度函数关联阈值等方法,实现了在目标机动性较强、中断时间较长等情况下的航迹关联,保证了态势的稳定.通过Monte Carlo仿真实验表明,该算法具备较高的关联性和鲁棒性.     

基于Q-MMSPF的海杂波多重分形互相关分析和目标检测

提出一种研究长程互相关和多重分形的新方法——Q阶混合矩结构分割函数法(Q-MMSPF),并利用Q-MMSPF分析了海杂波时间序列的多重分形互相关特征。通过对实测海杂波数据的计算分析发现,海杂波互相关多重分形特征较弱,目标信号之间的互相关多重分形特征明显,而目标信号与海杂波之间的互相关多重分形程度介于二者之间。据此,本文采用一种新的特征值进行海杂波背景下的目标检测。通过对不同条件下的实测海杂波数据验证,表明使用本文提出的特征值测量方法可以十分有效地检测出海杂波背景下的小弱目标。     

3D laser scanning strategy based on cascaded deep neural network

A 3D laser scanning strategy based on cascaded deep neural network is proposed for the scanning system converted from 2D Lidar with a pitching motion device. The strategy is aimed at moving target detection and monitoring. Combining the device characteristics, the strategy first proposes a cascaded deep neural network, which inputs 2D point cloud, color image and pitching angle. The outputs are target distance and speed classification. And the cross-entropy loss function of network is modified by using focal loss and uniform distribution to improve the recognition accuracy. Then a pitching range and speed model are proposed to determine pitching motion parameters. Finally, the adaptive scanning is realized by integral separate speed PID. The experimental results show that the accuracies of the improved network target detection box, distance and speed classification are 90.17%, 96.87% and 96.97%, respectively. The average speed error of the improved PID is 0.4239°/s, and the average strategy execution time is 0.1521 s. The range and speed model can effectively reduce the collection of useless information and the deformation of the target point cloud. Conclusively, the experimental of overall scanning strategy show that it can improve target point cloud integrity and density while ensuring the capture of target.     

开流形的曲率与拓扑

应用比较几何的方法研究了完备非紧且具有特定曲率条件的黎曼流形,证明了在一定Pinching条件限制下,流形具有有限拓扑型或者微分同胚于Rn。