第一门程序设计课可以做些什么样的作业?

第一门程序设计课应该让学生做"足够多"有趣的事.那么什么样的作业才能既有趣味性,又不要求学生有很多的编程与数据结构基础呢? 如果程序设计课的作业主要考虑让学生学会某种语言成分,那么编程的目的就只为了验证是否"会用"指定结构,而学生实现时往往只运行很简单的输入实例,其结果是预先知道的,便失去了趣味性.能吸引学生的题应该以题目本身求解为目标,如果计算机能帮我们解题,我们就会渴望去"编程"!     

南京市生态河湖建设的实践与思考

文章根据《南京市生态河湖行动计划(2018—2020年)》,采用江苏省水利厅制定的《行政区域生态河湖实现程度评估指标体系》,从水安全保障、水资源保护、水污染防治、水环境治理、水生态修复等方面进行定量分析,综合评价了南京市生态河湖实现程度,总结了生态河湖建设成效和经验,并对下阶段工作提出了建议。     

一步电沉积镍铁硫化物纳米复合电极

采用一步电沉积法在导电性能优异的碳布上生长二元镍铁硫化物纳米片作为超级电容器的电极,从而进一步提高其电化学性能.由于复合材料纳米结构具有较小的尺寸且表面粗糙多孔,为充放电过程中发生氧化还原反应提供了更加丰富的活性位点.同时,碳布作为基底,也进一步提高了复合材料的导电性.通过比较不同比例Ni-Fe-S/碳布复合材料的电化学性能,得到了性能最优异的比例,并对其进行了进一步的测试.复合材料的比电容在1A/g时可达到770 F/g,并在40 A/g时容量可以保持在672 F/g.在进行10000次循环后,可保持初始值的92.3％.本研究对于二元金属硫化物/碳布复合材料作为超级电容器电极材料的发展具有一定的促进作用.     

中断驱动系统模型检验

针对一类中断驱动系统提出了一种建模和模型检验的方法.该系统通常由中断处理程序和操作系统调度的任务组成,前者由中断源触发后处理中断事件,后者则负责处理系统的日常任务以及某些中断处理事件的后续处理.因为这类系统是实时控制系统,对中断事件的处理需要在规定时间内响应并完成,否则可能造成严重的系统失效.为了帮助系统设计人员在系统设计过程中应用模型检验技术来提高系统的正确性,首先确定了此类系统中与时序性质相关的系统要素(包括系统调度任务、中断源、中断处理程序)和相关参数,并要求设计人员在设计阶段明确指出这些要素的参数.然后,提出了将这些要素和参数自动转化为形式化模型的方法:使用时间自动机对中断事件进行建模,使用中断向量表和CPU处理栈对中断处理过程进行建模.对于得到的形式化模型,给出了针对中断处理超时错误的检测方法,并在此基础上给出了针对共享资源的完整性、子程序原子性的检验方法.     

无线网络编码感知路由综述

流间网络编码具有改善无线网络性能的潜力,然而,由于实际网络中编码机会数量通常十分有限,仅仅被动地利用编码机会无法获得高的性能增益.编码感知路由的核心思想是使用有利于网络编码的路由,它通过在路由建立阶段构造特定的编码结构,可以主动创造编码机会.系统地总结了流间网络编码中的编码结构,并以此为主线,分类介绍了编码感知路由的研究现状.最后,对编码感知路由的研究热点进行了展望.     

淮河流域河道内生态需水保障程度时空特征解析

为了反映出河道内水量满足生态保护与修复需求的状况,以淮河流域为研究对象,构建了适合于快速评估流域尺度河道内生态需水保障程度时空特征的方法。采用生态需水年内展布计算法计算了流域主要干支流的生态需水阈值,并结合实测径流资料开展了生态需水保障程度计算。利用时间序列法、Mann-Kendall检验法、聚类分析以及GIS空间分析功能对流域生态需水保障程度进行时空特征解析。结果表明:1流域生态需水保障程度整体呈现上游地区高于下游地区,淮河干流南岸地区高于北岸地区的特征;2颍河、涡河、沱河等支流的生态需水保障程度较低,且呈显著下降的趋势;3流域年内4—6月份的生态需水保障程度整体表现最低,且空间差异性大,为流域河道内生态需水敏感时期;4流域涡河玄武、蒙城断面,池河明光断面和沱河永城断面生态需水保障程度整体最低,且年内过程变异程度最大,为河道内生态需水优先保障区。评估结果可为优化流域水资源配置、制定维护河流健康对策和保障措施提供重要的依据。     

基于AT89C51单片机的蔬菜大棚控制系统

主要介绍以AT89C51单片机为主控制器,以温度、湿度等传感器为主要外围元件的蔬菜大棚控制系统。该系统采用AT89C51单片机采集处理、监测控制以及输出显示环境值,为蔬菜的生长提供稳定的环境场所。在系统设计过程中充分考虑性价比,选用价格低,性能稳定的元器件。     

一个基于XCS的同质团队学习模型

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统方法的上述不足。文中还在模型的基础上实验分析了相关因素,如规则积累、通信以及发现新规则等对多Agent协作效率的影响。     

Artemis-COOR:一个基于Agent的软件动态协同支撑平台

针对开放网络环境下软件协同应用需求,本文提出了一种基于Agent的软件动态协同模型。该模型以软件实体的Agent封装为基础,通过Agent运行时刻重解释以软件体系结构表达的协同逻辑和Agent间的多模式交互技术,实现对动态协同的支持。面向此概念模型,给出了相应的软件动态协同支撑平台Artemis-COOR,该平台在"非侵入式"A-gent封装、多模式交互支撑和软件体系结构动态演化支撑等方面形成了一定的技术特色。最后,给出以水雨情会商系统为例的演示性应用,展示了上述技术的可行性和有效性。     

基于图像归一化的DFT域数字水印嵌入算法

抗几何攻击的鲁棒图像水印算法研究是一项富有挑战性的工作.本文以图像归一化理论为基础,提出了一种可有效抵抗几何攻击的DFT域数字图像水印方案.该方案首先利用基于矩的图像归一化技术将原始载体映射到几何不变空间内,并结合不变质心理论提取出归一化图像的重要区域;然后对重要区域实施分块离散傅立叶变换(DFT);最后结合幅值谱信息自适应确定水印嵌入位置,并利用量化调制策略将数字水印嵌入到重要区域的相位和幅值内.仿真实验结果表明,该数字图像水印方案不仅具有良好的不可感知性,而且具有较强的抵抗常规信号处理及几何攻击的能力.