对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

差分技术在双星快速定位通信系统中的应用

卫星定位通信系统是具有10米以内高精度的第二代卫星导航定位系统。达到高精度的关键是应用了伪随机码扩谱及差分定位技术。诸如星历误差、电离层时延变化和地球模型不准等误差,通过应用差分技术可以大部分消除。本文阐述了差分技术的应用和系统精度分析。     

基于模板识别的高精度自动定位系统

为满足机器人辅助 医疗手术中高精度自动识别物体的需要,利用Bumblebee 2 摄像头拍摄图像,把黑白交互的椭圆和圆作为一个模板,用改进的角点提取方法提取出图像中的角点;在对图像进行增强之后,利用模板黑白格的几何对称性特征提取模板中的角点,然后区分出椭圆中的角点和圆中的角点,最后利用向量垂直关系提取出椭圆中的目标角点,识别出模板.通过Bumblebee 2自带的深度函数,提取模板的深度,得到模板在摄像头空间中的坐标,达到高精度自动定位物体的目的,克服传统摄像机需要标定内外参数的步骤.实验表明,定位误差在0.42 mm之内,基本上可以满足手术的要求.     

A new design of low-power portable digital ionosonde

The Ionospheric Laboratory of Wuhan University is interested in upgrading its instrumentation replacing the WIOBSS (Wuhan Ionospheric Oblique Backscattering Sounding System) with a more flexible and automatic ionosonde. Then the updated ionosonde WMI (Wuhan Multifunctional Ionosonde) with automatic ionogram scaling has been developed to satisfy future research. The new system not only inherited some classic techniques from WIOBSS, such as the pulse compression and the coherent integration techniques, but also made great improvements in hardware design and software updating. This paper mainly introduces evolutions of this new ionosonde in both digital transceiver and digital signal processing domain, and also presents some observations.     

Evaluation of COMPASS ionospheric model in GNSS positioning

As important products of GNSS navigation message, ionospheric delay model parameters are broadcasted for single-frequency users to improve their positioning accuracy. GPS provides daily Klobuchar ionospheric model parameters based on geomagnetic reference frame, while the regional satellite navigation system of China’s COMPASS broadcasts an eight-parameter ionospheric model, COMPASS Ionospheric Model(CIM), which was generated by processing data from continuous monitoring stations, with updating the parameters every 2 h. To evaluate its performance, CIM predictions are compared to ionospheric delay measurements, along with GPS positioning accuracy comparisons. Real observed data analysis indicates that CIM provides higher correction precision in middle-latitude regions, but relatively lower correction precision for low-latitude regions where the ionosphere has much higher variability. CIM errors for some users show a common bias for in-coming COMPASS signals from different satellites, and hence ionospheric model errors are somehow translated into the receivers’ clock error estimation. In addition, the CIM from the China regional monitoring network are further evaluated for global ionospheric corrections. Results show that in the Northern Hemisphere areas including Asia, Europe and North America, the three-dimensional positioning accuracy using the CIM for ionospheric delay corrections is improved by 7.8%–35.3% when compared to GPS single-frequency positioning ionospheric delay corrections using the Klobuchar model. However, the positioning accuracy in the Southern Hemisphere is degraded due apparently to the lack of monitoring stations there.     

飞机的气动伺服弹性横侧向风洞试验研究

通过飞机模型的气动伺服弹性横侧向风洞试验验证飞机气动伺服弹性稳定性,及稳定裕度分析方法的可靠性.对试验模型,试验子系统,实现试验的方法及试验结果进行了讨论.在模型试验技术上,如模型的支持系统,有关控制律的相似方法,液压控制系统,试验的计算机控制等都作了详细的论述.试验的结果可应用于飞机工程实际,它表明目前的气动伺服弹性分析方法是可信的,并将在进一步研究中改进.      

面向产品生命周期的质量数据模型

在对产品生命周期和产品进化链质量保证过程分析的基础上,提出了一种面向产品生命周期和产品进化链的多层次质量数据模型.该模型以融合产品结构模型和产品进化模型的广义物料清单作为单一数据辐射源,通过产品进化模型完整表达产品的改进过程,实现了产品进化生命周期内的质量数据的集成.在产品生命周期内将广义物料清单的多视图按产品生命周期质量管理过程实例化,并以此作为质量数据载体.围绕质量数据载体阶段性的质量管理过程组织产品实现过程中质量业务活动,以质量业务活动为基础,完成具体的质量数据对象的操作与关联,通过"载体—过程—活动—业务对象—物理数据"的关联实现了产品生命周期质量数据的集成.      

网络安全投资外部性及博弈策略

在企业投资成本和投资利润不同的情况下,应用博弈论理论计算了网络安全投资过程中,由于病毒传染所带来的投资负外部性,提出了信息安全的投资博弈模型.确定了相互依赖前提下企业的投资成本临界点及其影响因素,以及多个企业进行信息安全投资的多个纳什均衡解.同时将问题扩展到风险内生的条件下,阐明该条件下企业投资成本临界点的变化不仅取决于相互传染的可能性大小,还取决于内生外部性的正负及其绝对值大小.该方法为信息安全的风险管理提供了新的思路,为企业确定自身的投资策略以及国家确定相应的政策指导提供依据.      

近地航天器测控设备分配策略

对多个近地航天器同时在轨运行时，如何分配地面有限的测控设备以完成各航天器的测控任务提出了一种分配策略，并编写了相应的软件进行试算，取得了满意的结果。     

飞机尾翼载荷飞行测量研究

 用分析和模型试验方法难以确定可靠的尾翼载荷,所以要求通过飞行试验获取尾翼载荷数据,但因测载技术复杂,精确地测定尾翼载荷亦是困难的。我们经过多年的工作,最终用应变法得到了可贵的某型飞机尾翼机动载荷测量结果。本文叙述了测量方法,并给出了垂尾载荷的部分测量结果。根据该结果对垂尾的受载情况提出了值得重视的看法。