学科分类
/ 7
132 个结果
  • 简介:通过对自然语言中否定词与反义词语义的分析,应用模糊数学方法分别定义了它们的作用函数,并通过实例对函数的正确性和合理性进行了验证,从而建立起语言中的否定词与反义词与计算机语言中的否定算子与反义算子的对应关系,使计算机能够处理自然语言中的反义词与否定词。

  • 标签: 否定词 反义词 语义 模糊语言 词语 自然语言
  • 简介:椭圆周等分是现有制图教材中没有提到而在现实生活中(如商标设计和造型设计等)又是常常要涉及到的问题,虽然可凭目测用分规反复试分,但这只能求得粗略的结果,这是因为椭圆周各段的曲率半径不同,以弦代弧,误差很大.本文以渐开线的某些几何性质为根据,提出一种以直代曲的作图方法,对椭圆周进行近似等分.

  • 标签: 椭圆近似 等分法 近似等分
  • 简介:对于意思的表示的构成,至今尚无定论,理论复杂让人困惑,在实践中存在诸多问题,本文以指导实践为目的,在对复合式概念下的意思表示的构成要素对于意思表示成立的意义进行分析的基础上,从平衡私法自治和交易安全的角度,主张在法律层面上从对有意识的行为进行规范解释的角度去认定意思表示成立,在实现私法自治的同时可以兼顾交易安全与信赖保护。

  • 标签: 意思表示 意思表示构成 意思表示成立 私法自治 信赖
  • 简介:引入Weyl型定理的两个新的谱性质——性质(Caw)和性质(Cab),探讨这两种谱性质与其它Weyl型定理之间的关系,特别地,证明T满足性质(Cab)当且仅当T满足性质(Bab).

  • 标签: Weyl型定理 性质(Caw) 性质(Cab) 性质(Baw) 性质(Bab)
  • 简介:研究了球上Bergman空间上Hankel算子的像,刻画了一对由反全纯符号所诱导的Hankd算子的像的正交性.

  • 标签: HANKEL算子 BERGMAN空间 单位球
  • 简介:以德国法为主的错误制度以意思自治为基础,按意思表示的形成阶段划分错误类型,逻辑清晰而严密,但其对相对人的因素考虑得较少,对错误方的重大过失行为仍予以救济,对若干错误类型难以区分。以美国法为主的错误制度以交易安全为基础,强调重要性但舍弃类型的划分,在综合考虑错误方与相对方的主客观因素之后,来判断给予错误方救济是否符合利益衡量的结果。我国法对这两种模式都有涉及但都不全面,在对错误制度进行重新设计时,应充分吸收两种模式的经验,引入“二次磋商”制度,把握利益衡量这个关键,构建以结果主义为立法基点的错误模式。

  • 标签: 错误制度 意思自治 交易安全 利益衡量
  • 简介:设H是复的Hilbert空间,B(H)表示H上线性有界算子全体按算子范数所成的Banach空间。设T∈B(H),记T的零空间为KerT,即KerT={x|Tx=o,x∈H}·显然有KerT?KerT~2。本文讨论一类满足性质KerT=KerT~2的算子类。定义设T∈B(H),若KerT=KerT~2,则称T为J类算子;若对任何有界点列{x_n},

  • 标签: 幂等 零空间 强收敛 界点 正整数 紧集
  • 简介:引入了一类推广的stancu算子,用Korovkin型统计逼近定理研究了这些算子的统计逼近性质,借助光滑模得到了这类stancu算子逼近度的估计.

  • 标签: 统计逼近 推广的stancu算子 光滑模
  • 简介:对于离散非线性系统迭代学习控制,在最优迭代因果学习律的存在性条件算法收敛性条件基础上,针对实际应用,提出了一种近似迭代算法,证明了近似迭代控制收敛于最优控制.

  • 标签: 离散非线性系统 最优控制 迭代学习控制 算法
  • 简介:在现实环境之下,我国立法对意思表示已经基本形成了相对完善的法律规则体系,同时,在司法过程中也形成了一套相关解释规则,但是,网络环境下的意思表示与现实环境下的意思表示比较,出现的新特点,冲击着我国的相关法律规定,在适用法律的过程中也将引起新的思考.网络环境下意思表示的主体、内容、效力等方面有其基本的规则.

  • 标签: 意思表示 网络环境 主体 内容 效力
  • 简介:卫辉方言与普通话相比,在连接中心语与补语的方面有许多不同之处,相比较而言,其表现格式更丰富。本文从四个方面来描写卫辉方言中中心语与补语的表示格式,并和普通话相比较以突显卫辉方言补语表达格式的特点。

  • 标签: 卫辉方言 补语 中心语
  • 简介:证明了实对称矩阵投影算子的几个单调性质,这些性质可以视为Rn中凸集投影算子的单调性质的推广。

  • 标签: 投影算子 单调性质 实对称矩阵
  • 简介:遗传算法的成功之处在于其交叉、变异等进化机理,交叉算子性能对算法的整体性能有决定性的影响,因而成为了设计大规模问题遗传算法的关键因素.首先简要介绍VLSI标准单元布局问题定义及其染色体编码,给出4种主要交叉算子的基本思想及其算法步骤,并对其中循环交叉算子进行改进.而后使用标准测试例子对这4种交叉算子的性能进行深入的实验比较,分析交叉算子特征与性能的关联性,总结了高性能交叉算子的设计思想.改进型限定长度循环交叉算子的性能实验结果验证了该设计思想的有效性.

  • 标签: 遗传算法 VLSI标准单元布局 交叉算子 比较
  • 简介:Carleson型极大算子源于Fourier级数的点态收敛性研究,该算子与振荡奇异积分算子有密切的联系。在Carleson型极大算子的研究中出现了一些不同形式。文章首先将用线性化方法证明两类不同形式的Carleson型极大算子是相等的。其次,文章对于相函数为含有一次项的多项式的情形,将运用Calderon—Zygmund旋转方法证明带粗糙核的Carleson型极大算子LP是有界的,1〈p〈2.

  • 标签: Carleson型极大算子 粗糙核 振荡奇异积分 旋转方法 线性化方法