关于机器证明

本文简介机器证明的理论与实践．并附一篇关于用模型论方法证明无限地图的四色定理．     

三维麦克斯韦方程的对称分裂时域有限差分方法能量守恒性分析

考虑三维电导率为零的麦克斯韦方程的对称分裂时域有限差分(SS-FDTD)方法的能量守恒性.通过新的能量方法与差分算子δx,δy,δz,笔者首次给出了数值逼近格式SS-FDTD在离散的H1模下的能量守恒式,并证明了格式在离散的H1模下的守恒性.数值算例验证了格式解的能量守恒性.     

信息熵的理解与验证

笔者在对信息熵原出处含义进行解读和对热力学熵原理进行理解的基础上,修正了信息量无限增加的理论解释.通过对计算机数据库中数据检索速度的测试,推导出速度公式,计算出每比特信息熵所需要的能量,发现实际数值与理论数值存在较大差异,得出布里渊的信息熵能量是信源与信道表面之间的熵变而非信源本身的熵变.     

昆嵛山泰礴顶次生木本植物资源的调查及分析

昆嵛山区属暖温带季风型气候,原生植被为暖温带落叶阔叶林,但原生植被受到很大破坏,现已形成天然次生林.通过对昆嵛山泰礴顶森林植被的次生木本植物资源的调查,初步分析了植被的林分组成及结构,以期对山东的植被恢复与重建提供相关理论指导和具体建议.     

信杂比极化散射矩阵的优化

该文讨论了在回波信号及杂波的琼斯极化散射矩阵对称及非对称的情况下,调整天线的发射和接收极化状态,从而得到最大的回波信杂比。在前人工作的基础上推导出一种简单易行的算法,成功地实现了琼斯极化散射矩阵从不对称向对称的转变,并进行了数字仿真,结果验证了该算法的有效性。     

含液晶结构单元改性剂改性环氧树脂性能的研究--柔性链分子量的影响

合成了一种既含环氧丙烷聚醚（ＰＰＧ）柔性间隔基、又含刚性液晶结构单元的活性增韧剂（ＬＣＥＵＰＰＧ）,用其改性环氧树脂Ｅ－５１／双氰双胺（Ｅ－５１／ｄｉｃｙ）固化体系．对改性固化体系的动态粘弹行为、冲击性能与改性剂分子量大小之间的关系进行了探讨．结果表明：冲击强度虽然在一定程度上依赖于改性剂的分子量大小,但含不同柔性链分子量的ＬＣＥＵＰＰＧ均可使固化体系的冲击强度提高３～７倍．改性体系的模量较未增韧体系的模量基本不降低或略有升高,玻璃化转变温度（Ｔｇ）随柔性链分子量的增大而略有提高．     

复合水泥组分对强度的影响

利用正交实验设计方法对复合水泥中各组分对强度的影响进行了研究,结果表明,在适当配比条件下,复合水泥的强度高于硅酸盐水泥型水泥,最佳配比范围为:w(石灰)=21%～24%;m(钢渣)∶m(粉煤灰)=10∶10～14∶14;w(沸石)=8%～12%;w(石膏)=4%～6%;w(矿渣)=15%～19%     

一种动态利用码资源的CDMA系统性能研究

提出了一种基于随即预约ＡＬＯＨＡ访问方式,能支持话音和数据业务的动态使用码资源的码分多址访问协议,在该协议中,话音终端采用预约请求排队访问方式,数据终端采用时隙ＡＬＯＨＡ方式传输数据分组。理论分析和计算机仿真结果表明,该协议能有铲地提高系统码资源的利用率。在系统处于重负载民政部下协议能优先保证话音业务服务质量,而处于轻负载下系统码资源能为数据业务充分使用。     

灰色关联模型分辨系数p区间的理论分析及在回采面安全性评价实例中的验证

简要论 述了灰 色关联理 论在灰色 系统理 论中的重 要地 位以 及灰 色关 联分 析的 方法、模型和步骤 ．从理论 上对灰色 关联模型 中的分 辩系数 ｐ 取 值的 合 理范 围进 行 较全 面 的分 析,给 出 了合理的取 值区间 ,并以回采 工作面 安全性灰 色评价 实例进行 验证．表 １ ,图 １ ,参 ６ ．     

锻造企业计算机集成制造系统的开发

本文剖析了锻造企业的信息流、物质流和生产流程,探讨了锻造企业计算机集成制造系统的模式,并简介了开发的某锻造企业初级ＣＩＭＳ的基本数据库、主要组成和功能．