单片机多任务机制的一点探讨

本文对单片机的几种多任务编程方法做了一些探讨和比较.     

遥感系统的光谱辐射定标

遥感系统的光谱辐射定标问题是遥感器设计和遥感数据使用中的一个重要问题,近几年来引起了国内外遥感界不少学者的重视和兴趣。本文概括地介绍遥感系统中光谱辐射定标技术的发展状况,以及国外几个著名的空间遥感器上所使用的定标方法。     

电台直播室的声学处理

文中就汕头市广播电视中心电台直播室的设计图纸和建筑物本身的声学处理作一些分析。     

SAUM——一种自适应更新的Ad Hoc多径路由算法

提出了一种自适应更新的Ad Hoc多径路由算法的设计思想.采用自适应更新的方式建立源节点到目的节点的多条路由,并在NS-2环境下与AODV路由协议在路由开销、分组传输率和端到端的平均延时方面进行了对比实验.     

苯与稀乙烯在FX-02催化剂上的烷基化

研究了以β沸石为酸性成份的ＦＸ－０２催化剂上苯与稀乙烯的烷基化反应过程。在ＦＸ－０２催化剂上,苯与稀乙烯可在较温和的条件下顺利进行烷基化反应。适宜的反应条件为：反应温度１５０～１８０℃,反应压力０８～１．３ＭＰａ,苯的质量空速１ｈ－１,ｎ苯／ｎ乙烯＝６～８。并进行了催化剂的寿命试验,经过１０６２ｈ反应后,催化剂的活性和选择性没有发生变化,乙烯的吸收利用率＞９５％。ＩＲ、ＸＲＤ及酸性测定等方法对寿命试验前后催化剂结构和酸性变化的表征表明,催化剂的结构及酸性质无明显改变,预示该催化剂具有良好的工业应用前景。     

一种基于活性顺序图的运行时验证研究

运行时验证是一种轻量级的形式化验证方法,使用可视化的需求规约描述语言建模需求规约场景是运行时验证领域的研究热点。针对目前基于活性顺序图的运行时验证方法中容易产生冗余性质、二值语义的验证结果不准确、基于Maude工具引擎的重写逻辑验证算法效率较低等问题,提出一种基于活性顺序图的运行时验证的改进方法,以支持现有的运行时验证技术。实验表明,改进方法验证结果准确,且验证过程开销较小。     

一种面向软件行为和多视点的需求模型验证方法

软件需求分析是软件开发生命周期中最重要的步骤之一.模型驱动的需求分析方法将需求模型作为需求规格说明的补充,从一个或多个角度对非形式化的需求信息进行正确性验证以发现需求规格中的不一致和不完整性等.本文在一种新型的,基于软件行为和多视点的需求建模方法基础上,依据其构造特点,提出需求模型的分析以及验证方法.该方法主要通过构造模型待验证性质的行为时序逻辑规约,以需求模型对应的有穷状态迁移系统为基础,结合On-The-Fly的方法验证性质规约是否语义满足该状态迁移系统.此外,从命题抽象的角度对该验证方法进行优化.针对该方法实现了模型验证工具原型.     

高校计算机基础课分级教学方案分析及改进

分级教学本着因材施教的原则已成为很多高校进行计算机教学改革的首选方法。根据实际案例,介绍计算机分级教学的实施方案及教学效果,针对现行方案中存在的问题提出改进意见,以进一步完善计算机分级教学改革。     

基于CDIO的“面向对象软件工程”教学模式研究

针对传统"面向对象软件工程"课程教学中理念落后以及项目驱动教学中存在不足的问题,介绍CDIO工程教育模式;结合案例/项目驱动的教学方法,阐述采用CDIO工程教育模式的理念重新设计该课程的教学过程。     

基于短文本情感增强的在线学习者成绩预测方法

当前利用短文本情感信息进行在线学习成绩预测的研究存在以下问题: 1)当前情感分类模型无法有效适应在线学习社区的短文本特征, 分类效果较差; 2)利用短文本情感信息定量预测在线学习成绩的研究在准确性上还有较大的提升空间. 针对以上问题, 本文提出了一种短文本情感增强的成绩预测方法. 首先, 从单词和句子层面建模短文本语义, 并提出基于学习者特征的注意力机制以识别不同学习者的语言表达特点, 得到情感概率分布向量; 其次, 将情感信息与统计、学习行为信息相融合, 并基于长短时记忆网络建模学习者的学习状态; 最后, 基于学习状态预测学习者成绩. 在三种不同类别课程组成的真实数据集上进行了实验, 结果表明本文方法能有效对学习社区短文本进行情感分类, 且能够提升在线学习者成绩预测的准确性. 同时, 结合实例分析说明了情感信息、学习状态与成绩之间的关联.