有界Petri网的活性和公平性的分析与实现

Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两个变迁节都不处于有效的冲突,则这个网一定是活的和公平的。 对于不活或不公平的带可重复标识的结构有界的可重复网,本文提出了几种实现活性和公平性的控制装置。  

S-组合Petri网的活性分析与实现

设Σ１＝（Ｎ１，Ｍ１），Σ２＝（Ｎ２，Ｍ２）是两个Ｐｅｔｒｉ网，且不含有冻结标志，Ｎｉ＝（Ｓｉ，Ｔｉ；Ｆｉ），ｉ＝１，２，Ｔ１∩Ｔ２＝Φ，Ｓ１∩Ｓ２≠Φ，本文定义了Σ１，Σ２的Ｓ－组合Ｐｅｔｒｉ网Σｓ，通过引入Ｐｅｔｒｉ网互逆位置序偶的概念，深入研究了Σｓ的活性，给出了Σｓ有界活的几个判定条件。若Σ１，Σ２是两个活的Ｐｅｔｒｉ网，最后提出了一种实现Ｓ－组合Ｐｅｔｒｉ网活性的控制装置。  

基于神经网络的污水处理软测量系统的研究

针对污水处理质量指标无法在线检测的问题，提出了基于人工神经网络的软测量方法。构造了污水处理质量软测量的神经网络结构，运用实际工业污水处理过程测量数据对BP神经网络进行了训练和仿真。结果表明，实能准确地进行污水处理质量的实时估计，实现污水处理质量的实时控制。  

采用计算机视觉进行孵化鸡蛋成活可能性的自动检测

本研究将计算机视觉技术与遗传神经网络相结合，建立一套适合于孵化鸡蛋可成活性自动检测的计算机视觉系统，通过计算机视觉技术获取了孵化鸡蛋的角度直方图，并提取了孵化鸡蛋表面颜色特征，采用遗传算法优化了多层前馈神经网络的拓扑结构与权值，提高了神经网络的学习质量和学习速度，实现了孵化鸡蛋可成活性的自动检测，实验结果表明，该方法准确率较高，并具有鲁棒性和高速度。  

论非对称选择网的活性与安全性

活性与安全性是网系统的重要行为特性.该文的贡献在于为非对称选择网导出其活性与安全性的一般性质.文章讨论了活性具有单调性的非对称选择网活性与安全性的条件，并给出一个多项式时间算法来判定一个给定的非对称选择网是否是活的、安全的与活性满足单调性.文章还讨论了非对称选择网的两个子类(强化I型与强化II型),并给出活性满足单调性时其(结构)活与(结构)安全的充分条件.  

Petri网精细化操作及其在系统设计中的应用

针对柔性制造系统的设计问题,提出了用Petri网精细化操作解决问题的方案.给出了两种精细化操作.研究了Petri网精细化操作的动态性质保持问题,给出了精细化操作保持活性、有界性、可回复性的充分必要条件;对一个柔性制造系统进行了设计和验证.其结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的设计,具有一定的实用价值.  

同步合成Petri网系统活性与无死锁性的保持性

合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成研究中,一些好性质,如活性、无死锁性、可回复性等的保持性,是一个重要的研究问题.研究了Petri网系统同步合成操作活性与无死锁性的保持性.与以往研究工作不同,基于路径的并发合成用并发语言的方法,提出并证明了同步合成Petri网系统的一个并发语言关系式.该语言关系式可用于判定同步合成Petri网系统的活性与无死锁性,同时给出了同步合成Petri网系统活性与无死锁性的充要条件.最后提出一些条件,在这些条件下,同步合成Petri网系统有活与无死锁的保持性质.  

TIBO类衍生物抗HIV-1活性与电子结构关系的研究

应用分子力学MM＋方法，半经验量子化学MNDO计算了19个TIBO HIV－1逆转录酶抑制剂的优势构象和电子结构，得到了其抗HIV－1活性与电子结构的定量构效关系。结果表明：（1）TIBO类衍生物的体积越大、极性越小，即疏水性越大对抑制HIV－1活性越有利；（2）化合物中存在较大的正电区域，当C2原子连接吸电性基团时对药物的活性有利。  

Visual C＋＋和Fortran的混合编程—CASAC软件Windows版的研制

计算机辅助筛选生物活性化合物软件（Computer-Aided Screening bioActive Compounds,简称CASAC）是在本实验室开发的用于研究分子 结构和生物活性关系的软件。它最早是在DOS系统下开发的，目前研制这个软件的Windows版本。所用到的两个编程工具是Fortran PowerStation和Visual C 。通过Fortran和C 的混合编程，本文讲述如何用Fortran PowerStation生成动态连接库，Visual C 如何调用所生成的动态连接库及如何调试。  

基于XML的海洋天然产物数据库

海洋天然产物数据库（NMPD）中含有约8000种海洋天然产物的分子结构及其生物来源、生物活性、药效、物理化学参数和参考文献等信息，部分分子结构信息用CML表示。MNPD基于XML构建，MNPD和XML的集成更有利于MNPD数据库的管理、查询、Web发布和数据交换，以及适应MNPD未来的扩展。