相干逻辑的产生及评价

在概述"蕴涵怪论"与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改。认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景。然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑。     

分布式计算系统中逻辑时钟的研究

主要论述了逻辑时钟在调试分布式系统领域的应用。首先讨论了逻辑时钟方法及逻辑时钟的修改算法 ,然后介绍了自行研制的分布式 S4系统中逻辑时钟监控器模块的实现方法。     

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。     

PPTL模型检测器实现的一个关键技术

针对命题线性时序逻辑表达能力有限的问题,设计并开发了基于SPIN(Simple Promela interpreter)验证系统的命题投影时序逻辑(PPTL)模型检测器.将协议元语言(ProMeLa)描述的系统转换为系统自动机,将PPTL公式表达的性质转换为性质自动机,通过判定系统与性质自动机的积自动机接受的语言是否为空来判断系统是否满足性质.PPTL模型检测器修改了SPIN的匹配机制,从而改进了验证算法,使得PPTL模型检测器支持有穷和无穷模型的验证.实验结果表明,该模型检测器可以减少无效验证产生的无效迹数目,有效地实现PPTL模型检测.     

华能临河热电厂FSSS、SCS、DEH系统逻辑设计修改问题的探讨

本文重点介绍了华能北方联合电力临河热电厂FSSS、SCS、DEH系统部分逻辑修改原因和改进方法,另外分析提出FSSS、SCS、DEH系统逻辑还需修改和完善的问题。     

系统中配置手册：ISC设计者导引

可编程逻辑不但可以减少随机逻辑、状态机和系统接口对于板上空间的需求，还可以减少设计周期、简化后期的调试修改，因此，它正在急速的改变着电子系统的设计图景。同时，可编程逻辑也使得工程师有根大的自由度来尝试新的模型和思想。     

基于74LS161的扭环形计数器自启动设计

为探索MSI( Medium Scale Integrated circuit)可编程计数器进行非常规使用改变应用方向的逻辑修改技术,探讨了基于74LS161的扭环形计数器自启动没计问题,提出了MSI可编程计数器改变应用方向的逻辑修改方法.通过对可编程计数器74LS161的状态输出进行逻辑修改改变计数规律,将状态输出反...     

Andrew Secure RPC协议的一种组合分析方法

逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。     

一种用CPLD实现的CPFSK调制解调器

给出了一种用VHDL语言设计CPFSK调制解调器的方法.详细叙述了其工作原理及设计思想,并用可编程逻辑器件CPLD予以实现.另外给出了程序设计和仿真波形,还介绍了调制解调器的数据传输速率和载波频率的修改方法.     

一种用CPLD实现的2DPSK调制解调器

给出了一种用VHDL语言设计2DPSK调制解调器的方法.详细叙述了其工作原理及设计思想,并用复杂可编程逻辑器件CPLD予以实现.另外给出了程序设计和仿真波形,介绍了调制解调器的数据传输速率和载波频率的修改方法.     

文献检索课互动—目标型教学模式探析

介绍了互动—目标型教学模式的构建与操作程序,探讨了互动—目标性模式所需要的环境因素,分析了互动—目标性模式的局限性,阐述了互动—目标型教学模式对文检课的作用。     

混沌理论在"价格钉"预测中的应用

“价格钉”是电能价格随时间变化过程中出现的一种波动现象。对“价格钉”形成的机理、影响因素及表现形式进行了研究,在分析其产生原因的基础上,利用负荷和电价之间的相关性,提出了一种基于混沌理论和神经网络的电价预测模型,并对其进行了改进。模型分析及实际算例表明,该模型可大大减少网络的训练次数,提高预测精度。     

“模糊控制”模型在农业预测中的应用

本文将预测过程模拟成一个“模糊控制系统”,以预测因子作为系统的输入,预测量作为系统的输入。根据历史资料确定系统的特性,建立模糊控制预测模型;然后,在一定输入条件下,通过预测模型,即可求得预测输出。这一模型本质上属语言控制模型,无需知道输入量与输出量之间函数关系,与经典的数学模型相比更具有广泛的适应性。文中用某地1980－1987年棉花烂铃病流行趋势资料为实例建立模型,对1998－1991年的棉花烂铃病流行趋势进行预测,收到了良好的效果。     

测控技术中含有"X"值的验证

利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.     

文化力是"万里"跨跃式、可持续发展的重要保证

文章在理论上探讨文化和“文化力”含义的前提下,用文化力因素、文化力资源、文化力整合、培育和提升这些新概念,论述了万里现象产生的成因,万里模式的关键要素和万里可持续发展的重要保证,并指出万里文化力的培育和提升是历史赋予万里人的神圣使命。     

论实际生活中的一个“囚徒困境”问题

利用"囚徒困境"博弈对现实生活中的一个困境进行了分析,提出了相应的解决方案,并利用此模型分析了我国的"包产到户"政策.     

中学英语"目标导学"模式初探

本文论述了中学英语"目标导学"模式的理论基础及特点,阐明了"目标导学"模式中的各项具体目标,并简要介绍了"目标导学"模式的实施程序.     

CDIO在高职《模拟电子》课程教学中的应用

通过分析传统课程《模拟电子》教学中存在的问题,阐述基于CDIO工程教育模式的《模拟电子》技术授课体系,采用灵活的课程架构,基于过程的考核方法,培养了学生工程职业素质、团队协作精神,在教学质量上取得了较好的成效。     

九年义务教育数学教学大纲中的“再创造”思想

本文分折了弗赖登塔尔“再创造”教学原则在我国九年义务教育数学教学大纲中的体现。阐述了九年义务教育数学教学大纲中蕴涵的“再创造”教学模式,并预示了这一模式的前景。     

荒诞的实质荒诞的现象--兼谈《等待戈多》与《车站》

荒诞派戏剧是世界文坛的一个重要组成部分,它以其独特的艺术形式赢得了不朽的文学地位.我国在20世纪80年代大规模借鉴西方现代主义思潮的过程中同样出现了具有荒诞形式的戏剧样式,那么,这种荒诞的戏剧样式与真正意义的荒诞戏剧的差别何在?运用比较的方法结合代表作品来初步探究了两者的差别.