多时滞的Lurie系统的时滞相关绝对稳定性准则

给出了具有多个时滞的Lurie型控制系统的绝对稳定的一个新的准则，利用一个改进的矩阵不等式给出了系统绝对稳定的一个新时滞相关准则，与现有的结果相比，具有较小的保守性．     

二阶变系数多时滞非线性中立型差分方程的有界振动性

研究一类具有变系数的二阶非线性中立型差分方程,利用Banach空间的压缩映象原理和一些分析技巧,得到这类方程存在有界的最终正解的判别准则,并同时得出该类方程振动的几个判别依据,推广了现有文献中的某些结果．     

一类具有时滞的不确定控制系统的绝对稳定性

用Lyapunov泛函法研究了一类具有时滞的不确定控制系统的绝对稳定性问题,给出了系统鲁棒绝对稳定的时滞相关准则．与现有的结果相比,研究所得结果具有较小的保守性．     

二阶脉冲时滞微分方程的振动性

文章对二阶脉冲时滞微分方程的振动性作了研究,利用方程中导数符号之间的关系得到了方程的几个新的振动准则,并通过例子验证,说明文中得出的结果改进了已有文献中出现的结果.     

一类含n个时滞神经网络模型解的周期振动性

利用分析方法,研究一类含n个时滞神经网络模型解的周期振动性,得出保证系统存在周期振动的一组充分条件,理论分析和数值仿真显示,所得结果为此类时滞神经网络提供了新的振动性判定准则。     

基于频域的线性中立型时滞系统的稳定性准则

基于稳定性的频域分析技术,研究了线性中立型时滞系统渐近稳定的充分性条件．根据系统的特征方程,结合矩阵分析理论中模矩阵和谱半径的性质,得到了一个新的充分性准则．这个准则比用矩阵测度和矩阵范数来描述的准则具有更小的保守性．计算实例表明所得结果是有效的,具有比现有文献结果更小的保守性．     

一类脉冲多时滞双曲方程的振动解

讨论了一类脉冲双曲泛函微分方程在两种不同边界条件下的振动准则，得到了解振动的几个充分条件．与其它文献所用方法不同，作者使用的是特征函数的方法。     

变系数线性中立型大系统的稳定性

借助于微分差分不等式考虑变系数线性中立型大系统的零解的稳定性，得到了简单、适用的稳定性判别准则，改进了已有的主要结果．     

一类不确定离散时滞系统的鲁棒状态反馈控制

讨论了一类同时具有状态时滞和输入时滞的离散系统的鲁棒控制问题．利用Lyapunov稳定性理论,结合线性矩阵不等式方法,得出该时滞系统稳定的充分条件,且该条件是时滞相关的．并设计出系统的反馈控制器,所得结果基于相应的线性矩阵不等式的解．最后举例说明该方法的有效性．     

中立型不确定时滞系统的时滞相关鲁棒稳定性

本文考虑的具有时变时滞中立型不确定系统的鲁棒稳定性问题。所讨论的时变时滞属于某个闭区间且导函数的有界但不要求一定在[0,1)区间,所考虑的不确定性是时变的且泛函有界。在Lyapunov-Krasovski泛函方法的基础上,通过引入一些能够减少结论保守性的自由权矩阵,得出了该系统的稳定性准则,最后通过数值例子说明本文结果的有效性。     

因子设计中MMA准则的两个新结果

本文主要探讨了因子设计的MMA准则与MPU准则以及B准则之间的关系,同时给出了它们之间的解析关系,最后用一个例子来阐述了上述3种准则之间的关系.     

The Web Application Test Based on Page Coverage Criteria

Software testing coverage criteria play an important role in the whole testing process. The current coverage criteria for web applications are based on program or URL. They are not suitable for black-box test or intuitional to use. This paper defines a kind of test criteria based on page coverage sequences only navigated by web application, including Page_Single, Page_Post, Page_Pre, Page_Seq2, Page_SeqK. The test criteria based on page coverage sequences made by interactions between web application and browser are being under consideration after that. In order to avoid ambiguity of natural language, these coverage criteria are depicted using Z formal language. The empirical result shows that the criteria complement traditional coverage and fault detection capability criteria.     

线性模型信息准则的稳健性

在不需要假定：１）被选模型包含真实模型；２）误差分布为正态分布的条件下，应用作者定义的广义Ｋ－Ｌ差异度，得到了自变量选择的广义Ｋ－Ｌ差异度准则。这个准则包含了所有信息准则作为它的特例，由此说明信息准则具有稳健性。     

UML状态图测试充分性准则的公理化评估

描述了基于UML状态图测试的一组测试准则,并提出2个新的准则:N-迁移覆盖准则和循环分类覆盖准则.然后提出针对该组测试准则的公理系统,通过此公理系统来评估该组测试准则,给出评估结果.最后根据评估结果得出一些有益的结论.测试准则的评估可为软件工程师选择测试准则提供指导和帮助.     

中国地质灾害生命可接受风险标准研究

 以探讨和确定中国地质灾害生命可接受风险标准为目的。在分析地质灾害可接受风险标准内涵及地质灾害风险估计方法的基础上,运用统计分析的方法对中国陕西、四川等12个地质灾害高发省(市)及10多年来全国地质灾害造成的人口伤亡数据进行分析,得出中国自然地质灾害个人风险可接受水平的上限为10^-6/a,可容忍水平的上限为10^-4/a;新建工程边坡诱发灾害个人风险可接受水平的上限为10^-7/a,可容忍水平的上限为10^-5/a的结论,并在此基础上提出了可供参考的地质灾害社会风险评价标准。研究成果对中国地质灾害可接受风险标准的制定及地质灾害风险管理实施具有较大的理论和实际意义。     

工业企业热电联产系统评价准则的研究

评价热电联产系统的准则可分为能量利用性评价准则,经济性评价准则,以及能量利用与经济性相结合的评价准则。本文对现有各种准则进行了分析,找出了适用于评价工业企业热电联产系统的能量利用性准则和经济性准则,并在此基础上提出了新的能量利用与经济性相结合的评价准则——修正净现值。该新准则适用于评价工业企业热电联产系统,而现有的该类准则只能评价区域性热电厂。     

Drucker-Prager系列屈服准则在稳定分析中的应用研究

Drucker-Prager(D-P)系列屈服准则作为Mohr-Coulomb(M-C)准则的修正模型在岩土工程中得到了广泛应用.然而采用不同的D-P系列屈服准则可能会得到差距较大的结果,文中对不同D-P系列屈服准则进行了比较系统的比较,指出了D-P系列屈服准则相互之间的关系,揭示了准则的物理意义,给出了不同准则之间的转换公式,论证了准则转换强度折减的本质,进而提出了一种在D-P系列屈服准则间进行边坡安全系数转换的新方法.采用ANSYS软件通过算例分析,对比不同D-P准则计算结果,得出了一些有益的结论,数值分析结果有力地验证了本文有关理论的正确性.     

面向不同应用的可行性数据流测试准则

测试准则是完成软件测试必须满足的条件。一个可行的测试准则是当且仅当对任意一个程序，都存在一个测试用例集能够满足该准则，但在通常情况下，由于程序中不可执行的语句或路径的存在，使得基于数据流的测试准则不可行，在一类具有可行性的测试准则FDF的基础上，给出院 三类新的基于数据流的测试准则。并且证明其中两类准则比FDF测试准则具有更强的故障检测能力。     

不连续系统强实用稳定性的简明判别准则

文中研究了不连续系统的强实用稳定性,获得了一些简明的判别准则;所得定理简化和改进了作者以前的结果;文末举例说明了这些简明准则的应用。     

光学系统成像质量评价基本指标体系的研究

介绍了构成光学系统成像质量评价基本指标体系的5个主要环节,讨论了它们之间的函数关系.指出其它一些评价指标可从这5个基本指标衍生出来.重点阐述了当前流行的基于MTF的各种成像质量评价指标和它们的应用.导出MTF与波像差或几何像差的显函数关系是当前像质评价研究中的热门课题之一.