安全协议的形式化规范

该文给出用PVS(Prototype Verification System)对安全协议进行形式化规范的一种方 法。该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想 加密系统。重要的结构如消息、事件、协议规则等都通过语义编码方式定义.     

潜用噪声干扰器对抗舰艇主动声纳的仿真分析

建立了潜艇水声对抗仿真数学模型,并从水声对抗器材的平均有效时间和舰艇与器材的最小距离两方面对潜艇使用低频噪声干扰器对抗舰艇主动声纳的效果进行分析,通过大量的仿真数据得出了潜艇最优的辅助决策。     

Windows动画图符的表现

我们曾经在WINDOWS环境中见到过一副小动画,也就是一副活动的位图,比较有趣。找到这副小动画的操作路径是这样的:在Program Manager中,有一个Help菜单项,同时按住Shift键和Ctrl键之后,用鼠标点击Help菜单项,并选择“About”菜单项,就会弹出一个对话框,在这个对话框的左上角有一个Microsoft公司的标志,用鼠标在这个图符上连点两下,就会出现另一部分信息,中间很醒目的就是一面飘动的旗帜——一个活动的位图,一副不停息的小动画。注意,在这一过程中Shift键和Ctrl键必须按住不放。 我们想,如果能够实现这种动画,并应用于在WINDOWS下开发的应用程序的界面中,必然会使应用程序的界面变得活泼可爱。因此,我们经过考虑,找到了一种实现方法,并制作了一个小小的演示程序。     

虚拟实体对象建模语言SCPL

本文给出一种新的虚拟实体对象建模语言ＳＣＰＬ。这种语言以基于控制论的行为模型ＳＣＰ为中心组织虚拟实体对象的建模,具有实现连连续和更复杂行为的能力,适用领域广。     

船舶航行辐射噪声的多普勒效应仿真

通过分析、比较已有水声信号多普勒频移仿真方法，针对船舶航行辐射噪声提出一种能够适应声源和接收者相对径向速度变化的、计算效率较高的水下宽带噪声信号多普勒效应仿真方法。仿真实验结果显示，该方法使船舶航行辐射噪声信号频域各分量的频率随着相对径向速度的变化呈现出不同的多普勒频移量，使得船舶航行辐射噪声信号的仿真达到了更高的逼真度。