一类带初始输入的线性循环终止性分析

本文针对带初始输入的二维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的二维齐次线性循环的终止性, 并建立了用来完备判定该类循环终止性的算法。     

用有限差分法分析多项式程序终止

针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后,还进一步分析了使用有限差分法判定具有更复杂条件表达式和有多分支的循环程序的终止性。     

用有限差分法分析多项式程序终止

针对多项式程序的终止性问题,提出了一种使用有限差分法判定其终止性的算法。以有限差分法的基本思想为基础,发现了程序循环条件表达式的值与其有限差分值之间的关系,并对其进行了严格证明,由此得到判定这类循环程序终止性的方法。最后,还进一步分析了使用有限差分法判定具有更复杂条件表达式和有多分支的循环程序的终止性。     

一类循环条件非线性的程序终止性

针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。     

非线性循环及Rm上线性循环的终止性判定

为了研究程序设计中的软件可信性问题,分析了非线性单重循环程序Whilex∈Ωdo｛x:=f(x)} end当Ω为有限个互不相交的闭区间之并时的终止性,证明该终止性在一定条件下可以由周期轨道的存在性加以判别,给出了确定条件下此类程序不终止的充分必要条件,并建立了相应的判定程序.进一步,利用Brower不动点定理及凸分析的理论,在Rm上建立了当循环条件Ω是有限个互不相交的闭凸集之并时线性循环程序终止性判定的方法.     

带有规则优先级的主动规则终止性分析

主动规则的终止性指规则集的规则之间的相互触发不会无限循环下去,即规则是可终止的。对主动规则的终止性分析方法包括图方法和代数分析方法。针对已有分析方法的局限性,介绍一种主动数据库规则终止性分析的一种新方法,将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程,利用该规则终止性分析方法对更多规则进行终止性分析,给出相应定理及其证明,最后给出规则优先级算法。     

联合公式判定非循环执行路径

针对触发图中有环时,在实际运行中仅执行有限次,该规则集可能是可终止的,通过对规则集的静态分析,提出了联合公式的概念,给出了判定联合公式是否满足条件的算法和时间复杂度分析,联合公式的提出,简化了非循环路径的判定工作,为判定主动规则触发图为有环时的可终止性奠定了基础。     

基于事务的规则终止性分析

针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法．此方法主要分析事务信息和结构如何影响主动规则的终止性．给出了算法来检验规则终止性,并证明了算法的正确性．     

主动规则的终止性分析

终止性反映了主动数据库系统良好的行为特性.针对主动规则终止性分析方法的局限性,介绍了一种主动数据库规则终止性分析的新方法.此方法将主动规则翻译成逻辑语句,考虑到系统的执行语义,转换为演绎规则中已知终止性的主动过程.     

基于图的主动数据库规则集终止性分析

主动数据库中规则集的行为很难预测,用触发图可以判断规则集是否保证终止,为了精确判定规则集的终止性必须找出触发图中的全部环路．在OO模式下对主动规则集的可终止性进行深入分析,得出了判定规则集终止性的方法,给出了计算触发图中全部环路和判定规则集是否保证终止的算法．     

往复振动筛物料运动参数的计算仿真

采用MATLAB语言，编制了往复振动筛上物料运动过程中止滑相位和抛止相位的计算程序，运用该程序得到的仿真输出，产生了由传统的计算方法和分析手段难以达到的精确、快速和直观的结果，为振动筛的计算和分析提供了一种有效的方法。     

实数极、零点的根轨迹起始角和终止角的求法

针对自动控制原理中根轨迹起始角和终止角公式不能用于实数极点和零点的局限性，提出了如何求实数极点和零点的起始角和终止角的公式，说明了应用中注意的问题，并给出了应用实例。     

基于活化路径同步关系的规则集可终止性判定

支持主动规则机制已经成为现代数据库系统的一个重要特征.主动规则集的可终止性判定是主动数据库中核心问题之一,利用触发图和活化图的方法来判定可终止性都存在一定的局限性.为此,根据规则与其活化路径的同步关系,介绍了一个新的判定主动规则集可终止性的方法.分析的结果表明文中提出的方法较现有方法可以发现更多的可终止性情形,最后给出了相应的算法及其可终止性、正确性证明.     

灾害应急状态终止的随机决策与仿真

为确定灾害应急状态终止时间,通过对应急状态终止状态影响因素的分析,将应急状态分为应急紧张状态和应急稳定状态2种,针对各状态指标先期的统计数据,结合马尔科夫过程,寻找出应急状态进入稳态概率分布的最大时间N,然后运用最优停止理论在N中寻找出应急状态终止的最优时间,并建立应急状态终止的马氏链决策-最优停止理论模型．基于马氏链的灾害应急状态终止模型能较准确地对应急状态终止时间进行量化决策,且计算简便,易于计算机实现,具有较强的可操作性,所提出的模型为掌握应急所处状态和对应急状态终止时间进行决策提供了理论支持.     

主动规则的终止性分析

针对主动规则终止性分析方法的局限性,介绍一种主动数据库规则终止性分析的新方法,此方法采用演化图来模拟规则静态处理过程并考虑到激活图和惰化图。最后给出算法来检验规则终止性,并证明算法的正确性。     

PWM脉冲电压下电缆终端多热点特征的形成机理

为了研究脉冲电压下电缆附件过早失效的机理,本文对中压电缆终端在脉冲电压下的红外成像特征和内部电场分布进行了研究,阐明了热点特征和内部电场分布之间的联系。通过高频脉冲电压实验电源,对应力控制型冷缩电缆终端施加电压,同时也施加了相同频率和幅值的正弦电压作为比较,通过红外热成像仪分析不同类型的电压对电缆终端表面温度分布的影响。此外,通过瞬态电场仿真分析发现,电缆终端在半导电层截断处和接地点两个位置的电场较强,且该处热功率密度最高,脉冲电压下的电缆终端阻性发热量也明显高于正弦电压。脉冲电压下的发热区域面积和热点温度明显高于正弦电压,其热点形成的实质是因为快速的脉冲上升沿包含较高的频率成分,导致电缆终端的局部电场增强,从而导致阻性发热和温度升高。