一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

借鉴生物免疫的网络安全研究

生物信息处理系统大致可分为四个子系统,即脑神经系统,遗传系统,免疫系统和内分泌系统。生物的这些智能信息处理系统具有高度的自组织、自适应和自学习能力。其中,相应于脑神经系统和遗传系统,已分别提出了人工神经网络和遗传算法等工程模型,并在很多领域得到成功应用。基于内分泌系统和免疫系统的工程模型和算法则正处于研究之中。 网络安全是计算机网络及其应用领域中一直在研究的关键问题。对于发展网络和电子商务,保证专用的金融网、政府网和军事网的安全运行具     

谈英语阅读中捷效寻读教学及能力的培养

根据对一些学生的日常阅读情况的观察和阅读理论最新的研究成果 ,以及心理学的相关理论的分析 ,提出应该加强捷效寻读技能的教学 ,从理论和实践上提出了相应的方法。     

监舍外墙内侧墙面霉斑的处理方法

<正> 由于新疆冬季寒冷,气温低,室内外温差大,房屋建筑外墙、拐角处(构造柱位置)普遍存在容易形成结露和霉斑等现象。特别是看守所监舍建筑更为突出,由于室内相应居住人员多、湿度大,通风换气量小,在监舍内墙面上往往会形成大面积的结露,在冬季供暖期间(室内平均温度可达18℃以上时),内墙面上逐渐呈霉点直致蔓延到房间的整个内墙面,甚至出现部分内墙面粉抹层膨胀、开裂、脱落的现象,针对这种情况,通过现场实地观察,我们从两方面入手,一是采取提高暖气温度,二是加大通风换气措施,这样实施一段情况后,收效甚微,经过分析,我们认为,由于监舍的自身的使用特点,室内湿度大,而进入冬季室内外温差较大,极易在内墙面上聚生霉斑,虽然我们采取了以上措施,未阻止霉斑的产生,只能说明墙体保温是应重点解决的问题。     

八大路线中断的原因分析

从八大路线本身的不足及制订仓促、国际国内形势的影响、政治体制的弊端等三个角度对八大路线中断的原因做了分析和探讨。这对我们今天坚持有中国特色社会主义初级阶段的基本路线，具有重要意义。     

活动网络在随机约束下的关键路线问题

本文研究了活动网络的随机约束规划模型及其确定性等阶线性模型, 求解在最小概率水平下的随机周期和关键路线。由此给出不同特征网络确定关键路线的准则, 并揭示PERT/CPM算法存在重大误差的原因。     

优化初中数学教学方法的探讨

教学效果的好坏，关键在于对方法的合理选择和准确运用。因此，本文结合我们的教学实践，就优化初中数学教学方法谈点初浅的看法和体会。     

土坝剖面基本尺寸的拟定

根据土坝的特点,提出土坝剖面基本尺寸的拟定方案。     

散货船分轮装卸最佳方案的确定

为保证散货船的船舶强度在装卸过程中不受过度疲劳的损伤，提出一种确定分轮装卸最佳方案的方法，它是通过对船舶强度在装卸过程中变化的“单调性”、“平稳性”、“均匀性”的依次综合判断来实现的．实例计算的结果表明方法中选用的参数能真实地反映强度变化的特点，此方法可行，为解决散货船装卸过程中船体结构的疲劳损伤问题提供了新的依据．