学科分类
/ 3
60 个结果
  • 简介:提出了点Bézier曲线的概念,给出了点Bézier曲线的性质及细分算法.按照点算术的定义,当点是长方形闭域或圆盘时,点Bézier曲线就是区间Bézier曲线或圆盘Bézier曲线,因此,点Bézier曲线是对区间Bézier曲线和圆盘Bézier曲线的推广.

  • 标签: 点集算术 点集Bézier曲线 紧盘
  • 简介:讨论了马体群旗传递作用于斯坦5设计上的情况,得到了如下结论:设D=(X,Ω,I)是非平凡的斯坦5设计,D的自同构群G旗传递地作用在D上。若G是几乎单群,则(i)基柱Soc(G)不是下列单群:N=Mv,v=11,22,23和N=M11,v=12(ii)若N=M12,v=12,则D是一个5-(12,6,1)设计,且GM12(iii)若N=M24,v=24,则D是一个5-(24,8,1)设计,且GM24。

  • 标签: 几乎单群 斯坦诺设计 旗传递 自同构群 马休群
  • 简介:LetD(v)dentethemaximumnumberofquintuplesofav-setofpointsXwiththepropertythateverypairofdistinctpointsofXoccursinatmostonequintuple,LetB(v)=[v(v-1)/4]/5],ItisshownisthispaperthatD(v)=B(v)forallv≡0(mod4)with2exceptionsand13possibleexceptions.

  • 标签: 五元集 二元集 模同余 最大数 统计分布
  • 简介:本文在Kalantari和Retzlaff的能行拓扑空间X中定义了创造性的概念,讨论了X的创造开的种种能行性质以及它与自然数递归论中的创造的异同,也讨论了它与Kalantari和Leggett在X中所定义的单纯开的关系,并用带有拓扑需求的有穷损害优先方法构造了X的两个创造开,一个有可开拓的r.e.分划,一个没有可开拓的r.e.分划,从而指出了X上古典拓扑与能行拓扑的不同。

  • 标签: 中的创造 拓扑中的 能行拓扑
  • 简介:亚纯函数的例外问题的已有结论,还未触及例外内含有极点的情形.本文证明了对于满足δ(∞,f)>0的超越亚纯函数f(z),设F=f^k则F′的可数个圃盘并之外取任何非零有穷复数无穷次,或者取∞无穷次,本文推广了Hayman,Andersom等人的结论.

  • 标签: 例外集 超越亚纯函数 Hayman 有穷复数 无穷 极点
  • 简介:研究了具有变时滞Hopfield型神经网络的正不变与吸引.获得了正不变与吸引存在性的充分判据.

  • 标签: 神经网络 时滞 正不变集 吸引集
  • 简介:针对分配判定时容易出错这一教学难题,提出可以利用学生专业特点从而结合计算机这一工具来帮助解决,并通过一个典型例子来具体说明,该例子同时也指出了教材习题解答书中的一处错误.认为本文提出的这一教学思想对于离散数学的教学有一定的启示.

  • 标签: 分配格 判定 离散数学
  • 简介:在蕴涵中引和了蕴涵滤子的概念,讨论了蕴涵滤子的一些基本性质,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:许多常微分方程教材关于解的整体连续依赖性的讨论都用到了一个“紧性”事实:欧氏空间中的紧上一个局部Lipschitz函数一定在该紧上是全局Lipschitz的.然而这一事实在教学中并非显然,不少学生在试图给出证明时都走入了一个误区.本文对这一问题从正反两方面进行了讨论.

  • 标签: 局部LIPSCHITZ条件 全局Lipschitz条件 紧集 管形邻域
  • 简介:蕴涵代数中的滤子是值逻辑推理中的一类重要代数结构.本文给出了利用蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:如果对一个简单图G的每一个与G的顶点数同奇偶的独立I,都有G-I有完美匹配,则称G是独立可削去的因子临界图.如果图G不是独立可削去的因子临界图,而对任意两个不相邻的顶点x与y,G+xy是独立可削去的因子临界图,则称G是极大非独立可削去的因子临界图.本文刻画了极大非独立可削去的因子临界图.

  • 标签: 独立集 独立集可削去的因子临界图 极大非独立集可削去的因子临界图
  • 简介:本文研究在庥计个体偏好中产生的若干悖论,而通常群体决策中有可能产生此类悖论,进而提出一种可避免产生悖论的新计方法.

  • 标签: 集计偏好 悖论 群体决策 多数决