学科分类
/ 1
18 个结果
  • 简介:蕴涵代数中的滤子是值逻辑推理中的一类重要代数结构.本文给出了利用蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.

  • 标签: 格蕴涵代数、滤子、格值逻辑
  • 简介:自然数集按(mod6)排列后,将自然数符号螺旋对称分布的规律与自然律有机关联起来研究,从中发现数集中部分合数M中所包含相同素因子P,q周期分布与等距传递的规律,即双重素数P,q实项、虚项原构、同构同因子对应组螺旋对称分布结构的形式与规律,可模拟宇宙万物的时空螺旋运动状态,模拟DNA双螺旋结构碱基(A、T、G、C)序列遗传密码结构与形式。亦可作为一种创新方法开发应用研究,为研究DNA序列结构的数学编码,研究宏观宇宙、中观生物、微观质量的对应螺旋运动状态,预测宇宙万物相互关联相互作用的变化规律与趋势,构建基于宇宙中空时序的自然数双重素数因子对应组(多组)螺旋延伸的数码模型,高度抽象探讨与理解宇宙万物运动变化的原本规律,为相关问题的表述与解决提供数码螺旋的解决方案。

  • 标签: 螺旋结构 DNA遗传基因 合数应用 双重素数因子对 其他科学研究
  • 简介:令C为复数域,G为有限群。由于每个CG-模可以写成不可约CG-模的直和,于是对表示的研究实际转化成了对不可约表示的研究。而群的忠实表示可以比较好地体现原有群的性质,所以,对于给定的群,找出该群所有不可约忠实表示是很有意义的。而对于一般有限群来说,找出其所有不可约忠实表示并不容易。本文我们给出了有限阿贝尔群G的所有不可约忠实表示。

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

  • 标签: 分配格 判定 离散数学
  • 简介:本文主要从五个方面谈如何在物理教学中开拓课程资源:课程资源来源于生活、高于生活;设计探究问题,引领学生亲身体验课程资源的创立;借助新媒体,创建新的课程资源,促进学生的自主学习;渗透数学思维方法的教育,跨学科创建课程资源;利用现代化技能,整合课程资源,提高课堂效率。

  • 标签: 开拓课程资源 学生创建 新媒体 仿真物理实验室 数学图象 化曲为直
  • 简介:首先界定研究假设条件并定义文中所使用的符号;随后从业主及承包商双重视角构建MPPSP的整数规划优化模型;针对问题的强NP—hard属性,设计禁忌搜索启发式算法;在随机生成的标准算例集合上对算法进行测试;最后用一个算例对研究结果进:行说明。结论如下:本文所开发的禁忌搜索启发式算法可以有效地求解MPPSP;关于给定项目的支付进度安排,承包商和业主的偏好存在显著差异;随着支付次数与支付比例的增加,承包商收益提高,业主收益下降,而双方收益均随折现率的上升而下降。

  • 标签: MPPSP 双重视角 优化模型 禁忌搜索
  • 简介:在蕴涵中引和了蕴涵滤子的概念,讨论了蕴涵滤子的一些基本性质,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵,以便为Fuzz推理建立了严格的逻辑基础作些必要的准备。

  • 标签: 蕴涵格 蕴涵滤子 同余关系 商蕴函格
  • 简介:设G是有限群,为复数域。要想找到所有不可约CG-模,一种方法是把正则CG-模CG进行直和分解,这在G的阶数比较小时不难做到,但当G的阶数比较大时计算起来比较繁琐。对于任意自然数n,本文给出了循环群Cn和二面体群D2。的正则CG-模CG的不可约模的直和分解,和这些不可约模间的同构关系。我们的方法是先构造出不可约的CG-子模,满足直和条件,从而得到正则CG-模CG的不可约模的直和分解。再运用模论知识得到这些不可约模间的同构关系。

  • 标签: 不可约CG-模 正则CG-模 范德蒙矩阵 直和分解
  • 简介:野生动物资源功能用途的复合性使得其受到生物系统及经济系统双重约束,在传统生物均衡模型基础上,分别构建经济系统和生物系统的联立方程组模型,然后根据目标函数形成野生动物资源动态均衡管理的理论模型及实证应用分析,得出结论:1)野生动物资源最优种群水平不仅受种群内禀增长率和栖息环境最大承载量的影响,也受到市场价格,维持及收获的成本及税费,产品利用率以及社会平均折现率的影响.但长期来看,环境承载量是影响种群水平的最终决定性因素.2)经济系统的各项变量并不影响野生动物最优种群水平的最终结果,而只影响其趋向最终结果的路径.3)最优猎捕收获量主要取决于最优种群水平以及环境承载量和种群内禀增长率.4)麝类资源的生物系统、经济系统的各个因素的影响方向和影响力大小,并不完全和一般假设相同.

  • 标签: 经济系统 生物系统 优化控制 动态均衡 麝类资源
  • 简介:通过建立模型和理论计算解释了马努斯滑翔机运动轨迹的成因,通过数据分析和实验验证给出马努斯力的产生所需要的必要条件。

  • 标签: 马格努斯效应 伯努利原理 滑翔机
  • 简介:主要讨论了在一定条件下半环的强分配S上的环同余ρ与半环族(Sα)α∈D上的环同余族(ρα)α∈D之间的关系.

  • 标签: 半环的强分配格 环同余
  • 简介:对将运行于日-地L1点的太阳观测器进行了热设计,重点论述了日-地L1点的轨道外热流计算和Lymanα日冕仪(LACI)反射镜M2光阱、Lymanα日冕成像仪(LADI)滤光片组件、CCD组件、电箱、观测器主体等部分的热设计方案。通过在探测器对日面设置集热板,将观测器的主动加热功耗降低了73%;选用预埋热管的设计方案解决了对日定向观测导致的框架温差问题。仿真分析结果表明,在对日高温工作、对日低温工作、低温存储、轨道转移等4个极端工况下,观测器各组件温度均满足指标要求。该热设计方案以较低的加热功耗,解决了太阳观测器在轨工作阶段的散热、轨道转移阶段的保温等问题,满足CCD焦面工作温度<-50℃的要求。

  • 标签: 热设计 Lymanα日冕仪 Lymanα日冕成像仪 太阳观测
  • 简介:采用拉朗日方法模拟计算了湍流边界层中气相粒子和颗粒物的运动。其中,气相粒子在流场中按平均风速输送,用一系列随机位移,模拟湍流对扩散的影响,分析了颗粒物在流场中的受力情况,建立了求解颗粒物扩散轨迹的牛顿运动方程。用该方法模拟平板边界层内颗粒物的扩散行为,给出了颗粒物受力及在边界层内的运动轨迹,并将计算的质量通量与文献中的实测值进行了比较。结果表明:计算值与实测值基本吻合,初步验证了本文方法在模拟颗粒物扩散时的可靠性。

  • 标签: 气固两相流 颗粒物 湍流 扩散 双拉格朗日
  • 简介:李大潜院士主编的'十一五'国家重点图书出版规划项目《数学文化小丛书》从2007年开始出版,迄今已经出了两辑共20册。这套丛书,以其深远的立意、精当的选题、适中的难度、清新的文笔、隽永的启迪、精美的装帧,成为当今我国科普园中别具一、引人注目的一族奇葩,受到了广大读者的欢迎和好评。一、贯穿数学与人文融合的理念,着力揭示、弘扬和普及数学的文化内涵,促进全民族思想文化素质的提高,立意深远2005年12月,李大潜院士在丛书的总序中深刻指出:'整个数学的发展史是和人类物质文明和精神文

  • 标签: