无内部冲突满足P3的无α环的数据库模式分解（Ⅱ）：分解的算法及分析

文中在文献［１］、［２］、［３］、［４］讨论的基础上给出了数据库模式无内部冲突时，满足Ｐ３且为无α环的分解算法、正确性证明和分析．     

超级流水S进制PRNS数母全加器

本文是文献［１，２］的续篇。作者在该ＰＲＮＳ数母全加器的研制中采用了与文献［１］不同的算法，避免了溢出判别变量Ｖｉ１表达式过长和工程实现上的困难。     

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

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

Petri网的叠加运算

本文提出Ｐｅｔｒｉ网的叠加运算，并讨论了它在环型系统和星型系统的分析与合成中的应用，得到一组有助于结构性质分析的充要条件和充分条件，本文的结果是文献［１］的进一步发展，在某些方面比文献［１］的结果要好。     

无内部冲突满足P3的无α环的数据库模式分解（Ⅰ）：分解的基本理论

文中在文献［１］、［２］、［３］讨论的基础上，讨论了数据库模式无内部冲突，但在最小归并依赖集Ｄ中存在弱右部或弱左部冲突时分解的性质和理论．为无内部冲突的满足Ｐ３的无α环的数据库模式分解算法设计提供了基础．     

模式矩阵的理论研究Ⅰ：基本概念

本文在文献［２］、［３］的基础上，给出了模式矩阵的定义，分析并给出了模式矩阵的固有性质，特别对同类标准型详细讨论了它的分类，并讨论了各类的结构特征，为模式矩阵的理论研究提供了基础。     

神经元变结构控制及应用

本文在文献［４］、［５］的基础上，提出了一种新的变结构控制律的设计方法——神经元变结构控制律，所设计的控制器对系统参数变化具有强的鲁棒性，给出的仿真实例证明了算法的有效性。     

求强分图图的算法

由于如文献［１］［２］等的实际需要，对基于ＤＦＳ技术的求强分图算法进行扩充、改进，使之更完整。而算法的时间复杂性仍保持不变。     

一类非线性系统的自适应与L2-增益混合控制

本文在文献［1,2］的基础上，对一类非线性系统提出了把自适应控制与L     

通用简约验证测试集U（p,w）矩阵的广义构造公式

本文是在文献［１］的基础上进行的研究，通过将文献［１］的三条定理推广到多进制情况以及对多进制ｐ中取ｉ矢量矩阵生成关系图的研究，提出Ｕ（ｐ，ｗ）矩阵的广义构造公式，利用本文公式可直接生成多值逻辑电路在进行伪穷举测试时需要的通用简约验证测试集。     

静态向量系统中一类防从方威胁的非线性鼓励策略

针对从方具有威胁性的向量主从对策，提出了一类防从方威胁的非线性鼓励策略，推广了文献［２］的结论。     

模糊关系数据库的更新处理研究

本文以文献［１］提出的模糊关系数据库更新处理策略为基础，进行简化，给出相应的更新算法与分析     

代理签名与阈下信道的封闭

１９８３年,Ｓｉｍｍｏｎｓ＾［１］提出了阈下信道的概念,并阐述了如何在一个可认证的消息中隐藏一个秘密信息,１９８５年和１９９４年,Ｓｉｍｍｏｎｓ分别描述了如何利用ＥｌＧａｍａｌ签名方案和ＤＳＳ建立阈下信道并下阈下信道的若干应用＾［２－３］,１９９８年和２０００年笔者分别文献［４］和文献［５］中共建立了六个封闭阈下信道的签名方案,文章将基于代理多重签名和一次性代理签名又建立了两个封闭阈下信道的新型签     

通用试题库管理系统的一种优化命题模型

针对计算机试题库管理系统提出了一种新的通用优化命题模式，并建立了相应的多目标优化模型，其算法在文献［５］中已解决。     

分“档”快速排序算法研究

文章在文献［１］的基础上,提出了一种由分“档”、整体置换和局部快速排序所组成的新排序算法——分“档”快速排序法。算法分析和实验结果都表明：在待排序数据均匀分布或正态分布的情况下,分“档”快速排序算法的时间复杂度可以达到Ｏ（ｎ）,而附加存储空间开销却仅仅为［（ｎ＋１）／２］,同时排序速度明显优于Ｑｕｉｃｋ Ｓｏｒｔ［２］、快速分组排序［５］、分“档”统计插入排序［１］和 Ｐｒｏｐｏｒｔｉｏｎ 　Ｓｐｌｉｔ Ｓｏｒｔ［４］等算法。     

六辊UC轧机的OGY混沌控制对策

利用ＯＧＹ控制方法,对文献［１］提出的六辊ＵＣ轧机轧过程中板形描述量具有混沌特性及迭代模型进行了混沌控制,解决了文献［１］提出的“反混沌机制”的设想,为从根本上提高六辊ＵＣ轧机的轧制精度提供了一种新的控制思想。     

二自由度控制理论在双质量机电系统设计中的应用

设计了二自由度控制器，以克服文献［１］中Ｈ＾∞控制器跟随性能差的缺点。在双质量系统中作了仿真，实验结果表明具有应用可行性。     

函数式语言并行实现中并行颗粒度的动态控制

本文针对并行处理中并行颗粒度的控制问题，将惰性计值的延迟思想引入并行进程的生成过程中，并与文献［１，２］的ＬＥ计值语义相结合，提出了函数式语言的并行ＬＥ计值语义，由于采用ＩＨＲＥＡＤ来实现对并行归约子进程的延迟处理，使得并行计算进程在运行时可以动态增加其并行颗粒度，从而减少了一些不必要的细粒度并行性的开发，与文献［５］相比，由于基于负载的动态内联思想在延迟处理操作中的引入亦进一步减少了很大一部分延     

空值环境下（N）4NF,（N）5NF的研究

本文是在作者已经发表的文［１］，［２］，［３］，［４］的基础上，分别对空值环境下的４ＮＦ，５ＮＦ进行了讨论。给出了空值环境下的４ＮＦ，５ＮＦ的相应定义和有关概念，研究了相关的理论，还给出了分解为（Ｎ）４ＮＦ的分解算法。     

Lurie型控制系统的鲁棒决定稳定性

本文给出了Ｌｕｒｉｅ型间接控制系统ｘ＝Ｇ［Ｂ，Ｃ］ｘ＋Ｇ［Ｒ，Ｓ］ｆ（σ）；σ＝ｃ＾Ｔｘ－ρｆ（σ）；ｆ（σ）∈Ｋ［０，∞）；和直接控制系统ｘ＝Ｇ［Ｂ，Ｃ］ｘ＋Ｇ［Ｒ，Ｓ］ｆ（σ）；σ＝Ｃ＾Ｔｘ，ｆ（σ）∈Ｋ［０，∞），绝对稳定的若干充分条件。