一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

基于GridSim的一种改进的资源调度算法的模拟

网格资源管理是网格中一件非常复杂和具有挑战性的工作.资源管理的好坏、效率的高低直接关系到计算网格系统的性能,因此对资源管理的研究显得尤为重要.GridSim提供了一个虚拟的网格平台,在该仿真平台下,用户可以模拟资源调度,从而检测调度算法的优劣.本文对已有的时间代价均衡算法进行改进,提出了一种新的基于时间代价的资源调度算法,并借助Echlipse平台实现了该算法的模拟.实验表明,改进算法在任务数比较多时具有一定的优势.     

网络资源管理的主要模式

从网络资源管理的角度探讨了它的核心组成和网络资源管理检索技术的突破点——智能软件代理,分析了万维网检索系统和主题指南系统的区别,指出了它们存在的局限性,并提出了相关的改进措施。     

网格资源的动态分配和管理技术研究

为了提高资源共享和协同工作效率,在现有网格资源管理体系结构基础上,对支持资源管理动态化的特性进行了改进,并提出了无间隔动态解决资源故障的算法.该算法将资源库中可运行的任务尽可能多地映射到相应的本地资源管理者,使资源能够进行动态分配,从而使网格中面临的大量具有动态特性的资源管理问题变得容易, 实现了对网格资源更加灵活高效的使用.     

网格环境中决策资源管理的研究

分析了Internet中决策资源管理的要求,结合网格资源管理的特点,提出了一种网格环境中决策资源管理的模型.     

资源管理和控制在TD-PRS系统终端中的实现

在TD-PRS系统中,资源单元的管理和控制是由MAC子层来实现的.首先介绍了MAC子层的外 部接口关系和提供的功能,然后分析了实现资源管理的方法,最后提出了资源管理和控制的实现过程,对 TD-PRS协议栈的开发具有一定的参考价值 .     

城市户外广告资源管理研究

城市户外广告资源作为公共资源的一部分具有行政垄断性.本文阐述了城市户外广告资源的性质,剖析了城市户外广告资源管理中存在的问题,分析了问题产生的原因,并提出了解决问题的对策.     

面向目标导向的软件演化过程行为的研究

对软件演化过程行为的分析有助于在演化前期阶段发现一些不合理的设计情况,从而达到降低软件演化的风险.在面向目标导向的软件演化过程模型的基础上,使用通信顺序进程的原理对软件演化过程的行为进行了研究,分别从过程的迹、确定性和不确定性等方面进行了深入的分析,并给出了每一种行为的计算方法.     

基于云计算的高效科学计算应用软件框架

提出了一个新的高效科学计算软件框架,介绍了该软件框架中减少资源使用量的方案.该方案指出了云计算环境中科学仿真实验存在的有效浪费和无效浪费,可以通过采用动态资源管理和资源监控技术减少这2种资源浪费,从而实现资源的最小化.为该方案设计了一个原型系统,结合科学仿真实验用户使用资源的统计数据对该方案进行了探讨,使用方案后最大可以将资源的使用量降低50%.     

民族教育资源本体构建方法及应用

在分析本体构建方法的基础上，利用软件工程思想，提出了一种民族教育资源本体构建方法，并以傣族教育资源本体构建及实现为例，详细阐述了傣族教育资源概念的获取、层次结构的划分、概念的属性和关系的确定以及实例的创建，最后基于Protege实现了该本体。     

运移聚集并行数值模拟软件系统

为了重建油气盆地的运移聚集演化史,开发了盆地多层油资源运移聚集并行计算数值模拟软件系统,提出了全新的多层油资源运移聚集史数学模型,构造了新的精细并行修正迎风分数步迭代格式,并行算法,并行程序设计,采用交替方向网格剖分的方法,该软件已成功地用于东营凹陷、胜利油田滩海地区的油资源评价,取得了良好的应用效果.     

虚拟软件企业集成开发环境的构筑

结合动态联盟的崭新管理理念和现代先进的计算机网络技术,突破传统软件企业的经营运作模式,构筑了一个基于网络资源共享的虚拟软件企业开发环境,同时,对系统的每一个功能体系都给出了比较详细的描述．该系统的开发和应用,将更有效地实现软件企业各种资源的共享和重用,更大程度上改进自身的过程管理和文档规范,最终实现软件企业之间集成．     

信息资源建设理论的演进历程

对文献资源建设理论发生的逻辑嬗变进行了阐述,指出从“藏书建设”到“文献资源建设”再到“信息资源建设”的演化过程,引发了图书馆馆藏建设理论和实践的飞跃性发展。     

开源软件Linux内核的进化分析

开源软件各种版本的源代码和相关开发信息是软件工程研究者研究软件进化的重要数据源.文中研究了Linux的进化规律,归纳了开源软件项目的数据源及数据收集方法,并给出了Linux内核的软件进化的分析方法和相关分析结果.得出了Linux目前以超线性方式进化,而进化的主要推动力是适应系统硬件资源的进化的结论,并提出了快速测算大型开源软件复杂性的方法.     

计算机软件资源保护现状及对策

本文阐述了目前计算机软件资源保护的几种方法，并从实用的角度分析了这几种方法的优缺点，最后提出了今后计算机软件资源保护的对策。     

鸟类分子生物学研究相关的Internet资源与常用软件

通过对互联网上的鸟类分子生物学资源进行数据挖掘、统计与分析,结果显示,当前鸟类的分子生物学研究资源已经相当丰富,尤其是在家鸡的全基因组测序之后,鸟类的分子生物学研究数据迅速上升,这一趋势仍将愈演愈烈.文中罗列了目前常用的互联网鸟类资源,以及相关软件的应用情况,对鸟类的基因组数据及基因组计划情况进行介绍与总结,相关信息通过表格形式详细列出.     

企业参考资源模型的建立

提出参考资源模型结构,并给出其构造方法,研究其在建模导出过程中的支持作用.企业参考资源模型是一个资源的参考目录,在建立特定企业资源模型时,可以直接从参考资源模型中选取所需资源.参考资源模型的建立支持资源重组,缩短建模时间,从而加速建模的进程.     

应用面向对象技术进行水资源供需平衡评价

为研究某灌区不同方案的水资源供需平衡状态及最优解决途径,第一次引入面向对象技术进行水资源供需平衡评价系统分析,抽象出水库类、渠道类、灌区类和相应的软件模型,使用编程语言ＶｉｓｕａｌＣ＋＋进行软件设计,利用面向对象编程（ＯＯＰ）方法和资源共享技术的优势,编制了Ｗｉｎｄｏｗｓ中文版平台上的水资源供需评价软件,实际运行良好,对系统的控制准确,达到了研究目标。     

现代图书馆数字资源质量评价体系初探

介绍了数字资源的概念及其特点,探讨了数字资源质量的评价体系的指标。