SGARP中符号计算模块的实现及其应用

可持续发展的几何自动推理平台(sustainable geometry automated reasoning platform,SGARP)支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则,以发展多种多样基于规则的机器自动推理或人机交互推理方法.为进一步提高SGARP的推理能力和扩展其适用范围,提出一种在SGARP中实现符号计算功能的快捷方法,并成功添加了质点法和解析法推理模块.质点法可证明希尔伯特交点类几何命题,解析法能用于辅助证明各种类型有一定难度的几何定理,如著名的Thebault定理.对这两种方法用基于Web的机器证明测试用的几何问题库(thousands of geometric problems for geometric theorem provers,TGTP)中180道几何题进行评估,均在合理时间内给出令人满意的可读机器证明,表明升级后的SGARP能更好地满足用户学习与发展几何机器推理的需求.     

学科竞赛与开放实验室相结合的卓越网络人才培养途径研究

结合网络工程专业建设的实际,从转换教育观念、加强实验室建设、丰富网络课程教学内涵及采取的配套措施等方面,阐述网络工程学科竞赛团队组织的特点、管理方式及其成效,力求在网络工程专业培养工程型高素质人才方面探索出一条新路。     

以学习者为中心的网络课程资源建设研究

网络课程资源作为信息技术与教育教学深度融合的产物,是教育信息化建设核心内容之一。网络课程资源建设如何体现以学习者为中心,满足每个学习者个性化的需求是当前网络课程资源建设研究的重点。本文以高校网络精品课程建设为例,分析了当前网络课程资源建设存在的一些问题,并提出了解决这些问题的方法,探讨了网络课程资源的建设的途径与建设方案。     

云计算在教育领域的应用初探

云计算被视为"第三次IT革命",是分布式处理、并行处理和网格计算的发展,是下一代互联网的发展趋势。其低成本、海量存储和强大计算能力在教育领域产生积极影响。该文在云计算和其特点服务简要介绍的基础上,重点分析了云计算在教育领域的应用以及教育云平台的架构。     

高精度AOA分簇定位算法

如今的网络安全主要联系于无线传感网络,定位算法的优劣决定了无线传感网络的能力,也就决定了网络安全的能力。分簇定位算法具有能量效率高、可扩展性好、简单可行的优点,但是分簇算法属于一种模糊定位算法,不具有较高的精度。此外,分簇算法的簇首替换如果在全局范围内进行选择,很容易造成高消耗。AOA（angle of arrival）算法在复杂环境中具有精确的定位能力。文章通过运用AOA测距算法,使分簇算法的每个节点具有自探测能力,通过节点相对夹角,用坐标算法算出相应于簇首的坐标。为了让能量消耗低于普通分簇算法,文章根据完全图中能量有效原理,让分簇只在初始时进行一次,在每个簇内无簇首或能量低时,对簇首进行重选举,再将信息发送给总簇。Matlab仿真实验表明,文章算法实现了range-based的分簇定位算法,且保留了快速部署、能量效率高、高精度的优点。根据实验,文章算法适用于不松散部署的无线传感网络。     

手机通话记录智能处理APP软件设计

文章主要是对手机上的通话记录数据进行分类处理,根据来电或者拨出电话的通话时长,通话间隔,通话次数等信息对通话记录进行分析,并对手机用户对通话记录的常用操作进行追踪,对其操作方法与通话类别进行分析,获得手机用户对不同通话的操作习惯,根据上述智能分析结果,使用AlarmManager服务定期提醒手机用户对不同通话进行不同操作整理,释放存储空间,使手机不因长期使用而速度变慢,同时使通话记录中永远将最重要和最紧急的通话记录保留在最前面,使用户在紧急和危险情况下可以快速找到联系电话.本软件为不同的手机用户实现了通话记录的个性化定制处理功能.     

“以学生为主体”网络教学平台的设计与应用

为了开发适合本校学生学习风格的网络教学平台,在现行学习平台的基础上,提出一种“以学生为主体”的网络教学平台的改进方案,并进一步探讨改进后的网络教学平台在教学中的应用。     

基于深度卷积神经网络的跨年龄人脸识别

提出了一种应用于跨年龄人脸识别的联合学习方法,该方法由深度卷积神经网络构建而成,能在特征学习的同时学习到最优的测度函数,从而避免不合适的固定阈值所带来的匹配错误.针对有限的内存、过拟合和计算复杂性高的问题,在模型训练过程中采用了多种新颖和有效的训练策略.实验证实了该联合学习方法的有效性,在公开数据库MORPH-II上的识别正确率达到了93.6％.     

中小企业非银信用信息服务系统的研究与实现

为解决在当前中小企业融资过程中存在信息不对称的问题,在基于广州市中小企业投融资公共服务平台的基础上,通过应用互联网技术、加密技术,设计企业信用评估模型,采集反映企业信誉和历史信用状况的信息,为金融机构和企业提供企业非银信用信息服务,架起沟通合作的桥梁。     

无线传感器网络基于参数可调增强型覆盖控制算法

覆盖问题是无线传感器网络领域的一个基本问题,也是无线传感器网络特性当中的一个重点问题.如何通过某种算法达到以最少传感器节点对监测区域的有效覆盖已成为目前研究的一项重要课题.因此,提出一种增强型覆盖控制算法(Enhanced Coverage Control Algorithm, ECCA).该算法通过概率理论知识可以有效地求解出对监测区域进行有效覆盖下的最少节点,给出了传感器节点概率的期望值计算方法以及目标节点首次被传感器节点覆盖和多次覆盖后的期望值求解过程,验证随机变量相互之间不独立时的比例函数关系.仿真结果表明,ECCA算法可以使用较少的传感器节点数量完成对监测区域的有效覆盖,提高了对监测区域的覆盖质量.