一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中,以模态逻辑方法为基础定义了协议度量方法,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法,同时在此基础上,进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析,直接描述各协议内容的贡献度,显示冗余内容对目标实现的无效作用,从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点,它具有模态逻辑方法的优点及缺陷。     

复合火灾信号的一种模糊处理方法

提出了一种处理复合火灾传感器信号的模糊方法．首先提取传感器输出的烟雾和温度信号特征，包括幅度、持续时间和变化量等，然后通过适当的隶属函数模糊化，再由模糊语言规则推理得到有烟明火、无烟明火、阴燃火和非火灾的判决结果，最后利用质量中心法去模糊得到系统的火灾报警／非报警输出．实验表明，这种方法能够有效地探测试验火，并能克服干扰、减少误报警．     

可编程逻辑器件PLD的故障检测与诊断

本文提出的可编程逻辑器件易测试方法，充分利用了ＰＬＤ本身固有的可编程特点，简化了器件故障诊断的难度；所有延时、逻辑故障全部可以检测，对延时故障和交叉点故障具有诊断功能，故障检测、诊断十分简便     

三值主从JK触发器的研究

本文提出一种具有三轨铺出的三值主从JK触发器的电路设计，经计算机模拟和通过测试由TTL门组成的实验电路表明，该触发器能实现预定的逻辑功能。     

自动恒压供水控制系统的设计

设计了利用PI调节器、PLC和变频器实现自动恒压供水的控制系统.采用自主设计的PI调节器,选用一台PLC和一台变频器控制两台泵机进行恒压供水.系统性能稳定,投资小,既可作为学生毕业设计设计课题,也能用于生产实际.     

基于DNA链置换反应的编码器逻辑运算模型研究

作为自组装DNA计算领域中一门新技术,DNA链置换反应在分子计算领域得到了广泛的应用.基于自组装DNA计算原理,设计了对应不同逻辑门的DNA分子电路.基于DNA链置换反应机理构建了编码器逻辑电路的分子计算模型.当输入DNA分子信号链时,将不同分子浓度比的DNA分子逻辑门电路混合,借助分子间的特异性杂交反应及分子间链置换反应,最终可输出信号链分子.Visual DSD仿真结果表明了本文设计的编码器逻辑计算模型的可行性与准确性.为拓展分子逻辑电路的应用做出有益的探索.     

开关磁阻电机调速系统的设计与实现

开关磁阻电机调速系统在硬件上采用数字信号处理器与可编程逻辑器件相结合的控制方式,使电路系统得到了大大的简化,更加稳定可靠;在软件控制策略上,在不同的调速阶段采用不同的控制方法,结合了各自方法的优点。整个系统电机结构简单可靠,可在宽广的速度和功率范围内保持较高的能量回馈,具有一定的市场应用价值。     

构造性神经网络覆盖算法的模糊化技术及其应用

本文通过将模糊逻辑的结构性定义引入构造性神经网络模式分类系统中,给出模糊神经网络模式分类边界的直观描述方法.在系统信息不完备的情况下,可以获得更为合理的模式分类边界,并提高模式分类的精度.实验结果表明以上方法正确.     

Kuiper带天体轨道的观测特性

对当前已观测到的具有可靠轨道根数、位于30～50AU的Kuiper主带和50AU以外Kuiper散射带的轨道半长径、轨道偏心率和倾角的分布特性分别进行了统计作图分析．结果显示：轨道半长径在40～50AU之间的KBOs的数量呈近似正态分布,KBOs在共振区出现聚集,并且共振区天体普遍具有较大的轨道偏心率;经典KBOs的轨道倾角的分布范围比共振KBOs的还大;散射KBOs的近日点距离大多在30～45AU之间．     

论我国书院与当代大学文化教育及建筑环境

书院是我国古代办学的一种极具特色的形式,书院的文化教育观对我国当代大学校园人文环境的构建仍然有着现实意义.本文通过对书院与当代大学文化教育观的比较,从建筑环境建设的角度阐述书院对当代大学校园人文环境构建的启示.