非确定并发系统设计的Petri网形式化方法

本文首先建立逻辑偏序结构概念，用于刻划非确定系统的功能结构；建立环境结构，用于描述实现系统功能所需的资源及其服务关系；以约束集表示系统应遵守的行为规范，三者合一形成了系统的需求规格说明。基于需求规格说明，分别给出逻辑偏序结构到功能网，功能网及其环境结构到系统结构网的转换算法。按照约束集的规范，结合以往的结果，对系统结构配置适当的初态，施加必要的协调控制装置，最终得到一个功能符合，性能良好，资源分配合理的系统Ｐｅｔｒｉ同模型。     

Petri网的动态不变性

定义了Ｐｅｔｒｉ网的动态不变性概念，分别从行为和状态两方面刻划了系统合成过程中不变性特征。讨论了行为不变性与状态不变性之间的关系，获得判定不变性的代数判据，由此为系统合成的一致性检验提供了依据。     

基于P/T网结构的规则系统验证方法

规则系统是具有广泛应用价值的逻辑系统,但由于各种原因可能导致冗余、不一致、不完备和回路等错误的发生,从而影响系统的运行结果和效率.本文构造了基于Horn子句的规则系统的P/T网模型,给出了利用Petri网关联矩阵求解回路和路径的算法,并提供了系统错误的一组判定方法.该方法避免了原有基于Petri网可达性方法检测系统错误可能导致的状态空间爆炸问题,充分利用网的结构信息,实现规则系统错误的分析和发现.     

一种新的混合数字水印算法

采用离散余弦变换来实现水印的嵌入和提取．在对低、中高频率水印算法的研究和实验基础上,提出了一种新的混合数字水印算法,在这一算法中,每个频域中被嵌人了多个水印．采用了八个不同的攻击方法来测试三种算法的鲁棒性．实验结果表明,混合算法利用了水印在各个频域的特性,相比较与其他两种算法有着更好的性能．     

模运算及求最大公约数的增广PETRI网模型

本文同时给出了模运算和求最大公约数的两个增广Petri网模型,然后给出了矩阵描述和状态方程分析,最后导出了已知输入值求输出值的算法。     

一维极小值问题的快速算法

本文给出一个一维极小值问题的快速搜索算法,并分析了算法的收敛性及收敛速度。     

正整数的自共轭划分数公式

正整数划分问题是组合数学中一个常见问题,这方面的研究已有相当一些结果,在一般组合数学参考书中均可见到。但是其中有个问