【摘 要】
：
摘 要：根据部分多值逻辑的完备性理论[1]，本文证明了m＝2时，关系图为对称H图的一类单纯可离函数集在户；的准完备集之最小覆盖中必出现。 关键词：多值逻辑；完备性；Sheffer函数；准完备集 中图分类号：TP391 文献标识码：A
论文部分内容阅读
摘 要：根据部分多值逻辑的完备性理论[1]，本文证明了m＝2时，关系图为对称H图的一类单纯可离函数集在户；的准完备集之最小覆盖中必出现。
关键词：多值逻辑；完备性；Sheffer函数；准完备集
中图分类号：TP391
文献标识码：A
其他文献
摘 要：本文讨论了分布式数据库系统中基于时戳的死锁预防策略，分析了预防死锁问题的两种可行的动态优先级方案—等待—死亡方案和伤害—等待方案，提出了使用时戳的动态优先级死锁预防策略在解决分布式数据库系统并发控制的可行性和有效性，保证了产生死锁问题的条件不能发生，从而有效的预防了死锁，并给出了相应的实例。 关键词：分布式数据库；并发控制；死锁预防；时戳 中图分类号：TP274 文献标识码：A
摘 要：介绍了嵌入式系统发展的现状。分析了基于ARM7微处理器S3C44B0系统中八段数码LED显示的实现原理，探讨了S3C44B0与LED的硬件接口设计和软件设计，给出了硬件连接图和部分程序代码。并通过实验验证了八段数码管能循环显示0～F字符。 关键词：嵌入式系统；ARM；S3C44B0处理器；八段数码LED 中图分类号：TN873 文献标识码：A 文章编号：1003—6199(200
摘 要：异常处理是C＋+语言的重要语言机制，正确地处理异常对程序的可靠性、健壮性是十分重要的。本丈回顾了异常处理技术的概念和思想，介绍了C++异常处理技术中涉及到的常见问题，对异常处理的性能与代价进行了分析，以便更好地在面向对象程序设计中正确使用异常处理技术进行编程实现。 关键词：异常处理；堆栈解退；面向对象程序设计 中图分类号：TP31 文献标识码：A 文章编号：1003—6199(2
摘 要：本文将从硬件设计和软件构成介绍一种基于CAN总线设计的智能家居控制系统。该系统能够实现与Internet的互联，具有通信简单易行，便于网络化管理和设备扩充，可靠性高等特点。 关键词：现场总线；CAN；家庭自动化；Internet 中图分类号：TP273+．1 文献标识码：A 文章编号：1003—6199(2004)01—0082—04
摘 要：本文从自适应控制和优化学习算法的角度出发，将传统的PID控制和神经网络BP算法相结合，构造了具有自适应、自学习功能的神经形态PID自适应马赫数控制器(NNCPID)。通过对网络控制模型的训练、学习和系统仿真，验证了该NNCPID控制器在改善马赫数控制性能、提高系统实时性、鲁棒性等方面，具有很大的优越性。 关键词：马赫数控制；PID算法；神经网络；自适应 中图分类号：TP273 文献
摘 要：在NTRU公钥密码体制中，一个多项式是否有逆多项式是一个很重要的问题。本文介绍了NTRU公钥密码体制，给出了NTRU中多项式是否有逆的判定定理，并对所提出的定理进行了相应的证明。最后我们用例子来说明怎样运用该判定定理，给出了求解多项式逆的算法。 关键词：NTRU；多项式的逆；公钥密码体制；算法 中图分类号：TP309 文献标识码：A 文章编号：1003—6199(2005)03—
摘 要：JAVA语言是目前一种主要的面向对象编程语言，由于JAVA语言复杂的结构，使得对JAVA程序进行程序切片非常困难。本文提出一种层次的构造JAVA系统依赖图的算法，基于JAVA程序本身的层次结构，自顶向下构造系统依赖图，然后基于构造的系统依赖图，用一种改进的两阶段算法得到JAVA程序切片。 关键词：JAVA程序；程序切片；系统依赖图 中图分类号：TP312 文献标识码：A 文章编号
摘 要：分离(或解混合)矩阵的学习算法是盲信号分离的关键技术，矩阵联合对角化的预白化JADE算法是一种基于四阶累计量的学习算法。本文在分析该算法原理的基础上，从理论上找出了算法失效的原因，即源信号相关性越强，JADK盲信号分离算法失效问题越严重，并通过仿真实验证明了理论分析结果的正确性。 关键词：盲信号分离；JADE算法；联合对角化；方差归一化 中图分类号：TN911．23 文献标识码：A
摘 要：为了提高DSP与工控机之间的数据传输速度，本文设计利用工控机上的PCI总线，通过共享双端口RAM的方式，实现工控机与DSP之间的高速数据交换。本文详细介绍了系统设计的基本思路，包括PCI总线协议，PCI9052芯片的基本使用方法和设计要点，PCI9052与双端口RAM的硬件连接方式和访问协议，Windows98下虚拟设备驱动程序的设计。 关键词：PCI；配置空间；临界资源；VxD 中
摘 要：目前大多数入侵检测系统(IntrusionDetection Svstem，IDS)没有兼备检测已知和未知入侵的能力，甚至不能检测已知入侵的微小变异，效率较低。本文提出了一种结合异常和特征检测技术的IDS。使用单一技术的IDS存在严重的缺点，为提高其效率，唯一的解决方案是两者的结合，即基于异常和特征的入侵检测。异常检测能发现未知入侵，而基于特征的检测能发现已知入侵，结合两者而成的基于异常