一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

基于核心素养的高中英语阅读策略教学实证研究

本研究基于英语学科核心素养,在围绕主题意义开展的阅读文本解读活动中,偶发式引导学生关注某些阅读策略,结合使用"三段八环"阅读策略训练模式,选择预测、跳读、寻读、猜词、结构分析、推理判断策略作为重点项目,进行了为期四个月的阅读策略训练教学干预。研究结果发现该方式总体上提高了学生的阅读能力,不同组别中中间组的阅读能力最为明显,三组学生在细节搜索能力、判断推理能力、猜测词义能力和主旨大意概括能力发展趋势不同,但是组间距离逐渐减少。鉴于此,最后提出了提升学生阅读策略使用意识、阅读能力导向策略的培养和文本解读任务与策略使用相融合的教学建议。     

面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

状态—参数联合估计方法及其在液体火箭发动机健康监控中的应用

基于传统的扩展卡尔曼滤波器（ＥＫＦ）,本文提出了一种带次优渐消因子的ＥＫＦ用于非线性时变随机动态系统状态与参数的联合估计。应用于液体火箭发动机健康监控算法的仿真研究表明,本文所提出的联合估计器具有较好的收敛性、实时性和动态跟踪能力。此外,文中还讨论了联合估计器应用于实际系统的有关问题。     

l壳层状态的QSL分类与耦合波函数的计算

本文从准旋、自旋、轨道角动量算符的二次量子化形式出发,讨论了l壳层状态的QSL分类,推导了QSL分类的递推公式并给出了p,d,f壳层的分类结果。应用计算单体、二体算符矩阵元的Slater-Condon规则和解线代数本征值问题子程序,编制了计算l壳层QSL耦合波函数的计算程序,在VAX-11/730机上,对p-壳层和d-壳层共约需半分钟,对f-壳层约需24分钟。     

遥控武器站的自抗扰控制

遥控武器站系统是一个具有强后坐力、变摩擦力和变转动惯量的非线性系统,采用自抗扰控制技术对该系统进行稳定控制.系统利用自抗扰控制器的扩张状态观测器,对系统未建模特性和不确定性外扰进行动态估计和反馈补偿,提高了系统的抗干扰能力.实物系统稳定控制实验结果表明,所设计的自抗扰控制器具有良好的动态品质和较强的抗干扰性能,系统实现...     

Call center arrival modeling: A Bayesian state‐space approach

In this article, we introduce three discrete time Bayesian state‐space models with Poisson measurements, each aiming to address different issues in call center arrival modeling. We present the properties of the models and develop their Bayesian inference. In so doing, we provide sequential updating and smoothing for call arrival rates and discuss how the models can be used for intra‐day, inter‐day, and inter‐week forecasts. We illustrate the implementation of the models by using actual arrival data from a US commercial bank's call center and provide forecasting comparisons. © 2011 Wiley Periodicals, Inc. Naval Research Logistics 58: 28–42, 2011     

混合对策无人战机空战决策

在混合对策理论的基础上,将空战过程看作是由一系列离散的状态组成的离散事件动态系统,建立了空战过程的离散状态子模型,利用空战态势指数和战机空战能力指数构造了战术评估函数,以完成对战术动作的筛选工作,并结合3DOF质点模型设计了机动指令生成器,实现对无人机运动状态的控制,并在Matlab环境下对机动实例进行了仿真.     

基于混合变量传递函数方法的圆柱壳屈曲分析

提出了一种分析正交各向异性圆柱壳和阶梯圆柱壳稳定性问题的混合变量传递函数方法。首先在壳体环向利用三角级数对位移变量进行展开 ,利用Fl櫣ｇｇｅ薄壳理论和变分原理 ,建立圆柱壳的平衡方程 ,找出对偶力变量 ,将平衡方程写成混合变量形式 ;通过定义混合状态变量 ,建立了系统的状态空间方程 ;然后利用传递函数方法 ,得到了具有任何轴对称边界条件轴压圆柱壳屈曲问题的解析解 ;最后通过位移连续和力平衡条件 ,得到了阶梯圆柱壳屈曲问题的解。理论解推导过程表明此方法在引入边界条件和进行阶梯圆柱壳求解时非常方便。算例分析的结果验证了本方法的正确性     

脱层壳屈曲的一阶剪切理论

脱层的存在将会大大降低层合结构的屈曲载荷。本文将含任意位置环向贯穿脱层的轴压圆柱壳分成多段子壳 ,用厚度的一次多项式模拟脱层壳屈曲时子壳的轴向和环向位移 ,利用变分原理导出了脱层壳的屈曲方程和定解条件 ,并用状态空间方法进行求解。通过与经典理论的比较 ,指出了它们各自的适用范围 ;考虑脱层壳的三种不同屈曲模态 ,分析了边界条件、脱层长度、深度对脱层壳屈曲载荷的影响 ;最后给出了正交各向异性脱层壳的屈曲分析