考虑用户行为和排错延迟的多版本软件可靠性增长模型

软件在测试阶段和使用阶段操作环境的差别导致软件测试可靠性和运行可靠性不完全相同.软件在发布后的使用和维护阶段,软件可靠性的增长不仅体现在软件固有故障的排除,而且用户对软件的熟悉程度也会影响软件的可靠性.本文研究了软件固有故障检测过程、固有故障纠正过程和外在失效过程的特征,建立了考虑用户行为和排错延迟下的多版本软件可靠性增长模型.通过一组来自于开源软件用户缺陷跟踪系统中的真实数据进行数值分析,试验结果表明提出的模型具有较好的效果.     

基于增强现实的机器人遥操作系统研究

在遥操作系统中,预测仿真中存在的建模误差和运动累计误差严重影响遥操作的安全性、精度和效率。采用增强现实技术可以有效地解决该问题。采用视频融合和物体定位技术,操作者可以方便地对比仿真规划结果和实际机器人执行结果之间的差异,并可以通过修正和更新仿真模型来补偿建模误差和运动累积误差。实验结果表明该系统不但可以有效地消除通讯时延的影响,还可以提高遥操作的精度和效率。     

Compressive sensing based multiuser detector for massive MBM MIMO uplink

Media based modulation(MBM)is expected to be a prominent modulation scheme,which has access to the high data rate by using radio frequency(RF)mirrors and fewer transmit antennas.Associated with multiuser multiple input multiple output(MIMO),the MBM scheme achieves better performance than other conventional multiuser MIMO schemes.In this paper,the massive MIMO uplink is considered and a conjunctive MBM transmission scheme for each user is employed.This conjunctive MBM transmission scheme gathers aggregate MBM signals in multiple continuous time slots,which exploits the structured sparsity of these aggregate MBM signals.Under this kind of scenario,a multiuser detector with low complexity based on the compressive sensing(CS)theory to gain better detection performance is proposed.This detector is developed from the greedy sparse recovery technique compressive sampling matching pursuit(CoSaMP)and exploits not only the inherently distributed sparsity of MBM signals but also the structured sparsity of multiple aggregate MBM signals.By exploiting these sparsity,the proposed CoSaMP based multiuser detector achieves reliable detection with low complexity.Simulation results demonstrate that the proposed CoSaMP based multiuser detector achieves better detection performance compared with the conventional methods.     

不确定时滞反应扩散系统的滑动模控制

借助不等式分析方法研究一类不确定时滞反应扩散系统的滑动模控制问题,设计了滑模控制器。分析了在滑动模切换面上滑动模控制系统关于不确定量的不变性特征,为研究在系统工作环境的变化、降阶近似、线性化近似、测量误差等因素干扰下所建立的实际控制系统的数学模型———不确定时滞分布参数控制系统的鲁棒性问题奠定了理论基础。     

不完全驱动船舶航迹控制输入输出线性化设计

针对船舶航迹保持控制系统模型中存在的非线性 ,建立了不完全驱动水面船舶直线航迹控制系统的非线性数学模型 ;基于输入输出线性化技术 ,采用重定义输出变量思想 ,提出了一种状态反馈控制律。该控制律克服了转首角速度不能为零及重定义输出变量中组成元素的收敛性不能保证的局限 ,使得偏航船舶能够渐近镇定于直线参考航迹 ,并以实习船为例 ,利用MatlabSimulink工具箱进行了计算机仿真研究 ,并对所提出的控制器进行了验证。结果表明 ,所提出的控制器具有比较理想的控制效果和良好的瞬态性能。     

一种低复杂度的频率、时延联合估计新方法

提出了一种基于子空间的正弦信号的频率、时延联合估计快速算法。首先给出一个PM(propagatormethod)算子 ,再由其分块矩阵构造一特殊的矩阵。由该矩阵的特征分解所得的特征矢量给出频率估计 ,而由其特征值及估计的频率得到时延估计。与现有的方法相比 ,由于该算法减少了一次特征分解 ,因而具有较低的计算复杂度。最后 ,用正弦信号及实测语音数据验证了该方法的性能     

航天飞行训练仿真网络系统的实时性实现

载人航天任务中，为提高航天器人-机-环境系统的可靠性及航天员在任务中的作用，必须事先在地面模拟的航天飞行环境下对航天员进行大量的训练，因此必须研制航天飞行训练仿真系统。如何把系统各节点机进行有效的网络连接，使之提供的环境可靠，整体运行速度与真实飞行器同步，是研制中的一项重要技术。本文从网络通信协议、通信方式和程序设计等几方面讨论了提高网络实时性、可靠性的解决策略，并给出了网络Socket编程以及组播通信的实现代码。试验证明，本系统具有实时性和同步性强、数据传榆的可靠性高等特点。     

存在成果溢出和投资溢出下的研发组织分析

将溢出分为研发成果的溢出和研发投资的溢出。根据企业在产品竞争阶段和研发阶段是否合作 ,将企业的研发组织分为 6种不同的情况 ,并对其在不同的溢出类型下的均衡结果分别从技术进步、企业利润和社会福利的不同角度进行了比较。     

一种适用于军事MANET的服务查找算法

因为高效、负载均衡及可扩展性强等特点,Chord服务查找算法在Internet中得到了成功的应用。然而研究表明,在带宽受限、信道质量差的移动Ad-hoc网络(MANET)中,Chord算法的性能会明显下降。长期以来,人们主要在民用MANET中对Chord算法进行了改进,而对军事MANET的关注很少。为改善Chord算法在军事MANET中的性能,从优化建环过程,改善Finger表和适当增加冗余查找信息三方面对Chord算法进行了改进,提出了一种新的适用于军事MANET环境的MM-Chord(MILITARYMANET Chord)算法。仿真结果与分析表明,MM-Chord算法不仅在查找成功率和查找时延两个关键性能方面明显优于Chord算法,而且比Chord算法具有更好的可扩展性。     

Mobile channel estimation for MU-MIMO systems using KL expansion based extrapolation

In multi-user multiple input multiple output(MU-MIMO) systems,the outdated channel state information at the transmitter caused by channel time variation has been shown to greatly reduce the achievable ergodic sum capacity.A simple yet effective solution to this problem is presented by designing a channel extrapolator relying on Karhunen-Loeve(KL) expansion of timevarying channels.In this scheme,channel estimation is done at the base station(BS) rather than at the user terminal(UT),which thereby dispenses the channel parameters feedback from the UT to the BS.Moreover,the inherent channel correlation and the parsimonious parameterization properties of the KL expansion are respectively exploited to reduce the channel mismatch error and the computational complexity.Simulations show that the presented scheme outperforms conventional schemes in terms of both channel estimation mean square error(MSE) and ergodic capacity.