基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。     

亚快速凝固结晶取向对强晶形态选择的影响

采用区域熔化定向凝固装置，对冷却速度在１３－１３０Ｋ／ｓ范围内Ｎｉ－５％Ｃｕ合金的结晶形貌研究表明：在温度梯度１３００Ｋ／ｃｍ条件下，晶体生长速度ｖ＝５００μｍ／ｓ时，不同结晶取向晶粒的结晶形貌不同；当晶体生长速度ｖ＝８００μｍ／ｓ时，不同结晶取向晶粒的细胞晶间距不同，亚快速凝固条件下，晶体生长方向对结晶形貌的影响非常显著。     

思维能力在高考复习中的提高

高考复习中要建构知识网络,还不容忽视对科学思维方法的训练。利用巧设开放试题促进思维创新;教学中精心点拨、层层推进完善思维逻辑;跨学科演练扩展思维广度。     

基于J2EE体系结构实现网上购物系统

J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 .     

思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。     

满纸荒唐言，一把辛酸泪——试析《黄金时代》中呈现的荒诞逻辑

王小波的小说从问世起就有争议，是久置编辑案头的热山芋。《黄金时代》是王小波的代表作之一。这部小说以敏锐的触觉发现并解剖着革时期社会生活当中的荒谬。以男女主人公的性爱纠葛和遭际，批判了生活中的荒诞不经，揭示了一批人的灵魂丑态，引发读对人生的深层思索。