关于Ext成群的一些条件

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

2-距离空间中非扩张映象的不动点

本文对于2-距离空间引入了凸结构的概念,并由此得到一类非扩张映象的不动点存在定理。     

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

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

关于富足0-■-单半群的注记

在富足0-■-单半群中,根据完全0-单半群的4个等价条件对应地引入了3个条件,研究了本原富足0-■-单半群与其它3个所提出条件的相互关系.     

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

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

露点法测定Hg_（1－x）Cd_xTe熔体平衡Hg蒸气压

露点法测定Ｈｇ＿（１－ｘ）Ｃｄ＿ｘＴｅ熔体平衡Ｈｇ蒸气压桑文斌，于美云，吴汶海（上海大学，嘉定校区）关键词碲镉汞，平衡汞分压，露点测定ＨｇｏｄＴｅ是当今世界上极其重要的一种红外探测器材料，国内外都十分重视这种材料的研究．无论从熔体生长晶体还是液相外延...     

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

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

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

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