oalib

OALib Journal期刊

ISSN: 2333-9721

费用:99美元

投稿

时间不限

2016 ( 113 )

2015 ( 4306 )

2014 ( 4261 )

2013 ( 4482 )

自定义范围…

匹配条件: “钱振江” ,找到相关结果约66948条。
列表显示的所有文章,均可免费获取
第1页/共66948条
每页显示
环氧沥青混凝土裂纹起裂与失稳扩展的临界特征
,
工程力学 , 2015, DOI: 10.6052/j.issn.1000-4750.2013.07.0666
Abstract: 为了获取环氧沥青混凝土的裂纹起裂与失稳扩展临界点,重构了环氧沥青混凝土非均质(集料、砂浆和空隙)多层次(矿料级配)结构三维虚拟试件,采用离散元方法实施了单边切口小梁虚拟三点弯曲试验,借助数字摄像法捕捉了室内小梁试件表面裂纹发展情况,分析了裂缝发展过程中裂缝尖端张开位移(CTOD)和裂缝口张开位移(CMOD)之间的变化关系。研究结果表明:裂尖张开位移δ25参数的使用为理解实际流入断裂带用于裂缝扩展的那部分能量开辟了一条新思路;裂缝尖端张开位移和裂缝口张开位移关系曲线的两个转折点描述了裂缝起裂和临界失稳扩展状态,环氧沥青混凝土断裂过程中裂缝的扩展经历了起裂、稳定扩展和失稳扩展3个阶段;δ25-CMOD曲线分析法可以作为研究沥青混凝土材料断裂行为的辅助手段。
用影象云纹法测量人足底的压力分布
,段文
重庆大学学报 , 1992,
Abstract: 利用影象云纹法和所研制的力——位移传感器列阵,测量了人足底的压力分布。力——位移传感器是拉伸弹簧式的,每0.49cm~2面积上有一个这样的传感器,足底面积内可有数百个传感器形成的列阵,因此能正确地反映人足底压力的分布状况。
微内核架构多线程机制的形式化设计研究
,卢亮?,黄皓?
计算机科学 , 2013,
Abstract: 微内核架构因其有效的模块隔离性而成为操作系统方面研究的热点,多线程机制是微内核架构需要解决的关键性能问题。有不少的工作对微内核架构多线程机制进行了研究,但存在频繁的系统地址空间切换和实现复杂度高的问题。采用形式化的方式对微内核架构多线程和安全机制进行描述和设计,提出一个微内核线程分层对象语义模型,用以设计多线程机制的线程间通信、调度和互斥同步方案。在已实现和验证的微内核操作系统vtos中对多线程功能和性能进行了测试,结果表明vtos有效地实现了多线程机制,并具有很好的系统性能。
生物滴滤塔内脱氮硫杆菌同时脱硫脱硝的实验研究
Experimental Study on Simultaneous Denitrification and Desulphurization by Thiobacillus denitrificans in Bio-Trickling Filter
 [PDF]

董成, 宋逍, 綦懿, , 李海波, 葛砚, 柴斌
Hans Journal of Chemical Engineering and Technology (HJCET) , 2012, DOI: 10.12677/HJCET.2012.23016
Abstract: 本文根据脱氮硫杆菌在厌氧条件下的生理特性,以生物滴滤塔为反应器、脱氮硫杆菌为功能菌种进行了同时脱硫脱硝的实验研究。利用w垃圾渗滤液进行填料挂膜并驯化后得到了脱氮硫杆菌菌群,考察了进气浓度、液体喷淋量、入口气体流量等因素对H2SNO脱除效率的影响,确定了较佳的实验条件。
 

According to the biological characteristics and suitable growth conditions of thiobacillusdenitrificans, experimental study of simultaneous desulfurization and denitrification by Thiobacillus denitrificans under anaerobic conditions was carried out in biotrickling filter filled with packing. The effect of gas flow, concentration of inlet gas, spray volume of circulation liquid, etc., on H2S and NO removal efficiency were investigated, and the optimum experimental conditions was determined.

Formal Design and Verification of Interrupt Mechanism Based on Microkernel
微内核中断机制的形式化设计与验证

李康杰,,黄皓
计算机科学 , 2013,
Abstract: It is difficult to describe the correctness and security of the operate system (OS) by quantitative analysis. Formal method is the acknowledged standard one in design and verification for OS. Based on the operate system object semantics model (OSOSM) , we designed and verified the interruption mechanism of microkernel architecture using for- mal method,which was realized on our self-implemented verified trusted operate system (VTOS). Meanwhile,we used the theorem prover Isabelle/HOI. to formally describe the design process, and verify the integrality of the interruption mechanism of VTOS. Our research plays certain referential significance on formal design and verification of OS.
煤气化废水酚氨分离回收系统的流程改造和工业实施
,周志远,陈赟,
化工学报 , 2010,
Abstract: 煤气化工艺中产生的洗气废水含有酚氨等高浓度难降解有机污染物。工业上采用化工分离和生化处理两段法来依次实现回收酚氨和净化排放。现有工艺中酚回收效率较低,难以保证进入生化工艺段的水质,影响最终排放。本文研究发现:萃取剂的选择和分离序列对萃取过程的pH值及随之对脱酚效率的影响极大。本文将脱氨装置单元前置,提出了精馏汽提塔侧线脱氨技术,将废水的pH值从10.5降到6.5,使萃取在偏酸条件下进行。采用甲基异丁基甲酮(MIBK)替代原有的二异丙醚(DIPE)萃取剂,显著提高了对多元酚的分配系数,总酚萃取效率从76%提升到93%。以上新流程已在某大型煤化工企业3200t·d-1煤气化污水化工分离系统中得以成功改造实施。新流程的实施提高了有机污染物的脱除率,为后续的生化处理工艺的达标排放奠定了基础。
沥青混合料裂纹发展过程的颗粒流模拟
,,汪林兵
公路交通科技 , 2015,
Abstract: 为了在细观尺度下描述沥青混合料的裂纹发展行为,运用离散元程序PFC2D内置"Fish"语言,重构了沥青混合料非均质(集料、胶浆和空隙)多层次(矿料级配)结构虚拟试件,对虚拟试件微观组成成分之间的接触赋予了相应的微观接触模型,采用离散元方法实施了单边切口小梁虚拟3点弯曲试验,借助数字摄像法捕捉了室内小梁试件表面裂纹发展情况,在二维尺度下探索了沥青混合料的部分断裂机理.结果表明虚拟试验得到的宏观断裂力学响应与室内试验结果的吻合度较好,仅采用试件单面图像信息构建模型进行力学性能预测缺乏可信度;虚拟试验模拟的二维裂纹扩展路径与室内数字摄影法结果较为相似,二者都体现出材料脆性断裂特点,二维模型往往夸大了粗集料在混合料断裂过程中的作用;基于离散元程序的裂纹扩展行为分析方法,可以作为研究沥青混凝土材料断裂行为的辅助手段.
水泥混凝土桥梁长寿命桥面铺装层复合结构疲劳特性
,,王亚奇
中国公路学报 , 2012,
Abstract: ?为了构建疲劳性能优异的水泥混凝土桥梁长寿命铺装结构,借鉴长寿命沥青路面设计的基本思路,选取3种铺装复合结构方案,采用应变控制的四点弯曲疲劳试验,并基于Weibull分布理论对复合结构的疲劳特性进行分析,建立长寿命桥面铺装复合结构双对数疲劳预估方程。研究结果表明:3种铺装复合结构的疲劳寿命均服从双参数Weibull分布|在失效概率为0.1时,复合结构上面层同为AC,下面层采用环氧沥青混合料(EAM)代替SMA后,其疲劳性能得到提高,复合结构下面层同为EAM,上面层采用SMA代替AC后,疲劳性能得到再次提高|“EAM+SMA”的组合具有较好的抗疲劳性能,同时满足长寿命桥面铺装的结构最优设计特点,为今后长寿命桥面铺装相关研究提供了基础。
国内外轻集料沥青混凝土研究现状
陈龙,,贾彦卿
重庆交通大学学报(自然科学版) , 2012, DOI: 10.3969/j.issn.1674-0696.2012.supp.1.42
Abstract: :?轻集料沥青混合料具有密度低、模量高,及优越的抗车辙性、水稳性和抗滑性等特性,但在实际铺面工程的应用仍处于起步阶段,其工程应用价值没有受到应有的重视。对轻集料沥青混凝土的研究现状进行了分析评价,介绍了国内外结构用轻集料技术要求及有关沥青混凝土用轻集料规范及研究现状,为路面、桥面铺面工程研究人员提供参考。
微内核中断机制的形式化设计与验证
李康杰,,黄皓?
计算机科学 , 2013,
Abstract: 操作系统的正确性和安全性很难用定量的方法进行描述。形式化方法是操作系统设计和验证领域公认的标准方法。以操作系统对象语义模型(ososm)为基础,采用形式化方法对微内核架构的中断机制进行了设计和验证,在自行开发的安全可信操作系统vtos上加以实现,采用isabelle/hol对设计过程进行了形式化描述,对vtos中断机制的完整性进行了验证,这对操作系统的形式化设计和验证工作起到了一定的借鉴意义。
第1页/共66948条
每页显示


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.