论文部分内容阅读
我们给出了德摩根一致代数可伪度量化的一个充分必要条件。
德摩根一致代数的度量化
【摘 要】
：
我们给出了德摩根一致代数可伪度量化的一个充分必要条件。
【机 构】
：
湖南大学数学与计量学院
【出 处】
：
数学理论与应用
【发表日期】
：
2003年2期
其他文献
本文刻划交换半群的强半格上的最小半格同余，并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
针对电力系统中无功补偿装置发展的现状，研制出基于DSP控制的TSC低压动态无功补偿装置。系统以无功功率和电压为综合判据控制电容器的自动循环投切，克服了传统无功补偿中只考虑
基于PRI分选有多种方法,其中PRI变换法对脉冲重复间隔有较高的估计精度,并克服了传统直方图统计法中的子谐波问题。文中在对PRI变换法进行深入研究的基础上,提出了一种改进的
本文讨论了[1]中多目标规划遗传算法存在的缺陷，并提出了相应改进策略．这些策略包括：引进精粹策略，杂交限制，终止条件，个体表示改进等方面，利用这些策略使算法能克服终止准则和小生
分析了数据库原理与SQL Server课程的教学现状和学生学习中普遍存在的问题,论述了案例教学在课程教学中的优势,提出了行之有效的教学新模式。
根据塔机专用变极调速感应电动机的运行特点，对其节能设计的有关问题进行探讨，并提出了提高节能设计的设计措施。实践表明，经过改进的电机性能和节能效果都有较大的提高。
随着IPv4的缺陷越来越明显,IPv6的时代即将全面到来,而在现今IPv4、IPv6共同存在的情况下,4,6混合网络的安全是文中所要研究的内容之一。首先研究了双协议栈的过渡技术,在此
为了解决TMS320C6713与GPRS模块间的接口问题，提出了一种基于多通道缓冲串口（McBSP）与专用异步收发器（MAX3111）的扩展方式。简要介绍了TMS320C6713的MCBSP接口和MAX3111芯片，并结合