VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

基于双滑模变结构的旋转靶弹双通道控制

针对旋转靶弹低空飞行姿态难以快速调整以及参数摄动的问题,基于内外环的双滑模变结构方法,设计了旋转靶弹的双通道控制器。基于非线性模型,对靶弹快速变化的攻角和侧滑角以及慢速变化的高度和偏航距离分别设计了一种积分型滑模面,并采用指数趋近律减轻系统的抖振,利用Lyapunov稳定理论证明其稳定性。非线性仿真结果表明,该设计控制方法能快速准确响应控制指令,且在参数摄动时表现出较强的鲁棒性。     

张顺国:冰火两重天

正张顺国:四川省巴中县人,1933年7月参加中国工农红军,1938年加入中国共产党,参加红军二万五千里长征、延安保卫战。南泥湾大生产时,他是开荒模范。因身体多处受伤,组织安排他回四川省公安部门工作。1955年,在他多次向组织提出请求后,终于回到新疆老部队——农五师。1988年12月6日,老红军张顺国同志因战伤复发长期医治无效,于成都逝世,卒年70岁。噩耗传到艾比湖畔,农五师干部职工的心情无比悲痛。这位个头不高,     

银行家的祖传理财方

正我出身银行世家,自小接受的是3s理财教育:Saving(储蓄)、Spending(消费)和Sharing(分享)。3S理财观念出自何处不得而知,但是,我家世代都奉之为经典。3S中首要的是储蓄,身为银行家的祖父一世不炒金不炒房不炒股票、不做投机。一来是避嫌疑,更因他从实践中确实悟出,长期的定时的储蓄得益,其实是相当可观且安全的。记得我刚参加工作时(20世纪60年代),一个月工资48.5元,扣除饭票、交通费和零用,就去银     

以焦裕禄为榜样

正2014年5月19星期一晴观看了影片《焦裕禄》后,我的心情久久不能平静。焦裕禄同志在身患重病的情况下,还能把老百姓的事当成自己的事去做,这种精神着实令我感动敬佩,也更加激发了我为职工群众干实事的决心。在焦裕禄精神的感召下,我周密安排     

献给兵团的歌

正~~     

自主水下航行器的自适应反演变结构控制器设计

由于水下航行器是高度耦合、复杂的多输入多输出不确定性非线性系统。对水下航行器进行精确作业时的运动控制一直是其实用化过程中困扰人们的问题。将自适应反演控制技术和变结构控制策略相结合,提出了一种基于反演技术的自适应变结构控制器设计方法,实现AUV水平侧移和航向控制,并利用自主水下航行器模型进行了仿真研究。仿真结果表明,该控制方法对模型不确定性和不确定环境干扰表现出良好的鲁棒性和自适应性。     

一种新型等离子体通道的时变电阻模型

为了准确分析水下放电过程中等离子体通道电阻的实际变化规律,进而更精确地计算通道沉积能量、电声转换效率等物理量,首先基于水下放电的等离子体通道电阻的“U”型曲线,构建了一种时变电阻函数,通过数据拟合的方式,确定了函数中的参数;然后,将时变电阻函数代入到以通道电流为变量的二阶变系数微分方程中,通过龙格-库塔数值算法得到通道电流的数值解;最后,使用改进的余弦相似度作为评价指标,比较了仿真电流与实测电流的差异。结果表明：仿真电流与实测电流吻合度高,验证了时变电阻模型的有效性。     

RLPG电液定量伺服加注系统设计与仿真研究

为了实现RLPG的液体发射药自动加注,设计了其电液定量伺服加注系统。通过控制阀控定量缸中活塞位移实时调整无杆腔中发射药量,实际应用过程中,定量过程与复位过程、火炮发射过程无冲,可并行工作。针对电液伺服系统模型不确定性、非线性的特点,建立了其状态空间模型。为了改善滑模变结构控制的抖振现象,设计了该系统的模糊滑模变结构控制器。搭建了AMESim/Simulink联合仿真平台,在不同装药量下对系统进行仿真分析,结果表明,定量过程所需时间比RLPG发射时间与变装药活塞复位时间之和小得多,加注0.628 3 L液体发射药共需0.95 s;随着装药量增加,系统定量精度有所下降,但均保持在99.85%以上。     

卫星任务调度问题的约束规划模型

卫星任务规划与调度是空间资源管理的重要内容之一,其目的在于为卫星系统的任务计划编制提供科学合理的决策手段与依据。卫星任务调度问题的重要特点在于,调度任务存在可见时间窗口约束。只有在可见时间窗口内,调度任务才可能执行并完成。在进行合理假设的基础上,建立卫星任务调度问题的约束规划模型。对基本禁忌搜索算法进行改进,提出了模型求解的变邻域禁忌搜索算法。应用结果表明,约束规划模型的建立与求解是合理的。