基于谓词逻辑的设计模式描述方法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:jerryhua1987
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
设计模式描述了面向对象软件设计过程中不断重复发生的问题以及这些问题的解决方案,强调系统的复用性,帮助人们做出有利于系统复用的选择,因此设计模式也可看成是对软件开发者的分析与设计知识的记录、提炼和表示,谓词逻辑是一种形式语言系统,具有精确、无二义性以及容易为计算机理解和操作等特点。采用了谓词逻辑来形式化描述设计模式,以实现对设计模式精确的形式化描述,并给出了具体的实例分析。
其他文献
加快经济增长方式的转变已经成为目前制约经济发展的瓶颈问题之一,这个问题的重要性和解决的必要性也在党的十六届五中全会,以及《中共中央关于制定国民经济和社会发展第十一个
“推拉摇移”是电影中经常运用的镜头手法,而我们手中只有些静态的数码照片,能不能也实现这种特效呢?答案是肯定的。下面我们就以两款最常用的工具Premiere6.5与FlashMX为例,
粒子滤波算法适合于处理非线性非高斯问题。但是粒子滤波算法比较复杂,实时性差。以提高粒子滤波算法的运行速度和节省存储空间为目的对现有的粒子滤波算法进行了一些改进,以二
笔者阐述了巴东县水土流失现状及其危害,从自然和人为两个方面分析了水土流失成因,并从技术和政策层面提出了治理对策。
我国高分辨率遥感卫星在各行各业的应用发展迅速,各类不同高分辨率遥感卫星的研制和发射也进入密集期,单颗卫星独立管控的传统模式已经不能满足高分辨率遥感卫星的发展要求,
证券交易对海量数据管理和分析存在潜在需求,对证券交易决策支持系统做了分析,针对海量数据管理,提出基于DW、DM、OLAP的系统框架,并设计了网络结构、主题、数据维度、数据库
推行部门预算改革,是继“分税制”之后的我国又一重大的财政体制改革,也是当前县(市)财政四项改革的一项关键内容。从2003年起,赤壁市开始对市公安局等部门试编部门预算,2004年,在72
根据中国近年来特高压直流输电线路的运行统计,雷击故障一直处于各类故障的首位,雷害已成为影响特高压直流输电设备安全运行的重要因素。±800 kV特高压直流宾金线是中国