基于交叉格莱姆矩阵的最小信息损失模型降阶方法

运用信息论的原理和方法研究以状态空间形式描述的线性定常系统的模型降阶问题.应用线性定常系统及其对偶系统的稳态状态信息熵规范了系统能控性信息和能观性信息的定义形式.基于交叉格莱姆矩阵的系统信息属性,定义了交叉格莱姆信息.通过分析系统稳态状态信息熵的信息描述形式,揭示了交叉格莱姆信息的状态物理含义.在基于最小信息损失的模型降阶过程中以交叉格莱姆信息损失最小为目标,提出了新的模型降阶方法--CGMIL方法.理论分析和仿真结果表明,交叉格莱姆信息是包含系统能控性信息和能观性信息的综合信息描述形式,CGMIL方法与基于最小信息损失的模型降阶方法相比能够获得更好的降阶性能.     

基于DEA原理的船舶人员疏散通达性评估

为了全面系统的评估船舶人员疏散通达性,在分析船舶人员疏散全过程的基础上,构建了人员疏散通达性评估指标体系,给出了各项评估指标的定义及计算方法。依据投入产出系统提出了通达性指数概念,并基于数据包络分析方法建立了船舶人员疏散的通达性评估模型。利用该模型对某客船的2种不同总布置设计方案进行人员疏散通达性评估,得到了2种设计方案的人员疏散通达性指数,并对各项指标的冗余率或亏空率和设计侧重面进行了分析,为船舶总布置设计抉择和改进及人员疏散科学管理提供了理论依据。     

分布式SDH通道层自愈算法的探讨*

讨论了SDH通道层自愈, 并提出一种消息传播机制, 它是沿文中提出的消息树传播的; 提出一种分布式SDH通道层自愈算法,并与SDH的分布式带宽管理相结合,对SDH自愈网络的发展提出了一些看法.     

完全析取范式检测ALCN-概念的可满足性

基于"逐步展开"模式的Tableau算法在各类非循环定义的描述逻辑概念的可满足性判断中会产生大量的重复性的中间概念描述,因而浪费大量的空间.为此,提出了-个全新的对非循环定义的ALCN-概念可满足性进行判断的完全析取范式(CDNF)算法.CDNF算法直接在输入概念描述上,以角色为纽带构建不同层次的析取范式,从而将输入概念描述重组成一种层次结构的可满足性直接可知的完全析取范式,从而实现了真正意义上的"计算"可满足性.CDNF算法采用"一步到位"的展开方式并且直接在输入概念描述上进行处理,因而可最大程度地消除概念描述的重复.因此,CDNF算法比Tableau算法能节省线性甚至指数倍于输入概念描述长度的空间代价.     

基于分数阶微分方程描述的系统的能控性和能观性判据

首先给出了由分数阶微分方程描述的系统的数学模型,根据对整数阶系统能控性和能观性的研究,给出了此类分数阶系统的能控性和能观性的定义,并利用两参数的Mittage-Leffler函数和Cayley-Hamilton定理分析此类分数阶系统的能控性和能观性,推导由分数阶微分方程描述的系统能控性和能观性判据.当其能控性判别矩阵M和能观性判别矩阵N的秩为满秩时,分数阶系统是能控和能观的.     

转子碰摩量子调控自愈监控方法研究

碰摩是旋转机械常见故障之一,通过对转子碰摩机理的分析,提出了利用量子调控技术对转子碰摩进行自愈监控的方法,建立了转子碰摩量子调控自愈机制,对其实现方法进行了分析和研究.该方法不需要考虑引起碰摩的故障原因,只要外加一种力用来抵消碰摩伴随的故障力就可以消除碰摩故障.对量子碰摩自愈机制、量子初态制备、目标量子测量、碰摩自愈监控系统的设计与实现等进行了分析和研究.结果表明,该方法操作简单,使用方便,能有效预防碰摩发生,特别对早期和轻微碰摩更能收到良好效果,为在线消除转子碰摩提供了一种新途径.     

自控连续Petri网模型及其应用

在现有连续Petri网方法研究的基础上,提出了自控连续Petri网的建模和描述方法,通过该方法来描述和分析具有连续变量的系统.阐述了使用该方法在柔性物流自动化系统建模中的应用,使建立的模型具有自我修正的能力,更加符合实际情况.给出了该方法的定义并对该方法的几种基本应用形式进行了分析,通过系统建模与仿真分析,证明了该方法的合理性.     

使用变换域预测的TDD系统信道互易性补偿方法

分析了信道时变对TDD-MIMO-OFDM系统容量的影响,提出了一种基于变换域预测的TDD-MIMO-OFDM系统信道互易性补偿方法.该方法基于最小描述长度准则(MDL)对变换域分量进行检测,并对这些分量进行预测以补偿信道时变.通过变换域处理,该方法有效地降低了信道估计和预测误差,弥补了由时变引起的信道非互易性带来的系统容量损失.     

一种基于串空间的不变集生成算法

在串空间模型中将理想定义为其不变集的代数结构,并利用它的性质描述攻击者攻击行为的能力界限,将安全协议的形式化分析规约为代数系统的不变集生成.引入hash:K×Bn-1→B,扩充了原模型中的子句关系,并给出理想诚实性判定定理在扩充子句关系下仍成立的结论.在此基础之上,提出诚实性判定条件的可满足性定理和一种新的不变集生成算法.     

基于CSP的形式化方法研究

CSP(通讯顺序进程)和B方法都是一种较好的用于实时控制系统构架分析的形式化方法,但是单独一种在描述实时控制系统构架时都存在不足.通过对CSP技术和B方法的研究,提出了一种能够描述分布式系统和实时控制系统的形式化方法-CSP-B,CSP-B集成了CSP技术和B方法,不仅具有CSP技术的特点,而且还有B方法的长处,并将CSP-B运用到证券分配系统中.     

齿轮—五杆机构的轨迹特性研究

采用计算机机构动画仿真的方法，对齿轮五杆机构的轨迹特性进行了研究。分析了该机构双曲柄存在的条件，两连杆铰接点Ｃ的轨迹曲线可到达的区域及该轨迹曲线形状随机构结构参数的不同而变化的规律，从而为齿轮五杆机构的轨迹综合提供了重要依据。     

霸县凹陷文安斜坡内带层序地层学研究

以文安斜坡内带深层为研究对象,应用高分辨层序地层学等方法研究识别隐蔽油藏.通过兴隆1井地层重新划分及高分辨率三维地震应用,将该区沙三、沙四段地层之间重新确定为不整合接触.在三级层序地层框架建立的基础上,刻画各体系域砂体展布特征,构建了坡折带控制沙四下自生自储岩性油气藏成藏模式.通过钻井实践,首次在霸县凹陷发现沙四下段含油层系及新的烃源岩层,实现了深层自生自储式油藏类型的勘探突破.     

数学优化方法在新安江模型参数率定中的应用分析

以3种数学优化方法及新安江(三水源)模型的理论为依据,介绍了优化方法在新安江三水源模型参数率定中的应用.将率定成果与API模型进行了对比,说明这3种优化方法在大宁河流域参数率定中应用效果良好,具有很好的参考和推广价值.     

密炼机转子的刚度计算

介绍了变截面梁变形计算的初参数法，运用该方法求密炼机转子的变形，并得到了精确的解。     

一类含间隙分布时滞的种群模型稳定性研究

主要借助螺线特性,对一类含间隙分布时滞的种群增长模型特征方程λ＋c＝d（1＋λT）     

红豆杉原生质体制备和培养研究

采用不同浓度的纤维索酶和果胶酶混合液对红豆杉种子的胚进行了处理,采用3％ 0.5％(m／v)的纤维索酶 果胶酶混合液效果好．得到了红豆杉胚原生质体;同时采用了B5、V-KM、MS3种培养基对所得到的原生质体进行了初步培养;实验结果表明．采用V-KM附加椰子汁(含天然植物激素)培养基培养胚性原生质体效果较好,并研究了植物激素的浓度和光照强度等对愈伤组织的诱导的影响,表明采用IAA和NAA对愈伤组织生长效果较好,光照强度在1000lx生长效果较好.     

浅析资产减值会计对利润的操纵

会计制度规定企业定期或者至少于每年年度终了，对各项资产进行全面检查，合理地预计各项资产可能发生的损失，并计提资产减值准备，既不高估资产或收益，也不少计负债或费用，从而避免虚增企业利润。但在实务中，一些企业却利用会计法规准则中的原则性，通过资产减值准备达到操纵会计利润的目的，本文即是从企业滥用资产减值入手，以实例来揭示企业计提秘密准备的意图，以引起业内人士的重视。     

高等学校固定资产计提折旧问题探讨

中国现行会计制度规定,高等学校的固定资产不计提折旧。随着经济的发展和高等教育的改革,高等学校的经济成分越来越复杂,固定资产管理和核算中暴露出来的问题越来越突出。针对现行高校固定资产计价模式存在的问题,提出了对高校固定资产计提折旧的设想,研究了高校固定资产折旧的范围、折旧年限、折旧方法及会计处理办法。     

扬声器的自滤波特性与D类功放失真的改善

应用动圈式扬声器的电—力—声类比等效线路对动圈式扬声器的频率特性进行了初步的研究,提出了利用扬声器的自滤波性能改善因D类功放移相网络引起信号相位失真的方法。同时,采用比较、反馈的方法对音频信号的谐波加以抑制,使得数字功放的总体失真指数下降。     

正圆锥面表面交线的投影分析

给出了圆锥面截交线为椭圆时的投影方程，分析了截交线的投影形状，为准确作图提供了理论依据。并用解析法分析了圆锥面与圆柱面正交时相贯线的投影形状、特殊点位置及其作图方法。