基于ERPMT改进启发式方法的WSN寿命最大化算法

针对传感器节点的电池容量限制导致无线传感网络寿命低的问题,基于容量最大化(CMAX)、线上最大化寿命(OML)两种启发式方法以及高效路由能量管理技术(ERPMT),提出了基于ERPMT改进启发式方法的无线传感网络寿命最大化算法。首先,通过启发式方法初始化每个传感器节点,将节点能量划分为传感器节点起源数据和其它节点数据延迟;然后利用加入的一种优先度量延迟一跳节点的能量消耗;最后,根据路径平均能量为每个路由分配一个优先级,并通过ERPMT实现最终的无线传感网络优化。针对不同分布类型网络寿命的实验验证了本文算法的有效性及可靠性,实验结果表明,相比较为先进的启发式方法CMAX及OML,本文算法明显增大了无线传感网络的覆盖范围,并且大大地延长了网络的寿命。     

基于SysML的嵌入式软件系统建模与验证方法研究

嵌入式软件系统由于广泛采用分布式异构网络,使得软件系统复杂性呈现几何增长,因此需要在系统设计的论证阶段,对系统需求和设计方案进行正确性和充分性验证,进而发现系统性设计缺陷,避免可能引发或导致的严重系统性问题。为此,提出一种基于SysML的嵌入式软件系统结构与行为需求建模方法。通过对嵌入式软件系统的结构和逻辑行为进行层次化建模,并利用Modelica离散与连续融合的仿真特点,在系统需求论证阶段,基于建立的仿真模型对系统关键功能指标进行仿真,结果表明,该方法对系统需求论证具有可行性。     

计算思维训练在文科计算机应用课程中的实践

本文探讨了文科计算机应用课程的教改必须要考虑的问题,以及传统的教学方法要进行怎样的改革才更能体现面向应用的最终目标这两个问题;提出了应用课在教学内容、教学方式、考核方式的改革方案,并就改革结果对学生进行了效果调查,给出前后数据的对比;否定之否定地融合了应用能力培养和计算思维训练。     

文科大学计算机基础教学的计算思维培养探索——以计算机在文科专业中的应用为落点

计算思维培养正在成为国内外大学计算机基础课程改革的主要方向,而如何提高文科大学生的计算思维能力是大学计算机基础教学亟需完成的任务。本文探讨了在对文科专业学生进行计算机基础教学时,以计算机在其专业中如何应用为落点的计算思维培养模式,提出了基于此模式下的文科专业＂计算机信息技术＂课程的新的课程体系结构和参考实例,希望通过不断完善课程体系并通过实例剖析让文科学生切实理解计算思维的内涵并将其灵活运用到各自的专业学习和将来的工作中。     

一种轻量级的Android内核保护监控器

为阻止针对Android系统内核的攻击,保护Android系统内核不被破坏,设计一种基于ARM平台轻量级的hypervisor监控器架构。该架构利用ARM硬件虚拟化扩展技术,对不信任模块进行隔离,阻止模块中恶意代码对内核的破坏,保护关键对象不被篡改,并基于hypervisor、利用交叉视图检测rootkit。实验结果表明,该架构能及时阻止对被监控对象的修改,快速检测出rootkit威胁,减少系统被攻击后带来的损失。     

异构无线网络终端服务感知的动态负载均衡机制

异构无线网络负载均衡是提高网络服务质量的关键技术之一。现有负载均衡机制大多没有考虑用户的个性化业务在请求网络资源时存在的差异,同时缺乏一种用户满意度保障机制。针对这一问题,提出一种终端服务感知的动态负载预先均衡机制。首先,采用模糊数学的推理方法,计算出终端对各个候选网络的接入期望值。在此基础上,充分考虑各候选网络的资源拥塞状况,有选择性地将该终端用户业务链接切换到低资源拥塞率、高接入期望值网络中,从而缓解网络中的局部热点,提高网络资源有效利用率与用户满意度。仿真结果表明,该机制能够显著均衡网络中各个无线接入点的工作负荷,有效减少拥塞发生的概率,改善用户的网络体验。     

一个移动应用个性化集成框架的研究及其在Android平台的实现

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程接口和底层运行机制上,尚未出现更高层次的面向执行流程的集成支持;从用户角度看,从众多移动应用中选择符合自己个性化需求的应用成为了可能,但目前大量的移动应用推荐系统集中在单个应用的个性化推荐问题上,未见面向用户个性化需求的移动应用执行序列推荐方法。为此,提出一个移动应用个性化集成框架,主要包括:1)定义了一套意图流程描述执行语言,以便开发者从更为自然的执行流程角度完成新移动应用的构造;2)给出了一个移动应用序列偏好度预测算法,用于解决移动应用执行序列的个性化推荐问题。在当前典型的移动应用平台Android上,实现了相应的移动应用个性化集成开发工具和运行支撑机制,并通过实例初步验证了上述方法的合理性。     

普适计算中基于移动代理的应用follow me迁移技术*

为了更好地利用普适计算环境中的计算资源、减少人为干预、提高工作效率,提出了应用的follow-me迁移需求,即计算可以随着用户的移动在异构设备和计算环境中移动,让移动中的用户能够体验到不间断的计算。提出了基于移动代理的普适计算中间件FollowMeAgent。结合情境感知技术,利用软件代理所具备的移动性实现应用的自主迁移,并根据应用特点对迁移策略进行了细分。在此平台上开发了若干应用,通过性能测试证明其可行性和有效性。     

基于复杂问题定义模型的复杂问题求解*

复杂问题求解往往涉及多个知识领域,其对应的工作流和知识流也非常复杂.为了促进后续问题求解过程的可靠性和针对性,利用现有的形式化和非形式化的方法,提出了一种复杂问题定义模型,并在此基础上分析了复杂问题求解过程中的知识流和工作流.结合大型软件项目开发,提出了复杂问题求解的参考步骤.