Analysis of Petri net model and task planning heuristic algorithms for product reconfiguration

Reconfiguration planning is recognized as an important factor for reducing the cost of manufacturing reconfigurable products, and the associated main task is to generate a set of optimal or near-optimal reconfiguration sequences using some effect algorithms. A method is developed to generate a Petri net as the reconfiguration tree to represent two-state-transit of product, which solved the representation problem of reconfiguring interfaces replacement. Relating with this method, two heuristic algorithms are proposed to generate task sequences which considering economics to search reconfiguration paths effectively. At last, an objective evaluation is applied to compare these two heuristic algorithms to other ones. The developed reconfiguration task planning heuristic algorithms can generate better strategies and plans for reconfiguration. The research finds are exemplified with struts reconfiguration of reconfigurable parallel kinematics machine （RPKM）.     

L-模糊远域空间与L-余模糊拓扑空间

对任意完全分配格L,引入了L-模糊远域空间的概念.并且证明了它与Hhle-ostak意义下的L-余模糊拓扑在范畴意义下是同构的.     

关于“诱导映射的一些性质”

纠正了Gentry K R的一篇论文(Some properties of the induced map, Fundamenta Mathematicae 66 (1969) 55-59)中的错误并推广该文中的一些定理，还给出了逆系统间的映射为极限正则映射的一个充分条件.     

定义拓扑的一种方法及其应用

给出定义拓扑的一种方法,把常见的定理对族βx((A)x∈X)的要求放宽,从而拓广了应用范围,并且证明了关于向量拓扑空间的几个定理.     

层闭算子与模糊仿紧性

在格值模糊拓扑空间中,引入了层闭算子和层次格值模糊拓扑等新概念,并讨论了它们的基本性质.在此基础上,给出了Ⅲ型强模糊仿紧空间的某些新特征.     

lcs空间（X,T）中的几个lcs拓扑

在ｌｃｓ空间（Ｘ，Ｔ）中证明了Ｔａａ（Ｔｋａ）是Ｘ上最大的与Ｔ有相同的绝对凸紧集（紧集）且与Ｔ相容的ｌｃｓ拓扑；（Ｔａ）０（（Ｔｋ）０）是Ｘ上最大的与Ｔ有相同的绝对凸紧集（紧集）且关于偶对（Ｘ，Ｘ′）容许的拓扑（ａｄｍｉｓｓｉｂｌｅｔｏｐｏｌｏｇｙ）．并给出了Ｔａａ（Ｔａ）０的例     

可拓凸集

本文讨论了可拓凸集的若干性质。同时,给出了可拓凸集的分离度和严格分离度的定义,以及凸可拓集的分离度和分离定理,引入了可拓线性内点的概念,得出了线性空间中可拓凸集的分离定理和严格分离定理,为解决现实世界中的不相容问题奠定了基础。     

Z-广义连续格

利用Ｚ－子集系统引入Ｚ－广义连续格的概念，并研究了这类格的映射及拓扑性质。     

Scott开滤子拓扑的连续性巩(英文)

该文证明了完备格Ｌ为连续格当且仅当Ｌ上的Ｓｃｏｔ开滤子拓扑σＦ（Ｌ）为连续格，且细于Ｌ上的上拓扑．特别地，若Ｌ的素元集是序生成集，则Ｌ为连续格当且仅当σＦ（Ｌ）为连续格．     

检察院业务、办公计算机网络管理信息系统

介绍了检察院各部门工作的特点和工作流程.阐述了检察院工作管理和信息处理自动化的必要性,并且较详细的给出了系统的设计方案.