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

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

高效液相色谱和原位荧光法比较研究威氏海链藻光合色素组成

采用高效液相色谱(HPLC)和活体荧光方法研究了威氏海链藻(Thalassiosira weissflogii)在不同营养状态下其色素比值的变化．结果显示氮(N)限制相对磷(P)限制对威氏海链藻生长有更大的抑制作用．HPLC的结果显示在氮限制条件下，细胞的墨角藻黄素(Fucoxanthin)／叶绿素a、叶绿素c／叶绿素a比值高于磷限制和未受营养盐限制条件(对照组)；活体荧光结果则显示氮限制条件下550nm／440nm，460nm／440nm激发荧光比值低于磷限制和对照组．这两种方法来指示浮游植物的生理状态以及研究其类群结构存在一定差异，综合比较和评价这两种方法在指示浮游植物生理状态及类群结构中各自的优越性，结果表明活体荧光能明显地指示威氏海链藻细胞生长状态的变化，比较适宜用于指示不同生理状态下威氏海链藻的光合色素比值变化，而用HPLC来研究营养限制条件下威氏海链藻细胞的生长变化以及计算其类群的组成较为合适．     

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

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

基于模糊神经元网络的信息融合模型

为了解决对象是庞大数据的复杂的工业生产过程的建立模型困难的问题,提出了基于势场拓扑的层次聚类算法和模糊c均值聚类算法融合,结果表明:通过两次聚类算法的融合,获得精确的聚类个数和隶属度,以此来确定模糊神经网络的结构模型,并将得到的隶属度作为依据,建立基于多判据信息融合和模糊技术构建神经元网络模型,通过对实际地下开采生产过程的仿真,结果验证了模型的有效性。该成果对煤矿开采具有一定的参考价值和指导意义。     

一个基于WWW的高校学生工作管理系统的设计

介绍运用ASP及数据库管理技术制作具有交互、远程控制功能的学生工作管理系统的方法，提出了系统的结构模型及功能模型。     

局部可分度量空间的序列覆盖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.