解非线性方程的常微分方程方法

目的是提出解非线性方程的一类新方法，我们证明了求非线性方程ｆ（ｘ）＝０在某区间内的根ｘ与自变量在［０，１］区间上的某常微分方程初值问题的在该区间右端点的值等价故由常微分方程数值解法可得到方程ｆ（ｘ）＝０在［ａ，ｂ］内的根ｘ的近似值，作为例子中给出了一个新的二阶收敛的迭代公式。     

判定点是否在多边形内部的算法

提出判定点是否在多边形内部的一种算法，其方法是判定射线与多边形边的交点数目以及必要时移动该点的位置，再判定交点的数目，该算法的时间复杂性为Ｏ（ｎ）次四则运算和Ｏ（ｎ）次比较，其中ｎ为多边形的顶点数。     

一种改进的不动点存在唯一性定理

非线性方程求根的问题可转化为求不动点的问题,后者常采用迭代法求解.不动点存在唯一性判定定理是其重要定理.通常的不动点存在唯一性判定定理基于Banach不动点定理,需要判定迭代函数是否具备两个条件:映内条件和压缩条件.指出对于非线性方程求根的问题,映内条件可用边界条件代替,并提出改进的不动点存在唯一性判定定理.改进的定理用边界条件取代了映内条件,从而不必考虑迭代函数在整个区间上的情形,而仅需考虑其在区间边界上的函数值,因此更便于应用,且适用范围更广.     

区间H-矩阵的判定及其应用

应用矩阵的对角占优理论,讨论了区间H-矩阵的判定问题,给出了区间H-矩阵的充分条件,作为应用得到了正则区间矩阵的判定方法,改进和拓广了区间H-矩阵的判定准则.     

几个区间矩阵稳定性的充分条件

论述了关于区间矩阵稳定性的问题．通过对测试矩阵Wh是否为一非奇异的M矩阵的判断，得到了几个区间矩阵稳定的充分条件．并且，在Kyfan定理和Ostrowski定理的基础上，对区间矩阵的稳定性的判定得出了几个充分条件．     

基于差别矩阵的区间值形式背景属性约简

目的在形式概念分析理论框架下,研究区间值形式背景的属性约简。方法给出区间值属性集差别矩阵和区间值形式背景属性约简的定义,并研究相关性质;研究协调区间值属性集的判定定理。结果给出协调区间值属性集的判定定理,以及基于区间值属性集差别矩阵的区间值形式背景约简方法。结论区间值形式背景可进行属性约简。     

根瓣丛的普查

对于给定的棱数，得到不同构的可定向与不可定向根瓣丛的数目，同时，独立地得到给定棱数的全体根瓣丛的数目，所有这些数均表示为棱数的单项函数，即无和表示。     

广义对称矩阵的判定(Ⅱ)

提出了广义实对称矩阵的概念，研究了它的性质和判定，同时也得到了实矩阵的特征根为实数的判定方法，这些判定方法简单、可行。     

积分准则及检根法的等价定理

在常数项级数中，经常运用积分准则及检根法来判定正项级数的敛散性，而使用积分准则判定正项级数的敛散性，首先要判定无穷积分的敛散性，有时不太方便，因此，为了使正项级数敛散性的判定更加灵活，我们想直接用正项级数通项来判定其敛散性，所以，运用无穷小比较的方法给出了积分准则的等价定理；又根据lim(n→m)lnαn/n的符号给出了检根法的等价定理；并给予证明，从而使正项级数敛散性的判定更加灵活自如。     

区间对角占优矩阵的等价条件

引入区间对角占优矩阵的定义,讨论了区间对角占优矩阵的性质,给出了区间对角占优矩阵的判定方法.     

降温过程对Au24Cu19合金团簇结构变化影响

采用基于嵌入原子法的正则系综NVT分子动力学方法在原子尺度上计算了包含24个金原子和19个铜原子的Au24Cu19双金属团簇在急冷和连续降温过程中的结构演化.根据原子平均势能、主要原子键对数目以及原子堆积结构随温度的变化表明，随着温度的降低，团簇表现为铜原子在内，金原子和少量铜原子包覆在外的构型.在温度被降低到较高温度区间时，急冷降温过程中，键对数目呈高-低振荡变化；连续冷却过程中，键对数目则呈低-高振荡变化.在温度较低的区间，直至400K，这两个冷却条件下的键对数目表现为同步变化.     

苯图上的珊瑚

给出算法搜索任意凯库勒型苯图的根， 并基于此分别给出新的充要条件判定： 苯图的正规， 凯库勒结构为根、 芽或其它. 进一步， 对于任意两个凯库勒结构， 给出充要条件判定其一是否可经由六角旋转转化为另一个.     

区间上的二次函数、二次方程和二次不等式

本文着重讨论在指定区间内二次函数的最值问题,二次方程根的分布问题,二次不等式的判解问题的一些结论及其应用.     

根预估原理,小数分离技术及其微处理器方法

提出了根预估的大批量及其微处理器实现方法，使根的逼近只需在平均相对宽度仅为８％狭窄根区间内进行；小数分离技术的提出解除了被开方小数和派生小数对迭代过程的耦合与复杂化；对工程应用，根小数处理可一次地整数化完成；基于整数处理和直接指令的迭代过程具有最简的机器操作，整套方法在全正实数域内有效，新开发的算法具有极高的运行速度且可简便地直接徽处理器指令化，对高速实时系统和脱离浮点函数的场合极有帮助。     

线路智能保护控制在平阳配电网的实现

随着人民生活水平的提高,对于电力配电网络事故处理时间上要求也越来越高。PLC故障隔离系统利用载波通信方式,将各开关之间构成一个信息共享网络,通过自身程序判定故障,分离故障区间相邻的开关,可达到在最短时间内确定事故区间并且迅速隔离事故区间的目的;并且能够适应多级开关串接,实现线路多分段,减少故障区间。在目前平阳电力有限责任公司人员受限,无法完全实现集中控制方式的条件下,是一个有效的就地隔离故障的解决方案。     

一类特征根为零的三次系统的奇点判定量

研究一类具有零特征根的三次多项式系统的奇点判定量问题，借助符号计算系统Mathematica，首次计算出了该系统的全部奇点判定量，并给出了应用实例。     

关于幂级数在其收敛区间端点敛散性的一个注记 幂级数在其收敛区间二端点敛散关系的初探(摘要)

幂级数在其有限收敛区间端点的敛散情况是复杂的,因之不能根据幂级数本身的某些特点,按照一个统一的法则来确定它在收敛区间端点的敛散性,只能具体地个别地加以判定。幂级数在其收敛区间二端点敛散性的判定通常又是把它们看作彼此孤立无关地各自     

命题投影时序逻辑并发建模与自动验证

针对目前尚无模型检测方法对区间并发模型进行区间性质的自动验证的情况,采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有的逻辑公式可满足性判定算法,证明了命题投影时序逻辑统一框架模型检测是可判定的,从而得到了其自动验证方法,并给出了一个验证实例.     

配电网馈线自动化的模式比较及故障判定

通过对目前存在的几种配电网馈线自动化故障恢复模式的分析比较，指出基于FTU的配电管理系统是非常先进的一种解决方案。在此基础上提出了故障判定的一种方法，亦即首先建立网络状态矩阵D，然后根据故障情况建立故障判定矩阵Dp，最后．依据故障判定矩阵判断出故障区间。并通过一个实例提出了一种故障恢复的方案。     

变时滞区间细胞神经网络的全局鲁棒稳定性

本利用拓扑度理论和Liapunov泛函方法讨论了变时滞区间细胞神经网络的全局鲁棒稳定性，给出了实用有效的判定条件，推广了有关献中的结果。