浅谈大断面巷道掘进技术的实践与体会

该文针对当前矿井炮掘巷道大断面掘进普遍存在掘进施工较慢的实际,结合公司实际情况,有针对性地提出了解决的办法。     

基于C#的RSS阅读器设计与实现

通过对RSS技术研究,利用VisualStudio2010设计开发一个RSS阅读器,此阅读器由频道列表区、标题区和内容区三个部分组成。该系统运行情况良好,检索信息速度快。     

以1,3-二(4-邻羟基苯亚胺次甲基)苯氧基丙烷为载体的铁离子(Ⅲ)电极的研究

以1,3-二(4-邻羟基苯亚胺次甲基)苯氧基丙烷为中性载体制备了PVC膜Fe3+离子选择性电极。该电极对Fe3+呈现出良好的选择性和近Nernst电位响应性能。电极斜率为21mV/dec,线性范围为3.0×10-5～1.0×10-1mol/L,检出限为1.0×10-5mol/L。采用交流阻抗技术研究了电极的响应机理,并将电极作为指示电极初步用于EDTA的电位滴定。     

5万t/a离子膜电解装置建设总结

介绍了5万t／a离子膜电解装置的工程建设及试车情况。     

瑞典——开启全球环保之门

瑞典位于北欧斯堪的纳维亚半岛东部.东北部与芬兰接壤,西部和西北部与挪威为邻,东濒波罗的海和卡特加特海峡,西南临北海,并与丹麦隔海相望.瑞典领土面积约45万平方公里,约15%的土地在北极圈内.瑞典湖泊众多,约9.2万个.拥有丰富的铁矿、森林和水力资源,森林覆盖率为54%,蓄材约26亿立方米.     

一个Object-Z规格说明的证明责任产生器

定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。     

小麦后熟期及储藏过程中生理生化变化研究进展

小麦在后熟期和储藏过程中会发生一系列的物理、化学、生理和生化的变化,从而影响到加工和食用品质的变化.综述小麦后熟期及储藏过程中主要品质评价指标如发芽率、电导率、水分、蛋白质、相关酶活性、基因表达和面团特性如糊化特性与黏度等变化及其相关的关系,旨在为小麦收获之后的后熟期管理和科学储藏提供依据.     

黄河小北干流河段揭河底规律分析

“揭河底”现象是黄河高含沙洪水特有的一种泥沙运动方式.本文通过对历史“揭河底”水文资料的统计和分析,提出了历史“揭河底”发生的水沙条件、河道边界条件、河床淤积物组成,总结了其发生的规律.该研究进一步探讨了黄河小北干流河段“揭河底”冲刷现象的运动机理,充分发挥冲刷塑造窄深河槽的积极作用,减小了冲刷造成的危害,对在治黄中如何利用“揭河底”规律,趋利避害有一定的指导意义.     

艺术的两级之对立和共生

来自内心的对比的两个极,是绘画的源泉。在平常的生活中我们总是被困扰在这种矛盾的思绪中,在理性和感性的临界点徘徊。我们现在已经习惯的使用电脑和数字技术,这些技术可以算出感情吗?总有一种要被压抑的,藏在这些合理的生活下的蠢蠢欲动,如果真的有一天人们用电脑可以控制一切,理性机械的将感性柔软的完全掌控的如此完美     

剪切模式压电光纤调制器

设计了一种基于剪切模式振荡的光纤光调制器.实验中,利用压电陶瓷控制2段对接光纤的相对截面积,在初始位置光束无损耗的全部通过,在压电陶瓷管切向形变为光纤内径r时,输出光强为零.本光纤信号调制器属于光的振幅调制器,调制度可达到100%,信噪比(SNR)约为25 dB,带宽约为200 kHz.