论文部分内容阅读
讨论了MP^M中介代数的一些性质，从而推导出一个引理，并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明，并给出具体实例加以说明。
MP^M中介代数的性质
【摘 要】
：
讨论了MP^M中介代数的一些性质，从而推导出一个引理，并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明，并给出具体实例加以说明。
【机 构】
：
江南大学理学院
【出 处】
：
江南大学学报：自然科学版
【发表日期】
：
2009年4期
其他文献
研究了多面体最佳逼近算法在保序回归中的应用。对于多种广义保序回归及多维保序回归问题的求解,给出了较已往便捷精确的算法;并解决了含两个独立变量的保序回归的算法问题。
讨论了一类含离散与分布时滞的不确定奇异系统的时滞相关鲁棒稳定性。基于Lyapunov稳定性理论，利用线性矩阵不等式处理方法，通过在Lyapunov-Krasovskii泛函的导数中适当地引入
使用Perl语言,采用面向对象的编程（OOP）方法,讨论了一种Verilog预处理工具的设计.这种设计,使该预处理工具能支持多进程预处理,允许同时处理多个文件,从而提高了预处理的效率.
用中空纤维超滤膜制备了纳米CuO，探讨了CuO对异丙苯氧化反应的催化作用；用XRD和SEM对催化剂的结构和形貌进行了表征；考察了催化剂制备条件及反应温度，氧气浓度对催化性能的影响。
利用间歇式反应装置研究苯酚超（亚）临界水氧化反应,以n（H2O2）n∶（苯酚）=3.6∶1投入反应,初步探讨了不同的温度、压力条件对反应中间产物的影响.气质谱联用仪分析结果显示：不完全氧化
针对多输入多输出（MIMO）系统的有限脉冲响应（FIR）函数模型,研究了输入伪随机二进制序列（PRBS）信号的优化设计问题,提出了一种通过延迟方法产生多个PRBS信号的优化设计方法,充分利用