常数H(a,X)与一致正规结构

主要得到常数H(a,X)=sup{‖x+y ‖∧‖(a+1)x-y ‖:x∈S(X),y,y-ax∈B(X),a≥0}的一些性质,并证明了其与一致正规结构的关系定理:若X满足H(a,X)＜(3+a)/2,则对某个a∈[0,1],X具有一致正规结构.     

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

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

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

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

人机系统及其基本理论

人机系统的研究主要归结为人的行为和性能的研究。本文着重讨论和评述了人机系统研究人行为的基本理论,包括手动控制和管理控制;分折了当前人机系统研究所面临的问题及发展趋势。     

煤炭企业集团组织结构调整的探讨

正本文所指煤炭企业集团是指以从事煤炭资源开采、洗选、销售为主,辅以多种经营的大型企业集团。组织结构是表明组织各部分排列顺序、空间位置、聚散状态、联系方式以及各要素之间相互关系的一种模式。一个企业组织结构的合适与否,事关其战略目标的顺利实现。     

系统Ha中广义语义MP规则与广义语义HS规则

基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0相似文献   

财会人员运用 Excel进行辅助对账的探讨

本文阐述了如何运用数据透视表及查找函数进行辅助对账,并以银行存款明细的核对为例加以详细说明.     

可交换的s代数与格蕴涵代数

研究了一类模糊逻辑代数系统--交换s代数.给出了交换s代数一系列基本性质,证明了交换5代数关于其上的偏序关系≤构成格最后,证明了在交换s代数中定义x(+)y=x'→y,则X是一个格蕴涵代数,在格蕴涵代数L中,定义x(+)y=x'→y,则L是一个交换s代数.     

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

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

有机化学中邻基参与作用的探讨

本文是对有机化学中的邻基参与反应作用进行了探讨。通过讨论邻基参与的形式、特点，进一步总结了有机化学反应中可能出现的邻基参与反应，对学习有机化学中邻基参与反应有一定的意义。