基于切片谱的错误定位框架影响因素分析

错误定位是软件调试的重要环节,基于切片谱的统计错误定位技术,借助程序切片可以提高错误定位效率.而这类技术执行效果取决于构建切片谱的切片选择策略和怀疑度计算公式的选择.为评估不同的切片选择策略及怀疑度计算公式对错误定位效率的影响,提出一种基于切片谱的错误定位框架.该框架首先计算程序执行失败时的全切片和成功时的执行切片,随后提出一组基于相似度的切片挑选策略以构建切片谱,最后按照选定的公式计算怀疑度并生成定位报告.应用提出的错误定位框架,针对一组典型的Java基准程序开展错误定位实证研究.结果表明:最优怀疑度计算公式Wong,RusselRao和Binary的错误定位效率与切片选择策略无关,而提出的怀疑度计算公式HSS,Tarantula,DStar,Naish1和Naish2在低相似度切片谱上定位效果较好.     

含储能参与的日前市场价值公平分配机制

现有的节点边际电价机制中,由于传统发电商具有市场操控力,当储能独立参与市场出清时,各发电商采取策略性报价,打压并挤占储能电站的市场份额,阻碍了储能电站参与市场出清,间接导致市场出清总成本增大。为此,文中提出一种包含传统机组以及储能电站参与的市场竞争机制。首先,分析现有市场结算机制的弊端以及阻碍储能参与市场出清的原因;其次,建立含储能参与的市场出清模型,采用样本均值近似求解二阶段随机规划模型;接着,基于VCG结算机制,提出适应储能参与的日前市场价值分配机制;最后,提出解决激励相容而造成的系统收支不平衡问题的策略。文中采用修改后的IEEE30节点为例,证明该机制满足激励相容、收支平衡以及削弱传统发电商的市场操控力等性质,同时储能的参与将会减小系统出清总成本,降低市场价格剧烈波动的风险。     

远程实时健康监护系统呼叫中心关键技术研究

利用微型传感器对人体健康状况进行远程实时监护已取得很大进展。当传感器获取用户生理数据并传输到远程数据中心时,针对异常的用户生理数据,如何通过呼叫中心迅速向用户及家属朋友发起主动呼叫,实现紧急报警,使用户在紧急情况下获得家属朋友的帮助和及时的医疗救助是需要解决的一个重大问题。提出了利用异常数据自动监控、消息通讯机制、设计新的主动呼叫流程等方法解决紧急情况下由呼叫中心向用户发出的主动呼叫问题。实验应用结果表明,该方法是有效的。     

基于RSL的协议形式化描述与验证方法

讨论使用RAISE规范语言（RSL）描述6种协议元素的方法。在RSL描述的基础上,借助操作符的运算规则、并行扩展规则和同步会合事件隐藏规则,对协议的相关性质进行验证,以一个简化的停止等待协议规范的描述和验证实例证明,与其他形式化方法相比,RSL表现出较强的描述能力。     

地方院校计算机专业双语教学探讨

地方院校开展双语教学在师资力量、学生基础、教学机制等方面存在诸多制约因素。本文提出地方院校在计算机专业率先开展双语教学的观点,结合地方院校特点,对计算机专业双语教学的教学方法与教学机制进行探讨,总结了在双语教学模式、教学时机及课程设置等方面的实践经验,并从师资培养、教学管理及教学实施等角度提出了推动地方院校双语教学机制的建议。     

远程实时健康监护系统数据传输及安全性研究

为实现传感器和数据中心间的双向数据传输,提出一种远程实时健康监护系统。设计包括微型生理信息采集器、数据传输系统和实时服务支撑平台的系统架构,使用蓝牙、GPRS技术,并以智能手机为媒介实现数据双向传输,利用IOCP协议、动态密钥、数据验证、防恶意攻击等方法提高数据传输质量。实验结果表明,该系统具有较好的可靠性和安全性。     

基于分布式聚类的Peer-to-Peer路由算法

提出了分布式聚类算法,该算法自动对地理邻近的对等结点聚类,消除了集中式聚类算法的单点瓶颈问题,及分布式Binning算法的landmark放置问题;提出了一种基于该聚类的邻居路由算法,该算法消除了nagve算法路由效率低、IP—snoop算法实现困难及处理开销大、directed算法需要处理超级节点失效时容错问题。实验结果表明,基于分布式聚类的Peer—to—Peer（P2P）路由算法比现有的结构化路由算法减少了近一倍的路由跳转和路由时延。     

一种新颖的基于Hash函数的无线双向安全认证方案

随着科技的不断发展,越来越多的网络设备接入到无线网络中,为了确保合法用户的正确识别连接,在Wen-Li认证方案的基础上提出了一种基于Hash函数的无线双向安全认证方案。该方案通过引入发送包序列号代替时间戳,避免网络延时对认证过程产生影响,且不需要设备之间时钟的严格同步。安全性与运算量的对比分析表明,较Wen-Li方案,所提方案能有效避免各种常见的网络攻击,具有更高的安全性,且运算量较小,计算复杂度较低,能有效降低实际系统的开销。     

现代软件工程教学研究

分析现阶段国内软件工程教育现状,总结现代软件工程教与学过程中存在的问题,并探讨其产生原因,从师生关系、学习评价体系、培养方案、自主学习以及工具学习与应用的角度,分别阐述全面构建新型软件工程教学法的五要素。最后,针对软件工程实践环节的教学,讨论实践内容设置要素,项目进度管控以及项目团队与个人关系,阐述实践环节组织教学方法。     

一种基于前向计算的动态程序切片方法

动态程序切片技术是一种重要的程序分析技术,在软件分析、测试与调试过程中有着广泛的应用。给出一种基于前向计算的动态程序切片方法,该方法首先在对当前执行语句进行定义使用分析的基础上计算该语句定义变量的影响集,其次计算该语句的直接动态依赖关系,最后计算当前执行语句中变量的动态切片。根据该方法设计并实现了一个Java动态程序切片系统,基于一组基准测试程序开展了切片实验,并与已有的切片方法进行了比较。实验结果表明,该方法可以得到比较精确的动态程序切片结果。