匕ukasiewicz三值命题逻辑中公式的可靠真度理论

基于均匀概率空间的无穷乘积在匕ukasiewicz三值命题逻辑中引入了公式的可靠真度概念,证明了全体公式的可靠真度值之集在[0,1]中没有孤立点;利用可靠真度定义了可靠相似度和伪距离,进而建立了逻辑度量空间,证明了该空间中没有孤立点,为进一步在三值命题逻辑中展开近似推理奠定了基础。     

三值逻辑系统G3中的随机化研究

利用赋值集的随机化方法,在三值逻辑G3中提出了公式的随机真度,证明了所有公式的随机真度之集在［0,1］中没有孤立点;给出了两公式间的DG3-相似度与伪距离的概念,并建立了DG3-逻辑度量空间,证明了此空间没有孤立点。     

Lukasiewicz三值逻辑中命题的真度值之集在［0,1］上的分布

利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在［0,1］上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。     

标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.     

标准序列逻辑系统S3中的相似度及伪距离

在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础。     

D-逻辑度量空间与近似推理

通过随机化赋值集的方法,在二值逻辑中提出了公式的 D- 随机真度概念,证明了全体公式的 D-随机真度之集在[0,1]中没有孤立点;提出了 D- 逻辑伪距离和 D- 逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为 1/2 时,D- 随机真度就转化为计量逻辑学中的真度,同时两公式间的 D- 逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在 D- 逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的.     

一种非均匀概率空间下逻辑系统G_3中命题的真度理论

利用势为3的非均匀概率空间的无穷乘积,在Go¨del三值命题逻辑系统中引入公式的真度概念,在三值逻辑14,12,14测度下证明G3中全体公式的真度值之集在[0,1]上是稠密的,并给出公式真度的表达通式,为进一步在三值命题逻辑系统中展开近似推理奠定基础.     

三值命题逻辑随机化的注记

通过引入随机化映射和真度权函数等概念,提出了三值命题逻辑系统中公式的随机真度的等价定义,给出了随机真度的推理规则,研究了随机度量空间上逻辑运算的连续性等问题,为在三值命题逻辑系统中进行近似推理提供了另外的方法.     

均匀逻辑公式的基本性质及其真度的分布

基于密码学中布尔函数的等重性在二值命题逻辑中引入了均匀公式的概念。证明了每个均匀公式的真度都小于或等于1／2, 全体均匀逻辑公式的真度之集在逻辑度量空间中有惟一的聚点0。 研究了均匀逻辑公式的基本性质, 给出了含有同样原子公式的二均匀逻辑公式的析取式真度以及二者之间的相似度的简单计算方法。     

一种非均匀概率空间下二值命题逻辑中命题的真度理论

将经典二值命题逻辑中公式的真度概念推广到势为2的非均匀概率空间上,定义了二值逻辑p-测度和其上的命题的真度;在p=1/3的情形下证明了全体公式的真度之集在[0,1]中是稠密的,并给出了公式真度的表达通式;利用真度定义公式间的相似度,进而导出全体公式集上的一种伪距离,为近似推理理论提供一种可能的框架.     

装载机动臂液压缸活塞杆的可靠性设计

本文对ZL-50装载机动臂液压缸活塞杆的疲劳强度和压杆稳定性进行了可靠性分析,并利用优化设计的方法给出了一定可靠度条件下的活塞杆尺寸。为了获得可靠性分析和设计的依据,对动臂液压缸的工作油压进行了测试,利用测试数据进行了平稳性和各态历经性检验,确定了典型工况,根据数据的统计误差分析结果,确定了数据的样本长度。     

Goel-Okumoto软件可靠性模型的研究

对Geol-Okumoto软件可靠性预计模型进行了分析和研究,找出了该模型存在的主要缺陷和不足,针对G-O模型不能对产品的操作阶段进行评测不足之处,对该模型做出了错误排除率正比于潜在的错误点发现率新的假设条件,并给出了一个基于测试覆盖的CGO模型。通过失效数据对GO模型和CGO模型在性能上作了对比分析,结果表明CGO模型具有更好的预测效果,而且还可以在操作阶段进行可靠性评测。     

一种改进的主动可靠多播算法

对于大规模多播应用来说，一个有效发现和修正传输错误的可靠多播算法是必要的，提出了一种新的可靠多播算法，该算法使用软状态存储(soft-statestorage)来有效地发现、修正错误，其NACK爆炸的镇压、合并机制简单，能有效实现本地错误修复，有一个简洁的RTT时间测量算法。     

移动Agent通信机制的研究

移动Agent技术已经成为分布式计算研究的热点,移动Agent可以看成是人工智能与分布式计算技术相结合的产物。通信机制是移动Agent研究的一个重要领域,现有的多种Agent通信机制,都存在一些不足。本文借鉴传统通信机制,设计了一种改进的移动Agent通信机制,实现了通信的位置透明性、可靠性、高效性,极大地减少了迁移受到的限制和迁移引起通信失效问题。     

CELP编码中LSP参数冗余分析

带宽限制和信道噪声失真是当今通信两大重要问题,信号在噪声信道中的可靠性传输已成为当前通信研究的热点。通过对4.8 kb/s CELP(Code-Excited Linear Prediction)中线谱对参数LSP(Line Spectral Pair)的定量计算,分别引入一阶和二阶马尔科夫链分别作LSP参数相关性模型以区别CELP中LSP参数帧内和帧间冗余,并采用TIMIT语音库的语音序列结合以上模型对LSP参数冗余进行定量计算。为进一步研究语音在噪声信道中的可靠传输提供了理论依据和研究方法。     

一朝为良师,终身成益友--新形势下班主任素质刍议

二十一世纪是知识大爆炸的信息化、网络化时代，这对教育提出了更多更高更新的要求。广大教师尤其是班主任是教育工作的监督管理者，他们素质的高低直接影响着教育教学效果及人类文化的传承。要将教育有效地进行到底，实现以德育促进智育、体育等的提升，一名合格完美的班主任在素质上必须与时俱进，不断创新教育理念、永葆高尚师德、提高教育监控能力、掌握形式多样的教学艺术和提高科研能力。     

关于试卷质量的分析方法

试卷质量分析是教育统计中的一个重要的组成部分，本文利用教育统计和教育测量中度量指标对2004级《高等代数》试卷进行了分析，具体以信度、难度和区分度进行定量化分析，分析表明此次考试试卷是合理的．     

国家学位制度的现实考察与立法完善

国家学位制度与大学学位制度是根据学位颁发权力来源而划分出的两种截然不同的学位制度形态。尽管现行《学位条例》确立的是统一的国家学位制度,但鉴于生源质量、教学资源、培养水平等方面的区域和校际差异,不同高校学位授予的具体标准千差万别,甚至作为大学自治的重要内容为部分司法判例所肯认。同时,学位管理的“放管服”改革也在不断深化,高校的自主权限不断扩大,导致国家学位制度在实施逻辑上呈现出大学学位制度的色彩。形式逻辑与实践逻辑的分野,折射出两种不同学位制度之间的内在张力,也决定了我国在学位法制建设中必须于二者之中作出审慎抉择。由国家学位制度迈向大学学位制度是学位形态发展的历史趋势,但鉴于我国目前高等教育发展不均衡不充分的现状,国家学位制度在学位质量保障、公平公正实现、管理秩序维护等方面的作用不容忽视,较为理性的做法是在坚持国家学位制度的前提下,适度吸纳大学学位制度的有益经验,在扬弃中实现两种学位制度张力的平衡。当前学位立法的重点在于:保障学位授予单位自主权,允许各个高校之间有差异的学位授予标准的存在;实现学位授权审核活动向行政许可的回归,由指标分配转向基本标准设置;弱化政府对学位授予工作的直接管理,支持社会组织参与学位认证、学位质量评估、学位信息提供和咨询等服务工作,逐渐适应公共权力由国家向社会转移的时代潮流。     

Pro/ENGINEER应用中几个问题的解决

在Pro/ENGINEER软件应用中常常遇到一些问题 ,如何解决这些问题 ?特别是在利用现有的硬件 ,少花钱 ,甚至不花钱 ,如何提高性能和解决问题 ?作者经过摸索和多次实践 ,找到了可靠的、经济的解决方法。     

二值命题逻辑的D-条件发散度理论

在二值命题逻辑中引入D-条件发散度的概念,讨论了D-条件真度与D-条件发散度之间的关系;同时讨论了理论Γ是D-全发散与理论Γ基于∑是D-全发散之间的关系.