简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:自然数集按(mod6)排列后,将自然数符号螺旋对称分布的规律与自然律有机关联起来研究,从中发现数集中部分合数M中所包含相同素因子P,q周期分布与等距传递的规律,即双重素数P,q实项、虚项原构、同构同因子对应组螺旋对称分布结构的形式与规律,可模拟宇宙万物的时空螺旋运动状态,模拟DNA双螺旋结构碱基(A、T、G、C)序列遗传密码结构与形式。亦可作为一种创新方法开发应用研究,为研究DNA序列结构的数学编码,研究宏观宇宙、中观生物、微观质量的对应螺旋运动状态,预测宇宙万物相互关联相互作用的变化规律与趋势,构建基于宇宙中空时序的自然数双重素数因子对应组(多组)螺旋延伸的数码模型,高度抽象探讨与理解宇宙万物运动变化的原本规律,为相关问题的表述与解决提供数码螺旋的解决方案。
简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:野生动物资源功能用途的复合性使得其受到生物系统及经济系统双重约束,在传统生物均衡模型基础上,分别构建经济系统和生物系统的联立方程组模型,然后根据目标函数形成野生动物资源动态均衡管理的理论模型及实证应用分析,得出结论:1)野生动物资源最优种群水平不仅受种群内禀增长率和栖息环境最大承载量的影响,也受到市场价格,维持及收获的成本及税费,产品利用率以及社会平均折现率的影响.但长期来看,环境承载量是影响种群水平的最终决定性因素.2)经济系统的各项变量并不影响野生动物最优种群水平的最终结果,而只影响其趋向最终结果的路径.3)最优猎捕收获量主要取决于最优种群水平以及环境承载量和种群内禀增长率.4)麝类资源的生物系统、经济系统的各个因素的影响方向和影响力大小,并不完全和一般假设相同.
简介:对将运行于日-地L1点的太阳观测器进行了热设计,重点论述了日-地L1点的轨道外热流计算和Lymanα日冕仪(LACI)反射镜M2光阱、Lymanα日冕成像仪(LADI)滤光片组件、CCD组件、电箱、观测器主体等部分的热设计方案。通过在探测器对日面设置集热板,将观测器的主动加热功耗降低了73%;选用预埋热管的设计方案解决了对日定向观测导致的框架温差问题。仿真分析结果表明,在对日高温工作、对日低温工作、低温存储、轨道转移等4个极端工况下,观测器各组件温度均满足指标要求。该热设计方案以较低的加热功耗,解决了太阳观测器在轨工作阶段的散热、轨道转移阶段的保温等问题,满足CCD焦面工作温度<-50℃的要求。
简介:李大潜院士主编的'十一五'国家重点图书出版规划项目《数学文化小丛书》从2007年开始出版,迄今已经出了两辑共20册。这套丛书,以其深远的立意、精当的选题、适中的难度、清新的文笔、隽永的启迪、精美的装帧,成为当今我国科普园中别具一格、引人注目的一族奇葩,受到了广大读者的欢迎和好评。一、贯穿数学与人文融合的理念,着力揭示、弘扬和普及数学的文化内涵,促进全民族思想文化素质的提高,立意深远2005年12月,李大潜院士在丛书的总序中深刻指出:'整个数学的发展史是和人类物质文明和精神文