全文获取类型
收费全文 | 35篇 |
免费 | 2篇 |
国内免费 | 6篇 |
专业分类
化学工业 | 1篇 |
机械仪表 | 1篇 |
建筑科学 | 11篇 |
矿业工程 | 12篇 |
武器工业 | 1篇 |
无线电 | 2篇 |
一般工业技术 | 4篇 |
冶金工业 | 1篇 |
自动化技术 | 10篇 |
出版年
2023年 | 1篇 |
2022年 | 1篇 |
2021年 | 1篇 |
2020年 | 2篇 |
2017年 | 3篇 |
2016年 | 3篇 |
2015年 | 2篇 |
2014年 | 4篇 |
2013年 | 2篇 |
2012年 | 1篇 |
2011年 | 1篇 |
2010年 | 5篇 |
2009年 | 1篇 |
2008年 | 1篇 |
2007年 | 1篇 |
2005年 | 2篇 |
1999年 | 4篇 |
1998年 | 1篇 |
1997年 | 1篇 |
1996年 | 4篇 |
1995年 | 1篇 |
1986年 | 1篇 |
排序方式: 共有43条查询结果,搜索用时 31 毫秒
21.
我国城市地下空间立法体系构想 总被引:4,自引:2,他引:2
中国城市地上空间规划方面的立法正日趋完善,而城市地下空间开发方面的立法还很不成熟。因此,加速城市地下空间的立法工作已迫在眉睫、势在必行。本文从介绍城市地下空间的内涵、特点入手,简述了我国开发利用城市地下空间在立法上存在的不足处;通过介绍美国、日本两国城市地下空间立法情况,详细论述了如何在我国构建城市地下空间的立法体系。 相似文献
22.
23.
随着社会对高质量复合型人才需求的增加,研究生招生规模不断扩大,招生类型也呈多样性发展,传统单一导师制研究生培养逐渐显现其局限与不足。针对近年来研究生培养过程中存在的主要问题,从研究生培养制度与师生结构方面入手,对研究生报录人数与导师组成结构变化情况之间的关系进行了深入分析,对研究生培养体制改革的重要性进行了阐述,在此基础上提出研究生导师团队建设机制改革路径。通过对研究生导师团队内部导师研究方向组成、导师年龄梯队以及团队例会制度的优化,使研究生管理更加高效、创新思维培育更加多元、研究生培养更具个性化,为大团队研究生培养制度的改革与实践提供参考。 相似文献
24.
目的 通过对装载模型开展研究,提高航材包装单元在组合式多隔层集装箱中的装载率,为部队进行集装箱装载工作提供技术方法。方法 依据待装载航材包装单元和集装箱尺寸,分析集装箱内部的分割方案,考虑装载容积、载质量、底面积和装载重心等约束条件,综合空间利用率和载质量为目标函数,建立数学模型,并利用遗传算法对每种分割方案进行优化计算,确定最佳的分割与装载方案。结果 以26个航材包装单元待装入B9型组合式集装箱为例,最优的装载方案是将集装箱内部分割成3层,16个航材包装单元被装入,空间利用率达到86.25%,装载后集装箱的稳定性良好。结论 该模型能有效优化航材包装单元的装载方案,提升组合式集装箱的装载效率,对加快军用物资的输送具有重要意义。 相似文献
25.
我们使用一阶谓词逻辑公式表示对象的语义约束,即对象结构特片和操作行为特征约束,这些逻辑公式必须保证是一致的,并且对象在其演变的历史过程中必须满足对象约束,本文介绍一个对象语义约束检验系统。 相似文献
26.
27.
倪彬 《金属材料与冶金工程》1986,(6)
本文介绍浅孔房柱法、下向分段切顶预锚中深孔房柱法和长锚索预锚短锚杆联合护顶中深孔房柱法的回采工艺和它们的控顶技术。生产实践证明,对于同类型的中厚矿体采用这些新的采矿方法时,在提高工效,降低损失贫化,改善作业条件,扩大采场生产能力和搞好安全,以及提高经济效益等诸方面都有着极为重要的作用和意义,同时对于我们也有着深刻的教训和教益。 相似文献
28.
29.
目的利用费效分析对不同类型航材的封存包装方式进行评估。方法针对不同类型的航材,利用灰色层次分析法计算不同封存方法的效能指标,将封存包装费用分解,利用数据拟合方式分别得到不同类型费用的曲线,通过效能-费用比确定不同类型航材的最佳封存方式。结果封存的效能-费用比与航材体积相关性较强。对体积较小的金属类航材,气相封存的效能-费用比最高,特别是航材的价值也较小时,气相封存的优势明显;体积大于1500 cm~3的金属类航材,综合封存方式效能-费用比最高;对于机载设备类的航材,综合封存的效能-费用比始终高于干燥空气封存。结论价值和体积都较小的金属类航材应选择气相封存,其余金属类航材和全部机载设备应当选择综合封存方式。 相似文献
30.
Trace 演算 总被引:3,自引:4,他引:3
文章定义了基于踪迹(trace)的逻辑语言LTrace,它是一阶线性时序逻辑语言的扩充,同时也是“对象演算”研究工作的基础.Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体,语法上由对象标记表示.对象标记Ω=(S,F,A,E)包含4个部分:数据类型S、函数F、属性A和动作E.Σ=(S,F)构成通常代数规范意义下的标记,可将动作看成一广义数据类型,从而得到标记Σ的动作扩充ΣE.对象标记的语义解释结构由关于标记ΣE的代数、映射和动作与踪迹的关系定义.ΣE-代数给出关于数据参数的解释;映射给出属性在动作踪迹中所取的值;而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行.在定义了Trace演算的语法和语义之后,文章给出了Trace演算的公理系统及其可靠性证明. 相似文献