A metamodeling approach for pattern specification and management

The formal specification of design patterns is central to pattern research and is the foundation of solving various pattern-related problems.In this paper,we propose a metamodeling approach for pattern specification,in which a pattern is modeled as a meta-level class and its participants are meta-level references.Instead of defining a new metamodel,we reuse the Unified Modeling Language(UML)metamodel and incorporate the concepts of Variable and Set into our approach,which are unavailable in the UML but essential for pattern specification.Our approach provides straightforward solutions for pattern-related problems,such as pattern instantiation,evolution,and implementation.By integrating the solutions into a single framework,we can construct a pattern management system,in which patterns can be instantiated,evolved,and implemented in a correct and manageable way.     

径流式低水头大流量小水电站的坝型选择

本文以福生水电站设计的坝型选择为例,综合阐速了利用大中型水电站发电尾水,选择适合的坝型建低水头大流量小水电站具有可观的前景.     

计算机网络可靠性设计

随着计算机网络的迅速发展,计算机网络的可靠性问题越来越受到网络设计者和使用者重视。本文针对网络可靠性设计涉及的设备、各种线路的选择以及设备、电源配电线路、网络数据、信号传输线路在使用时需注意的问题,提出了一些建议。     

电子装置的可靠性设计

论述了如何正确选择电子元器件和正确使用电子元器件对电子装置可靠性的影响,同时也论述了正确布线提高系统可靠性问题及电子装置箱体设计应考虑的问题。     

移动学习管理系统在WAP环境下的设计与实现

文章详细介绍了系统的总体结构、系统功能、数据库设计、服务器端和客户端等的实现技术。     

基于驱动的进程创建监控的实现

介绍了驱动开发技术背景及应用,讲述SSDTHOOK方法,实现监控NtCreateProcessEx系统服务。RING3应用程序和驱动程序的交互,RING3应用程序和驱动程序的同步实现基于驱动的进程创建监控。     

嵌入式Linux环境下USB摄像头应用程序设计

本文提出一种方法,可以通过简单的编程实现对原本＂不可用的＂USB摄像头进行测试及应用实现。     

Eclipse插件的开发与研究

本文以Eclipse插件为例,给出了插件开发的目的、意义和具体实现的方法。     

基于十瓶保龄球的断言优化

在软件需求增加和规模增大,却又要能做出及时交付给用户并且让用户满意的软件的时期,传统的软件工程方法显得有些力不从心,且已经遭到人们的质疑,而最近兴起的一种软件开发过程相关的技术,提供一些比较高效、实用的软件过程开发方法,这就是敏捷软件开发方法。测试驱动开发TDD(Test-Driven Development)是极限编程过程(一种敏捷开发)的重要特征,其对控制软件开发进度和开发质量有非常重要的作用。它的基本思想就是在开发前根据对将要开发的程序的要求,先写好所有测试代码,并且在开发过程中不时地通过运行测试代码来获得所开发的代码与所要求的结果之间的差距。这些活动的进行很大程度上依赖着程序的断言代码。因此断言代码的全面性及完整性深深地影响着一个程序的开发进度和质量。     

设计更改在装配关节图上的传播

设计更改的连锁反应效应可能导致不可预计的后果,为了更好地获取更改在零件间的传播过程,提出基于装配关节图的更改传播求解方法.装配关节图以机件内部所有与装配特征相关的几何特征为研究对象,零件间的连接关系和零件内几何特征间的空间关系分别用装配关节和变换矩阵表示;作用于几何特征的设计更改表达为特征坐标系下的变换矩阵,更改在关节图上的传播按机器人学中的正运动学问题求解,并在关节处根据自由度进行消解;在装配关节图上层层递进的更改传播求解与人工干预的更改方案的确定及实施交替进行.最后基于Pro/E平台二次开发的应用系统验证了该方法的可行性.