极限

极限是高等数学的理论基础,用它定义了微积分的基本概念,因此说极限是步入高等数学殿堂的门槛.从中学到大学,很多学生都感到学习高等数学的不适应性.欲尽快适应,需认识数学的特点和极限的本质,同时要解决两个问题:一是学习方法的转变,二是思维方式的转变.     

冗余系统费用模型及优化

根据冗余设计的不同形式 ,在Tillman并联系统费用模型的基础上引入了系统功能指标 ,并将其推广至其它形式的冗余系统 ,从而得到了一个较为完整的冗余系统费用模型。在此基础上 ,建立了用于优化并串联冗余系统设计的非线性混合整数规划模型 ,分别使用了模式搜索与启发式算法的组合算法以及遗传算法对其进行求解 ,着重讨论了两种方法的实现关键及各自的优劣。最后 ,经计算比较 ,提出了遗传算法与模式搜索、启发式算法相结合的求解方法 ,并说明了该方法的有效性。     

Petri网建模工具的面向对象设计

Petri网建模环境的开发有利于Petri网应用理论的验证和实现。介绍一个Petri网建模工具的面向对象设计方法 ,并且主要给出了该建模工具的结构组成、建模工具条、Petri网图形元素的构造方法以及Petri网点火机制的计算机实现方法。成果为基于Petri网的系统分析方法的研究提供了一个灵活可用的辅助工具。     

论思维的复杂系统模型暨新一代专家系统的设想

在复杂系统研究思想指导下,构建了基于神经元网络结构的复杂系统思维模型,提出以网络节点表示概念,以网络连接表示命题,以网络回路实现知识表达,以网络节点间的时空动力学激发实现演绎推理等思维活动的理论新框架,并以此为基础对新一代专家系统进行了设计。     

从未来学角度探讨大学英语教学改革

思考问题和观察问题应该提倡多维度,试图从未来学的角度用逆向思维方法分析当前大学英语教学改革的情况以及前景,寻找符合我国国情的大学英语教学改革之路.     

基于贝叶斯网络的中医辨证系统

将贝叶斯网络运用于中医辨证系统的研究,以更加量化中医辨证诊断系统.通过将中医体系中的916个证候,51项证素及其构成的1700条证名构成中医辨证贝叶斯网络的节点集,初步建立起中医辨证数据库并通过网络学习,形成中医辨证贝叶斯网络结构及概率表.利用建立的贝叶斯网络中医辨证系统,进行数据计量分析、推理验证证候—证素—证名间的关系,其结果与中医专家经验有很高的吻合性,尽管其仍未能全面反映中医辨证的思维能力.所以贝叶斯网络是对中医辨证进行信息挖掘处理的一种较好方法,可应用于中医人工智能辨证系统的建立.     

一类混合单调算子方程组解的存在和唯一性定理

利用锥与半序理论和迭代技巧,给出了具有凹凸性但不具有任何连续性和紧性条件的混合单调算子方程组的解的存在唯一性定理,所得结果拓展了文献[1]中的混合单调算子方程的相应结果。     

加强党的先进性建设的思考

马克思主义政党历来高度重视党的先进性建设。在新的历史时期,我们党明确提出“党的先进性建设”这一重要命题,这是对马克思主义党建理论的重大创新。加强党的先进性建设是构建社会主义和谐社会的重要保证,而保持共产党员的先进性则是加强党的先进性的根本途径。     

A356.2铝合金生产过程中的设备管理效益

介绍了在当前铝加工行业较为困难的情况下,A356.2铝合金生产线的设备选型,提出了几种创造效益的新思路,论证了设备管理不再是狭义上的设备技术管理,而是更广义的生产力管理.设备管理需根据市场经济要求,不仅为生产服务,更要为提高企业的经济效益服务,为提高产品质量、降低能耗、控制污染、减少成本和占领市场服务.     

形象思维在医学英语术语命名中的应用

形象思维在医学英语术语的命名中发挥着重要的作用。借助植物、动物、自然现象、物品、古希腊罗马神话中的人物形象对医学英语术语进行命名,可以增加医学英语术语的美感、趣味性和准确性,利于理解和记忆。