地理信息服务于高校大学生-以福州大学城为例

地理信息是一种特殊的信息,具有区域性、多维性和动态性.通过对地理信息的有效分析和利用,有助于更加直观、更加具体地理解某些现象,为人类的生产生活提供便利并提供相关决策支持.以福州大学城为研究区域,以该区域内的师生为目标人群,采集并利用区域内相关地理信息,研究设计高校大学生服务平台,旨在提高大学生生活的质量,拓展大学生社交方式(接触型社交和非接触型社交)的多样性和融合性,增强各高校之间以及学生之间的交流.平台开发之前以电子问卷形式对福州大学城内大学生的相关信息进行调研,并对结果进行相应的分析,最终确定平台的功能主要包括室外导航、室内导航、线上社交、线下社交、轨迹记忆、路径自动更新、路径推荐以及"往事重现"等.开发过程中对相关功能所涉及的技术进行了研究和实验.

单片机任务型软件“看门狗”原理及应用

简单介绍了硬件看门狗的工作原理,详细说明了在单片机软件中任务型软件看门狗设计方法,能够防止和解决程序中因任务交叉、重叠而出现的运行状态错误,提高了系统的冗余度和可靠性。

基于iOS平台的移动视频监控软件设计

传统的远程视频监控系统所需软硬件资源大、视频传输协议和视频采集设备控制协议相互独立,系统传输带宽要求高、时延长、实时性不高。为解决这些问题,利用开放无线监控协议中的信息体结构,将视频信息传输、视频采集设备控制和其他信息融合在一个数据包中,并基于i OS移动操作系统和H.264视频编码标准,设计并实现一种集视频传输与控制于一体的移动视频监控软件。测试结果表明,该移动视频监控软件可有效提高移动视频监控系统的性能,具有控制响应速度快、传输带宽要求低、分辨率自适应以及实时视频播放流畅等特点。

基于规则的软件体系结构层性能优化模型

针对大多数基于规则的软件体系结构层性能优化方法在优化过程中未充分考虑规则的使用次数和使用顺序而导致搜索性能改进空间受限,难以获取最优性能改进方案的问题,设计一种规则序列执行框架,并进一步将软件体系结构层性能优化抽象为求解最优规则序列的数学模型,以精确刻画规则的使用次数、使用顺序与最优性能改进方案之间的数学关系,为搜索更大的性能改进空间、提高优化质量提供支持。

基于场景的面向方面软件体系结构度量方法

软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题。针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法。通过一组度量指标对体系结构进行度量并量化其结构特征;引入场景更细粒度地刻画体系结构的质量属性,考察场景在体系结构中的映射程度。最后对某保险案例的体系结构设计方案进行对比与选择,验证了方法的可行性及实用价值。两种技术的结合为更全面地进行面向方面软件体系结构的评估提供支持与参考。

软件体系结构层切点指示器的形式化描述方法

软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。

基于逻辑的软件体系结构共享注入点检测方法

已有的方面交互分析方法大多未考虑共享注入点的检测,从而影响了它们的实际应用。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL,提出了一种基于逻辑的软件体系结构层共享注入点检测方法。首先基于一阶逻辑,给出了软件体系结构层注入点和切点指示器(pointcut designator,PCD)的形式化描述方法。在此基础上,应用一阶逻辑公式的合一思想,提出了软件体系结构层共享注入点的相关定义及定理,并进一步设计出软件体系结构层共享注入点的检测算法。该研究成果可为在其他面向方面软件体系结构描述语言定义的体系结构中检测共享注入点提供借鉴和参考。

软件工程专业双语教学模式研究与实践

本文以福建师范大学双语教学立项为背景，首先分析软件工程专业双语教学模式研究的主要内容，给出通过双语教学实践的教学成果。其次阐述双语教学实施过程中存在的问题及改革措施。最后提出需进一步探讨的课题。

新媒体视域中的大学生社会主义核心价值体系教育

主题教育网站、网络课堂、教育博客、即时通讯软件、网络文化活动是大学生社会主义核心价值体系教育的新途径、新载体。应增强主题教育网站内容的创新性、语言的活泼性、设计的独特性、功能的多样性;运用图文并茂、声像结合的多媒体技术,使社会主义核心价值体系的内容形象化、立体化;

大学生创业孵化基地建设模式的困境与突围

大学生是建设创新型社会的主力军和人才保证,而创业孵化基地是培育大学生创新能力,创造性地解决大学生就业问题的有效策略,建设高校大学生创业孵化基地,构建规范有效的孵化建设模式,是大学生创业教育和创业活动的基础。目前,大学生创业孵化基地都面临着方向不明晰、投入不充足、规划不详细、认可度不高等现实发展困境,为此,需要通过找准方向定位、拓宽融资渠道、完善组织规划、规范管理服务、发挥政策优势等多措并举,进一步提升发展能力,走出一条突围之路。

“做中学,产学合作和国际化”工程教育改革战略下的CDIO软件人才培养模式

面对经济全球化新形势下对创新工程人才培养的迫切需求,福建师范大学软件学院坚持开放办学的理念,注重学生实践能力和解决问题能力的培养,针对人才培养存在的问题,提出新的基于CDIO的软件人才培养模式,取得良好的实践效果。文章讨论了工程人才培养过程中存在的问题,提出了新的解决方法和措施,展示了培养人才的应用情况,最后对学院多年来人才培养的成果和经验进行总结。

大学生的学习浮躁心理和调适对策探析

目前许多大学生在学习上存在严重的浮躁心理,学习浮躁作为当代大学生一种消极心理表现形式,其产生既有客观原因也有主观原因,所以要从主客观两方面采取多种措施来加以克服的。

单片机软件死锁问题和配置技术设计探讨

围绕单片机软件中存在的死锁和代码数据关联度高等问题进行分析探讨。以任务运行最大CPU需求时间作为“死锁”的干预策略,提高了软件系统对“死锁”的干预能力;提出采用配置技术进行设计,降低代码和数据的关联度,并给出详细的配置流程和说明。

改进的软件错误报告自动分类算法

软件错误报告的自动分类能够节省大量人力和时间,然而用户提交的错误报告主观性较强,对错误报告的描述较随意,造成自动分类的效率低下。为此,基于传统的词频-逆向文件频率(TF-IDF)算法,结合文档内词条频度与词条在同类别及不同类别文档中的分布情况,提出2种特征降维的改进算法,降维后再对词条进行权值处理,进一步提高特征降维的效果。实验结果表明,应用该算法得到的错误报告自动分类在精确率、召回率、F1值和准确度等指标上比现有算法都有明显提高。

云环境下软件错误报告自动分类算法改进

用户提交的软件错误报告随意性大、主观性强且内容少导致自动分类正确率不高,需要花费大量人工干预时间。随着互联网的快速发展用户提交的错误报告数量也不断增加,如何在海量数据下提高其自动分类的精确度越来越受到关注。通过改进词频-逆文档频率(TF-IDF),考虑到词条在类间和类内出现情况对文本分类的影响,提出一种基于软件错误报告数据集的改进多项式朴素贝叶斯算法,同时在Hadoop平台下使用MapReduce计算模型实现该算法的分布式版本。实验结果表明,改进的多项式朴素贝叶斯算法将F1值提高到71%,比原算法提高了27个百分点,同时在海量数据下可以通过拓展节点的方式缩短运行时间,有较好的执行效率。

基于行为的结构化文档多级访问控制

针对当前云计算环境中因缺乏多级安全机制而使结构化文档容易产生信息泄露和非授权访问等问题,提出基于行为的多级访问控制(action-based multilevel access control model,AMAC)模型并给出策略的形式化描述.利用信息流中的不干扰理论建立AMAC不干扰模型,并证明AMAC模型中多级访问控制策略的安全性.与已有访问控制模型的比较与分析表明,AMAC模型既可以利用角色、上下文和用户访问行为以提高访问控制策略的灵活性,还可以依据用户,用户访问行为和结构化文档的安全等级实现多级安全机制.

在线社交网络中信息传播模式的特征分析

在线社交网络以其独特的传播优势,已成为一种流行的社交媒体平台。针对在线社交网络中信息传播模式的形式特点,结合传染病动力学原理,提出了在线社交网络中的信息传播模型。模型考虑了不同用户行为对传播机理的影响,并建立了不同用户节点的演化方程组,模拟了信息传播的过程,分析了不同类型的用户在网络中的行为特征以及影响信息传播的主要因素。实验结果表明:不同类型的用户在信息传播过程中有着特定的行为规律,信息不会无限制地传播,并在最终达到平稳状态,并且传播系数和免疫系数越大,信息传播达到稳态的速度就越快。

多学科交叉融合虚拟仿真实验中心网络平台建设探索

分析了多学院联合申报国家级虚拟仿真实验中心在资源整合过程中所面临的问题,阐述了生物技术与生物化工国家级虚拟仿真平台的建设内容和目标,提出了分布式虚拟仿真实验运行支撑体系结构,研究和设计了基于校园网的虚拟仿真网络架构及服务器部署方案,为多学科交叉融合的多层次、综合性的国家级虚拟仿真实验中心建设提供参考。

云计算环境中的组合文档模型及其访问控制方案

针对云计算环境缺乏有效的组合文档模型及其元素分级安全保护的现状,结合多级安全思想和基于身份的加密(IBE)算法,提出了一种新的组合文档模型(ComDoc)及其访问控制方案(ICDAC)。ComDoc包含组合文档的密文部分和密钥映射部分:前者保存具有安全等级的文档元素的密文;后者保存由IBE加密的密钥映射记录密文。ICDAC依据授权用户的身份信息,利用IBE解密对应的记录后获得映射对,提取访问权限并解密授权的文档元素密文,实现组合文档元素分级安全保护的细粒度访问控制。实验结果表明:ComDoc满足云计算环境中组合文档的特征以及安全需求;在加密相同组合文档的前提下,ICDAC的密钥数量和计算开销明显优于已有方案。

基于卡尔曼滤波与中位加权的定位算法

为了有效解决基于接收信号强度的高精度室内位置服务计算困难问题,提出了一种新的基于卡尔曼滤波和中位加权（WMKF）的定位算法。该算法不同于以往的室内定位算法,首先应用卡尔曼滤波平滑了随机误差;然后利用中位加权方法抑制了显著误差,利用距离路径损耗模型得到衰落曲线并计算出估计距离;最后利用质心求解方法得到目标节点位置。实验结果表明,该算法初步解决了相对复杂环境下定位稳定性较差的问题,并有效地提高了定位精度,使精度达到0.81~1 m。