模型检验方法与数字电路教学的结合

数字电路是电子相关专业中一门重要的专业基础课。模型检验是一种先进的形式化方法,可用于数字电路设计的验证。本文使用模型检验工具,针对时序逻辑电路设计是否具有自启动能力,给出了一种新的教学方法。应用实例表明该方法具有运算速度快、自动化程度高、结果显示明确的优点,可以提高学生对时序逻辑电路设计的理解和兴趣。     

C_B代数与Lu3代数同构定理的证明

本文给出C_B代数与Lu3代数同构的详细证明,并得到了Lukasiewivcz三值逻辑代数在二值逻辑代数上的可构造性。     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

半结合3-代数的双模结构

定义半结合3-代数的双模,并研究其双模结构和正则双模结构.对任意一个半结合3-代数(A,{,,}),证明A的三元运算{,,}的循环和[,,]c是线性空间A上的3-李运算,并研究半结合3-代数的导子与其伴随3-李代数的导子之间的关系.     

LabVIEW在数字电路教学中的应用

数字逻辑电路是广大电子工程院校的一门基础课程,如何在教学实验中使学生更好地学习数字逻辑电路和对已有的数字逻辑电路进行验证,是一个比较繁琐的问题。本文选择利用LabVIEW7.0对数字逻辑电路进行仿真,具有更形象,更逼真的效果,操作简单,因而更适合于数字逻辑电路教学实验。     

量子可逆逻辑电路最小代价综合算法

采用位运算构造了一个完备的Hash函数,提出了基于Hash表的新型量子可逆逻辑电路综合算法.利用该算法可对多种量子门采用任意量子代价标准,以较高的效率生成最优的量子可逆逻辑电路.按照国际同行认可的三变量可逆函数测试标准,该算法不仅能够生成全部最优电路,而且运行速度远远超过其他算法.实验结果表明,该算法在同等计算环境下,以目前最好结果为基准,按最小量子代价标准,综合电路的平均速度是最好结果的472.5倍.     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

代数理论在同步时序逻辑电路设计中的应用

本文对数字逻辑电路关于同步时序逻辑电路设计的关键步骤中,引入代数理论辅助设计作了一些探讨,并用实例表明这样的努力使设计过程得到了大大的简化。     

组合逻辑电路分析与设计的方法

《数字逻辑》是一门讨论逻辑分析、逻辑设计理论和方法的课程。数字逻辑电路分为组合逻辑电路和时序逻辑电路两种类型。组合逻辑电路不仅在实际中得到广泛的应用，而且是时序电路的组成部分，所以在数字逻辑电路中占有相当重要的地位。本文主要从组合逻辑电路的分析和设计两方面，讨论有关理论和方法。一、组合逻辑电路的分析进行电路分析的目的是：1．了解电路的设计思想和功能。2．将某电路所用的门电路改用另一种类型的门电路代替。3．评价电路是否经济等。组合电路分析的一般步骤可由下面的框图描述。在以上的步骤中，正确地写出逻辑表…     

用矩阵方法检验逻辑电路中的竞争冒险

提出了一种利用计算机检验组合逻辑电路中的竞争冒险的理论和方法。     

Yb:(Lu,Gd)VO4多晶粉末合成及晶体生长

采用液相法合成了不同掺杂浓度的Yb:(Lu,Gd)VO4多晶粉末.利用TG-DSC曲线确定了其烧结工艺.XRD测试表明所得样品为四方晶系,晶胞参数介于LuVO4和GdVO4之间.荧光光谱显示Yb:(Lu,Gd)VO4具有较大的半峰宽,荧光峰强度随掺杂浓度的加大而增强.采用该研究合成的多晶原料,通过提拉法生长出优质Yb:(Lu,Gd)VO4单晶.     

2012年鲁迅作品研究中的几个亮点

2012年鲁迅作品研究呈现出异彩纷呈、创意不断的局面.郜元宝、李冬木、李宗刚、汪卫东、吕周聚、彭小燕、莫言、张钊贻等皆对鲁迅小说发表了极为精彩的看法.王本朝、孙玉石、李玉明、张洁宇的《野草》研究皆可称得上别具一格.杂文研究中,汪晖、汪卫东、符杰祥的阐释极为精彩.蒋晖的《科学史教篇》研究,杨义、张洁宇的鲁迅诗歌研究,薛羽、姜异新的鲁迅翻译研究,叶淑穗、符杰祥的鲁迅手稿研究,郜元宝、钱理群的鲁迅作品整体研究,皆有其新颖独到之处.     

济阳坳陷桩海地区构造演化特征研究

目前济阳坳陷桩海地区已经发现桩西油田、五号桩油田和长堤油田,但是对该区的构造,尤其是对前第三系构造认识并不清晰.应用平衡剖面原理研究了该地区的构造特征和构造演化过程,并分析了该区构造与郯庐断裂带的关系.结果表明:①桩海地区构造演化可以大致划分为3个阶段,即前中生代整体升降阶段、中生代末期的挤压隆升阶段和新生代断陷—坳陷阶段;②郯庐断裂带的活动是桩海地区中生代以来构造运动的动力源,控制了本区构造特征和构造演化过程;③由郯庐断裂走滑所派生的旋转使桩海地区成为NW向构造带中挤压构造最发育的地区.     

当前高中生鲁迅小说阅读情况的调查分析

采用调查问卷的方式，从多方面对当前高中生鲁迅小说的阅读情况进行分析研究，分析结果表明：虽然高中生课堂内外的鲁迅小说阅读情况都不太理想，但他们对鲁迅小说并不反感；高中生主要通过课堂上老师的讲解来了解鲁迅，因此中学语文教师应该更多地关注鲁迅研究的最新进展，更加有意识地挖掘鲁迅作品的丰富意蕴，以帮助学生走近鲁迅，走进鲁迅的世界。     

略论旧体诗词中的“鲁迅”形象

题吟关于鲁迅的旧体诗词,是建构与研究鲁迅形象的一支重要力量。探索被忽视的旧体诗词中的鲁迅形象,可以丰富鲁迅研究。虽然书写鲁迅的旧体诗词很多,但鲜有杰构,原因不仅在于诗人的艺术功力,更在于诗人对鲁迅理解的深度。只有对鲁迅具有独特的理解才会创作出别具一格的诗词作品。     

Ce^3＋-Tb^3＋共掺的含NaLuF4纳米晶的氟氧化物微晶玻璃荧光的特性

采用传统的熔融淬冷法在空气气氛下成功制备了Ce^3＋-Tb^3＋共掺的含有新型立方相Na Lu F4纳米晶的微晶玻璃.通过XRD分析可知微晶玻璃中析出的是与立方相Na YF4同构的新型立方相Na Lu F4纳米晶.利用TEM观察到纳米晶粒均匀地分布在玻璃基质中,大小约为20 nm.利用荧光光谱及寿命曲线系统地研究了样品的荧光特性.在315 nm近紫外光激发下,通过有效的能量传递,在Ce^3＋-Tb^3＋共掺样品中不仅得到了Ce^3＋的近紫外光发射,还得到了Tb^3＋的黄绿光发射.另外,析晶之后,共掺样品的发光强度得到了增强,这可以归因于部分稀土离子进入到了析出的立方相Na Lu F4纳米晶中.研究结果表明,该微晶玻璃是一种优异的发光基质材料,在光电子领域中具有潜在的应用价值.     

钱理群的鲁迅研究思想述评

钱理群的鲁迅研究独具特色之处就在于,采取了“单位观念、意象”研究方法,对鲁迅文学世界中最具鲁迅个性色彩的单位观念、单位意象进行文本细读,把握鲁迅深邃复杂的精神与心灵世界。同时,在对鲁迅文化精神探寻中观照现实,对现实进行严峻而理性的反省,在对历史与现实的上下求索中,达到与鲁迅的精神与生命的感通与交融,凸现其“不合适宜”的启蒙主义文化立场与精神追求。     

鲁迅与唐传奇关系论

梳理了鲁迅辑佚的《唐宋传奇集》“发意匡正”的目的,以时间为先后顺序的编排体制以及鲁迅求真考信的治学精神;分析了鲁迅关于唐代传奇小说的文体渊源、创作动机和唐传奇对后世创作的影响,总结了鲁迅对唐传奇研究的贡献。同时,鲁迅的小说也深受唐传奇的影响,二者在意境上都追求诗意美,在语言上都力求简约传神,从中体现了鲁迅与唐传奇的诸多联结。     

苏州河底泥及河水生物毒性的研究

采用发光细菌、鱼类和小鼠急性毒性试验和大鼠亚急性毒性试验检测了苏州河底泥及河水的生物毒性。结果表明:苏州河各河段底泥和河水对淡水发光细菌青海弧菌Q67 (Vibrio qinghaiensis Q67)呈现出程度不等的急性毒性,其中市区河段毒性高于市郊河段,夏季毒性高于冬季,底泥毒性高于河水;野外现场鱼类急性毒性试验结果表明苏州河市区河段(长寿路桥和浙江路桥河段)水体对卿鱼具有较明显的急性毒性作用;小鼠急性毒性试验表明,北新径河段底泥浸出液存在一定的急性毒性;大鼠亚急性毒性试验表明,北新径河段底泥浸出液和河水可能对动物存在肝毒性.上述结果提示,目前苏州河尤其是市区河段水体总体上不利于生物生存。     

鲁迅与韩少功

韩少功是对鲁迅十分尊崇的作家之一。在乡土题材的小说创作中韩少功的“寻根”小说《爸爸爸》继续并扩展了鲁迅《阿Q正传》中对国民劣根性中存在的原始文化心态与思维模式的思考,并且在“启蒙母题”小说《马桥词典》中存在着鲁迅启蒙语言的双声话语特征;另外,韩少功的散文随笔对鲁迅杂文的思想和方法也有所继承。