格值命题逻辑系统Ln ×2P(X)中广义文字的α-归结性

归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑...     

扇及其一致膨胀图的PI指数

通过对扇（Fn）及其一致膨胀图（UFFn）的结构特征进行研究,得到其结构具有一定对称性.根据图的PI指数的定义,给出了扇及其一致膨胀图的PI指数.     

一种算子模糊逻辑系统

建立了一种带模糊文字以及模糊算子的算子模糊逻辑系统,讨论了该逻辑系统逻辑性质．在算子模糊逻辑系统中,定义了λ-归结,证明了λ-归结的相容性以及基于λ-归结的归结推理的完备性,为基于逻辑的不确定性推理提供了新的思路与方法．     

归结原理在不精确推理中的应用

归结原理是定理机器证明中的一种基本技术.在知识工程的研究中,需要处理不确定和不精确的知识,本文讨论了采用可能性理论表示不确定命题和谓词的方法,以及如何应用归结原理来进行不精确的推理.     

自动定量证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法－多余文字参数法。利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题。本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性，语义归结完备性，线性归结的完备性以及输入归结和单位归结的等价性问题。     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

鲁棒保性能PI控制器设计

为提高系统的稳态跟踪精度,针对一类具有范数有界不确定性的连续时间系统,提出了一种鲁棒保性能PI控制器的设计方法.结合一个二次型性能指标,采用线性矩阵不等式的方法,给出了保性能PI控制器存在的条件,并利用线性矩阵不等式的解得出了PI控制器的参数.     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

基于分数阶PI~λ控制器的单容水箱液位控制

讨论分数阶PIλ控制器在单容水箱液位控制中的应用问题,给出了一种基于图解稳定性准则的PIλ控制器的设计方法.研究了PIλ控制器的参数稳定域,然后在稳定域内进行系统性能的设计,并提出具体的设计算法.通过Matlab仿真和水箱液位控制系统的实际操作实验,对分数阶PIλ控制器、整数阶PI控制器和常规Ziegler-Nichols参数整定方法进行比较,说明了本文设计方法的有效性和分数阶PIλ控制器的优越性.     

广义替换—归结方法

文献中王湘浩等给出了不同于Robinson归结方法的广义归结方法,可用于对不带等词的一阶谓词演算定理的一般形式直接进行机器证明。本文给出了不同于Robinson替换方法的广义替换方法,证明了广义替换方法与广义归结方法的联合使用,称为广义替换一归结方法,可对带等词的一阶谓词演算定理的一般形式直接进行机器证明,证明了广义替换一归结方法是合理的和完备的。     

用于磁悬浮止推轴承控制系统的各种控制理论的比较

介绍了磁悬浮止推轴承实验装置 ,建立了数学模型。对其实验装置所用的各种控制理论 (线性状态反馈控制、PI控制和 H∞ 控制 )在起动、定位、稳定、响应速度、抗干扰以及鲁棒性等方面的执行情况作了比较和评价 ,给出了结论     

半导体激光器的精密温控系统设计

介绍了一种大功率半导体激光器的精密Fuzzy PI温控系统的设计,利用半导体制冷器对大功率半导体激光器进行精密温控,控制精度高、振荡小;在常规模糊PID控制器的基础上,通过增加模糊控制规则,从而构成变积分系数的模糊PI控制器,通过在线调整积分系数,间接调整常规模糊控制器的模糊控制规则,以改善其性能。     

"及时教学法"和"同伴教学"模式下的XML教学研究

针对"XML"课程知识点多且和多门课程有交叉知识点的特点,提出"及时教学法(JiTT)"和"同伴教学(PI)"模式下的教学方案。从教师课前问题的组织、课堂测验问题的选择、组织实施以及在教学中应注意的问题,到学生对课程的掌握及学习兴趣等多个方面进行了定量分析,结果表明该模式应用于XML课程教学中,不仅提高了学生分析问题、解决问题的能力,而且提高了其学习兴趣。     

挤塑机温控系统中模糊-PI复合控制的应用

将模糊控制器用于温控系统的控制，克服了传统PID控制参数整定繁琐，对控制对象的参数变化缺乏自适应性的不足，提出了Fuzzy—PI复合控制算法，实验结果表明，采用复合控制的温控系统具有稳态精度高和鲁棒性强的特点．     

超声法制备聚酰亚胺杂化材料工艺研究

采用均苯四甲酸二酐（PMDA）及4，4′-二氨基二苯基醚（ODA）为基本原料，以N，N′-二甲基乙酰胺（DMAc）为溶剂制备聚酰胺酸（PAA）溶液。由于纳米粒子的表面能很大，易团聚和二次团聚。为解决这个问题，我们采用了超声机械共混法，使球型nano-SiO2和孔型nano-SiO2均匀分散在聚酰胺酸胶液中，按照一定工艺要求制备聚酰亚胺／无机纳米杂化薄膜。利用红外光谱（FT-IR）和原子力显微镜（AFM）对杂化材料进行结构和表面形貌测试与表征。并对超声波机理进行探讨。结果表明：利用超声法制备聚酰亚胺杂化材料，高聚物与纳米粒子之间有相互作用，杂化薄膜中无机纳米粒子分散均匀，且平均粒度在30nm左右。     

基于TMS320LF2407A的电力逆变器研制

DSP数字化控制逆变器,简化了控制电路,使控制功能灵活性得到改善.选用TI公司的TMS320LF2407A数字信号处理器作为电力逆变器的控制核心,取代以往传统的模拟控制方式,实现了闭环控制算法.完成了硬件系统和软件算法的完整设计,设计出一台50 Hz、1 kVA的样机,并进行实验验证,逆变器空载和满载时输出电压总谐波含量THD〈5%,结果表明该系统性能良好.     

一种无刷直流电机模糊PI控制器设计

为克服传统的PI控制器参数整定方法在无刷直流电机控制中存在精度低、抗干扰能力弱等的不足,本文提出了一种基于PSO-GSA算法的模糊PI控制器设计方法。PSO-GSA算法融合了PSO算法的全局开发能力和GSA算法的局部探索性能,具有更加优异的最优值搜索能力。将PSO-GSA算法用于优化模糊PI控制器的量化因子和比例因子,实现了模糊控制对PI控制器的实时、高精度调节。仿真和实验表明,该方法可以使得无刷直流电机控制有较好的稳定性和鲁棒性,电机转速控制的精度有显著提高。     

基于分数阶控制器的PMSM恒速控制

为了实现交流永磁同步电机的高性能速度控制,提出一种能满足系统稳定性和鲁棒性要求的分数阶比例积分控制器.为评价该分数阶控制器的性能,将该控制器和采用最优化设计的整数阶比例积分控制器分别应用于同一系统进行了仿真和原型实验.结果表明:对于相同的负载扰动,分数阶比例积分控制器的控制效果明显优于最优的整数阶比例积分控制器,且其对系统开环增益变化具有更强的鲁棒性.     

智能大功率直流后备电源的研制

主要讨论了８０９８单片机在智能大功率直流后备电源中的应用，通过对系统工作模式的说明，介绍了系统管理程序的框架结构，并详细论述了如何用软件实现改进的ＰＩ算法，同时简单介绍了介于单片机和晶闸管主回路之间的缓冲界面──ＣＡ６１００通用触发板的原理和应用。     

波浪场中利用PIV装置研究杆件升力形成机理

利用全流场无扰动粒子成像测速方法（ＰＩＶ）并通过测力传感器,对波浪场中的水平杆件受力及其周围流进行了同步测量。通过对杆件周围流场的同步资料分析,得出升力是由于杆件后充中涡的不对称放引起的,有一定的规律性,同时又有着随机性,并结合工程实际提出了涡的形成的脱落分区方法。