离散数学数理逻辑教学中值得关注的几个问题

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。     

文本分类中一种混合型特征降维方法

提出一种基于特征选择和特征抽取的混合型文本特征降维方法,分析基于选择和抽取的特征降维方法各自的特点,借助特征项的类别分布差异信息对特征集进行初步选择。使用一种新的基于PCA的特征抽取方法对剩余特征集进行二次抽取,在最大限度减少信息损失的前提下实现了文本特征的有效降维。对文本的分类实验结果表明,该特征降维方法具有良好的分类效果。     

功能原理在纤维封层沥青胶浆配合比中的应用

针对纤维封层配合比的控制主要依靠经验法的问题,根据功能原理从理论上分析纤维封层材料配合比参数设计。通过粘附功、应变能、热能损耗的计算,从4种纤维中选择性能最优的作为封层纤维;同时提出破裂面的概念,得到纤维用量与乳化沥青用量的比例关系;进一步讨论了纤维长度与封层性能的关系。结果表明:复合改性玻璃纤维D最适合用于纤维封层;同时D纤维的破裂半径为0.83mm,理论纤维、乳化沥青用量比例为1∶11.919;计算理论纤维长度为72mm。     

三峡右岸电站活动导叶刚强度计算

利用结构分析软件ANSYS,通过对三峡活动导叶进行三雏进行数值模拟,得到总体Von.Mises应力分布,瓣体Von.Mises应力分布和变形分布,通过对其分析,揭示了其紧急停机和剪断销破坏工况活动导叶的应力分布比较均匀,最大轴向应力和最大剪应力都出现在导叶瓣体与枢轴的交接处现象,对活动导叶的制造和检修提供确实的物理信息.     

基于阴性选择的网络蠕虫抑制模型

基于免疫系统的阴性选择机制,提出一种网络蠕虫抑制模型。通过主机的程序行为异常,检测蠕虫攻击并及时响应,允许主机进行大部分的正常网络通信,防止蠕虫通过主机继续传播。主机发出基于阴性选择过滤的网络服务请求,依据蠕虫的传播特征,网络主机之间相互协同,推断蠕虫所攻击的服务并进行限制。实验结果表明,该模型能有效检测并抑制传统蠕虫及拓扑蠕虫等传播隐秘的新型蠕虫。     

BIM技术在中职建筑施工教学课程中的应用

BIM技术又称建筑模型技术,是一类在建筑工程内进行数据化管理的技术,工程项目中上至设计、下至项目终结,全部信息皆可利用BIM技术汇总于三维模型的信息数据库中,一来方便决策管理层及股东"监工",二来也可简化工程工作,基于其便捷性,目前该技术已广泛应用于建筑行业,同时亦成为了诸多中职、高职院校在对建筑行业专业教学时必备的工...     

《中国眼镜科技杂志》精彩亮相2014刊博会

正本刊讯(记者王元元)2014中国(武汉)期刊交易博览会(以下简称"刊博会")于9月18日在武汉国际会展中心盛大启幕,湖北省委副书记、省长王国生致辞,全国政协副主席何厚铧出席并宣布开幕。刊博会经国家新闻出版广电总局批准,由国家新闻出版广电总局、湖北省人民政府、中国邮政集团公司、武汉市人民政府联合指导,是中国唯一一个国家级、国际化、综合性期刊交易博览会。本届刊博会为期4天,以"市场决定期刊业发展"和"创新传播、融合发展"为主题,旨在聚焦期刊业生存状况分析,探讨未来期刊的发展之道。据了解,本届刊博会共有43个国家和地区、国内31个省区市及部分中直单位的12000多家报刊出版单位、400多家图书音像出版机构参展,现     

非滥用合同签署协议的研究

非滥用性是合同签署协议提出的新的安全需求,人们对它的描述还模糊不明。利用交互式定理证明器Isabelle/HOL推导了“TTP的aborted仲裁”与“失败的合同签约”的不等价关系,提出了“合同签约失败”的形式定义,提出了一个新的非滥用性的形式化描述,验证了BW多方合同签署协议的非滥用性。     

基础化学实验独立设课考核体系的改革与实践

根据工科大学基础化学实验课程体系及实验考核模式的改革,对基础化学课内实验传统考核方式弊端的分析,建立起实验独立设课考核新体系。以全面衡量学生独立思考、创新意识、动手能力的综合素质,提高学生对实验学习兴趣为目的,结合在实验教学中的实践和研究,提出了实验考核评估指标体系,促进了教与学,科学评价学生的学习成绩,收到良好的效果。