基于横观各向同性冻土的U形渠道冻胀数值模拟

将冻土分别视为各向同性和横观各向同性线弹性材料,把渠基冻土和渠道衬砌作为一个整体结构,视基土冻胀为热胀冷缩的特殊情况,应用大型有限元通用软件ANSYS,对U形混凝土衬砌渠道冻胀进行热应力耦合数值模拟,计算渠道冻胀的温度场、应力场和变形场,研究衬砌板冻胀力和变形规律,并对结果进行对比分析.结果表明,数值模拟方法能较好地反映U形混凝土衬砌渠道的冻胀机理和冻胀温度场、应力场及变形场的基本规律,横观各向同性比各向同性更能反映冻土的本构模型,与实测成果吻合更好,可用于U形混凝土衬砌渠道抗冻胀设计.     

Verification of Concurrent Assembly Programs with a Petri Net Based Safety Policy

Concurrent programs written in a machine level language are being used in many areas but verifi- cation of such programs brings new challenges to the programming language community. Most of the stud- ies in the literature on verifying the safety properties of concurrent programs are for high-level languages, specifications, or calculi. Therefore, more studies are needed on concurrency verification for machine level language programs. This paper describes a framework of a Petri net based safety policy for the verification of concurrent assembly programs, to exploit the capability of Petri nets in concurrency modeling. The con- currency safety properties can be considered separately using the net structure and by mixing Hoare logic and computational tree logic. Therefore, more useful higher-level safety properties can be specified and verified.     

基于FEKO的引信目标近场动态散射特性实时仿真

引信目标的近场散射特性受到天线方向图、目标局部照射、弹目交会状态等因素的影响,计算过程复杂。首先提出了一种基于FEKO的目标近场散射特性实时仿真方法,然后根据引信作用段的特点建立了弹目交会模型,对引信目标的近场动态散射特性进行了实时仿真,仿真结果表明近场散射强度与导弹脱靶量和目标照亮区有直接关系,脱靶量越小,散射强度相对越大,且弹目距离较近时,由于照亮区的不同散射强度将出现较大起伏。     

稠油热采硅酸盐水泥抗高温技术研究进展

由于常规油井水泥无法适应热采带来的高温环境,采用改性硅酸盐水泥是稠油热采井固井的主要手段。针对耐高温改性硅酸盐水泥进行了调研与梳理,分析了G级油井水泥的高温衰退机制,总结了目前中外的硅酸盐水泥抗高温技术及其抗高温机理。调研发现:加砂是目前最重要的硅酸盐水泥抗高温手段,在300℃以上的热采井中,常规密度水泥浆体系应掺入45%～60%、细度200目左右的硅粉。在此基础上,选择合理的颗粒级配并添加各类水泥外加剂可以进一步增强高温环境下水泥石的性能。除硅粉以外,中外学者也开发了其他抗高温添加剂,廉价优质的新型抗高温添加剂仍是该领域的研究重点。     

聚合物涂层与沥青混凝土衬砌渠道冻胀模拟

为了研究青混凝土与柔性增强涂层材料两种防渗抗冻胀技术的有效性,采用有限元分析软件ADINA,对其进行温度场、变形场及应力场仿真分析,研究了衬砌板的冻胀变形及其法向冻胀力和切向冻胀力分布规律,并分析衬砌板的应力及破坏规律;通过与普通混凝土衬砌对比分析,指出采用沥青混凝土、柔性增强涂层材料等柔性防渗抗冻胀材料不仅能使衬砌板的冻胀量及冻胀力更加均匀,而且通过释放变形,可使其法向及切向冻胀力减小25%～46%,可有效控制衬砌渠道冻胀破坏.