容易产生测试的PLA

可编程序逻辑阵列(以下简称PLA)是当今用得很普遍的一种电路结构,它可以实现任意组合开关函数.容易产生测试的PLA(简称ETG PLA)是作者最早提出的一种易测PLA设计.本文根据几年来国际上的评论,进一步阐述ETG电路的概念,并在统一的单故障模型的基础上推广了伪非并发和分离的概念,使硬件开销大大减少.实验结果表明了这些想法的正确性和先进性.     

基于SRAM PUF电路的AES算法设计

通过对物理不可克隆函数(Physical Unclonable Functions,PUF)电路和高级加密标准(Advanced Encryption Standard,AES)算法的研究,提出一种基于SRAM PUF电路的AES算法设计方案.方案首先验证SRAM上电初始值具有随机性分布特征,并利用跟轨迹法提取SRAM PUF电路稳定的输出位;其次利用SRAM PUF电路稳定输出值的物理不可克隆属性设计密钥扩展算法,使其具备单向性和硬件识别特性.最后设计所提算法的硬件结构并通过FPGA验证.     

布尔型模糊系统的逼近精度分析

论SISO和MIMO布尔型模糊系统的逼近精度,得到如下结论:对SISO布尔型模糊系统而言,其有一阶逼近精度。对基于R-implication和Reichenbach-implication I(a,b)=1-a ab的SISO布尔型模糊系统而言,若隶属函数选为三角形的,则其有二阶逼近精度。然而通过一例子看出MIMO布尔型模糊系统,其一般没有二阶逼近精度。     

基于动态神经网络的非线性系统鲁棒故障检测

针对一类具有不确定性扰动的非线性系统,将设计的系统线性观测器产生的误差信号作为残差,采用一种具有高斯型激励函数的动态神经网络(DNN)对残差信号进行分析处理,得到了系统的鲁棒故障检测方法.文中分析了该方法的稳定性和故障检测的鲁棒性,并通过算例验证了该方法的有效性.     

服务台可修的N-策略单重休假M/G/1排队系统的可靠性分析

本文研究服务台可修的N-策略单重休假M/G/1排队系统,假定服务台的寿命有负指数分布和修理时间有任意分布,通过使用全概率分解技术和拉普拉斯变换,讨论了服务台的首次失效时间分布、不可用度和故障频度等可靠性指标,获得了服务台的一系列可靠性结果.     

对一个基于身份的代理签名方案的密码学分析和改进

分析了一个在格理论框架下构建的基于身份的代理签名方案,指出方案的安全性证明存在缺陷,并没有实现其所声称的签名不可伪造性的证明,针对方案证明中存在的问题,引入新的参量,重新设定系统参数,改变相应的查询应答方式,弥补了证明缺陷,完成了签名不可伪造性的证明。     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.     

基于辩论的多agent商务谈判辩论产生和决策过程研究

由于在自动谈判中加入辩论成分能够允许Agent在谈判过程中通过辩论的形式交换和交流额外的信息,进而影响对方的信念、偏好、意向或目标,使谈判向着有利于达成协议方向发展,并提高谈判效率,降低交易成本,因此已经成为多Agent商务谈判领域的热点发展方向.本文针对如何产生辩论这一重要问题进行研究,提出了"候选辩论集的产生策略"和"基于冲突分析的辩论目标产生模型",分析了基于辩论的多Agent商务谈判决策过程,并通过原型系统进行了验证.本文的研究成果将促使多Agent商务谈判系统向着更为实用方向发展.     

模糊推理的变权综合算法及其构造的模糊系统响应能力分析

将变权综合原理应用于模糊推理,提出一种新的模糊推理算法-变权综合推理算法,并给出利用模糊蕴涵算子确定规则变权的方法。证明了由一些正常蕴涵算子如Lukasiewicz蕴涵、Goguen蕴涵、Godel蕴涵、Dubois-Prade蕴涵等确定的变权综合算法是相容的。进一步分析了该变权综合算法构造的模糊系统的响应能力,结果表明:基于这些正常蕴涵算子的变权综合算法构造的模糊系统具有泛逼近性。     

基于功能不可加系统的系统优化

为了揭示系统的某一功能达到最优与其所有子系统为实现系统这一功能而提供的功能之间的关系,基于系统功能具有可加和不可加的特性,探讨了功能不可加系统的功能优化方法,以子系统功能的实现度为决策变量,以系统功能发挥最大效用为目标函数,以实现功能所需的资源为约束条件,建立了功能不可加系统优化的规划模型,最后辅以算例,并通过EXCEL Solver求解进行了分析.     

基于奇偶校验的Petri网控制器的故障检测

提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;建立一个包含一定数量库所的附加Petri网控制器以满足奇偶校验的编码要求;分别针对库所故障和变迁故障,选用不同的奇偶校验参数进行故障检测,并通过实例详细阐明了故障检测的过程.     

一个基于主成分分析的探测高维变点的方法

本文介绍了一个有效的处理高维变点问题的方法。我们先将数据矩阵使用主成分分析的方法投影到低维空间,然后再利用传统变点的方法来进行估计。在变点个数未知时,我们使用交叉核实的方法来估计变点个数。在数值模拟研究中,我们将新方法同一些已有的方法进行了比较,在估计的准确度和计算时间等方面都要优于其他方法。     

一个命题的逻辑结构分析

考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.     

交叉概率对遗传算法运算速度影响的测试与分析

在现有文献基础上,通过理论分析,提出了交叉概率应取1.通过4个测试函数的测试结果,表明交叉概率越大,运算速度越快,平均运行代数越少,验证了通过理论分析提出的交叉概率应取1的科学性和可行性.同时克服了交叉概率难以确定以及确定交叉概率时缺少理论依据的不足.     

具有未知扰动的广义系统的故障检测

研究具有未知扰动的随机广义系统的故障检测问题,在合理的条件下,利用状态变换从原系统中分离出一个与未知扰动解耦的降阶子系统,构造了该随机子系统稳定的滤波器,给出了输出偏差量的统计特性,在此基础上,实现了系统故障的检测．     

同步休假M／M／c排队系统的PH结构

对同步多重、单重休假和启动时间M／M／c排队，若休假（启动）时间是m阶PH变量，证明了稳态排队顾客N_q、等待时间W是m＋1阶离散的和连续的PH变量，并给出简明直观的PH表示。     

交叉概率对改进遗传算法运算速度影响的测试与分析

在现有文献基础上,通过理论分析,提出了交叉概率应取1.通过四个测试函数的测试结果,表明交叉概率越大,运算速度越快,平均运行代数越少,验证了通过理论分析提出的交叉概率应取1的科学性和可行性.同时克服了交叉概率难以确定以及确定交叉概率时缺少理论依据的不足.     

基于组合群验的汽车故障分析法

基于汽车故障部件与汽车故障现象之间的关系建立了数学模型,根据这一模型,利用组合群验的理论和方法分析了汽车故障,给出了汽车故障诊断的一种新方法.     

随机不确定不可修系统的可靠性分析

对于实际工程中不可修系统的可靠性研究,稀缺的样本数据无法建立具有精确参数的系统寿命分布.为克服参数不确定所导致的可靠性误差,运用随机不确定变量来刻画系统和部件的寿命,用不确定变量描述寿命分布参数.在机会理论的框架下定义了随机不确定系统的可靠性指标,并给出了三类系统可靠性指标定理及相应的证明.最后给出了数值算例.     

格上基于身份的高效环签名方案及安全性分析

环签名是一种特殊的数字签名,可以广泛应用于电子选举、移动通信、移动代理、电子商务等领域.提出了一种新的基于格的环签名方案,在格上的小整数解和非齐次小整数解困难问题的假设下,方案对适应性选择消息攻击是强不可伪造的.利用的格基代理技术,可以保证新方案签名长度更短,计算效率更高.