软件工程系统论研究初探

基于一般系统论和工程系统论以及软件工程的特点提出了建立软件工程系统论的设想,并就软件工程系统论的研究意义、学科性质与体系、研究内容、研究方法等问题进行了初步探讨.工程系统论以各种各样的工程系统为其研究目标,其方法论体系适用于软件工程.创立软件工程系统论的科学体系及理论框架有助于切实贯彻系统科学和工程系统的基本思想,提升软件工程的研究起点,促进软件工程应用基础研究的系统化、严谨化和科学化.按照工程系统论提出的分类研究方法,可将软件工程系统初步分解为软件工程对象系统、软件工程过程系统、软件工程技术系统、软件工程支持系统、软件工程组织系统、软件工程管理系统等6大子系统.     

基于神经网络的重力卸载系统控制器设计

吊挂系统是地面模拟空间机械臂重力卸载试验的重要方法之一.针对传统PID控制方式动作响应慢、鲁棒性差等缺点,提出了一种基于径向基函数(RBF)神经网络的智能控制方式.该方式有很强的非线性拟合能力,且学习规则简单,可映射任意复杂的非线性关系,便于计算机实现.利用该特性,设计了一种重力卸载精度较PID控制方式更高的控制器.该...     

低轨巨型星座网络容量评估与分析

低轨卫星网络可以提供广覆盖、低时延、大容量的通信服务和随遇接入的网络服务,可有效弥补地面通信网络和高轨卫星网络的不足。近年来“星链”“一网”等星座项目推动了低轨巨型星座的飞速发展。卫星网络容量是网络性能评价的重要指标,传统方法计算复杂度高、耗时长,且计算开销随网络节点数迅速增加,在巨型星座网络评估中产生巨大计算开销。面向低轨巨型星座网络容量评估问题,提出了一种基于最大流的网络容量评估方法,与传统方法相比计算复杂度和计算耗时大大降低。以“星链”星座为例,分析了星座构型、星间链路拓扑连接方式、链路容量及用户需求量对巨型星座网络容量的影响。仿真分析结果对未来低轨巨型星座网络建设具有指导意义。     

适用于天地一体化网络的无证书密钥协商协议

为了保证天地一体化网络中用户信息的传输安全,改进传统方案的高时延等问题,本文提出一种轻量级的无证书密钥协商方案。首先,本文分析无证书密钥协商协议系统模型,针对天地一体化网络的特点提出协议需要满足双向认证、抗重放、完整性等安全需求。其次,本文选择一种轻量级的无证书加密方案,在此基础上提出密钥协商协议,满足天地一体化网络的资源和安全要求。最终,本文对提出的密钥协商协议进行BAN(Burrow-Adadi-Needham)逻辑安全性分析,并结合软件对协议性能仿真进行比较,结果表明：该方案在满足网络安全性需求的同时实现高效快速的协商。     

AS4074 与宝石柱 HSDB 协议性能分析及比较

对高速线性令牌传递数据总线的性能进行了分析,建立了排队系统模型,并导出了节点消息延时、等待队列长度等网络特性与网络吞吐量之间的关系表达式,着重讨论了AS4074和宝石柱HSDB两种协议的性能差异,得出AS4074在中、低负载情况下性能优于宝石柱HSDB,因而更适合于新一代航空电子综合系统的结论。     

综合化火力控制仿真系统

讨论了综合化火力控制系统的软硬件开发,系统结构和信息流情况。包括:(1)提出~种静态真值计算迭加传感器噪声的方法来模拟ADC、INS、RAD和BU几个子系统并在合理假设的基础上导出了相应的计算公式;(2)对MC子系统中的各种攻击模式进行了介绍;(3)提出以Fuzzy控制器代替飞行员构成人-机-火控系统大闭环来仿真空战飞机的飞行信息,这样可以简化方案降低成本;(4)提出~种HUD中符号产生器的设计方案;(5)扼要介绍了MIL-STD-1553B总线的开发工作。     

线性分组码不可检错误概率新的下限

线性分组码的不可检错误概率是评价自动请求重传(ARQ)系统的重要参数。不可检错误概率的计算涉及码的重量分布,而大部分码的重量分布还不知道,因此,研究不可检错误概率的限显得非常重要。本文得到了GF()上(n,k)线性分组码不可检错误概率的两个新的下限,在一定程度上,改进了Wolf等人的结果。由于新的限与码的重量结构无关,因此可以方便地估计任何线性分组码的不可检错误概率。     

拴连卫星系统在轨道保持中的镇定的一种新方法

给出了求拴连卫星系统在轨道保持中的局部镇定律的一种新方法。当拴连卫星系统的拴连约束假设为刚性且无质量时,在构造镇定律时,必须应用有关临界镇定的一些结果。方法是中心流形理论和Lyapunov方法的一种组合,和Liaw & Abed的方法相比,它避免Hopf分叉理论的应用和Floquet指数的计算,易为工程上应用。     

带飞轮的充液摆的稳定性

带飞轮的充液摆的稳定性包光伟（上海交通大学工程力学系,２０００３０）关键词充液刚体动力学,液体晃动,运动稳定性,航天器动力学一、引言研究三轴定向充液卫星的姿态稳定性,在不考虑系统质心横向运动的情况下,一个较为简单的力学模型是充液摆作定点摆动的模型．对...     

大型陀螺特征值问题的一个高效算法

提出了求解大型广义陀螺特征值问题的一个高效算法。先通过平面镜象变换, 把N阶反对称阵化为n阶三对角形式的反对称阵, 再利用这个特殊形式的反对称阵, 把问题化为[n/2]阶的三对角正定对称阵的普通特征值问题, 大大节约了算机容量和运算时间。计算实例证实了本方法的快速和高效性。