面向方面的软件产品线需求建模

为了将软件产品线的横切关注点在开发的早期阶段分离出来,完成系统分析向设计阶段的顺利过渡,提出了一种面向方面的软件产品线需求分析模型,并给出该模型需求分析的基本步骤.通过冷库管理系统的实例,给出了识别和描述功能需求、非功能需求和横切关注点的方法,利用UML类图完成方面和功能整合,在此基础上介绍了用关系矩阵和合并非功能需求集合的方法来描述非功能需求.实验结果表明,该方法能够有效简化软件产品线需求建模的复杂性.     

基于XML的软件非功能需求建模研究

本文针对当前软件设计中非功能需求描述不清楚、难以实现等问题,对软件非功能需求建模方法进行了研究,提出了一个基于XML的软件非功能需求建模方法,构建了一个软件非功能需求元模型,该模型主要包括属性、约束和实现方法三个数据单元.在此基础上,利用XML Schema定义了软件非功能需求的数据模型结构,以一个通信系统的非功能需求建模为例说明了本模型的建模过程和方法,结果表明,该建模方法有助于设计人员对软件非功能需求进行清楚的定义.     

面向方面的软件非功能特性研究

软件非功能特性的处理一直以来都是困扰着研究人员和开发人员的难题.将面向方面的编程思想运用于软件非功能性的研究打破了传统的软件设计过程,这种研究方法在软件需求分析的初期分离出系统的非功能特性并将这些非功能特性做一个整体的处理,加快了软件开发的进度,提高了生产效率.文中基于面向方面思想,利用著名的非功能特性描述框架NFR对软件非功能特性进行描述,解决了软件关注点组合时产生的冲突问题,为软件非功能特性的处理提供了很好的解决办法.     

一种SOA软件系统可信性评价方法研究

结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.     

计算机软件开发语言的研究探讨

随着计算机的普及以及其使用领域的逐渐增多,对计算机软件的开发与研究越来越受到广大人民群众的重视,本文对计算机软件开发语言的发展过程进行了总结归纳,介绍了计算机软件开发语言的三大主要发展阶段,并提出了一种面向方面的新型模型转换语言以及对未来计算机发展做出了美好展望.     

软件非功能需求权衡代价

软件非功能需求的实现涉及软件质量这一重要问题,非功能需求的满足程度,直接影响软件质量的满足程度.针对一直以来对软件质量的一贯重视以及软件非功能需求权衡的重要性,借鉴微观经济学领域的生产理论、替代弹性原理和线性规划方法,提出了软件非功能需求权衡代价分析方法并开发了辅助工具.首先,对项目组前期完成的可信软件非功能需求可满足性分析方法进行改进,提出了利益相关者通过协商获取非功能需求评估数据的方法,建立了非功能需求本体概念并构建本体知识库;针对实现非功能需求的策略,使用前期已完成的策略推理方法,对推理产生矛盾的策略提出权衡代价分析方法;通过分析策略实施代价,为软件开发及演化提供具有实际可操作的权衡决策依据,从更加符合产业化需要的角度解决软件非功能需求权衡问题;最后,基于可信第三方认证中心软件案例的维护及演化需要,对推理出矛盾的策略进行权衡代价分析,并给予决策建议,说明所提出方法的可行性.     

软件架构的非功能性需求指标和区域化支持

随着计算机科学技术的发展,越来越多的人把关注的目光投入到了计算机软件领域,而软件构架中的非功能需求凭借其在软件设计过程中的重要地位更是得到了开发人员的重视。该文以非功能需求作为研究对象进行分析,从软件架构的概念谈起,阐述了非功能需求的发展历程,并详细介绍了非功能需求的常见指标,最后提出非功能需求的区域化支持这一概念。     

可信软件非功能需求形式化表示与可满足分析

可信软件的可信性由其功能需求和非功能需求共同来体现,其中,非功能需求的实现是可信软件获得用户对其行为实现预期目标能力的信任程度的客观依据.针对可信软件的重要性以及对可信软件的迫切需求,在可信软件的早期需求工程阶段,提出可信软件非功能需求驱动的过程策略选取方法.首先,对可信软件需求进行定义,提出由功能需求和非功能需求中的可信关注点构成可信需求,非可信关注点的非功能需求则定义为软目标,用于表达质量需求,基于模糊集合论和信息熵对可信软件非功能需求进行排序并获取可信关注点和软目标.在此基础上,提出可信软件非功能需求驱动的过程策略选取方法.传统的软件早期需求工程阶段的目标是为了获取满足需求的技术及设计决策,与此不同,本文对可信软件非功能需求进行分析的目标是获取过程策略,从过程角度解决可信软件生产问题.由于非功能需求间复杂的相关关系,尤其是因为存在冲突关系,故提出了基于可满足性问题求解方法推理过程策略的方法,选取满足可信软件非功能需求的过程策略.最后,通过第三方可信认证中心软件的案例,说明所提出方法的可行性.     

面向方面的软件非功能特性研究

软件非功能特性的处理一直以来都是困扰着研究人员和开发人员的难题。将面向方面的编程思想运用于软件非功能性的研究打破了传统的软件设计过程,这种研究方法在软件需求分析的初期分离出系统的非功能特性并将这些非功能特性做一个整体的处理,加快了软件开发的进度,提高了生产效率。文中基于面向方面思想,利用著名的非功能特性描述框架NFR对软件非功能特性进行描述,解决了软件关注点组合时产生的冲突问题,为软件非功能特性的处理提供了很好的解决办法。     

基于FAHP的可信软件非功能需求评估方法

针对可信软件的非功能需求表示与评估问题,对用于非功能需求描述的软目标相互依赖图（Software Interdependency Graph,SIG）进行改进,提出了一个扩展的软目标相互依赖图（Extended Software Interdependency Graph,ESIG）模型来描述和表示非功能需求。在ESIG图模型上,从面向方面的角度提出了一种基于模糊层次分析法（Fuzzy Analytic Hierarchy Process,FAHP）的可信软件非功能需求评估方法。在评估过程中建立了评价准则集、评价等级标准集、权重向量、评价得分矩阵和综合评判矩阵,综合考虑了非功能需求间存在的相对重要性和促进与抑制影响。最后通过一个实例说明了此评估方法的合理性与有效性。     

有限元网格划分及发展趋势

总结近十年有限元网格划分技术发展状况。首先,研究和分析有限元网格划分的基本原则;其次,对当前典型网格划分方法进行科学地分类,结合实例,系统地分析各种网格划分方法的机理、特点及其适用范围,如映射法、基于栅格法、节点连元法、拓扑分解法、几何分解法和扫描法等;再次,阐述当前网格划分的研究热点,综述六面体网格和曲面网格划分技术;最后,展望有限元网格划分的发展趋势。     

《C语言程序设计》课程教学改革方案与实现

《C语言程序设计》是计算机专业的一门重要的基础课,该课程具有很强的理论性与实践性。文章提出在教学过程中采用任务驱动教学法和项目教学法相结合的方法,在实践中取得了良好的效果。     

一种调和两种观点的安全协议分析法

在安全协议的形式化分析中,有两种完全不同的观点：符号方法和计算方法,两者各有优缺点．通过对两种观点的研究,按照优势互补的原则将两者相调和,建立了一种新的形式化分析方法．该方法将协议的安全性分为完全性和正确性,通过分析这两种性质,不仅能考察协议在逻辑上能否达到预期目标,而且能考察敌手在计算上的攻击能力．第一次从逻辑可靠性和计算可靠性两方面对协议进行了综合的安全性分析．     

Service for consistency management of replicas in data grid

Today, grid technology has evolved to the point where it is no longer a theory but a proven practice. It represents a viable direction for corporations to explore grid computing as an answer to their business needs within tight financial constraints. In general, grids enable the efficient sharing and management of computing resources for the purpose of performing large complex tasks. Data grid provides the data management features to enable data access, synchronization, and distribution of a grid. The main aim here is to ensure a efficient access and quality data, to improve the availability, and be able to continue delivering acceptable services. In such systems, these advantages are not yielded by means others than replication mechanisms. The effective use the replication technique involves several problems, in relation with the problem of the coherence maintenance of replicas. Our contribution consists new service for the consistency management in the data grid. This service combines between pessimistic and optimistic approaches, taking into account benefits of both approaches, to find a compromise between performance and quality. In addition, our service has been extended by a mechanism placement of replicas based on economics model.     

半逆解法检测及改进图层法去除雾气算法研究

针对雾天环境下相机所拍摄图像能见度较差造成人眼或设备难以分辨图像细节的问题,提出一种新颖的单幅图像雾气检测和去除方法。在不经过图像优化及修复处理前提下,用半逆解法产生半逆解图像,通过阈值将转换至HSI 彩色空间的原图像和半逆解图像进行色度值对比,快速检测出图像雾气区域。依据光学模型估计出空气光常数等参数,用改进图层法作出多幅光传播图像,再将部分图层叠加成一幅图像。采用对比度拉伸变换法增加融合图像对比度,得到最终去雾图像。     

关于图形图像处理课程的教学探讨

图形图像处理是一门实践性很强的课程,使用传统的教学方法已经不适合当前教学改革的步伐。结合该课程的特点,从教学内容、教学模式、教学方案设计等方面进行了探讨,并对课程考核评价模式进行了详细的分析,提出了以多种教学模式进行教学的思路。     

English-Thai Translation: Initial Experiments with a Multiphase Translation System

A multiphase machine translation approach, Generate and Repair Machine Translation (GRMT), is proposed. GRMT is designed to generate accurate translations that focus primarily on retaining the linguistic meaning of the source language sentence. GRMT presently incorporates a limited multilingual translation capability. The central idea behind the GRMT approach is to generate a translationcandidate (TC) by quick and dirty machine translation (QDMT), then investigate the accuracy of that TC by translation candidate evaluation (TCE), and, if necessary, revise the translation in the repair and iterate (RI) phase. To demonstrate the GRMT approach, a translation system that translates from English to Thai has been developed. This paper presents the design characteristics and some experimental results of QDMT and also the initial design, some experiments, and proposed ideas behind TCE and RI.     

一种计算星座区域覆盖率的高效抽样网格点法

计算星座区域覆盖率的传统网格点法耗时长、计算效率低.基于抽样理论,提出了一种基于抽样的网格点仿真方法,并给出了两种不同类型精度要求下覆盖率计算的方法.同时,提出了误差估计方法,可以定量地根据置信度以及精度需求去调整网格大小,合理地控制误差与计算时间,避免了盲目调整导致的资源浪费.最后进行了仿真实验.实验结果表明,把抽样方法应用于网格点法之中是可行的也是有效的.而且,通过与传统的网格点计算方法相比,在不降低计算精度的前提下,抽样网格点法的计算效率可提高81倍,显著改善了区域覆盖的计算效率.     

在快速原型法中嵌入SSM思想

文中以一个成功地开发了的ＭＩＳ为实例，阐明了在用快速原型法开发ＭＩＳ的过程中嵌入软系统方法论的思想使原型法进一步完善的过程。     

Active Network 研究综述

介绍了两种实现Active Network方法，描述Active Network结构与组成、Active Network封装协议和Active Network编程模型．讨论国内外对Active Network的研究成果和进展．在该文最后对Active network研究作了总结，并给出将来研究方向。