关于机器证明

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

矿井下山泵房自动化控制技术研究

该文章简要介绍了煤矿下山排水的现状,并认真分析所存在的问题,详细的叙述了自动化信息化方案的制定以及实施情况,突出介绍了自动化系统的功能及特点。     

科技西进!迈着创新的步伐前进!

杭州西部五县(市)发展潜力大,承载着城市空间拓展、产业转移、生态建设、城乡统筹、协调发展等重要功能. 2012年2月25日,省委常委、市委书记、市人大常委会主任黄坤明在中国共产党杭州市第十一次代表大会上的报告中指出:"五县(市)是杭州发展的‘新蓝海’.要推动县(市)建成中等城市,加快中心镇建设和小城市培育,提升五县(市)城镇化水平,加快打造新的增长点.加大对五县(市)发展的支持力度,深化区县(市)协作、联乡结村、结对帮扶等工作机制,推动区县(市)共建产业集聚平台,加快五县(市)融入大都市步伐.在‘交通西进’、‘旅游西进’基础上推进‘科技西进’、‘文创西进’和‘现代服务业西进’,促进市区优质资源向县(市)辐射延伸,增强五县(市)发展动力,释放五县(市)发展潜力."     

超乎想象的权威力量

正服从实验的经典研究是由社会心理学家米尔格兰姆(S.milgram)于1963年在美国的耶鲁大学进行的。这项研究是社会心理学领域最具影响力的实验之一服从实验在1961年7月进行,此时正是纳粹党徒阿道夫·艾希曼被抓到耶路撒冷审判,并被判处死刑后的一年。这个实验的目的,是为了测试受测者,在面对劝慰着下达违背良心命令时,人性生所能发挥的拒绝力量到底有多大。米尔格拉姆设计了这个实验,便是为了测试"艾希曼"以及其他千百万名参与二战中,犹太人大屠杀的纳粹追随者,是否可能只是单纯的服从了上级的命令?我们能称呼他们     

非线性二阶周期边值问题的正解(英文)

周期边值问题是非线性分析中的一个重要课题,它在许多实际问题中有着广泛的应用.论文应用锥拉伸和锥压缩不动点定理研究非线性二阶周期边值问题正解的多重性.以一类线性问题的格林函数为工具,证明了周期边值问题至少有两个正周期解的结论.     

基于PIC18F14K50单片机的EVD动态变形测试仪设计

该设计提出了一种基于Microchip（微芯公司）的PIC18F14K50的EVD测试仪的解决方案，在系统设计中加入加速度传感器处理模块和可视化的端口驱动程序，从而使该设计方便、灵活性强，可以在交通系统和铁路建设等领域得到广泛应用，该产品已经成功应用于北京附近的铁路建设领域。     

浅山干旱区桃树树体改造技术要点

天水市桃树栽植面积已达10000多hm2,由于树形采用三主枝开心行,树体侧枝数量过多和保留的枝条过密而导致树体郁闭；冬季修剪采用传统的短枝修剪方法,使树体营养生长过旺,树冠通风透光变差,因此,改造现有的树体结构,减少骨干枝数量,改进现有的修剪技术,改善树体的通风透光性能,是全面提升桃果市场竞争力,提高桃生产经济效益,引进国家桃产业体系兰州试验站新技术长枝修剪,解决这一紧迫任务.     

基于纤芯失配的光纤布拉格光栅温度不敏感振动传感器

提出了一种基于纤芯失配的光纤布拉格光栅温度不敏感传感结构并且得到了实验验证。该传感器由一短截细芯光纤和单模光纤布拉格光栅熔接而成。光通过细芯光纤时激发出一系列包层模式,并通过纤芯失配的熔接面进入后面的光纤布拉格光栅中。其中,一些低阶模式会被光纤光栅反射耦合回传输光纤的纤芯,耦合效率与光纤的弯曲度有关。实验结果表明低阶奇数膜LP3n对光纤弯曲度有极大的灵敏度。通过对包层模式的选择性监测和能量检测方法,提高了传感器的弯曲灵敏度,并避免了温度对传感器的影响。     

热风干燥技术在高强高模PVA纤维生产过程中的应用研究

本文研究了采用循环热风的加热方式,用燃气作为加热热源,以热风进行循环利用的PVA纤维干燥技术。利用该技术所生产的高强高模PVA纤维,其平均强度≥13CN/dtex、模量320CN/dtex,且获得的纤维产品外观显银白色,分散性一级品率可稳定控制在90%以上。     

天水市职业女性体育健身状况及影响因素分析

运用问卷调查、文献资料和数据统计等方法,对天水市不同年龄段职业女性的体育锻炼频度、时间、内容、目的等情况进行问卷调查与分析总结,以期了解天水市职业女性参与体育锻炼的情况及影响因素,提出发展天水市职业女性体育健身活动的建议。