混沌优化算法的参数分析

通过一些典型的复杂测试函数，对［１］中提出的混沌算法的效率及其参数，用统计的方法进行了详细的分析。     

基于颜色特征的图象索引和检索方法

通过对图象的颜色和空间内容进行自动提取和索引方法的研究，给出了颜色集表示和索引，及其于颜色集的查询策略，该策略克服了颜色直方图方法的问题，诸如高维特征矢量，空间位置，。索引和距离计算等。     

符号几何规划及其可行域修正算法

本脱离了影响较广泛的献１、２的思路，不依赖反向几何规划，直接讨论符号几何规划，不增变量个数和约束个数。利用集约化思想构造了一个可行城修正算法。本还对献２中的一个疏漏作了修改，增补了献２的内容。     

功能确定的离散并发系统的Petri网规范设计方法

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法，通过一制造系统的建模，说明了该方法的规范性和有效性。     

Pumping引理的Petri网描述—Petri网语言属型的一组判定条件

本文通过Ｐｕｍｐｉｎｇ引理在Ｐｅｔｒｉ网的变迁节引发序列中的反映，揭示了对应的Ｐｅｔｒｉ网结构内涵，从而给出判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，这样，就可以从网的结构直接判断其语言属型。     

Petri网弱公平性的判断

本文提出了弱公平网的概念，并给出了判断一个Ｐｅｔｒｉ网是否是弱公平网的一组充分必要条件。     

细胞图象的背景分割方法

对内分泌细胞图象分析的基础上,克服常规背景分割方法的缺陷,提出了采用阈值曲面方法对内分泌细胞图象进行背景分割的技术,获得了令人满意的效果。     

两正态混合分布的一种参数统计方法

本文对两正态混合分布参数估计问题进行了研究。基于判别分析及样本矩的有关结果,对三种情形给出了新的参数估计方法,并对算法进行了计算机模拟。算法简单,计算量小,适用于大样本问题。     

求有效极小（受控）可重复向量的一个算法

文献［１］基于有效（受控）可重复向量，给出了判定一个标准Ｐｅｔｒｉ网产生的语言分别为正规语言或上下文无关语言的充要条件，然而，求取一个标准Ｐｅｔｒｉ网的有效（受控）可重复向量是着定网语言属型的前提条件，文献［１］没有给出求取它们的方法，本文提出一个算法，使得文献［１］判据可实现，此外，作为副产品，同时产生出网的所有极小Ｔ－不变量以及公平性判定的实现。     

等价标识在谓词／变迁网系统可达树规模缩减中的应用

本通过对哲学家就餐问题的分析，对谓词／变迁网系统可达树规模的缩减问题进行了讨论，分析系统性质，给出等价标识，利用等价标识直接构成可达树、规模大幅度减小。