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

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

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

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

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

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

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

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

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

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

线性—二次二层规划问题的性质及全局算法

二层规划是一类重要的优化问题．该文先给出线性－二次二层规划问题的性质,提出求解它的有效的全局算法,指出了算法的有限终止性．结果表明算法是可行的．     

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

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

一种优化初始化中心的k均值web信息聚类算法

k-means算法是一种重要的聚类算法,在网络信息处理领域有着广泛的应用。由于k-means算法终止于一个局部最优状态,所以初始类中心点的选择会在很大程度上影响其聚类效果。针对k-means算法所存在的问题,构造了文本集合的相似度矩阵,基于平均相似度集合通过排序迭代优选出了初始中心点。实验表明此算法可以有效减少迭代次数并提高聚类精度,最终获得较好的聚类效果。     

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

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

基于条件公式的主动规则集可终止性判定

针对利用触发图和活化图的方法来判定主动规则集的可终止性存在一定的局限性,从而影响了运行阶段规则系统的执行效率并限制了主动规则在众多领域中的灵活应用的问题.提出了利用基于活化路径建立的条件公式进行判定的方法,结果表明该方法可以比现有方法发现更多的可终止性情形.对主动规则集的设计和应用具有一定的意义.     

关于一类变系数齐次线性微分方程的求解

一般的变系数齐次线性微分方程的求解是一个困难问题。本文给出求多项式系数的齐次线性微分方程的x~ve~(kx)型解的一种方法。     

平面三环复杂机构位置分析的符号法求解

本文基于数学机械化方法和计算机符号处理技术,对平面三环复杂机构的位置分析进行了符号法求解,该法成功地将一组非线性多项式方程化简为一组等价的三角化方程,导出了单变量的２４ 次代数方程,符号推导和符号运算借助于计算机代数系统ＲＥＤＵＣＥ 完成,并给出一个数字实例说明这种方法。     

核心集径向基函数极限学习机

径向基函数极限学习机(radial basis function-extreme learning machine, RBF-ELM)中的两个参数都随机地生成,这导致RBF-ELM算法的不稳定性问题。另外,对于不同的数据集,难于确定隐含层结点的个数。针对RBF-ELM的这两个问题,提出了一种改进算法。首先用核心集方法选择重要的样例,然后用选择的样例初始化中心参数,宽度参数采用随机化方法初始化。该算法不仅可以在一定程度上解决RBF-ELM的不稳定性问题,而且可以确定隐含层结点的个数。试验结果表明:该算法优于RBF-ELM。     

变物性非线性热传导问题的泛函存在条件及变分定理

用有限元法分析热弹性问题时,需要导出热传导问题控制方程的泛函,并建立变分定理.当温度变化范围较大时,热传导的物性系数随温度的变化不能忽略.考虑到这种情况,本文给出非线性的热传导问题的控制方程组,证明了这一非线性问题的泛函仅在一定条件下才能存在,而这些条件不完全具备,不能建立变分定理.为此,本文将控制方程组分解成为两个线性方程组,第一个方程组(或主方程组)是物性系数为常数时的非定常热传导方程及其边界条件和初始条件,它的泛函和变分定理已为一些著作所给出,虽然缺乏严格的证明;第二个方程组(或辅方程组)是物性系数变化引起的温度场增量部分所构成的变系数非齐次的线性方程及相应的边界条件和初始条件,本文证明了它的泛函存在性并建立了变分定理.     

正交异性复合材料板界面裂纹尖端应力强度因子

研究了两种不同的正交异性复合材料板受对称载荷作用的界面裂纹问题.据弹性力学理论、断裂力学知识,给出了该问题的力学模型:一类偏微分方程边值问题.通过引入特殊的应力函数,采用复变函数方法和待定系数法求解了八阶齐次线性方程组,推出了两种相异正交异性复合材料板的双材料弹性常数的计算公式,得到了受对称载荷作用的界面裂纹尖端应力强度因子的计算公式,给出了一个工程应用算例.其结果在相关断裂分析的理论研究与实际应用中具有重要的参考价值.     

具有模糊变量的线性规划问题的求解方法

针对含模糊变量的线性规划问题,研究了其求解方法。将单纯形法应用于模糊线性规划问题中,从而无需转化为经典线性规划问题就能得到满意的模糊最优解,算例表明此方法是有效的。     

ISDN中NT1和LT的实现与测试

我有通信网向ＩＳＤＮ过渡的重要一步是要使现有通信网中的用户环路数字化。“七五”期间研制成功的网络终端ＮＴ１和线路终端ＬＴ解决了这一问题。利用这一技术,可以在普通的二线用户线上实现全双工传输２Ｂ＋Ｄ的数字信号,为今后我国的通信网向综合化和数字化方向迈进奠定了基础。     

齐次坐标在结构可变体系分类中的应用

引入了欧氏平面上无限远点的二维齐次坐标和直线上无限远点的点坐标及线坐标，引用了与无限远点有关的些定理及结构于结构的分类中。从而给出了可变体系中的常变与瞬变在结构形式上的区别，完善了杆系平面结构几何组成规则的内容。     

一类变系数线性齐次微分方程的求解

讨论并给出了一类变系数线性齐次微分方程求特解的方法，此类方程求特解的思想方法是化变系数方程为常系数方程。