多氯联苯醚(PCDEs)的QSPR研究

以类原子的形式处理多氯联苯醚苯环上的基团(CH和CCl),构建分子的距离矩阵,以分子基团的均衡电负性对原子进行着色建立行矩阵,结合分子的距离矩阵和行矩阵,同时考查分子的相互间的作用情况,建立分子的结构参数——拓扑距离电负性指数.通过计算化合物的拓扑距离电负性指数(TDEI),以107种PCDEs理化性质的实验值为建模样本,建立了PCDEs的定量结构/性质相关(QSPR)模型,相关性良好.最后对107种PCDEs的三个理化性质进行了预测.     

完备Khler流形上的单值化定理

现得到完备非紧且Ricci曲率非负有界n维(m=2n)的Khler流形M上的一个单值化定理.如果它满足如下条件:①kr(x0)≥-c/1 r2;②sobolev不等式‖f‖p≤C0‖▽f‖q,f∈C0∞(M),1≤q≤n,1/p=1/q-1/m;③∫_M Rnic<∞,那么,M是双全纯与一个拟射影簇.     

基于关系矩阵的复合宽边界区域拓扑关系计算

简单宽边界区域拓扑关系计算比较简单,而复合宽边界区域拓扑关系计算比较复杂,因而需要一个计算方法以实现复合宽边界区域拓扑关系计算、查询和分析处理。在分析复合宽边界区域与简单宽边界区域关系联系的基础上,研究了根据复合宽边界区域中简单宽边界区域拓扑关系矩阵计算复合宽边界区域拓扑关系的方法,并根据复合宽边界区域的性质,简化了算法。计算方法使得扩展九交模型不再是一个概念模型,而是可计算的,从而为查询和分析处理宽边界区域拓扑关系奠定了基础。     

集值离散动力系统的拓扑遍历性、 拓扑熵与混沌

设(X,d)为紧致度量空间, f: X→X连续, (K(X),H)是 X所有非空紧致子集构成的紧致度量空间. 通过研究点运动与点集运动的关系, 证明了集值映射拓扑遍历 与f拓扑双重遍历等价并构造一个零拓扑熵且不具有任何混沌性质的紧致系统, 其诱导的集值映射有无穷拓扑熵且分布混沌, 表明集值离散动力系统的拓扑复杂性可以远远大于原系统.     

牛顿叠代运动的复杂性

建立了符合空间∑的拓扑结构，证明此空间上的位移映射在该拓扑意义下半共扼于牛顿映射，因此牛顿叠代运动具有复杂性。     

L—fuzzy拓扑空间中的I型强连通性

利用准闭集和Ｐ远域引入和研究了Ｌｆｕｚｙ拓扑空间中的Ｉ＊型强连通性概念，它保持了一般拓扑空间连通集的若干重要性质．     

基于符号执行的格式化字符串漏洞自动验证方法研究

格式化字符串漏洞是一种常见的危害较大的软件漏洞.现有格式化字符串漏洞自动验证系统未充分考虑参数存储位置位于栈以外空间的情况,造成对该部分漏洞可利用性的误判.针对该问题,论文设计实现了一种基于符号执行的格式化字符串漏洞自动验证方法,首先根据参数符号信息检测当前格式化字符串函数漏洞,然后分别构建参数存储于不同内存空间情况下的漏洞验证符号约束,最后利用约束求解自动得到漏洞验证代码,实现了格式化字符串漏洞的自动验证.在Linux系统下对不同类型测试程序进行了实验,验证了方法的有效性.     

二阶三点共振边值问题的多重解

该文研究二阶三点共振边值问题ｘ″＋ ｆ（ｔ，ｘ，ｘ′） ＝ ｓ，ｘ（０） ＝ ｘ（η） ，ｘ′（１） ＝ ０（０ ＜ η＜ １） 的多重解的存在性，这里ｓ 是参数。所使用的方法是ＬｅｒａｙＳｃｈａｕｄｅｒ 连续定理以及上下解方法。     

具有Landesman-Lazer型条件的二阶不对称非线性方程的周期边值问题的周期解

本文对纯量这值问题其中x″＋f（x）x′＋g（t，x）＝0x（2π）－x（0）＝0，x′（2π）－x′（0）＝0其中f（0）＝c，x≥0，＝d，x≤0。给出了存在周期解的Landesmen－Lazer型条件。     

一种非线性系统多项式逼近的建模方法

提出一种简便的非线性多项式逼近建模方法。对非线性系统,首先,利用拓扑同胚变换,将系统的有界输入输出数据变换为[0,1]范围之间的数据,然后选定初始多项式,对初始多项式模型反复利用递推最小二乘法进行参数辨识,通过比较项与参数乘积绝对值的大小,剔除多项式中对模型贡献较小的项,直到得到确定的多项式模型,大量的仿真结果表明了算法的有效性。