A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra

A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).     

基于MATLAB的整车可靠性评价

本文根据某汽车公司近3年来所做的整车可靠性试验数据,借助可靠性理论方法与数理统计手段,利用matlab软件编程,分析了该厂所生产的QE6440型轻型客车的故障规律,阐述了该车质量上所存在的问题,并找出了影响其可靠性水平的主要因素,最后对提高该车型的质量提出了相应的技术对策。     

地下连续墙在西安地铁车站基坑工程中的应用

从西安地铁某基坑工程设计入手,通过理论分析、数值分析与计算,阐述了地下连续墙支护体系首次在西安地铁基坑工程中的应用情况,对基坑支撑体系和车站主体结构抗浮性能以及基坑开挖过程中的变形规律和基坑信息化施工等方面均进行了分析、论述,为连续墙支护体系在西安地铁基坑工程中的应用提供了较好的示范。     

渐近最优EB估计的一个充要条件

本文在一个正则性条件下,给出了渐近最优EB枯计的一个充要条件。      

浅析善后河枢纽工程云善船闸主体沉降规律

通过对云善船闸的定期观测和分析,获得船闸工程各部位的沉降情况,监控船闸的施工及使用状况。同时,根据沉降观测资料来分析沉降规律,探讨船闸变形的原因,为船闸施工和运行安全提供保证。     

湛江深厚老黏土地区钢管桩沉桩规律

对湛江老黏土地基5个工程钢管桩施工进行总结,得出以下结论:老黏土地区持力层宜选择50击的中粗砂层或者40击以上黏土层,此时基桩承载力恢复系数为1.26~1.40,比一般黏性土高;打桩锤宜选择D128、D138柴油锤,二档档位终锤贯入度宜为2~5 mm击,三档档位终锤贯入度为6~10 mm击,能量传递系数为28.5%~47.6%;当持力层和桩锤符合上述情况时,直径在1 000~1 400 mm的钢管桩总锤击数小于2 500的占统计83.8%,打桩效率最高。     

三峡库区危岩链式规律的地貌学解译

危岩的形成、失稳崩塌与运动是三峡库区边坡动力演化过程的主要形式之一,陡崖逆向台阶地貌形迹是危岩阶段性演化的宏观表象。基于对库区内近万个危岩的现场调查并结合地貌分析原理,发现了三峡库区危岩链式规律,包括危岩从坡脚向坡顶逐渐崩落的微观链和从临空面向山体内部后退的宏观链;危岩链式规律可分为仅有一个宏观链简单模式和多个宏观链同时发育的复合嵌套模型;陡崖坡脚岩腔的形成过程及其卸荷效应是三峡库区危岩链式规律的孕育源。     

沥青混合料动态模量试验研究

对一种Superpave级配沥青混合料不同空隙率的试样进行了不同温度、不同加载频率条件下动态模量试验,分析了混合料动态模量随体积参数、加载条件的变化规律,研究结果对我国的路面设计模量动态参数的选择具有借鉴意义。     

Regularity of solutions of obstacle problems

In this paper, we improved the regularity results of obstacle problems, in which the smooth conditions of the coefficients a^ij （x） are released from C^1 （^-Ω） to L^∞ （Ω） .     

�����й����ͨ��������������ɳ�����

目前国内许多大城市都在建设或者规划城市轨道交通,客流资料是项目的必要性论证、方案比选、确定系统规模、进行效益分析的基础,科学合理地预测客流已成为决策中面临的重大课题,及时总结城市自身的轨道交通成长规律和客流特征,有助于提高客流预测的准确性.本文根据广州已开通的八条轨道线运营资料,对轨道交通从单线向网络转变过程中的成长规律和客流特征进行分析.最后,从公交整体水平提升、换乘点接入、站点周边用地开发、以及轨道票价制定等方面提出相关建议,为我国轨道交通客流预测水平的提高奠定基础,为轨道交通的建设、运营提供参考.