基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

高动态GPS/INS组合导航算法研究

首先介绍了新型深组合GPS/INS系统原理图及组合导航滤波算法。在该算法中,组合卡尔曼滤波器除完成INS误差及GPS接收机时钟误差的估计外,还参与了GPS码跟踪,即完成传统码跟踪环中环路滤波器的功能。采用自适应码跟踪误差估计器补偿组合卡尔曼滤波器测量值中的相关分量,从而消除了传统组合中不稳定的主要根源。然后进行了计算机仿真计算,仿真结果表明,新型深组合GPS/INS导航算法适用于机动性较高的载体。     

电子海图平台下的航线自动设计方法

为优化舰船计划航线设计,提出了一种基于电子海图的自动设计方法.通过追踪安全等深线和处理障碍区,得到可航渡区域.在可航渡区域内,进行路径的可航渡性测试,自动搜索一条安全的最短计划航线,并根据障碍区的动态变化,实时调整和优化航线.实验结果表明,与传统的手工作业方法相比,该方法在效率、经济性、可靠性等方面都具有明显的优势.     

基于组织机构图的改进RBAC模型

针对电子政务工作流系统的特点,在基本RBAC模型的基础上,引入了组织机构图和额外授权的概念,提出了改进的RBAC模型,并给出模型各要素的形式化描述．模型根据组织机构图划分出原子权限,借助拓扑集合完成角色的设置．在实现用户-角色和角色-权限的指派过程中,考虑了角色的继承,并给出模型实现过程中应该注意的原则．模型具有实现快捷和管理方便的特点,可以加快工作流管理系统的开发进程．并通过开发的办公自动化系统实例加以证明．     

航片数字地图的制作与定位技术研究

在分析一般数字地图制作方法基础上,研究了航片数字地图的制作与定位技术,提出了一种适合无人机目标定位系统的航片数字地图制作与定位方法,并对地图的定位精度作了详细分析,通过提高参考点与采样点的量测精度和扫描分辨率,可以有效地提高航片数字地图的定位精度.     

高速数字系统设计中信号完整性研究

在高速数字系统设计中，信号完整性问题无处不在，影响巨大。针对高速数字电路中典型的信号完整性问题，分析了各种破坏信号完整性的原因。提出避免PCB设计中信号完整性问题的解决方案。     

数字摄影技术与传统摄影的优势比较研究

摄影技术的诞生，从传统摄影器材到如今数字摄影器材的广泛应用，体现了科学技术对设计艺术发展的积极作用。数字摄影以其方便、快捷、直观、成本低等因素，为人们的数字化生活方式带来了前所未有的便捷与乐趣，受到大众的喜爱。本文在数字摄影技术发展的基础上，对数字摄影技术与传统摄影进行了比较，指出了数字摄影技术的优势所在。     

基于椭圆曲线的数字签名在移动办公中的应用

随着网络办公自动化的日益普及以及无线通信业的迅猛发展，人们正逐步习惯移动办公等新的办公模式，但人们在享受着移动办公所带来的灵活性与便利性的同时，稍有不慎就有可能泄露企业的机密信息、通信内容被篡改或者伪造，安全问题成为了备受关注的话题。本文从移动办公的安全性要求出发。阐述了基于椭圆曲线密码体制的数字签名在移动办公系统MOA中的应用．从安全套接层的角度论述了基于ECDSA算法的数字签名的优势。     

无线数传电台实现远程供水控制设计

本文分析了数传电台同GSM、CDMA等无线传输方式的优缺点,最终选型选型为无线数传电台同PLC共同配合工作实现的无线水塔供水控制方式。解决了水源地、水塔、值班室三者距离较远、I/O点分散的问题,经使用安全可靠取得了良好的效果。     

多功能智能数显表

本文介绍了采用8031单片微机设计的数字显示仪表。该仪表可以直接显示出正弦交流电压电流的有效值、无功功率、有功功率、视在功率及其功率因数等。