关于Ext成群的一些条件

对Ext对商及归纳极限成群的条件进行了研究.给出了:当A是—C~*-代数,I是A的闭双侧理想,Ext(A)是群时,Ext(A/I)是群的充要条件;若A=■(A_1,φ_(ij))且Ext(A_i)是群,则Ext(A)也是群.     

伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

基于A*算法的远程导弹三维航迹规划算法

提出了一种基于A*算法的三维航迹规划方法.该方法将远程导弹的运动学模型离散化,利用导弹过载作为控制量,并结合约束条件,直接对三维空间进行最优航迹搜索.航迹规划过程不仅结合了导弹的本身机动特性,并且充分利用地形信息进行地形回避和威胁回避.仿真实验表明,该方法能够直接规划出三维空间中满足导弹过载约束的最优航迹.     

局部可分度量空间的序列覆盖ss象

给出了局部可分度量空间的各类序列覆盖ss象的刻划。     

低维空间中带调和势的非线性Schrdinger方程

研究一维和二维空间中带调和势的非线性Schr dinger方程iφt +12 Δφ - 12 ｜x｜2 φ +a｜ φ｜2 φ +b｜φ｜4φ =0 ,φ(0 ,x) =φ0 ,t≥ 0 ,x∈Rn,a、b为常数 ,针对非线性项互为排斥的情况 ,应用Tsutsumi和Zhang(Adv .Math .Sci.Appl.,1998,8(2 ) :6 91～ 713.)的有关方法 ,讨论了上述Cauchy问题在一定条件下解的不稳定性质     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

基于个体的两凿岩机械手合作任务规划

文章在分析凿岩机械手的机构结构的基础上,求出机械手在工作面上的最大最小工作区间,然后运用模糊理论的相关知识将两凿岩机械手的工作区间进行合理分区,确定两钻臂在这些区域产生碰撞的模糊隶属度,从而引入"区域避碰”理论进行合作任务规划.在考虑两机械手工作进度产生一定变化和机械手在运动中所有关节变化量最小的基础上,引入双向A*算法搜寻最优路径.通过仿真研究证明,文章提出的方法计算简单,规划的路径在一定程度上可满足实际工作的需要.     

满足左正则性条件的IC富足半群

一个有限半群是满足左正则性条件的IC富足半群当且仅当它是一个幂等元形成左正则带的纯整超富足半群,但满足左正则性条件的无限IC富足半群不都是幂等元形成左正则带的纯整超富足半群.     

基于CDT空间剖分的虚拟角色全局路径规划

针对大范围复杂虚拟城市环境中虚拟角色的自主导航问题,研究了虚拟城市环境的环境建模以及基于层次道路图的改进A*算法。用自适应剪切平面切割三维地物几何模型,把三维城市空间投影到2D平面空间,利用约束Delauny三角化方法剖分城市自由空间,通过调整约束边的长度调整提取道路图的精度,并构建顾及地形起伏特征的层次道路拓扑图;为适应基于层次道路图的路径搜索,对传统A*算法进行了改进。实验结果表明:该方法可以快速完成虚拟角色在虚拟城市环境中的全局路径规划,且环境建模需求空间小,路径搜索效率高并顾及了地形环境的起伏特征。     

半(p,r)-预不变凸函数及其规划的最优性条件

首先在半预不变凸函数和(p,r)-预不变凸函数的基础上,定义了一类新的广义凸函数半(p,r)-预不变凸函数,它既是半预不变凸函数又是(p,r)-预不变凸函数的推广形式,从而是熟知的凸函数和不变凸函数的推广形式.接着,讨论了半(p,r)-预不变凸函数的一些有用性质.最后利用半(p,r)-预不变凸(凹)函数讨论了目标函数和约束函数均不可微的多目标规划问题,从而获得两个最优性条件.