系统级故障诊断的一个三值模型

提出了系统级故障诊断的一个三值模型，定义了一类可诊断系统，给出了其特征。

非对称三值噪声激励下一类线性系统的随机共振现象

研究了一类具有外部周期信号的线性系统在乘性非对称三值噪声激励下呈现随机共振现象的情况.采用Shapiro-Loginov公式,计算出系统输出信号振幅的精确表达式.通过平面及三维图示分析,系统观察出两类广义的随机共振现象.也就是系统在某些参数下,输出信号振幅随着三值噪声强度及其非对称度的变化显现出非单调依赖性.

模态转移系统的三值逻辑模型检验

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法,经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后,状态数、转移数和原子命题数目与原模型呈线性关系,没有增加模型检验的复杂度·

三值光计算机监控系统的内外存交互机制

提出一种三值光计算机专用的文件格式TOC文件,建立三值光学计算机端,进行有限内存和海量外存间交换TOC文件内容的技术。描述TOC文件的相关操作方法,介绍三值光计算机监控系统的内存储器管理机制和TOC文件中的操作数调入内存的策略。该技术可有效解决三值光计算机融入高性能计算时出现的大量数据和有限内存之间的矛盾。内外存交互机制的实验验证了该方案正确、可行且有效。

基于三值光学计算机解码器信号判定系统的设计研究

三态光信号能够通过三值光计算机解码器转换成三值电信号，再结合光波偏振态的斯托克斯矢量远离就能准确的判定出三态光信号的物理状态。针对三态光信号的判定提出了四种方法，但在工程应用上为了追求性价比更高，判定更加简便，本文提出了一种新的判定系统，即运算镜像式三态光信号判定系统。本文首先介绍了三态光信号的判定原理，然后分析了四种三态光信号的判定方法以及判定方法的选择，再然后重点介绍了分振幅法三态光信号判定系统，最后通过实验对解码器的输出进行了验证，实验证明了本文提出的系统在理论上是正确的，在工程上是可行的．实用的。

基于复杂排队系统的三值光学计算机服务模型与性能分析

三值光学计算机的运算请求处理过程缺乏合理、系统的性能评价标准与体系。基于M/M/1、M/M/n、M^X/M/1和M/M^B/1构成的复杂排队系统,构建三值光学计算机的四阶段服务模型,同时建立立即调度和结束时调度两种策略和算法。基于不同排队系统讨论运算请求的接收时间、预处理时间、运算时间和发送时间的计算方法,进而得到最终响应时间。通过仿真实验对两种策略的模型进行验证,结果表明,结束时调度策略明显优于立即调度策略。

加性和乘性三值噪声激励下周期势系统的动力学分析

周期势系统是一类在机械工程、物理、化学、神经生物等领域应用十分广泛的系统,其随机动力学特性的研究是非线性科学的一个热点和难点问题.三值噪声是真实噪声的典型模型,不仅包含二值噪声和高斯白噪声情形,而且能更好地描述自然界中随机环境扰动的多样性,本文研究了由加性和乘性三值噪声驱动的周期势系统中概率密度的演化和随机共振.通过计算系统的平均稳态联合概率密度函数和瞬态联合概率密度函数,发现随着外周期力振幅的增大,单自由度系统在多个稳态之间跃迁,其平均稳态联合概率密度具有多峰结构.此外,利用随机能量法揭示了系统的随机共振,发现存在最优的噪声强度和外周期力振幅使得平均输入能量曲线存在一个极大值,即出现随机共振现象.对于仅考虑加性噪声或乘性噪声激励的情况,平均输入能量曲线随噪声转迁率是否出现共振现象依赖于外周期激励振幅的大小.特别是仅考虑加性噪声的情形,对于较小的外周期激励振幅,加性噪声转迁率诱导产生抑制共振现象,而对于较大的外周期激励振幅,加性噪声转迁率诱导产生随机共振现象.

非关联三值噪声激励下线性系统的随机共振

研究了两非关联三值噪声共同作用下一阶线性系统的随机共振现象.基于Shapiro-Loginov公式,利用噪声的统计特性,给出系统的一阶矩的解析表达式。获得表征系统随机共振特征的系统输出幅值增益的精确表达式。数值计算分析了系统随机共振特征与噪声强度,噪声平面度等噪声参数的非单调行为,表明系统存在随机共振现象。

三值Lukasiewicz逻辑系统L_3中命题的条件真度

基于条件概率的思想,在三值Lukasiewicz逻辑系统中引入了条件真度的概念,并讨论了所定义的条件真度的性质及相应的推理规则.

带反脉冲的脉冲神经膜系统实现对称三值逻辑与算术运算

脉冲神经膜系统(简称SN P系统)是一种起源于神经元通过电子脉冲传递信息方式的新型分布式、并行计算模型,具有强大的计算能力和解决计算难问题的潜力.带反脉冲的脉冲神经膜系统(简称SN PA系统)是一种包含脉冲、反脉冲两种对象的脉冲神经膜系统的变体,非常适合于对称三值数字的编码.本文使用带反脉冲的脉冲神经膜系统模拟了对称三值的通用与、或、非逻辑门的功能,也实现了对称三值的整数加、减算术运算的功能.目前的工作是基于带反脉冲的脉冲神经膜系统的三值型CPU设计在理论上的首次尝试.本文也为潘林强和Pa^un G提出的一个公开问题提供了一种实用案例.

基于M/M/1排队系统的三值光学计算机任务服务模型

确保QoS是三值光学计算机在商业上成功的关键因素。在分析三值光学计算机任务管理系统各模块的基础上,基于M/M/1排队系统和串联队列以及先到先服务策略建立其服务模型。用系统平均响应时间分析和评价三值光学计算机性能。研究结果发现平均响应时间随任务到达率和运算量的增加而增加,随网络传输率的增加而减少;运算量和网络传输速度是影响系统平均响应时间的瓶颈。因此,提出的模型对实用的三值光学计算机任务管理系统的设计具有指导意义。

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"﹁"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的。既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO。文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性。

三值逻辑证明系统及正例与反例的提取

三值逻辑模型检验是对更高层的模型抽象验证的一种方法,对其验证中常常需要给出正例和反例.为此,讨论了三值逻辑模型检验以及正例和反例的提取,并在给出一套三值逻辑证明规则的基础上形成一个证明系统;运用该系统可以证明模型是否满足某个性质;在证明过程中为存在路径量词提取正例,为全称路径量词提取反例.正例和反例的提取可给模型的细化指明方向.最后通过实例给出了该证明系统在数字逻辑电路验证中的应用.

几个三值命题逻辑系统中命题的条件真度

基于条件概率的思想,借助于各个逻辑系统中的演绎定理,在W3、G3、Π3、L3等三值逻辑系统中引入了条件真度的概念,并得到了条件真度的性质及相应的推理规则。

三值光学计算机实验系统的设计与实现

三值光学计算机的研究过程中发现了多值逻辑运算器的降值设计理论。在降值设计理论的指导下设计完成了以包括编码器、运算器和解码器的三值光学逻辑处理器为核心运算部件的三值光学计算机实验系统。围绕着该处理器设计完成了实验系统的总体结构,主要包含电控制部分和光运算部分。该实验系统充分利用光的空间巨并行性,拥有很大的数据宽度,是验证三值光学计算机基本原理、总体结构的重要平台。该系统的研制成功验证了三值逻辑光计算机原理和降值设计理论的正确性。

四种三疣梭子蟹养殖系统的能值评价

为综合评价以三疣梭子蟹(Portunus trituberculatus)为主的不同混养系统的生态经济性能。本研究通过海水池塘陆基围隔养殖实验,收集苗种投入、人工、电能、饵料投入、产量、风能、雨水能、太阳能等基础数据;利用能值理论及分析方法,定量分析了蟹单养系统(C)、蟹虾二元混养系统的转换率(CS)、蟹虾贝三元混养系统的转换率(CSB)和蟹虾贝鱼四元混养系统(CSBF)4种三疣梭子蟹养殖系统的能流和物流特点;建立了能值评价指标体系,利用各能值指标综合对比了4种养殖系统对环境的影响及可持续性。研究表明:在太阳能值转换率方面,蟹虾贝鱼四元混养系统的转换单最低(3.65×106sej/J,P<0.05),蟹单养系统的转换单最高(8.72×106 sej/J)。在产出能值交换率方面,四元混养系统显著高于其它3种养殖系统(P<0.05),蟹虾二元混养与蟹虾贝三元混养系统之间无显著差异,蟹单养系统的转换单最低(1.34)。在环境负载率方面,四元混养系统略高于其它3种养殖系统(105.92),蟹单养系统最低(91.42)。在能值可持续发展指数方面,四元混养系统显著高于其它3种系统(P<0.05),蟹虾二元混养、蟹虾贝三元混养和蟹单养3个系统之间无显著差异(P>0.05)。综合比较表明,蟹虾贝鱼四元混养系统在环境负载率略高的前提下,获得了最低的太阳能值转换率和最高的产出能值交换率,能值可持续发展指数显著高于其他3种养殖系统。因此,虾蟹贝鱼四元混养系统是经济效益相对高、环境污染相对小的养殖模式,应该在生产中推广。

三值光计算机远程交互系统设计与实现

三值光计算机远程交互系统完成了传送数据的结构设计、面向用户的客户端程序和面向三值光计算机的服务器端程序。系统充分利用了客户端的资源,极大地降低了服务器的负担,同时使得三值光计算机强大的并行能力为多用户所共享。不但设计了三值光计算机远程交互系统的数据流程,而且介绍了远程交互系统的实现方法、软件流程及核心程序段。测试结果表明,该远程交互系统稳定可靠,目前已在三值光计算机实验系统中使用。

三值命题逻辑系统中公式的随机真度的向量化

从向量的角度对三值命题逻辑系统进行了讨论,将公式间相关的计算转化成向量的内积运算,以此为基础对公式间的随机伪距离进行了讨论,得出了逻辑连接词在(F(S),ρp)中是连续的结论。

基于属性值变化的动态三支冲突分析

冲突分析有利于信息系统的问题处理。为了促进相关动态学习,将冲突分析模型推广到动态形式信息系统中,并结合三支决策思想研究基于属性值变化的动态三支冲突分析。首先,考虑单行属性值变化,研究距离矩阵的变化,得到关于冲突集、中立集、联合集的三支分析模型的变化结果。其次,类似考虑多行属性值变化,得到对应的三支分析模型的变化规律,并由此设计相关的动态更新算法。进而,针对列属性值变化,基于形式信息系统来转换成行属性值变化,从而调用行值动态更新方法。最后,实例分析说明了所得动态三支冲突分析的性质与算法的有效性。

不完备区间值决策系统的三支决策模型及增量式规则获取算法

在现实应用中,区间值数据会因为测量、干扰或信息传输等噪声影响导致数据出现缺失值,而且这些数据随着时间推移呈现动态递增趋势,忽略或删除这些数据很有可能导致有用信息的丢失而出现决策误判。为此,针对这一问题,提出面向不完备区间值决策系统的三支决策模型和增量式规则获取算法。首先定义不完备区间值数据的量化相似容差关系,构造出基于不完备区间值决策系统的三支决策模型;其次从两个层级分析对象集动态规则获取策略,提出增量式规则获取算法;最后,通过一组UCI数据集对该算法进行验证。实验结果表明,该算法不仅能减少误划分损失获得更高的划分精度,而且在运行时间上也具有较大优越性。