MP＊中的等值完全析取范式

讨论中介逻辑命题演算扩张系统ＭＰ＊中在等值意义下的完全析取范式的存在性和唯一性。引入ＭＰ＊中等值全板范式的概念,并用分步构造法证明这种范式在等值意义下是存在的,且是唯一的。     

网络时代如何实现航空公司品牌传播的有效性

亚里士多德早在2300年前就指出：判断传播是否有效的一个基本原则就是其是否具有说服力。而要想实现最佳的说服力，必须要具备几个条件，即传播者的品德、贴近听众的需求、引起听众动情的传播方式以及和论点相关的真理或逻辑证明。如果从航空公司品牌传播的角度出发，这几个条件正代表了产品或服务的品质、以顾客需求为导向的原则、有效的传播方式以及信息的真实性和透明度。     

符号和逻辑——李约瑟难题的解答

英国剑桥大学中国科学史学家李约瑟，一生投身于研究中国古代科学技术发展史，写出了巨著《中国科学技术史》。令李约瑟困惑不解的是，中国古代创造出了杰出的技术成就，但是，为什么近代科学没有在中国起源？这一问题被中国学术界称为李约瑟难题。     

逻辑分析仪在机载电子设备修理中的运用

介绍了逻辑分析仪在总线数据测试中的优势,结合修理中使用逻辑分析仪解决的具体故障案例,进一步阐述了逻辑分析仪运用于机载电子设备修理中所能提供的帮助.     

高数教学中“数形之美”

数形结合是数学中数学表达式与几何图形相结合的过程,数学美是于抽象的数学逻辑之中暗含的规律美。在高数教学中,穿梭于数学严密的抽象思维之间,也不乏深深地体味着数形结合带给我们的美感。当思维凝聚一点,数学的亲切的、美丽的东西与你很接近,象老朋友的悄悄话,有待我们细细品尝,甜甜回味。     

IAF执行主任发来贺信祝贺神舟九号飞行任务取得圆满成功

(本刊讯)国际宇航联执行主任Christian Feichtinger在神舟九号飞行任务取得圆满成功后当日发来贺信。他在贺信中说:向中国宇航学会、中国航天以及所有中国人民表示祝贺。     

搜索、锁定、攻击、猎杀成功第二次海湾战争的空对地攻击

2003年第二次海湾战争尽管在地面战展开之前，并没有如1999年第一次海湾战争期间进行长达38天的持续空袭，但从3月10日至4月20日作战期间，联军一共也执行了高达41400架次任务，空中武力仍在战争中扮演了举足轻重的角色，如果说第一次海湾战争向世人展现了现代空中战力的惊人威力，则直接与第二次海湾战争空中武力联想在一起的，就是所谓“震慑作战”与“斩首行动”。     

智能逻辑分析仪显示部分的硬件与软件支持

阐述我们研制的智能逻辑分析仪的显示部分的硬件与软件支持。该部分主要采用大规模集成电路M6845P(即CRTC)芯片,使得仪器电路简单,功能丰富,可以控制显示波形及数据,并用二进制、八进制、十六进制显示数据,同时还可用汉字显示工作清单。当在微机部分控制下数据采集结束后,通过编程将显示方式置入M6845P内部的寄存器中,然后CRTC即可脱机运行,以各种方式显示采集的数据及波形。此外,还介绍了该部分的软件的主程序及中断处理子程序。     

可编程器件的VHDL设计

新型的可编程逻辑器件（ＰＬＤ）已经显著改变了数字系统的设计过程，且超高速集成电路硬件描述语言（ＶＨＤＬ）在设计流程中的作用日益显著，简要讨论在ＰＬＤ的ＶＨＤＬ设计中的一些注意事项，以期提高ＶＨＤＬ编码的效率和精确度。     

论企业财务目标的特点及建立基础

建立财务目标是企业财务管理首要环节，长期以来，人们更多地从纵向角度关注企业财务目标的演进，分析每一种演进的意义。本文试从横向角度阐述财务目标与其财务管理活动相比较布存在的各种特点，结果财务目标的理论意义、历史沿革、现实环境和内在逻辑因素提出其建立基础，旨在从理论和实务上更为有效、快速地确立财务目标。