辛欧拉格式形式能量的收敛性

对谐振子系统和单摆系统分析了辛欧拉格式形式能量的收敛性。得到辛欧拉格式的形式能量后,发现应用于谐振子系统的辛欧拉格式的形式能量是收敛的,对单摆系统无法确定形式能量的收敛范围,但其修正方程精确保持系统的平衡点。理论分析和数值模拟表明在形式能量收敛的条件下,用辛欧拉格式计算这两个系统具有保持整体结构的效果。     

内平衡系统多目标最优模型降阶研究

土木工程结构模型的自由度数目很大,按照原结构模型设计的控制器阶次非常高,从而导致主动控制和半主动控制实施过程中时滞效应十分突出.首先采用均衡实现技术对结构模型的状态变量重新排序形成内部均衡的模型,然后分别基于系统的可观度和可控度指标与内平衡系统二次型性能指标来进行结构模型降阶,略去对结构动力反应贡献小的状态变量.通过对Highway Bridge的Benchmark模型进行多目标模型降阶计算,得到最优的降阶模型,说明方法的可行性和有效性.     

基于非线性内电位构造函数的抗伪状态联想记忆

针对传统Hopfield神经网络在联想记忆中存在的大量伪状态,设计出一种以非线性内电位函数构造为核心的抗伪状态方案,以取代传统的Hebb规则及其外积法,建立了一种抗伪状态的联想记忆网络(ASS-SSNN),并通过吸引域的变化研究抗伪状态方案的正确性和有效性.仿真结果表明:ASS-SSNN比采用传统Hebb规则及其外积法的Hopfield联想记忆网络(HNN)在容错性上更优,记忆状态的吸引域明显增大,存储容量也有所增加.     

截面突变的座椅多级弹射筒内弹道仿真

以往研究中对多级弹射筒和压力有效作用面的影响重视不足,并且所建模型通用性差.在分析弹射机构工作过程的基础上,建立了适用于套筒式弹射机构的内弹道模型,以火药质量和机构行程控制数学模型的解算流程,并与实测参数进行了对比,误差在0.9%～2.4%之间,说明模型可靠性;利用此模型分析了压力作用面对其性能的影响,得出结论:1)弹射筒工作期间作用面积A对其性能影响显著,弹射筒直径相差0.01m性能参数误差可达15%左右;2)对于套筒式弹射机构性能计算,近似处理会得出大于实际值的结果,因此必须将有效作用面突变效应考虑在内.     

一种有效的自适应边信息帧内插算法

分布式视频编码是一种新的编码结构,它主要是在解码端利用信源的统计特性获得有效的压缩.在分布式视频编码中,边信息质量对整个系统编码效率的提高起着至关重要的作用.在研究了现有边信息构造方法基础上,提出了一种有效的自适应边信息帧内插方法.利用相邻关键帧与当前帧的时间相关性,按一定的准则计算相应的帧间和块同的时间相关系数,然后根据时间相关性不同采用不同加权系数的运动补偿帧内插算法提高边信息的质量.实验结果表明在几乎不增加编码器负担的情况下重建边信息的质量平均提高了2.47dB.     

属性添加情况下的概念格重构算法

研究在给定的形式背景下,通过逐步添加属性建造概念格的方法.一般地,初始概念格可由部分属性生成.当添加属性时,得到了新节点与它在原概念格中的直接父节点是一一对应的结论.证明了所有新节点在原概念格中的直接父节点,只可能在某个节点和它的子节点中.基于上述性质,给出了添加属性情况下的重建概念格算法.此算法的优点是生成新节点的范围小,构建概念格的速度快.     

ROBUST H∞ CONTROL FOR UNCERTAIN NONLINEAR SYSTEMS

This paper studies the robust H∞ disturbance attenuation with internal stability for uncertain nonlinear control systems. By adding one power integrator technique, this paper designs a explicit smooth robust dynamic feedback law while rejecting the disturbance to any specified degree of accuracy. Further, the example and simulation results show the effectiveness of the proposed schemes.     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

浅谈煤矿综合支护形式的应用

煤矿开采面中的巷道安全可靠性关系到煤矿的正常开采和矿工的生命安全。煤矿深部巷道的岩石压力越大,采煤工作面中巷道受动压的影响就越明显,巷道周围的岩石损害越严重,对采煤工作的影响越大。因此,对于煤矿巷道采取一定的支护措施可以保证巷道的坚固和安全,确保采煤工作的顺利进行。目前用于煤矿支护的形式有很多种,比如锚网索支护、碎煤带联合支护、工字钢密集支护等。在一个复杂的采煤工作面中,单一的支护方式不能很好地确保巷道的安全,只有将多种支护方式融合应用才能达到完美的效果。本文以宜都市松木坪镇青山坡煤矿工作面为例,阐述煤矿综合支护形式的实践应用。     

分选链接蛋白家族研究进展

分选链接蛋白(sorting nexins,SNXs)是一类含有吞噬细胞氧化酶同源性结构域(Phoxhomology domain,PX domain)蛋白的统称,在哺乳动物中有33个成员,其PX结构域易与定位于早期内涵体的磷脂酰肌醇-3-磷酸(phosphatidylinositol-3-phosphate Ptd Ins(3)P)结合,参与蛋白跨膜过程中货物分子接头蛋白与膜锚定蛋白的结合等蛋白间的相互作用,故SNXs在细胞内吞、蛋白分选、细胞信号转导、膜运输、膜重塑和细胞器运动等方面均起重要作用.不同SNXs尚含差别较大的其他结构域,据差异结构域的不同,可进一步分为3大类.其中某些成员参与肿瘤、阿尔茨海默症、神经疾病和心脏病等人类重大疾病的发生.本文概述其发现、基因定位、结构、分类、功能及相关疾病等的研究现状,并展望其相关动向.