关于机器证明

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

电磁除铁器在煤矿主运系统的研究与应用

该文章简要介绍了在煤矿采区运输系统中除铁器的必要性,详细地说明了除铁器的安装方法及要求。     

车辆监控系统设计的关键技术分析

介绍了车辆监控系统的软硬件部分，给出了总体架构设计。提出了利用MapX和MapXTreme进行电子地图显示，通过定位匹配将车辆位置、状态等信息有效地与电子地图整合，从而对车辆进行准确地定位和监控．     

航天专项工程投资估算模型研究

航天专项工程投资估算是航天专项工程管理的重要环节.为了提高航天专项工程投资估算的准确性与合理性,对航天专项工程投资估算模型进行研究.在对航天专项工程投资分析基础上,应用工程统计法的原理,建立基于工作分解结构的航天专项工程投资估算模型,并提出分系统建设其他费用的分摊方法和总投资的修正模型,最后总结分析模型的优缺点.     

三方层状钙钛矿化合物——结构化学原理及应用

从钙钛矿的结构特点出发,阐述其相关结构构筑的原理.着重讨论新型三方层状钙钛矿系列化合物(La n+1 Mn n O 3n+3 )(Ca 2 O)的设计思路.分析离子半径大小、氧化态和电荷平衡、离子的配位方式等因素对新物相形成的影响.介绍在La-A-Mn-O体系(A=碱土离子)中合成三方层状钙钛矿化合物的实验结果.所得n=1的物相La 2 Ca 2 MnO 7 由三方钙钛矿单元层(La 2 MnO 6 )和类石墨结构单元层(Ca 2 O)沿c轴方向交替排列而成.最后简要介绍三方层状钙钛矿化合物的磁性质.     

氧化锌纳米线阵列的制备方法

综述近年来氧化锌纳米线阵列制备方法的研究进展状况,包括气-液-固催化剂辅助化学气相沉积法、模板限制辅助生长法、金属有机气相外延生长法以及胶体化学的自组装(组织)法等,并且评价了这些方法的优缺点.     

一个具扩散的捕食模型非常数正解的存在性

考虑一个Neumann边界条件下具扩散和Holling型功能反应的捕食-被捕食模型的平衡态问题,获得了该模型正平衡态解的一些结果.首先,给出了正解的先验估计,进而,用能量方法得到其非常数正解的不存在性,用拓扑度理论得出其非常数正解的存在性结果.     

王世强先生简介

王世强,1927年3月30日生于河北省石家庄市,祖籍河北省深县相家庄(现划归衡水市).抗日战争爆发时,跟随父母经过逃难及转移,在沦陷后的天津市法租界读完小学,1939年辗转迁徙到抗战后方的甘肃省.     

汝州市汝河滨河公园规划设计分析

当城市间的竞争日益激烈时,以水环境建立自己独特的都市和自然环境的城市比其他城市更具优势.随着汝州城市经济基础逐渐雄厚,开发汝河滨水地区对于改善城市环境质量,提升城市形象的作用越来越重要.     

一种基于身份的代理门限环签名方案

在门限环签名体制中,任何t个或者多于t个环成员可以代表整个环产生一个有效的环签名,代理签名能够实现签名权利的委托.基于双线对难解性的问题,提出一个安全的代理门限环签名方案,少于t个代理环成员无法生成一个有效的代理门限环签名,验证者只能确定代理签名人来自某个环,无法获知代理签名人的身份信息.该方案满足匿名性,并在CDHP问题困难的前提下,满足适应性选择消息攻击下的不可伪造性.