从人性作秀到“存在意义的失落”——《儒林外史》中的匡超人形象分析

匡超人人物性格的形成及转变,一方面是受社会环境的影响,另一方面又有其自身的因素。对“功名富贵”的追求是匡超人转变的首要内因。当尽孝与科举功名道路发生冲突时,匡超人选择的是利己原则,这是理解匡超人这个人物变质的关键,也是这个典型人物的总特征。过人的精力、智力和外“乖”内“韧”的性格是匡超人变质的又一重要内因。未发迹的他已初露势利之心。匡超人自身的内因和外因交互作用,才形成匡超人这个典型人物,他的变质堕落不仅是他个人的悲剧,而且更具有社会性和时代性。     

eDRAM高速读写和紧凑式电荷转移刷新方案

提出了一种采用逻辑工艺、访存速度优化、降低刷新功耗的动态随机存储器（DRAM）,使其在嵌入式系统的设计与制造中易于与高性能逻辑电路融合.采用读写前置放大的高速读写方案,使DRAM读写速度得到了优化;采用紧凑式电荷转移刷新替代传统刷新方案,在降低了刷新功耗的同时,缩短了DRAM的刷新时间开销,提高了DRAM的数据可访问性...     

基于Spring的政务系统通用框架

采用spring框架整合Ajax和Hibernate,构建一个基于政务系统开发的通用框架·该框架分离了系统中的数据逻辑、业务逻辑和表现逻辑,使开发者把更多精力放在业务逻辑和用户界面的实现上,从而提高开发效率,节约开发成本.     

粗糙集理论及其在智能控制领域的应用前景

简要阐述了粗糙集理论的基本框架,介绍了粗糙集理论在智能控制中的发展趋势,指出它在智能控制领域的理论与应用研究已成为当前该理论的研究热点;重点介绍了它与模糊、神经网络等软件计算方法的融合,这种融合将极大地提高混合智能控制系统的机器智商。     

并联式液压混合动力车辆能量控制策略

阐述了并联式液压混合动力车辆的结构原理,论述了液压再生系统的选型.为使并联式液压混合动力系统各部件之间协调工作以提高整车性能,针对液压混合动力系统各部件的工作特点,以发动机效率曲线和液压泵/马达效率曲线为主要依据,设计了基于逻辑门限的能量控制策略,实时地控制混合动力系统的能量分配,实现混合动力系统的不同工作模式及模式间的动态切换.分析了功率门限值、充压功率等参数对能量控制策略的影响,以系统节能效果最佳为原则优化出最佳参数的设定值.仿真研究表明,基于逻辑门限的能量控制策略能够实现各种工作模式间的合理切换,在满足车辆动力性能指标的前提下,有效地提高车辆的燃油经济性.     

科学创造美好生活

正科学是人类认识和探索自然的实践活动,是通过客观的实验、试验及理性的分析、归纳,经过严密的逻辑论证或反复的实践检验,揭示、发现及积累、运用关于客观世界各种事物的本质及运动规律的理论化、系统化的知识体系。科学具有理性客观、可证伪、普遍必然性等特性,已成为一种日益强盛的     

UML 2.0的形式化语义研究

由于UML 2.0动态视图缺乏精确的语义,难以对它所表示的系统进行分析和验证.基于此,在描述UML 2.0顺序图和状态图语法和语法约束的基础上,采用可执行的线性时序逻辑语言XYZ/E定义其形式化语义,这样不仅便于UML 2.0顺序图和状态图之间的模型转换,也为使用UML和形式化方法相结合描述软件体系结构的交互行为奠定了基础.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

周易象数算法与象数逻辑——中国文化之根探源的新视角

中西方具有不同的思维方式.表达中国的"象思维"只能是"象语言","象语言"的逻辑不是形式逻辑,而是"象数逻辑"."象数逻辑"通过"取象去形",以"无形之象"追摹自然变化之序而创立推演体系,包括比类推理与太极推理两大推理法则,且深涵价值底蕴.中国"象数逻辑"较之西方形式逻辑与辩证法,更具本原性,内涵更丰富,包容性更大,其以"象数算法"为基础,但蕴涵其中,并未分化成为独立学科.而中国古代数学本为体用不二之完整体系,洛书、周易之"象数算法"与中国古代数学之"机械化算法体系"一脉相承.吴文俊对中国古代数学的继承创新,不仅对人类数学史,对当今数学发展意义重大,而且也为今天创建现代的中国语言学、逻辑学,为中国科学的自主创新提供了重要的思想与方法论启示.     

基于FPGA的汉字点阵显示系统设计

利用可编程逻辑器件设计了一个16×16的LED点阵显示系统,通过设计VHDL程序从EEPROM(AT28C64)中取出相应的汉字代码,经过FPGA处理后,送给LED点阵显示,在相应电路控制下,能够变换不同的汉字。具有广泛的应用价值。