逻辑系统Ht中的三-I算法

利用多值逻辑系统Ht中的支持度理论和蕴含算子的右连续性,研究了多值逻辑系统Ht中的三-I算法和ɑ-三-I算法。     

逻辑系统H_t中的三-Ⅰ算法

利用多值逻辑系统Ht中的支持度理论和蕴含算子的右连续性,研究了多值逻辑系统Ht中的三-I算法和α-三-I算法。     

逻辑系统H_t中三-I算法的另一种证明

在讨论Ht代数的一些性质的基础上,得到系统Ht中的三I算法的另一种证明。指出多值逻辑系统Ht中的三I算法是P还原算法,并解决了Ht中的FMT问题。在多值逻辑系统Ht中,若令t=1,则得到多值逻辑系统W。所以多值逻辑系统Ht中的结论在t=1的情况下就是多值逻辑系统W中的结论。     

n元经典逻辑度量空间中的平移变换

利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了[(Fn(S),ρ)]关于该范数可以构成次范整线性空间。     

直拉硅片杂质缺陷的控制与利用

简要叙述了直拉硅中缺陷工程的研究进展．提出了采用中子辐照或掺杂技术,在硅中引入杂质缺陷,并通过其相互作用实现对硅中杂质和缺陷的控制与利用．此项研究是硅片缺陷工程的新内容．     

基于递归变窗最小方差法的电压暂降快速检测

动态电压恢复器(dynamic voltage restorer,DVR)是补偿电压暂降的一种有效电力电子装置,快速准确的电压检测是DVR精确补偿的重要前提。文中分析了现有检测算法,针对固定采样短数据窗最小方差(least error squares,LES)法的谐波敏感问题、固定采样长数据窗LES法的延迟问题,提出了一种基于递归变量可变数据窗最小方差法的暂降检测算法,采用短数据窗和长数据窗同时采样,两种方法的计算差值同时大于动作阀值时触发递归可变数据窗采样,以识别电压暂降。通过在线性和非线性负载、谐波、直流偏置等情况下进行实验分析,验证了可行性。结果表明,该方法计算量小、实现简单、实时性强,检测结果波动量小,电压暂降时相量检测时间可在5 ms内完成,且对谐波和直流偏置均不敏感,具有良好的动态响应。     

无锁相环的电压跌落快速检测方法

动态电压恢复器(DVR)是有效解决电压跌落问题的一种电力电子装置。为获得精确的电压补偿信号,快速准确的电压跌落检测是DVR控制的重要前提。分析了现有电压跌落检测方法,并因电网谐波畸变不同按电压跌落深度、跌落相位、相位跳变、谐波等综合因素,提出了无谐波电网以电压dq分量一阶导数之和检测基波电压幅值的方法,对含谐波电网提出半周期实时计算dq分量平均值的方法,其取样窗口宽度固定不变,采样时刻自动变化,实时计算电网电压基波幅值。通过不同条件下的仿真和物理实验,对所提方法进行了验证。在不同电压跌落深度、跌落相位、相位跳变、谐波畸变等综合情况下,基波幅值检测波动小,检测时间短,精确稳定,易于实现,无复杂运算;此方法不需要锁相环、低通滤波器、查表计算,实时性强;对于含谐波畸变电网,可满足快速检测要求,具有较好的动态响应。     

静态磁致伸缩测试仪的设计与制作

磁致伸缩材料是重要的能量与信息转换功能材料.对磁致伸缩材料进行研究,最基础也是最关键的工作就是对静态磁致伸缩性能的测量.然而,目前磁致伸缩测试仪器普遍存在体积大、价格高等特点,因此不便推广.采用电阻应变计法,通过对直流磁场、磁致伸缩测量部分和数据采集与显示模块三部分的设计以及测试软件的编写与调试,完成了对静态磁致伸缩测试仪的研制.该仪器测量精度高、操作简单、结构紧凑,可作为材料磁性能测试仪器;同时,该仪器演示清晰、携带方便、成本相对较低,又可以作为演示仪器使用.     

基于Petri Nets的协调机制研究*

利用形式化和图形化的建模工具Petri Nets对协调问题中的依赖关系及协调机制进行研究;提出任务之间基于资源的三种基本依赖关系;并用Petri Nets对这三种依赖关系相应的协调机制进行了表述,为协调问题的可计算描述提供了一种新的思考角度。     

模糊命题演算系统的一个新的等价形式

在模糊逻辑系统L~*中,P∧Q是﹁(﹁P∨﹁Q)的简写,连接词∧与连接词﹁,∨,→的关系应由L~*中的公理体系决定。本文通过在L~*中增加适当公理使得连接词∧与﹁,∨,→具备所需的特殊关系,得到的主要结论是:在L~*中增加公理L~*9_b:(((A→C)∨(B→C))→(A∧B→C)),同时放弃约定"P∧Q是﹁(﹁P∨﹁Q)的简写",所得的系统L_0~*与L~*等价。