摘要：为便于用户在工程设计时使用草图进行三维模型设计,提出一种从单幅草图生成正交多面体模型的方法.根据正交多面体模型的结构特点定义了建模过程中的特征层次体系及其转换规则,通过规则推理实现各层次特征的转换,以支持用户使用简图方式快速地生成多面体模型;同时,使用决策树管理转换规则集合实现对规则的训练和更新,以保证规则集的可拓展性和鲁棒性.实验结果表明:该方法能生成多种复杂的正交多面体模型,且决策树方法能有效地支持对规则集合的训练和更新.

摘要：COOZ(complete object- oriented Z)的优势在于精确描述大型程序的规约 .COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 .将精化演算引入COOZ,弥补了 COOZ在设计和实现阶段的不足 ,同时也消除了规约与实现之间在结构和表示方法上的完全分离 ,使程序开发在一个完整的框架下平滑进行 .该文提出了基于 COOZ和精化演算的软件开发模型 ,通过实例讨论了数据精化和操作精化问题 .在精化演算实现技术方面构造了一种数据精化算子 ,提出一种基于数据精化演算和程序窗口推理的数据精化的方法 .

摘要：基于群体智能的软件工程旨在利用潜在高效的群体智能方法来解决软件工程问题,其中群体智能方法不仅包括机器群体智能,还包括人类群体智能以及人机结合群体智能.基于群体智能的软件工程研究为解决复杂软件工程问题提供了新的思路,已成为现代软件工程的重要组成部分.以软件工程生命周期中的需求分析、设计、构造、测试和维护为主线,系统梳理和总结不同层次群体智能方法在上述软件开发活动上的应用.在此基础上,为不同层次群体智能方法间的相互借鉴与转化提供参考,并探讨基于群体智能的软件工程的未来发展趋势和挑战.

摘要：拓扑控制是无线传感器网络研究中的核心问题之一.拓扑控制对于延长网络的生存时间、减小通信干扰、提高MAC(media access control)协议和路由协议的效率等具有重要意义.全面阐述了拓扑控制技术的研究进展,首先明确了拓扑控制研究的问题和设计目标,然后分别从功率控制和睡眠调度两个方面介绍代表性的研究工作,并加以分析和比较,同时指出了这些工作存在的不足.最后分析和总结了研究现状中存在的问题、需要进一步研究的内容以及拓扑控制研究的发展趋势.

摘要：在经典情景演算系统的基础上引入了广义信念修正理论,构建了一个开放式情景演算系统OSC(open situationcaculus),克服了经典情景演算系统不能刻画交互通信能力以及对事件的响应处理能力的缺陷.OSC系统保留了经典情景演算系统中的情景流result-of(a,s),用以刻画行动的影响;同时又引入了新的情景流bel-rev(φ,s),用以刻画通信交互以及对事件的响应处理等具有开放性信息的活动.OSC系统采用了离线规划与在线执行相结合的运行方式,为面向agent程序设计语言、面向agent智能系统的设计开发等应用提供了有效途径.

摘要：面向对象软件度量技术是面向对象开发方法中不可缺少的一环 .但是以往适用于过程性和结构化软件开发的传统度量方式是不适用于面向对象程序设计的 .本文分析了面向对象程序设计语言的特点及其对软件度量的影响 ,并介绍了一个具体的支持 C+ +软件度量的自动生成工具 .

摘要：在很多安全操作系统中都存在一些安全关键进程或可信进程 ,一旦它们被黑客入侵则会破坏整个系统的安全性 .本文的多保护域进程模型在进程内部通过细粒度的内核级保护域隔离机制对进程数据和代码实施访问控制 ,从而防止黑客利用程序局部漏洞劫持整个进程 ,以达到增强安全关键进程自身安全的目的 .本文为该模型提供了两种设计方案并对其中一种设计做了原型实现 .

摘要：三维模型最优视角选择是指选择符合人类主观倾向最大信息量的三维物体视角.文中在预分割模型的基础上,提出一种采用粒子群优化的三维模型最优视角选择方法.首先设计了一个对候选最优视角打分的权重函数,其中的特征选取不仅考虑了视角应能够看到三维模型尽可能多的几何特征,同时也考虑了视角的舒适性;然后采用粒子群优化算法对模型进行分类别学习,获取最适合于该类模型的权重值,并获取权重函数中各个特征的权重配置.对比实验结果表明,该方法所选出的视角更加符合人类的主观倾向且不失几何信息量.

摘要：采集能表征签名者潜在手写习惯的签名特征,利用人工免疫模型的自学习和自适应实现在较少训练样本的条件下获得具有更高区分度的手写签名模板.实验结果表明,文中方法识别具有良好的训练效果,能获得较好的验证率和鉴别率.

摘要：云计算是一种能够以便利的、按需付费的方式通过网络获取计算资源并提高其可用性的模式.近年来,以云计算为基础的服务平台——云平台逐渐成为各大企业数据存储和业务部署的主要平台.由于云平台结构复杂、服务多样,发生故障在所难免.为了提高云平台的可靠性,开发人员在设计云平台时加入了容错机制,目的是在发生故障的情况下也能保证云平台的正常运行.但是容错机制并不能保证云平台完全可靠,因此我们还需要对云平台的可靠性进行检验.故障注入是检验云平台可靠性的方法之一,通过人为地将故障注入正在运行的系统中,观察系统动作并判断系统的容错机制是否正常工作.现有的故障注入方法侧重于分析待测系统特征以确定故障注入点,属于白盒或灰盒测试,对复杂的云平台来说,这一工作无疑要耗费大量的时间.因此,我们提出一种不依赖于系统信息的黑盒测试方法以提高检验效率.本文在现有工作的基础上做了以下几个方面的工作:第一,我们收集了云平台历史宕机事故报告,并分析其中故障模式出现的规律.我们发现,云平台中发生的故障类型具有重复性,在此基础上,我们提取了这些故障的特征,包括所在组件、根因、产生的影响、修复方法等;第二,通过对云平台历史宕机事故报告的分析,我们发现很多事故当中的故障并不是单一出现的,并且多个故障之间具有关联性、组合性,我们深入分析了多故障之间的关系以及故障之间的组合形式,在此基础上,为了尽可能完全地检测云平台的可靠性,我们提出在故障注入过程中需要对多故障进行组合注入;第三,在对多故障进行组合的过程中我们发现,由于云平台的复杂性,故障种类的多样性,多故障之间的组合会产生组合空间爆炸问题,针对这一问题,我们做了初步探究,并提出了几种约减策略;第四,基于上述工作,我们提出了一种基于历史的故障组合方法,并利用历史故障数据,结合基础云平台架构进行模拟实验,实验结果表明我们提出的基于历史故障进行故障组合注入方法是有效可行的.