Orlicz空间单位球面上一点的一致单调系数和局部一致单调性

文章给出了Orlicz空间单位球面上一点的一致单调系数的表达式;该点为一致单调点的判别法以及空间局部一致单调性的充分必要条件     

一种流水冲突的最优调度解

章对流水冲突问题进行分析，给出了用时段间隔矩阵表示流水线冲突状态的方法。该方法方便明确，易于计算机实现。同时给出了实现流水线冲突调度的定理及其证明。     

邻集并、连通度及最大度和Hamilton连通性

文章讨论了无爪图的Hamilton连通性 ,给出邻集并与最大度的条件下Hamilton连通图的新的充分条件,证明了下述定理 :设G是一个3 -连通简单无爪图 ,连通度为k。如果对于G的每一个k阶独立集S满足 :对 u,v∈S,都有(1)k>3时,│N(u)∪N(v)│≥n-Δ(s) -k +2,(2)k=3时,│N(u)∪N(v)│≥n -Δ(s),则G是Hamilton连通的。     

城市交叉路口车辆调度模型的研究

文章在分析城市交通网络交通状态的基础上,给出了交叉路口的红绿灯调度模型,并对已有的车辆调度系统模型进行了改进与推广,使其在实际过程中适应的范围更广.经计算机模拟表明,该模型对城市交通网络的调度优化是有效的.     

一个多功能流水冲突优化调度算法

在对多功能流水冲突问题进行分析的基础上,给出了用时段间隔矩阵表示流水线冲突状态的方法,分别计算出每种调度法的平均间隔时段数,找出其中的最小者,实现了流水线各后继任务流入流水线所用间隔的最佳调度.此调度策略,使流水线的吞吐率达到最高,且方法简便明确,易于计算机实现.文章同时给出了实现多功能流水线冲突的优化调度算法.     

基于置换群的可逆网络级联

通过分析可逆门逻辑网络与置换群的等价关系,把可逆门网络级联转化为对称群的轮换问题.证明了任何一个相邻3轮换置换(u,s,t)可以通过4个(n-2)-CNOT门和至少2n位的NOT门生成,以此n位的偶数二元可逆网络可通过NOT和2-CNOT门构造.给出了通过对称群轮换置换级联可逆网络的方法,实例验证了该方法的正确性.结果表明,该方法没有垃圾信息输出,同时在可逆门转换方面更加灵活有效.     

基于粗糙集多输出逻辑函数优化算法的研究

文章提出了基于粗糙集的多输出逻辑函数优化方法,并给出了相应算法;实例验证表明,基于粗糙集的组合逻辑优化方法是可行和有效的。     

基于粗糙集的组合逻辑优化算法

运用粗集理论对逻辑函数进行知识表达的方法,提出了基于粗糙集的组合逻辑优化方法,并给出了相应的算法.通过对20变量以下的组合逻辑标准Benchmark-89,91和93相容逻辑矩阵例题进行了检验,结果表明此算法是正确的,并具有显著的化简效果.     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.