我国城市地下空间立法体系构想

中国城市地上空间规划方面的立法正日趋完善,而城市地下空间开发方面的立法还很不成熟。因此,加速城市地下空间的立法工作已迫在眉睫、势在必行。本文从介绍城市地下空间的内涵、特点入手,简述了我国开发利用城市地下空间在立法上存在的不足处;通过介绍美国、日本两国城市地下空间立法情况,详细论述了如何在我国构建城市地下空间的立法体系。     

不同结构胶结料浆单体梁抗折试验研究

充填体强度的研究对解决矿山深部开采问题具有重要的现实意义。结合金川矿区深井开采复杂条件,选择INSTRON1342试验机对4组梁试件进行三点弯试验,试验结果表明:有筋与无筋的分级尾砂膏体试件的抗折强度依次大于有筋与无筋的高浓度砂浆试件的抗折强度;当制作试件的料浆相同时,通过布筋能明显增加试件的抗折强度,说明在回采进路胶结充填体中布筋,对于提高回采进路人工假顶的稳定性至关重要。高浓度砂浆有筋试件的抗折强度与无筋试件抗折强度之比,大于分级尾砂膏体试件的对应值。     

研究生导师团队构建机制及其作用

随着社会对高质量复合型人才需求的增加,研究生招生规模不断扩大,招生类型也呈多样性发展,传统单一导师制研究生培养逐渐显现其局限与不足。针对近年来研究生培养过程中存在的主要问题,从研究生培养制度与师生结构方面入手,对研究生报录人数与导师组成结构变化情况之间的关系进行了深入分析,对研究生培养体制改革的重要性进行了阐述,在此基础上提出研究生导师团队建设机制改革路径。通过对研究生导师团队内部导师研究方向组成、导师年龄梯队以及团队例会制度的优化,使研究生管理更加高效、创新思维培育更加多元、研究生培养更具个性化,为大团队研究生培养制度的改革与实践提供参考。     

航材包装单元多隔层集装箱装载优化研究

目的 通过对装载模型开展研究,提高航材包装单元在组合式多隔层集装箱中的装载率,为部队进行集装箱装载工作提供技术方法。方法 依据待装载航材包装单元和集装箱尺寸,分析集装箱内部的分割方案,考虑装载容积、载质量、底面积和装载重心等约束条件,综合空间利用率和载质量为目标函数,建立数学模型,并利用遗传算法对每种分割方案进行优化计算,确定最佳的分割与装载方案。结果 以26个航材包装单元待装入B9型组合式集装箱为例,最优的装载方案是将集装箱内部分割成3层,16个航材包装单元被装入,空间利用率达到86.25%,装载后集装箱的稳定性良好。结论 该模型能有效优化航材包装单元的装载方案,提升组合式集装箱的装载效率,对加快军用物资的输送具有重要意义。     

对象语义约束检验系统的设计和实现

我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特片和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束，本文介绍一个对象语义约束检验系统。     

杭州经验:大数据应对突发公共卫生事件的应急治理

<正>截止到2020年2月29日24时,杭州累计确诊新冠肺炎病例169例,现存确诊仅剩5例。杭州确诊病例较多,但利用大数据分析,迅速采取管控措施,根据疫情发展适时调整防控手段。疫情防控期间,杭州总体上社会秩序平稳,物资供应充足,医疗支持充分,正在逐步恢复经济发展。从城市治理角度看,杭州在本次疫情防控中以数据分析为基础进行管控,采用的精确的个体和群体信息,在应急管理中起到了分时、分类、分区精准施策的重要作用,为城市应对突发公共卫生事件提供了经验     

湘西金矿沃溪矿区缓倾斜中厚矿体采矿方法的研究

本文介绍浅孔房柱法、下向分段切顶预锚中深孔房柱法和长锚索预锚短锚杆联合护顶中深孔房柱法的回采工艺和它们的控顶技术。生产实践证明,对于同类型的中厚矿体采用这些新的采矿方法时,在提高工效,降低损失贫化,改善作业条件,扩大采场生产能力和搞好安全,以及提高经济效益等诸方面都有着极为重要的作用和意义,同时对于我们也有着深刻的教训和教益。     

基于Phase2的复杂采空区稳定性分析与评价

利用Phase2数值模拟软件,分别在水平和垂直剖面建立空区数值模型,对某矿三采区的空区稳定性进行了分析.研究发现,逐步回采完900中段的5个采场后,采空区的应力与位移都不会达到围岩的屈服极限,采空区是相对稳定的;继续回采采空区间柱或下中段矿体时,空区围岩的应力状态发生很大的变化,顶底板局部地方拉应力值达到岩石的抗拉强度,发生破坏,因此在进一步回采矿体时需要对采空区进行处理,保证矿山的安全生产.     

基于费效分析的航材封存方式选择

目的利用费效分析对不同类型航材的封存包装方式进行评估。方法针对不同类型的航材,利用灰色层次分析法计算不同封存方法的效能指标,将封存包装费用分解,利用数据拟合方式分别得到不同类型费用的曲线,通过效能-费用比确定不同类型航材的最佳封存方式。结果封存的效能-费用比与航材体积相关性较强。对体积较小的金属类航材,气相封存的效能-费用比最高,特别是航材的价值也较小时,气相封存的优势明显;体积大于1500 cm~3的金属类航材,综合封存方式效能-费用比最高;对于机载设备类的航材,综合封存的效能-费用比始终高于干燥空气封存。结论价值和体积都较小的金属类航材应选择气相封存,其余金属类航材和全部机载设备应当选择综合封存方式。     

Trace 演算

文章定义了基于踪迹(trace)的逻辑语言L_Trace,它是一阶线性时序逻辑语言的扩充,同时也是“对象演算”研究工作的基础.Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体,语法上由对象标记表示.对象标记Ω=(S,F,A,E)包含4个部分:数据类型S、函数F、属性A和动作E.Σ=(S,F)构成通常代数规范意义下的标记,可将动作看成一广义数据类型,从而得到标记Σ的动作扩充ΣE.对象标记的语义解释结构由关于标记ΣE的代数、映射和动作与踪迹的关系定义.ΣE-代数给出关于数据参数的解释;映射给出属性在动作踪迹中所取的值;而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行.在定义了Trace演算的语法和语义之后,文章给出了Trace演算的公理系统及其可靠性证明.