基于Kelvin链率型模型的混凝土徐变有限元计算

基于混凝土徐变固结理论,推导出一种计算混凝土徐变的递推格式,递推过程可以结合使用有限元商用软件来完成.首先,基于Kelvin链模型,将徐变Volterra积分方程转化为率型徐变积分微分方程;其次,将时间进行离散,通过引入中间变量,把率型徐变积分微分方程转化为可递推计算徐变方程;再次,使用可递推计算徐变方程,结合应力应变...     

基于可视化界面的汽车平顺性分析及悬架参数选择

建立了含人体-座椅系统的前后轮两个路面输入的双轴汽车模型,以某款九座商务车为研究对象．分析了系统频域内与平顺性相关的输出量。利用Visual C＋＋编程,通过可视化界面实现了悬架参数的自由选择和复杂的计算分析过程,并且可直接输入整车参数得出仿真曲线,对汽车的平顺性进行有效地评价。     

Reliability Analysis Method of a Control System for Subsea All-Electric Christmas Tree

The subsea all-electric Christmas tree (XT) is a key equipment in subsea production systems. Once it fails, the marine environ-ment will be seriously polluted. ...     

可潜式滚装码头锚泊系统试验研究

可潜式滚装码头由趸船、双体滚装平台和设有特种垂直锚装置的组合锚泊系统等组成。较详细介绍了趸船模型的设计、锚链的模拟方法,全面地分析了不同的锚泊组合方式下锚系的受力状况,得到囤船在风浪流组合条件下相关力学特性和响应规律。     

改性无砂混凝土路用性能评价

无砂混凝土因其强度不如普通密级配混凝土,限制了它的使用,因此如何提高无砂混凝土的强度和疲劳寿命是其应用的关键。将一种新型的胶体作为改性剂掺加到无砂混凝土中,通过强度、干缩及疲劳试验,与普通无砂混凝土以及同水泥用量、同强度等级的两种普通混凝土对比,试验表明该胶体改性剂能较大幅度提高无砂混凝土强度,达到规范混凝土面层强度要求,同时具备良好的抗干缩性能,特别是拥有优异的抗疲劳性能,使无砂混凝土具有了良好的应用前景。     

北部湾、泛北部湾港口崛起的号角——中国-东盟港口发展与合作论坛札记

2007年10月28日,第4届"中国-东盟国家博览会"在广西南宁隆重开幕.这届博览会,参展企业1908家,共设展位3400个,其中东盟10国1134个,比上届提高35%.商品贸易成交额14.2亿美元,同比增长12.1%;签约国际合作项目投资额61.5亿美元,比上届增长5.3%;签约国内合作项目投资额582.1亿元人民币,比上届增长5.1%,均超过了前3届.     

变频调速技术应用的经验

介绍变频调速技术的特点,以及在港口装卸设备电气传动控制系统改造中选择和应用变频器的技巧和经验.     

改善预应力连续箱梁耐久性措施探讨

近年来大量预应力混凝土箱梁在运营阶段相继出现了影响结构正常使用及结构耐久性的受力裂缝。从以下几个方面探索改善预应力连续箱梁耐久性的措施、建立全寿命成本分析优化设计理念;加快抗裂、抗渗等高性能混凝土材料的推广和应用;改善原有预应力连续箱梁施工工艺、结构形式;设计时充分考虑桥粱使用时所处的环境,针对具体的环境采取适当的措施减少环境对桥梁耐久性的影响,加强运营阶段的管理和维护。     

安装中央制动器的某型变速器的后壳体设计与开发

针对某型变速器后壳体进行改型设计,增加了安装中央制动器的结构,对改型设计及加强设计的后壳体进行了有限元分析计算、台架试验和道路试验。计算及试验表明,加强设计的后壳体强度完全满足使用要求,此状态的后壳体已进入批量生产阶段。     

Behavior-consistent service substitutions in dynamic environments

In this paper, a novel approach for service substitutions based on the service type in terms of its interface type and behavior semantics is proposed. In order to analyze and verify behavior-consistent service substitutions in dynamic environments, we first present a formal language to describe services from control-flow perspective, then introduce a type and effect system to infer conservative approximations of all possible behaviors of these services. The service behaviors are represented by concurrent behavior expressions （CBEs）. Built upon the interpretation of CBEs, behavior-consistent service substitutions are defined and analyzed by subtyping technology. The correctness of the analysis approach is guaranteed by type safety theorem, which is mechanically proved in the Coq proof assistant. Finally, applications in web services show that our method is effective and feasible.