基于遗传算法具有容错能力的图像滤波器优化设计

针对在可重构逻辑阵列中会出现一些故障单元的问题,利用遗传算法进化出适合该逻辑阵列的图像滤波器,并且考虑到结果电路的正确性、速度、功耗和复杂度等指标.实验结果验证了逻辑模块整列中存在较少故障模块时,可以生成功能上接近无故障模块时的滤波器电路.     

再论修正的相对论

本文对修正的狭义相对论进行了补充讨论，并建立了修正的广义相对论，它在超光速情形不出现逻辑诡辩。     

硬件进化的快速算法模型研究

针对硬件进化(evolvable hardware，EHW)存在的进化规模的扩展能力问题，研究了以内嵌式EHW的自适应要求为条件的染色体表示及计算复杂性问题．为提高遗传机器学习计算效率，根据FPGA(field programmable gate array)内部的结构特点，将可重构硬件的结构映射为遗传学习的染色体表示，提出一种符合EHW要求的二雏染色体的遗传机器学习方法——ISPitts，构造了一种动态遗传机器学习框架．实验结果显示，新方法不仅完成了四位比较器的内嵌式EHW实现，而且具有较高的进化效率．     

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

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

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制，本提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法．该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构．确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤，采用透明度指标对模型进行评价，并给出控制器重构能力分析原则．接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中．分析结果表明设计的可重构逻辑控制器形式正确、有效，具有可重构能力．最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台，该软件采用CORBA组件模型的软组件技术开发．     

对MYCIN不精确推理模型的修正及应用

针对ＭＹＣＩＮ可信度计算方法的不足，本文提出了“模糊逻辑”和“非纯逻辑”两种修正方法，而且“非纯逻辑”还可表示“模糊逻辑”和传统的“纯逻辑”，因而更灵活、实用。但二者也存在推理效率降低的缺陷，所以本文最后还提出了改善推理效率的几个措施。     

可重构技术综述

可重构性是指在一个系统中,其硬件模块或(和)软件模块均能根据变化的数据流或控制流对系统结构和算法进行重新配置(或重新设置)。可重构系统最突出的优点就是能够根据不同的应用需求,改变自身的体系结构,以便与具体的应用需求相匹配。可重构系统的实现技术包括DSP重构技术,FPGA重构,DSP FPGA重构,可重组算法逻辑体系结构,可编程片上系统(SOPC),可进化硬件(EHW),本地重构/Internet远程重构等。可重构技术尽管面临一些需研究和解决的问题,但是发展前景是广阔的。     

可进化可重构图像滤波器的设计

设计了一种新型的可重构、可进化图像滤波器.可重构电路采用了一种全新的可配置电路网络结构.该结构将功能运算单元以Benes拓扑结构互联,取代现有的MUX加功能运算单元的结构,使其具有更多条输出路径,更多运算单元参与到了进化中以提高进化效率.在运算单元设计方面,利用FPGA中特有的丰富LUT逻辑资源优势,设计了一种仅通过LUT配置码来控制其功能的P运算单元,节约资源且扩充了运算单元可执行的功能选项.借助于模拟退火遗传算法,通过对可重构电路配置码(基因)的不断改进和优化,该滤波器可以很好地滤除图像中的高斯噪声和椒盐噪声.实验结果表明:经过100万代进化,对于高斯噪声,噪声图像的平均每像素误差Mdpp=32.11,滤波后Mdpp=16.74,滤波质量优于一般高斯滤波器和现有的MUX加功能运算单元的可进化滤波器;对于椒盐噪声,噪声图像Mdpp=6.22,滤波后Mdpp=3.44,有效滤除了噪声.     

基于信号解释Petri网的可重构逻辑控制器分析与设计

为适应可重构制造系统这一新生产模式的顺序控制 ,本文提出了基于信号解释Petri网的可重构逻辑控制器分析和设计的方法 .该方法利用层次化、模块化和接口技术将控制器规划为开放的体系结构 .确定了可达图法和化简技术结合的SIPN模型形式分析方法及步骤 ,采用透明度指标对模型进行评价 ,并给出控制器重构能力分析原则 .接着将该理论及方法用于一可重构装配生产线可重构逻辑控制器的建模和分析案例中 .分析结果表明设计的可重构逻辑控制器形式正确、有效 ,具有可重构能力 .最后提出逻辑控制器建模、分析、仿真、代码生成和逻辑控制实施的软件平台 ,该软件采用CORBA组件模型的软组件技术开发 .     

开放逻辑中的认识进程

本文对开放逻辑的一个重要概念认识进程进行了研究。给出了认识进程有极限的几个充分必要条件，刻画了一个类永远有极限的认识进程即所谓的有序认识进程。     

工作流网上行政审批系统的设计与实现

针对传统办公自动化系统及现有网上办公系统中,办公流程发生改变时必须修改系统代码的缺点,提出基于工作流的网上行政审批系统.它将业务过程逻辑与信息支撑系统分离,在不修改功能模块代码的情况下实现了应用逻辑和过程逻辑的分离,方便业务重组、流程定制及功能扩充.     

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。     

经济转型升级与地方治理模式的创新——以浙江省长兴县为例

我国地方治理模式的创新不能照抄西方的治理理论和协商民主理论，需结合我国实情，认真分析地方经济转型升级和地方治理的内在逻辑和机制。文章以位于全国百强县的浙江省长兴县为典型案例，分析其发展中的困境，概括其成功的经验做法，并对长兴经济转型升级与地方治理模式创新所取得的成效进行了反思。     

可树形分解的联想过程分析

将联想思维过程抽象成联想图，该图是以变量之间的相关性和条件相关性表示的正态分布，进而讨论了联想图的可树型分解问题，包括可树型分解条件及其树重构算法，可树形分解的联想思维不仅是发散的，而且是递进的，因而具有更高的创造性，这些结论不仅可用于评价人类的联想思维过程，而且可通过对联想思维过程重构来刺激创造性思维的产生。     

中美民事诉讼准备程序之比较研究

民事诉讼准备程序,以其保障庭审公正,提高庭审效率的双重功能,已成为各国民事诉讼制度上的一个不约而同的抉择.通过对中美民事诉讼准备程序静态的立法规范和动态的司法实务进行比较考察,试图为重构我国科学合理的民事诉讼准备程序提供可行性建议.     

复杂系统可靠性的GO法精确算法

GO法是以成功为导向的系统可靠性分析方法 ,直接进行系统可靠性定量计算是 GO法的优点。但是对复杂系统 ,GO运算过程中需要保留共有信号项 ,并进行修正处理 ,直接计算较难实现。该文给出了对共有信号项进行修正的计算公式推导过程 ,并提出了有共有信号的复杂系统中 GO法定量计算的新的精确方法 ,只要对共有信号的状态组合进行多次简单的 GO运算 ,就可以计算系统所有信号流状态概率的精确值。算例说明方法是正确的 ,结果是精确的 ,此方法简单有效 ,使 GO法得到进一步发展和应用     

长江三角洲地区城镇污水处理工艺优选研究

探讨了长江三角洲地区主要城市的污水处理厂现状,对老厂改造及新厂建设的工艺选择进行了系统研究,对不同地区、不同水质及出水要求不同,选择工艺时要经过系统论证,达到用较少资金最大限度去除污染物的目的,为城镇污水处理厂的工艺选择提供参考.     

互逆主义逻辑与古典逻辑比较

提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。互逆主义逻辑提出了二元认识论,通过归纳复合的方法建立命题,通过分解的方法应用命题,从而彻底解决了古典逻辑中的缺陷,并使推理可以机械地进行,便于计算机实现。     

语篇翻译中词汇衔接的识别与重构

本文试图通过对比分析英国著名小说《呼啸山庄》的两个中文译本来说明,语篇中的衔接手段不管是在理解原文或是在构建译文的过程中都起着非常重要的作用。在语篇翻译的过程中,对词汇衔接进行识别与重构,不仅能够更好的理解原文,而且能够产生与原文在意义上、功能上对等的译文。