基于云计算的数据库精品资源共享课建设

针对目前高校计算机专业精品课程建设中存在的一些问题,本文在分析了云计算的原理及关键技术的基础上,提出一个基于云计算的精品资源共享课平台框架,然后以相关省数据库精品课程为例阐述利用云计算进行课程共享设计与实施的方法及步骤,从而提高精品课程共享的质量和效率。     

基于时间自动机的实时系统建模及验证

实时系统必须在一个事先定义好的时间限制内对来自外部或内部的事件进行响应,如何有效验证实时模型的正确性和安全性是一个难点.文章通过多个时间自动机来模拟实时系统中的各个对象,并用UPPAAL对模型进行验证,减少了模型验证的状态搜索空间,为实时嵌入式系统开发和验证提供了一种可行、安全的控制机制.实验结果显示了系统的有效性.     

Web Services 技术在物流上的应用

由于物流软件与企业ERP软件间平台、语言等差异，影响了信息资源的有效融合，而采用Web Services可有效解决此问题。通过在Pocket PC（客户端）上远程调用Web Services发布的接口函数，实现与服务器端信息交互的例子，阐述了Web Services技术在物流上的应用过程。     

大数据背景下的课程思政建设研究——以数字图像处理课程为例

本文以数字图像处理研究生课程为例,结合大数据背景下的数字经济发展现状,开展课程思政建设研究,提出在研究生课程教学中融入“红船精神”的培养模式,并从课程思政元素挖掘和教学设计方面探讨思政教育和专业知识二者相互结合的教学方法,进而培养研究生的学术创新能力,强化学术道德准则和行为规范,达到思政教育立德树人的目标。     

基于输出不一致测度的极限学习机集成的基因表达数据分类

选择性集成学习已经成为分析基因表达数据、获取生物学信息的有力工具.为了更好地挖掘基因表达数据,利用极限学习机的集成,克服单个ELM用于数据分类时性能欠稳定的缺点,文中提出了一种基于输出不一致测度的ELM相异性集成算法(D-D-ELM).算法首先以输出不一致测度为标准对多个ELM模型进行相异性判断,其次根据ELM的平均分类精度剔除掉相应的模型,最后对筛选后的分类模型用多数投票法进行集成.算法被运用到Breast、Leukemia、Colon、Heart基因表达数据上,并通过理论和实验得到验证.实验结果的统计学分析表明D-D-ELM能够以更少的模型数量达到较稳定的分类精度.     

结合Sobel算子和Mask R-CNN的肺结节分割

肺癌不断威胁着人类健康,计算机辅助诊断对肺癌诊断将发挥重要的作用.卷积神经网络(CNNs)在对图像的处理上表现出有目共睹的优秀性能,医学Computed Tomography(CT)图像是用来诊断肺癌的主要检查方式,用深度学习分割病灶的方法可以实现端对端的辅助诊断,这将节省医生的诊断时间,为患者争取最佳治疗时间.LIDC-IDRI(The Lung Image Database Consortium)数据集影像中的癌症部分与其他组织部分的放射密度十分接近,而且往往癌症部分非常小,背景具有非常强的相似性.本文使用传统的Sobel算子对图像中放射密度高的部分进行边缘锐化处理,用强化边缘特征的方法解决前景与背景灰度相似的问题,然后在使用传统的分割方法--阈值分割进一步强化.本文减小Regions of Interest(RoIs)的大小以适应肺结节的特征,减少RoIs的个数以避免过多的负类样例训练产生退化的模型;在传统图像增强处理方法和深度学习的结合下,获得了一个优化的Mask R-CNN模型,在LIDC-IDRI数据集上的测试结果中,基于Intersection over Union(IoU)=0.5的标准下的肺结节平均精度mAP达到72.2%,在FPR为0.226时的TPR达到0.915.     

自适应混沌粒子群算法对极限学习机参数的优化

针对极限学习机（ELM）在处理非线性数据时效果不理想,并且ELM的参数随机化不利于模型泛化的特点,提出了一种改进的极限学习机算法。结合自适应混沌粒子群（ACPSO）算法对ELM的参数进行优化,以增强算法的稳定性,提高ELM对基因表达数据分类的精度。在UCI基因数据集上进行仿真实验,实验结果表明,与探测粒子群-极限学习机（DPSO-ELM）、粒子群-极限学习机（PSO-ELM）等算法相比,自适应混沌粒子群-极限学习机（ACPSO-ELM）算法具有较好的稳定性、可靠性,且能有效提高基因分类精度。     

物联网硬实时控制系统中可调度性分析方法的研究

建立了具有反馈型和非反馈型任务的物联网硬实时控制系统——混合控制任务系统(hybrid controlling task system,HCTS)的任务模型,以全面准确地描述系统中不同任务的结构、交互模式和运行特征,并提出了一种新的响应时间分析方法,用于验证系统是否满足实时性要求.实验结果表明,HCTS中的任务具有较小的平均最差情况下的响应时间,但是在反馈次数较多的情况下对任务的实时性具有不利影响,从而为HCTS的优化提供了支持.     

可持续发展与地学学科建设

人地系统的优化调控是现代地学的重要任务,也是市场经济条件下中国实施可持续发展战略的理论基石。而科学技术的可持续发展是实现经济、社会和生态可持续发展的基本手段和支持条件。众所周知,地球科学是一个庞大的科技领域,因此更要注重实现科学技术的可持续发展。本文分析了地球科学的学科特点,针对可持续发展与地学学科建设提出了几点认识。