重写技术在面向对象程序维护中的应用

在面向对象程序的系统中,如何有效地实现程序的测试和维护是软件工程研究所关注的和比较难以解决的问题．结合面向对象程序设计的思想和重写技术的应用,提出了程序重写技术的基本思想及其框架结构,该模型在借鉴了抽象的重写系统和重写逻辑的基础上,构造了面向对象程序的重写理论,并定义了重写系统的模型．在该模型中,通过研究并定义对象行为的三种状态（即初态,中态,终态）变换,结合实际可能使用的重写规则,可将对程序行为的描述重写成所包含对象状态变换的描述,进而实现用对象运行状态的范式形式来描述程序行为的目的．在严格地定义了相关概念后,给出了该模型的语义解释及其在程序测试和维护中的应用．     

基于修正网重写系统的制造系统动态重构

智能制造模式要求制造系统能够快速动态重构以及时响应多品种、小批量产品的客户化、个性化定制的需求。本文从生产制造流程出发,针对不同输入输出函数下非托肯守恒复杂制造系统一般PN模型,在网重写系统的基础上提出修正网重写系统。修正网重写系统依据产品制造流程聚类对规则类库中重构单元子类进行系统的模块化封装,并制定相应的重构区域边界耦合约束与内部结构使能规则。构建的修正网重写系统重构单元类库具有行为特性继承的特点,保证局部区域重构后制造系统的活性、有界性及可逆性,根据制造系统修正网重写系统重写规则与重构步序可实现制造系统自主快速的动态重构。仿真结果与应用实例验证了修正网重写系统的可用性。     

左线性重写系统的合流性

讨论左线性的项重写系统的合流性,通过引入重写系统的局部归约序,可证明对于具有局部归约序的左线性重写系统R,R具有合流性,当且仅当,对于任意M→R P和M→R Q,P和Q在M下相对局部归约序子连通。     

重写系统中的显式归纳方法

提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统，实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。     

基于递归安全视图的XML查询重写算法

XML查询重写是访问控制中的关键技术.在分析Rewrite算法局限性的基础上提出一种基于XML安全视图的能处理递归视图的查询重写算法,并对算法进行分析,它能够避免视图的物化和保存,把基于递归视图的XPath查询转化为等效查询.     

基于改进的网重写系统的Petri网逻辑控制器的自重构方法

提出一种基于改进的网重写系统的可重构制造系统的Petri网模型的自重构方法。通过改进,克服了网重写系统的若干固有缺陷,提出了Petri网逻辑控制器的自重构方法,这种方法能保证重构中逻辑控制器的正确性,避免复杂的数学分析验证。通过可重构制造单元的实例演示了该方法,并验证了其有效性。     

半结构化数据OEM图应用

研究了如何利用查询和视图来解决半结构化数据查询重写问题．给出了一种OEM数据模型和一种半结构化数据查询重写算法．算法借用了半结构化数据查询重写桶算法的思想，解决了半结构化数据模型之下查询重写的一些新问题．理论分析表明，它降低了算法的代价．     

基于一阶逻辑的非一致性关系数据管理

对于给定的约束,数据库可能是非一致的.为了获得一致性结果,基于一阶逻辑,提出非一致性关系数据管理框架,研究多种合取查询类型对应的连接图及其连接的充分性,分析一致性查询应答的计算复杂度.在查询连接类型是键-键、非键-键或不充分的键-键,且查询对应的连接图是非环的情况下,一致性查询应答的计算在多项式时间内是可解的.针对大量实际的易处理合取查询,给出查询重写算法获得可重写的查询.算法首先判断初始查询是否为可重写,再基于连接图进行递归计算构造一致性识别语句,然后,与初始查询合取产生一个新的一阶重写查询,用于计算一致性结果.对于非环的自连接查询,由于递归重写算法不能剔除非一致性元组,因此,采用初始查询获取了用于剔除违反键约束的非一致性元组的语句.     

一种找出较优重写查询的启发式算法

提出了一种实用的启发式算法．该算法使用了一种简单的代价模型来比较查询之间的相对代价,并利用多项式时间从实化视图得到的多个重写查询中找出一个执行代价较节省的重写查询,不需要查询优化器的支持,减少了优化器的负担．实验结果表明该算法找出的较优重写查询的执行时间比穷尽搜索算法的略有增加,而搜索时间和空间显著减少．利用该算法可快速地响应查询,能显著改进数据仓库的查询性能．     

基于视图的查询重写

概括了基于视图的查询重写所涉及的研究领域，介绍了查询重写的一些基本概念和定理，总结了基于视图的查询重写的求解过程。在此基础上，揭示了使用视图重写查询过程巾的两个独立复杂性因素，即包含映射和冗余基本式，分析了求解查询重写的复杂性问题。最后，结合当前流行的XML技术，讨论了XML领域中的查询重写问题及其与传统数据库中的查询重写问题的关系。     

电脑横机计算机花型准备系统

本文介绍的是我们为邢台塔茨米厂TN-4CP型横机开发的一套计算机花型准备系统,详细讨论了系统数据结构的设计与实现。本系统与TN-4CR原配花型准备系统TDSF-300/F相比,功能更强,使用更方便,为实现电脑横机花型准备系统国产化奠定了基础。     

电脑横机花型准备系统中混沌、分形图纹的生成

讨论了电脑横机花型准备系统中混沌、分形图纹的四种生成方法,给出了图纹编织花板的存储形式.花型准备系统中混沌、分形图纹的引入,大大提高了花型设计的快速性和花色品种的多样性.     

服装PDS纸样自动生成专家系统的研究

从服装结构的描述,专家知识的获取及知识库的建立,及采用参数化设计思想等三方面讨论了开发服装PDS(Pattern Design System)纸样自动生成专家系统的关键技术。并以具体样版为例,详细介绍纸样自动生成的实现方法,如虚拟样版的构造及样版数学模型的建立等。     

工程图纸输入和识别

简要概述了作者在工程图纸输入处理方面的工作对工程图纸的扫描、去噪声、显示、拼图、编辑、矢量化和模式识别等进行了研究和编程，提出了一些新的分析方法和问题加以讨论例如，宽度不是字节整数的处理，虚拟存贮管理，汉字标注方法，图形的拼合是采取文本合并，直线和圆弧的识别是采用三点法判别，Ａｍｍｅｒｒａｌ书中提过此法，细化算法是Ｐａｖｌｉｄｉｓ的．     

从折射理论看译者的任务

从勒弗维尔翻译思想的立论基础“折射”理论出发,探讨了译者的任务在于根据目的做出相应的改写。改写是对折射的一种继承和发展,翻译行为因为其目的性必然存在着改写现象,这对非文学文本和文学文本同样适用。     

问答系统和浅层结构模式推理

首先给出了问答系统的定义,并对问答系统的历史进行回顾．然后对现有问答系统进行了分类,并对各类问答系统的性能及其所采用的核心技术进行了分析、总结．最后对问答系统的发展趋势进行了展望．在此基础之上,提出浅层模式推理理论,对问答系统的发展,进行了有益的探索．该理论综合了现有问答系统的优点,有望基于纯粹的文本知识,实现检索、理解、推理一体化的机制．     

进化算法研究平台的设计与开发

设计和开发进化算法平台,对进化算法的研究具有重要的意义。利用MVC设计模式和面向对象的软件开发思想,提出了一个可扩展的进化算法平台。平台完成参数设置、算子导入、计算结果的存储与显示等功能,并提供了友好的人机交互界面。平台对各项功能进行封装,在算法运行中可动态加载,因此算法流程灵活多变;利用动态链接库实现了导入功能,不仅方便新算子集成到平台,而且有利于平台的扩展。     

三圈高地毯簇绒机花型准备系统的开发

介绍了三圈高地毯簇绒机的花型准备系统，包括花型设计和花型转换两大部分．花型设计是基于计算图像处理技术实现对地毯花型的计算机辅助设计，得到符合条件的花型；花型转换是根据设计的工艺要求，把设计图转换为直接应用于现场控制地毯簇绒机的工艺图．     

基于MVC模式的冲压模具CAE系统构架设计

研究了MVC模式在冲压模具CAE系统构架设计中的运用,解决了MVC模式本身所固有的一些缺点,使其更适于CAE系统构架的设计,同时给出了基于MVC模式的CAE系统构架的核心UML框图.     

入侵检测系统中的相反性综合降维模型

 为了提高入侵检测系统的性能，提出了一种综合降维方法。首先，借用类比推理方法，为两个多维向量建立相似距离算法。然后，基于人工免疫系统和遗传算法设计了一种对正常行为样本集合和异常行为样本集合的优化算法。最后，对采集到的网络行为样本，分别计算与优化的两个行为样本集合的相似度。把这两个相似度作为纵坐标和横坐标，行为样本被映射成二维坐标平面上的点。系统根据点的位置，判定行为是否异常。