基于规则的分类命名专家系统的研究

介绍了基于规则的分类命名专家系统，以及分类命名专家系统的基本结构、功能和知识表示方法，详述了系统所采用的基于多又判定树的推理机制。     

基于主动学习策略的软件测试教学方法初探

软件测试课程作为软件工程专业高年级必修课,传统的教学方法已不能有效地展开教学。文章提出基于主动学习策略的软件测试教学方法,将主动学习策略应用到软件测试课程中,说明实施主动学习策略对教师和学生的要求,并介绍一些有效的主动学习活动。调研结果表明采用主动学习策略比传统教学方法有效,学生能够较好地掌握软件测试技能。     

基于蒙特卡罗方法的矩形布局问题研究

根据蒙特卡罗方法产生的随机步长,控制矩形在布局空间中移动.矩形移动时,自动满足边界约束条件,简化了矩形可行域边界的计算过程.结合定位函数,得到的可行域可用于完成矩形的布局.测试结果表明,使用该方法求解矩形布局问题,布局空间90％以上被矩形占据.     

环境荷载联合作用下海上风电结构动力响应分析

为研究海上风电结构在复杂的海洋环境中承受环境荷载(风、波、冰、流)的联合作用时,结构产生的剧烈的动力响应问题。文章以三脚架基础海上风电结构为研究对象,采用ANSYS有限元软件建立其整体模型并进行荷载(风、波、流和风、冰、流)联合作用下的静力校核,通过对环境荷载联合作用下的三脚架基础海上风电结构进行瞬态分析,掌握其动力响应的特性及规律。结果表明:三脚架基础结构的一、二阶自振频率均为0.285Hz,在所选风机允许的频率范围内,可以保证整体结构不会与风机转动发生共振;风荷载在风、波、流荷载联合作用下主导控制结构响应的稳态波动,冰荷载在风、冰、流荷载联合作用下主导控制结构的稳态振动过程;塔筒顶端呈现的位移和加速度响应均远大于三脚架基础顶端;环境荷载联合作用下结构动力响应是环境荷载单独作用下动力响应叠加的结果。     

浅谈绝热材料珠光砂含水量测定的重要性

介绍了珠光砂含水量对真空绝热的影响，并介绍了测定绝热介质材料珠光砂中含水量的重要性及其水量测定的方法。     

成人教育计算机类课程教学教法研究

计算机的应用活动十分广泛,内部课程的设置也比较多样,在成人教育计划方案中占据着十分重要的位置。涉及普遍的高等技术课程,主要针对计算机编程规范进行调整。但由于成人教育活动的特殊性质,以及函授教学现状的影响,必须配合长期管理工作的实践经验进行模式调整,保证相关建议的合理参考价值。     

数据起源技术发展研究综述*

在总结国内外相关文献基础上,系统介绍了数据起源的概念、内容及其主要应用,介绍了数据起源的基础研究和开放环境下两个典型的形式化模型,然后介绍了其在数据库和工作流及其他领域的应用,对现有成熟的起源管理系统进行了分析和比较,最后展望了数据起源技术的发展方向。     

基于相似性搜索的水利普查数据融合

针对第一次全国水利普查数据融合存在的问题,提出自适应编辑距离相似性度量,通过调整编辑操作权重及启发式学习权重等措施,对传统的编辑距离进行改进,提高相似性搜索的准确性,并给出基于编辑距离的水利普查数据融合的方法和流程,算法的有效性在第一次全国水利普查数据处理中得到验证。     

基于正则表达式、程序插桩和代码替换的以太坊智能合约bug检测和修复方法

作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合约,因此对于开发人员而言,在部署合约前修复合约中的bug至关重要.当前研究人员已经提出了许多智能合约分析工具,用于检测合约中的bug.这些工具要么使用基于以太坊虚拟机字节码的符号执行来检测bug,要么将源代码转换为中间表示形式后再检测bug.然而,基于符号执行的工具通常无法覆盖合约中的大部分bug;将源代码转换为中间表示形式会对检测速度产生负面影响.此外,现有的工具都只能检测bug,而无法根据检测结果自动修复bug.为了解除以上限制,提出了一种名为SolidityCheck的方法,该方法通过使用正则表达式、程序插桩和语句替换等技术,实现快速检测合约中的bug并自动修复其中某些种类bug的目的.文中进行了 一系列实验来评估SolidityCheck,实验结果表明,与现有方法相比,SolidityCheck在多个指标上显示出了优异的性能.     

高等院校计算机教育与改革浅析

1.1高校计算机教学的内容比较陈旧,社会需求严重脱节我国高校计算机课程教学内容陈旧,实践性较差,教学内容的理论已经不再适用于计算机领域的不断更新,使得学生学习的知识可以应用到实际工作中是非常稀缺的,许多高校缺乏计算机教学的必要性,安排教学内容过于理论化,目前我国计算机领域的更新周期很短,不仅造成了教育资源的浪费,也增加了单位的工作量,计算机软件系统和硬件设施的淘汰率很高,没有社会的实际需要考虑和工作实际需要,高校计算机教学和社会存在严重脱节。