刚体运动在微分几何中的应用及求法(下篇)—曲面

此文是上篇的继续,上篇讨论了刚体体运动使得两条给定空间曲线彼此合同的应用,下篇将进一步讨论刚体运动在曲面中的运用.在刻画了刚体运动和仿射标架的关系之后,笔者给出了确定正则曲面度量和弯曲的第一基本形式和第二基本形式在刚体运动下保持不变的证明方法;并通过曲面的自然仿射标架场证明了满足完全不变量系统的两个曲面在刚体运动下可以彼此重合.特别地,笔者提出求两个给定曲面合同的刚体运动表达式的具体步骤,并构造实例加以阐述.     

一种改进的基于教与学的优化算法求解旅行商问题

提出了一种改进的基于教与学的优化算法(TLBO)求解旅行商(TSP)问题,阐述了TLBO算法的基本思想和求解步骤,给出了算法流程,针对算法在解决大规模问题时易陷入局部最优的缺陷,引入混沌搜索机制对其进行了改进.着重研究了改进后的TLBO算法求解TSP问题的求解结果和性能分析,通过benchmark实例进行了仿真实验,结果表明:与诸如遗传算法和粒子群优化算法等已有启发式算法相比,改进后的TLBO算法在求解TSP问题时性能更为优越,从而为TSP问题的求解找到了一条新途径.     

基于DNA链置换的分子逻辑门计算模型

DNA计算是近年来的研究热点,分子逻辑门是DNA计算机体系结构和运算实现的重要基础。将DNA自组装与链置换技术和荧光标记相结合,在现有的链置换逻辑计算模型的基础上,构造了非门,与门,与非门,或门和或非门。可在室温下进行,减少了因复杂的生物操作步骤带来的误差。使用荧光检测来判断逻辑结果,操作简单,容易检测,且灵敏度高。     

基于DNA链置换反应的编码器逻辑运算模型研究

作为自组装DNA计算领域中一门新技术,DNA链置换反应在分子计算领域得到了广泛的应用.基于自组装DNA计算原理,设计了对应不同逻辑门的DNA分子电路.基于DNA链置换反应机理构建了编码器逻辑电路的分子计算模型.当输入DNA分子信号链时,将不同分子浓度比的DNA分子逻辑门电路混合,借助分子间的特异性杂交反应及分子间链置换反应,最终可输出信号链分子.Visual DSD仿真结果表明了本文设计的编码器逻辑计算模型的可行性与准确性.为拓展分子逻辑电路的应用做出有益的探索.     

不完全信息下非常规突发事件应急决策缺失数据处理模型

针对层次分析法和网络分析法在"情景-应对"型非常规突发事件应急决策中应用时,由于决策时间的紧迫性、决策信息的不完全性、专家经验和人的认知能力有限性等因素导致的专家决策判断矩阵数据不一致和缺失问题,提出用未知数填充缺失元素以获取准完全矩阵,再建立对数均值诱导偏差矩阵模型来求解未知数的缺失数据处理方法,并通过应急案例进行了仿真实验,实验结果验证了本模型的有效性.本模型充分利用原始应急决策判断矩阵信息,不需要计算残缺矩阵的权向量,所求解出的缺失数据估计值满足全局一致性条件,能辅助应急决策者智能处理和估计应急决策判断矩阵缺失数据.     

左截断右删失数据下指数分布参数多变点的贝叶斯估计

主要利用MCMC方法研究了左截断右删失数据下指数分布多变点模型的参数估计问题.通过筛选法和逆变换法得到了指数分布的完全数据,在获得各参数的满条件分布后,利用MCMC方法得到了Gibbs样本,把Gibbs样本的均值作为各参数的估计.随机模拟的结果表明各参数估计的精度都较高.     

c-可补子群对有限群结构的影响

利用子群的c-可补性质,讨论了群的幂零性,得到了有限群成为幂零群的几个充分条件,并推广了一些相关的结果.     

适应VANET拓扑瞬态时变的多相滤波器组信道化方法

车载网络拓扑结构容易受到瞬态时变干扰。为了保证信号的完整性,提出一种改进的实信号多相滤波器组信道化方法。此方法利用实信号频谱对称特征,将信道进行对称划分,然后在多相处理前端进行比现有多相滤波器组信道化结构高2倍的抽取处理,进一步降低了后续处理的数据速率,最后对复指数调制部分进行的优化处理使该结构的硬件实现效率更高。此方法在和现有方法达到相同效果的前提下,大大降低了复杂度,提高了车载网络中实时信号处理的能力,在通信接收机以及各种子带分离系统中也具有很广泛的应用前景。     

论完全泛函的变分问题

研究变分法中依赖于任意个自变量、任意个多元函数和任意阶多元函数偏导数的完全泛函的变分问题;提出并证明了完全泛函的变分问题的定理,采用偏微分算子,给出了完全欧拉方程组. 该方程组涵盖了变分问题的各种欧拉方程. 通过两个算例验证了完全欧拉方程组的正确性.     

测控技术中含有"X"值的验证

利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.