简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构.本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法.并举例说明该方法的有效性、可行性.
简介:对将运行于日-地L1点的太阳观测器进行了热设计,重点论述了日-地L1点的轨道外热流计算和Lymanα日冕仪(LACI)反射镜M2光阱、Lymanα日冕成像仪(LADI)滤光片组件、CCD组件、电箱、观测器主体等部分的热设计方案。通过在探测器对日面设置集热板,将观测器的主动加热功耗降低了73%;选用预埋热管的设计方案解决了对日定向观测导致的框架温差问题。仿真分析结果表明,在对日高温工作、对日低温工作、低温存储、轨道转移等4个极端工况下,观测器各组件温度均满足指标要求。该热设计方案以较低的加热功耗,解决了太阳观测器在轨工作阶段的散热、轨道转移阶段的保温等问题,满足CCD焦面工作温度<-50℃的要求。
简介:李大潜院士主编的'十一五'国家重点图书出版规划项目《数学文化小丛书》从2007年开始出版,迄今已经出了两辑共20册。这套丛书,以其深远的立意、精当的选题、适中的难度、清新的文笔、隽永的启迪、精美的装帧,成为当今我国科普园中别具一格、引人注目的一族奇葩,受到了广大读者的欢迎和好评。一、贯穿数学与人文融合的理念,着力揭示、弘扬和普及数学的文化内涵,促进全民族思想文化素质的提高,立意深远2005年12月,李大潜院士在丛书的总序中深刻指出:'整个数学的发展史是和人类物质文明和精神文