基于聚类方法的软件设计与应用

通过对聚类算法和技术的研究,设计和研制了层系优化配套软件,并应用到油田的开发层系细分与优化.通过分析东辛地区沙河街组的沙二段8-11砂层组8个小层的实体属性,用研制的细分开发层系软件对辛16断块的层系进行划分与组合评价,最终优选出合理的开发层系组合,表明了聚类方法技术在油藏高含水期细分开发层系中的可行性和科学性.     

Improved Bounded Model Checking for the Universal Fragment of CTL

SAT-based bounded model checking (BMC) has been introduced as a complementary technique to BDD-based symbolic model checking in recent years, and a lot of successful work has been done in this direction. The approach was first introduced by A. Biere et al. in checking linear temporal logic (LTL) formulae and then also adapted to check formulae of the universal fragment of computation tree logic (ACTL) by W. Penczek et al. As the efficiency of model checking is still an important issue, we present an impr...     

Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts

Software engineering is broadly discussed as falling far short of expectations. Data and examples are used to justify how software itself is often poor, how the engineering of software leaves much to be desired, and how research in software engineering has not made enough progress to help overcome these weaknesses. However, these data and examples are presented and interpreted in ways that are arguably imbalanced. This imbalance, usually taken at face value, may be distracting the field from making significant progress towards improving the effective engineering of software, a goal the entire community shares. Research dichotomies, which tend to pit one approach against another, often subtly hint that there is a best way to engineer software or a best way to perform research on software. This, too, may be distracting the field from important classes of progress.     

一种面向普适计算的适应性软件体系结构风格

普适计算软件需要适应用户需求和运行环境的动态变化.这一特点使得软件复杂度空前增加,迫切需要以软件体系结构为代表的架构/设计层面重用手段来支持其高效开发.在以适应性为中心的普适计算空间抽象模型基础上,提出了一种面向普适计算的软件体系结构风格UbiArch,并从概念视图、运行视图和开发视图这3个维度对该软件体系结构风格进行了阐述.UbiArch支持软件实体按需加入应用、主动适应环境的行为模式,实现了软件适应能力的高层次重用,同时与构件等成熟软件技术的紧密结合也保证了其可实践性.支撑该体系结构风格的软件平台原型系统及其上的应用验证了UbiArch的有效性和通用性.     

一种基于正态分布交叉的ε-MOEA

实数编码的多目标进化算法常使用模拟二进制交叉(simulated binary crossover,简称SBX)算子.通过对SBX以及进化策略中变异算子进行对比分析,并引入进化策略中的离散重组算子,提出了一种正态分布交叉(normal distribution crossover,简称NDX)算子.首先在一维搜索空间实例中对NDX与SBX算子进行比较和分析,然后将NDX算子应用于Deb等人提出的稳态多目标进化算法ε-MOEA(ε-dominance based multiobjective evolutionary algorithm)中.采用NDX算子的ε-MOEA(记为ε-MOEA/NDX)算法在多目标优化标准测试集ZDT和DTLZ的10个函数上进行了实验比较.实验结果和分析表明,采用NDX的?-MOEA所求得的Pareto最优解集质量明显优于经典算法ε-MOEA/SBX和NSGA-II.     

基于客户程序度量包内聚性

为了一致而高效地计算包内聚性,许多研究者提出了大量的包内聚性度量方法.然而,这些方法主要依赖于包内部的数据流关系,常导致度量结果与实际开发经验相悖.为了解决这一问题,首先以包的职责为基础将包划分为4类.然后,提出了共同重用内聚CRC,并根据包的分类框架讨论了CRC的适用性.CRC的核心思想是若多个类总被共同重用,则它们之间存在紧密耦合.最后,提出了度量CRC的海明内聚度HC.与现有方法相比,HC同时考虑了包内和包间的数据依赖.因而,该方法能够有效地反映包内部类间的语义关系.此外,HC利用包的使用模式提高了度量结果的可区分性.实验研究表明HC能够有效评估包的内聚程度.充分说明了作为HC基础的CRC具有较高的合理性.     

软件工程课程教学的研究与实践

为适应IT行业的人才需求,在对软件工程课程教学中存在的问题进行分析的基础上,从软件工程的课程教学体系、教学内容的更新、教学模式、课程教学资源建设、加强实践环节及课程考核等方面进行了教学改革的实践探索。     

三层结构电力管理信息系统的研究与设计

多层结构是二层客户／服务器结构的发展,代表着应用程序的发展方向。本文在阐述了三层客户／服务器结构应用系统概念和特点的基础上,针对电力行业特点,结合需求分析和项目实际,采用C／S和B／S的混合模式,开发了三层分布式的电力信息管理系统。     

用Delphi开发奖金发放系统

本文介绍了用Delphi7.0开发基于SQL Server数据库的奖金发放系统的构思、设计与实现过程,分析了课题的产生背景、需求目标、开发环境选择、逻辑设计与物理设计等问题。     

课堂教学与家庭测验软件设计与开发

本教学软件满足了小学数学课堂教学与家庭测验的需求。在直观展示演示窗口和设计窗口的基础上,分析程序的逻辑结构和流程图,并给出了主要的关键代码。