提出面向对象数据库的逻辑设计方法,并且通过一个实例对方法的可行性进行了检验.此方法对传统的ER模型进行了扩展,加入了继承、构成、消息传递、方法等成分;提出了较为规范的根据陈述需求的资源文本生成扩展的ER模型的方法,包括概念提取、概念分析、分析形式化、确定概念模型等步骤;提出了较为规范的由扩展的ER模型生成面向对象数据库的数据结构的方法,包括消息传递的实现方法和联系的实现方法,以及拥有实例的类的确定法则

开发了一种用于钢丝热处理过程的自动控制系统和相应的模拟系统.控制系统由工控机和可编程逻辑控制器(PLC)组成.控制系统软件包括组态程序、加热模型程序、PLC逻辑控制程序和数据库.该控制系统可以根据产量、产品规格和工艺要求控制马弗炉和铅浴炉的温度,或调整钢丝的拉速以适应当前马弗炉的温度,获得最佳热处理效果和产量.模拟系统包括模拟软件,燃烧数学模型软件和两块数据采集卡

一、什么是论证?它有哪些部分组成? 二、什么是反证法?什么是选言证法? 三、什么是归谬法?它与反证法有何区别? 四、论证有哪些具体规则?违反论证规则会导致哪些逻辑错误? 五、论辩有哪些特征?如何进行法律论辩?

除了传统的数学运算, MATLAB支持关系和逻辑运算。如果你已经有了一些编程经验, 就会对这些运算熟悉。这些操作符和函数的目的是提供求解真/假命题的答案。一个重要的应用是控制基于真/假命题的一系列 MATLAB命令(通常在M文件中)的流程,或执行次序

为了降低硬件开销，越来越多的加法器电路采用传输管逻辑来减少晶体管数量，同时导致阈值损失、性能降低等问题。本文通过对摆幅恢复逻辑与全加器电路的研究，提出一种基于摆幅恢复传输管逻辑（Swing restored pass transistor logic, SRPL）的全加器设计方案。该方案首先分析电路的阈值损失机理，结合晶体管传输高、低电平的特性，提出一种摆幅恢复传输管逻辑的设计方法；然后，采用对称结构设计无延时偏差输出的异或/同或电路，利用MOS管补偿阈值损失的方式，实现异或/同或电路的全摆幅输出；最后，将异或/同或电路融合于全加器结构，结合4T XOR求和电路与改进的传输门进位电路实现摆幅恢复的高性能全加器。在TSMC 65 nm工艺下，本文采用HSPICE仿真验证所设计的逻辑功能，与文献相比延时降低10.8%，功耗延时积（Power-delay product, PDP）减少13.5%以上

文章探讨了基于UML进行面向对象的系统分析及设计方法，包括静态建模和动态建模；提出了一种实用的基于UML的需求分析及其建模方法，以活动图模型来表达业务模型，以概念层的对象图、状态图及交互图模型表达系统的结构逻辑及行为逻辑，以应用例图表达系统需求；讨论了需求分析及其建模的过程概念，并以高校开放式学籍管理系统的开发作为案例示范

一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用

一、归纳推理的实质 二、归纳与演绎推理的关系 三、简单枚举归纳推理 四、科学归纳推理 五、概率推理和统计推理 六、求因果五法、类比法

一、词项的特征明确方法 二、性质命题的认知与对当关系 三、性质命题主谓项的周延性与传统谓词 四、推理的有效性 五、命题的变形推理考察 六、三段论的分析与应用

一、数据结构的重要性 二、基本术语 三、数据结构的概念 四、数据的逻辑结构 五、数据的存储结构 六、数据的运算 七、数据的逻辑结构、存储结构及运算的关系 八、算法的描述