细胞再生模型的数值模拟和定性分析

针对一个组织被切割后如何再生的问题，对活化质-抑制剂模型描述的细胞再生模型，应用交替方向隐格式方法，进行了数值模拟，画出了模型三维图像，并用李雅普诺夫-施密特方法对它的平衡点作了分析。结果表明，在一定的参数范围内，该平衡点为超临界分岔点，也为鞍-结分岔点。这表示参数经过一个临界值后，由原来再生一个细胞变成再生两个细胞。     

被动雷达导引头非相干两点源角度测量

在非相干两点源存在的情况下,对被动雷达导引头的干涉仪测角进行了研究.在一定条件下,由比相均值得到的测角结果将会指向大功率源,提出了一种基于双采样点的角度测量方法,该方法利用干涉仪两通道在两个采样点的信号就能得到两点源的角度.通过仿真对该方法的有效性进行验证.结果表明,该方法可以对非相干两点源进行分辨,并且在一定相位条件下能够得到比传统比相方法更高的测角精度.     

基于关系数据库的图的运算

针对在数据库应用程序中经常遇到的一种查询和实际问题的求解，提出了在关系数据库中对图进行表示和运算的方法。在该方法中，图中各项点信息用字段来存放，图中的边用记录来表示，给出了在该表示方法中对图进行遍历和求解最小生成树的算法。通过对一无向图的遍历及其最小生成树的求解举例，表明该方法表示图易于存储数据，对于解决数据库应用中遇到的复杂问题具有一定的参考价值。     

应用两点有理逼近改进的牛顿法和对偶法

应用分子、分母皆线性的两点有理逼近改进了解无约束极值的Ｎｅｗｔｏｎ法，获得了收敛收而稳的计算效果。将此法应用于约束优化问题，克服了Ｆｌｅｕｒｙ将对偶规划引入可分离变量问题求解中的缺陷。提出了采用上述逼近的对偶方法，适用于约束优化问题的求解。将该方法和改进的Ｆｌｅｕｒｙ方法均在桁架结构优化上进了成功的应用。工作表明，两点有理逼近有很好的应用前景。     

电弧等离子体光谱诊断中Abel反变换的实现

基于三次样条插值理论．结合余弦变换．提出一种Abel反变换的数值计算方法,在处理积分奇异点的问题上取得了一定的突破，较好地解决了积分奇异点问题．在Matlab软件平台上实现了该计算方法，对单峰型函数的数值计算结果表明．该方法具有计算精度高，算法简便易行的特点,在实验分析计算过程中有较好的应用前景．     

实数编码遗传算法求二阶两点边值问题的数值解

应用实数编码遗传算法，对二阶两点边值问题提出了一种简单的数值解法.该解法适于线性和非线性问题的求解，理论分析和数值实验证明了该该方法的有效性.     

应用代数张量积B样条曲面构造Blending曲面

给出了一种应用代数张量积B样条曲面构造blending曲面的框架并详细讨论了二次代数曲面间blending曲面的构造方法。应用该方法可以得到一个整体C^1连续的代数样条曲面，且能够通过增加节点、约束点和逼近点等途径来调整曲面的形状，使得参数调节具有一定的几何直观性，并在复杂曲面blending问题中表现出较大的灵活性。数值实验结果说明了该方法的有效性。     

三角代数上的可乘映射

为了研究在两个代数之间的固定点上可乘的可加映射什么时候是任意点可乘的，本文利用矩阵运算技巧，在三角代数范畴上证明了两个三角代数之间的可加满射在固定点可乘时一定是可乘的。最后将该结果应用到了Hilbert空间的套代数上。     

确定性退火技术及其在点匹配中的应用

证明了当自由能函数满足一定条件时确定性退火算法收敛到能量函数的全局最优解·在此基础上,利用确定性退火技术给出了一个点匹配算法·该算法首先确定点匹配问题的自由能函数,通过使该自由能函数最小化得到点集之间的映射参数,然后用该参数对两个点集进行校准,最后将校准后的点集进行匹配得出点的对应关系·实验结果说明了该算法的有效性及其对旋转、平移、噪声等的鲁棒性·     

基于机载LiDAR点云的建筑物三维重建

建筑物三维重建是遥感领域的一项基本任务。由于机载LiDAR点云稀疏、不完整、有噪点，传统重建方法难以从中重建出完整水密的模型。同时，建筑物模型的表面紧凑程度也限制了其应用的广泛性。针对该问题，提出了一个从LiDAR点云重建紧凑建筑物模型的网络框架。该架构包含两个模块：一是基于隐式表示的表面提取模块，该模块通过隐式神经网络从点云在提取到建筑物的基本结构信息并生成表面网格模型。一是基于结构感知的网格优化模块，该模块对模型各平面的拓扑进行改善并重建出轻量级建筑物模型。利用苏黎世建筑物数据集对所提出的框架进行了验证，与现有方法相比，该框架重建结果具有更高的精度。     

一种多关节机械臂运动过程中的碰撞检测方法

针对多自由度机械臂在运动过程中自身会发生碰撞的问题,建立机器人的简化模型(关节为球体,连杆为胶囊体),进而将多自由度机械臂的碰撞检测问题转化为简化后的几何模型(碰撞检测基元)之间的干涉计算问题。将此干涉问题进一步分解,最终转化为两球体之间、两胶囊体之间、球体与胶囊体之间的最小距离求解,并针对空间两胶囊体轴线之间距离计算问题,提出一种精确并快速的碰撞检测方法。将该算法实现并应用于6R串联机器人,最终利用MATLAB和ADAMS联合仿真进行验证。仿真结果验证了该算法的有效性。     

一类具两条自由边界的自由边值问题

1977—1978年,L.C.Evans研究了两种不可溶混液体在水平的一维孔隙介质中流动引起的一个自由边值问题,自由边界有一条.我们研究两种不可溶混液体在铅直的半无界孔隙介质中的不稳定流动引起的自由边值问题.在此种情形下,将会出现两条自由边界.我们证明了这一问题局部解的存在唯一性.     

城市污泥处置方法概述

城市污水污泥的处置已成为目前环境科学研究领域中的重要问题。城市污泥是城市污水处理的副产品,不仅产生量大,而且成分复杂,如果处理不当,将会造成环境的二次污染。同时,污泥作为二次资源,如何经济、合理地利用也是当今社会广泛关注的问题之一。概述了当前城市污泥处置的方法及研究进展。     

劈裂算符—傅立叶变换方案在多光子电离动力学计算中的应用

利用含时波包动力学理论中的劈裂算符—傅立叶变换方案模拟不同分子的共振增强多光子电离光电子能谱,并从一维空间问题拓展到二维空间问题,以此得出该方案在二维空间问题中的适用性.     

陈氏基本互补划分法的改进和发展

应用有向超图理论引入超边的分解与收缩概念，把解决二个无源网络级联问题的陈氏基本互补划分（ECP）法改进为更有效的分解－收缩对（DCP）法，发展为有向（正根）分解－收缩对（PDCP）法，用于解决二个有源网络级联问题，在此基础上，进一步发展为一般分解一收缩（GDC）法，用于解决多个有源网络互联网时求符号网络函数的问题。     

基于双难题的两个数字签名方案的密码分析

对两个同时基于离散对数和整数分解问题的数字签名方案———WYH1和WYH2进行了安全性分析.在假设整数分解问题可解的条件下,提出了这两个方案的伪造攻击方法.由此证明WYH1和WYH2都不是真正基于两个难题的签名方案.此外,若假设离散对数问题可解,利用Morrison-Brillhart素因子分解算法,可以恢复WYH2方案的所有签名私钥.     

一类时间可逆系统的逆积分因子

由于含有系统的许多有用信息,逆积分因子被认为是解决常微分方程定性理论中两大公开问题:中心焦点问题、希尔伯特第十六问题的统一工具.而且逆积分因子与常微分方程的李对称性和Darboux可积性有密切的联系.因此对某些解析微分系统建立其逆积分因子的结构定理是重要的.对于一类时间可逆解析微分系统,建立了逆积分因子的系数递推公式.利用此递推公式得到其具有给定形式逆积分因子的充要条件.为了说明我们的结论,对于一个具体的时间可逆五次微分系统,利用系数递推公式直接给出系统的多项式型逆积分因子和初等首次积分.     

Dynamic Dominating Set and Turbo-Charging Greedy Heuristics

The main purpose of this paper is to exposit two very different, but very general, motivational schemes in the art of parameterization and a concrete example connecting them. We introduce a dynamic version of the DOMINATING SET problem and prove that it is fixed-parameter tractable（FPT）. The problem is motivated by settings where problem instances evolve. It also arises in the quest to improve a natural greedy heuristic for the DOMINATING SET problem.     

FTP的安全问题

文件传输协议 (FileTtranferProtocol,FTP)是一个被广泛应用的协议 ,它能够在网络上方便地传输文件 .早期FTP并没有涉及安全问题 ,随着互连网应用的快速增长 ,人们对安全的要求也不断提高 .在介绍了FTP协议的基本特征后 ,从两个方面探讨了FTP安全问题的解决方案 ,协议在安全功能方面扩展 ;协议自身的安全问题以及用户如何防范     

从逻辑全知问题认定看当前基于逻辑的agent研究的两个认识盲点

通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识.在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在.该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义.