地面搜索优化模型

近来,由于自然灾害频发并造成较大损失,地面搜索问题得到了广泛的关注。为确定出最优搜索方案,以一个队在一已知区域类搜索为研究对象,通过讨论分析队伍的前进方式,来提高队伍的搜索效率。其中包括讨论每位队员的转角方式,以及整个队伍的行进路线,通过建立0-1模型,根据一笔画模型思想使用lingo编程求解,模型可以推广到不规则面积中,进而应用于一般搜索问题。     

一种用于多变量卡诺图化简的新方法

本文提出了一种用于多变量卡诺图化简的新方法──对折法．较好地解决了５个以上的卡诺图化简问题．     

“填表法”化简多输出逻辑函数

Tison根据逻辑函数的包含律提出了一种化简逻辑函数的设想,按这一设想,几种具体的化简单输函数的方案已经产生,但按这一思想化简多输出函数的方案笔者尚未见到。本文提出利用最高素蕴涵项概念,通过填表的方法(以下简称“填表法”)化简多输出逻辑函数的方案。与目前通用的“Q—M法”比较,这一方案的特点是:①不必使用最小项,②主要过程是重复一个简单过程,便于人工处理,也便于上机,③在实现门数最小化的同时可实现连线数目的最小化。     

通过空间相似度设置阈值的Douglas-Peucker算法

线状地物的化简是地图综合的重要组成部分,Douglas-Peucker算法作为一种经典的化简线状地物的算法,化简时需要进行多次实验才能选取到合适的阈值,得到最终化简结果.为了避免选取阈值繁琐的过程,通过计算不同阈值下化简前后线状地物间的空间相似度,并将绝对阈值转换为相对阈值,利用曲线拟合的方法得到相对阈值和空间相似度之间的关系.基于两者之间的关系,在使用Douglas-Peucker算法化简线状地物时,即可通过空间相似度来选取合适的化简阈值,提高了化简的效率.     

Web服务组合系统扩展GSPN建模与化简规则

使用广义随机Petri 网(generalized stochastic Petri net, GSPN) 对具有复杂时间约束信息的大规模Web 服务组合系统进行建模时,模型难以直观理解,并且会造成状态空间爆炸. 针对此问题提出一种扩展GSPN建模方法. 将不同类型的时间约束信息分别施加于模型的位置、变迁和弧,可以简洁直观地表达系统复杂时间约束
信息. 进而提出一组应用于扩展模型的化简规则,对模型中一些常用结构进行化简,克服了GSPN 缺乏通用化简方法以及难以在保留时间约束特征前提下进行化简的问题,减小了系统模型的状态空间. 多种模型下的化简示例表明,所提方法有效降低了系统性能分析的复杂度,适用于对大多数Web 服务组合系统进行快速性能分析.     

利用集合的运算作逻辑函数的卡诺图与化简

化简逻辑函数的方法有很多种,卡诺图化简法就是其中一种,如果在卡诺框中赋予集合的含义,然后利用集合的补、交、并运算,则可很容易地作出逻辑函数的卡诺图与化简,大大地简化了卡诺图化简法的过程.     

优先图化简算法研究

优先图可方便地描述程序的并发性,优先图与并发程序可以相互转换.发现了一种判断优先图冗余有向边的方法,同时找到了化简优先图的算法.使用该算法化简优先图以后,能使相应程序的并发控制复杂度降低.以化简饱和优先图为实例,相应程序并发控制的复杂度,由化简前的O(n2)降低为化简后的O(n).     

基于旋量理论的3-UPU和3-PPRR并联机构的自由度分析

运用旋量理论对3-UPU和3-PPRR 2个并联机构进行机构自由度分析.通过建立全局坐标系确定每个分支的运动旋量系,利用运动旋量系和约束旋量系的对偶性计算出每个分支的约束旋量系,得到平台的约束旋量多重集.利用最大线性无关组得出平台运动旋量系,从而确定平台的运动.判断机构是否存在冗余约束,分别利用传统G-K准则以及修正的G-K准则验证所得结果的正确性.     

布尔函数的单调分解

利用化简布尔函数的常用方法，讨论布尔函数的单调分解，得到了判别布尔函数单调分解的几个简易明判别准则。     

有心圆锥曲线的一类复数方程

本文对有心圆锥曲线的一类复数方程进行了一般性的讨论。给出了用方程的系数判断曲线的类型以及对方程进行化简和作图的方法。     

反对称角铺设层合板振动分析的样条有限元法

本文用样条有限元法，分析了反对称角铺设层合板的自由振动问题．在用三次B样条函数构成的样条基对诸独立位移分量进行插值后，根据瑞利-李兹法导出了特征方程，分别计算了反对称角铺设层合板在不同长宽比、不同铺层数、不同铺设角情况下的固有频率，并将有关结果与已有的成果进行了比较．     

落体偏东

这里处理落体偏示问题，首先是把级数运用矢量中，获得了考虑地球自转后落体运动方程的精确表达式，然后通过对这个表达式取适当的近似，获得了与一般教课书上相同的结果。     

球面摆势能的奇攝动解

球面摆铅直方向的运动由一非线性振动方程描述.在摆长充分大的情况下,视非线性项为微扰使问题转化弱非线性振动系统,应用奇异摄动方法求得其近似解,从而确定球面摆势能随时间的变化规律.     

粘弹性体无摩擦滚动接触问题的算法与分析

一、Voigt型粘弹性圆柱滚动接触问题的变分不等方程作者曾研究过粘弹性圆柱的滚动接触问题.研究中考虑了一般的线性粘弹性材料(标准线性粘弹性模型).为了便于方法的分析,本文将取其特例(Voigt型粘弹性模型)作为研究对象.Voigt型粘弹性的本构关系可以写成     

印鉴自动识别系统中图像处理与 识别的方法 研究

采用基于边缘二值图的区域内灰度变换算法，提高印鉴图像局部灰度的对比度，从而防止了印鉴图像局部灰度过线使信息大量丢失的现象；提出了封闭凸多边形图像的提取方法－种子扩散浮置实体算法，解决了将待验印鉴图像从背景噪声中提取出来的问题；提出用重心点和中心点计算偏差角度，解决了待验印鉴与预留印鉴对齐的问题，并以内差和外差的概念，判断印鉴的真伪。     

科学进步观的历史演变

逻辑经验主义从理性的视角出发对科学给予静态的描述,并以归纳法为基本方法对科学知识的增长做出了说明．在他们那里,科学作为知识仅仅是个逻辑过程．波普尔的科学观突破了传统科学哲学仅仅对科学从事静态分析的窠臼,而引入了动态的发展观,库恩的科学哲学直接针对科学进步问题进行研究,使科学进步问题的研究走到历史的前台并在现代科学哲学的研究中占据了显要的位置．以科学进步问题的研究作为科学观动态研究的新出发点,对我们更好地理解科学有更大、更直接的帮助．     

二维双曲型方程系数反问题的一种求解方法

讨论了一维双曲型方程系数的反演问题，采用的方法是对ｘ进行离散得到相应的离散问题，利用特征线法把它化为第二类积分方程组，构造求解离散问题的迭代方法，证明这种迭代在局部范围内收敛，并且证明了离问题存在唯一解。     

辐射宇宙弦引力场中试验粒子的运动

本文研究了一个无自旋的粒子能柱对称引力场中的运动方程．特别地，分别计算了粒子的动能和角动量．结果表明：（ｌ）如果粒子沿弦方向的初速度不为零，则弦的辐射性质使得粒子在此方向的动能总是增加的；（２）粒子绕弦运动的角动量也总是随时间增加的．这为星系旋转的起源提供了一种可能的解释．     

线性算子方程求解方法

本文在可分的Hilber空间中给出连续线性算子方程Au-f解存在的充要条件及最小范数解表达式，由此给出了近似求解方法，且利用此方法给出了算例。     

弹性轴上动态转矩的估计问题

本文用拉格朗日方程导出弹性轴的旋转运动方程并阐述了静态、稳态和动态转矩概念的区别,且用参数辨识方法估计弹性轴上各等效参数,最后给出动态转矩的最优估计.