逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

中外零售业之比较

连锁超市的迅速发展 ,是我国商业零售业发展的新亮点。然而 ,与国外发达国家的零售业相比 ,我们在经营理念、技术设备及管理与价格等方面 ,还存在较大的差距。必须加强宏观引导 ,走规模化经营之路 ,促进我国零售业的健康发展。     

内开槽螺纹波导冷腔色散特性模拟研究

根据螺纹波导中模式间的耦合方程组及冷腔色散方程进行了数值计算,分析了2个模式的相互耦合机理。基于圆柱形波导中线性极化TE11模式存在极化简并的特性,将线极化TE11脉冲作为1个探针,采用粒子模拟软件对该腔体进行了3维冷腔模拟;并将模拟结果与数值计算结果进行了比较,两者基本一致。通过计算机模拟得出了混合模式的电场等位线分布图,结合色散方程数值计算分析了内开槽螺纹几何特性变化对波导色散特性的影响规律。     

高校实验室投资效益浅谈

探讨了目前高校实验室管理体制存在的问题,提出了提高实验室投资效益的制度和措施.     

走"产学研"结合道路大力开展横向科研工作

对从事横向科研的重要性和可能性及其前景进行了分析,结合学校若干横向科研项目成功实例,提出了承担和完成更多横向科研项目应该注意的几个问题.     

小康社会理论是对我国国情的再认识

只有对我国国情有个清醒的认识,才能制定出正确的路线、方针和政策.小康社会理论正是对我国基本国情的再认识.     

鲁迅与近代翻译

鲁迅在继承和借鉴中国近代翻译成就的基础上,取得了骄人的翻译成就。他致力于翻译外国优秀的作品以期能引进文明,改造社会,并形成了自己独特的翻译思想、翻译原则和翻译风格。     

评价会计质量的属性数学模型

会计工作是经济管理工作的重要基础,会计质量的高低,直接关系到经济发展和改革的顺利进行.商品经济越发展,会计越重要,而会计工作必须以质量求生存、以质量求发展、以质量求效益.因此,如何评价会计质量进而提高会计质量已成为当今非常重要的研究课题.本文给出了评价会计质量的属性数学模型.     

VaR与CVaR在投资组合中的应用及对比分析

VaR(在险价值)理论是当今国际上比较成熟的分析和度量风险的理论,在世界范围内得到广泛应用,但在对风险分布函数的度量中,却常常忽视对函数尾部特殊值(即超出VaR预测值的实际发生值)的分析和计量,从而影响到风险评估的准确性.本文分析了VaR的缺陷,介绍了在其基础上发展并完善起来的CVaR(条件VarR)分析的优点,并构筑投资组合对二者的差别进行了分析.     

教学方法的多向度变革——《马克思主义基本原理概论》新教材教学法的研究与实践

为了创造性地贯彻《马克思主义基本原理概论》新教材的精神，课程组制定了“共性中创个性”的教学战略，在坚持共性、弘扬共性的基础上创造个性化教学特色，创造出了“坚持集体备课，鼓励多样化教学”的教学模式。