排序方式: 共有157条查询结果,搜索用时 531 毫秒
1.
该文针对当前矿井炮掘巷道大断面掘进普遍存在掘进施工较慢的实际,结合公司实际情况,有针对性地提出了解决的办法。 相似文献
2.
贾峰 《电脑与微电子技术》2012,(11):67-69,80
通过对RSS技术研究,利用VisualStudio2010设计开发一个RSS阅读器,此阅读器由频道列表区、标题区和内容区三个部分组成。该系统运行情况良好,检索信息速度快。 相似文献
3.
5.
瑞典位于北欧斯堪的纳维亚半岛东部.东北部与芬兰接壤,西部和西北部与挪威为邻,东濒波罗的海和卡特加特海峡,西南临北海,并与丹麦隔海相望.瑞典领土面积约45万平方公里,约15%的土地在北极圈内.瑞典湖泊众多,约9.2万个.拥有丰富的铁矿、森林和水力资源,森林覆盖率为54%,蓄材约26亿立方米. 相似文献
6.
定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。 相似文献
7.
小麦后熟期及储藏过程中生理生化变化研究进展 总被引:1,自引:0,他引:1
小麦在后熟期和储藏过程中会发生一系列的物理、化学、生理和生化的变化,从而影响到加工和食用品质的变化.综述小麦后熟期及储藏过程中主要品质评价指标如发芽率、电导率、水分、蛋白质、相关酶活性、基因表达和面团特性如糊化特性与黏度等变化及其相关的关系,旨在为小麦收获之后的后熟期管理和科学储藏提供依据. 相似文献
8.
“揭河底”现象是黄河高含沙洪水特有的一种泥沙运动方式.本文通过对历史“揭河底”水文资料的统计和分析,提出了历史“揭河底”发生的水沙条件、河道边界条件、河床淤积物组成,总结了其发生的规律.该研究进一步探讨了黄河小北干流河段“揭河底”冲刷现象的运动机理,充分发挥冲刷塑造窄深河槽的积极作用,减小了冲刷造成的危害,对在治黄中如何利用“揭河底”规律,趋利避害有一定的指导意义. 相似文献
9.
来自内心的对比的两个极,是绘画的源泉。在平常的生活中我们总是被困扰在这种矛盾的思绪中,在理性和感性的临界点徘徊。我们现在已经习惯的使用电脑和数字技术,这些技术可以算出感情吗?总有一种要被压抑的,藏在这些合理的生活下的蠢蠢欲动,如果真的有一天人们用电脑可以控制一切,理性机械的将感性柔软的完全掌控的如此完美 相似文献
10.