煤基高分子复合材料研究现状及发展趋势

介绍了煤基高分子复合材料研究现状，包括煤粉填料、神府煤／高密度聚乙烯共混体系、特种无烟煤粉共混塑料、煤／聚己内酰胺复合材料、风化煤腐殖酸／聚己内酰胺复合材料和傅一克烷基化改性煤／聚丙烯复合材料，以及煤基高分子复合材料的应用，并分析了煤基高分子复合材料的发展趋势。     

加筋生态护坡技术的应用与发展

在越来越注重工程生态性的今天,生态护坡在道路、堤防、城市水利等方面得到了广泛应用。然而很多情况下,生态护坡在强度上无法满足工程设计的要求。加筋生态护坡是土工织物与植草相结合形成的一种护坡形式,在保证工程生态性的同时大大提高了生态护坡的强度,近年来逐渐得到重视与应用。综合介绍了加筋生态护坡的发展历程,将其概括为传统生态护坡、普通加筋生态护坡和高性能加筋生态护坡3个阶段,在此基础上对加筋生态护坡使用的不同结构型式和材质的土工合成材料进行了分类总结,针对国内外加筋生态护坡技术的研究现状和主要结论,结合实例分析了加筋生态护坡的工程应用,指出在保护边坡、减少水土流失及改善生态环境方面的作用。最后,展望了未来需要研究的方向。     

5^1／2＂套管开窗侧钻工艺技术在濮城油田的应用

5^1／2＂套管开窗侧钻是一种有效利用油田事故老井眼，深入挖掘油藏开发潜力，进一步提高采收率的行之有效的新型钻井技术。濮城油田在老油田技术改造实践中，利用该技术在完善注采井网，挖潜油藏剩余油，节约投资上取得了显著效果。本文阐述了该项技术在应用中取得的一些认识。     

炭素阳极环式焙烧炉自动化燃烧技术研究

以中国长城铝业公司炭素厂34室环式焙烧炉为对象进行自动化燃烧控制技术的研究，通过分析工艺特性，研究开发了燃烧控制系统，计算机实时网络控制系统，而投资只是引进系统的三分之一，整体技术达到世界先进水平。     

时间Petri网与CAGA算法相结合的并行测试研究

在并行测试的研究中对于任务的测试次序一直是个研究重点及难题。用时间Petri网建立关于并行测试系统的模型,并首次用元胞遗传算法(CAGA)对模型中的变迁序列进行搜索,快速得到最好的测试序列。通过仿真结果表明,该算法展示了很好的收敛效果,并且与已有的研究成果相比更具优势。     

基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

提高特低渗透油藏注水开发效果方法研究

胜利五号桩油田桩74块属特低渗高温深埋油藏,由于注采井距大,回注污水在炮眼、井筒及地层中结垢严重,导致注采井间难以建立有效的驱动体系和驱动压力梯度。针对注水效果差的问题,在该块采用缩小注采井距、建立行列式注采井网、通过优化钻井泥浆、完井设计,实施软化污水防垢、水力压裂引效等工艺,累积注采比达到1.6∶1,油井动液面回升,取得较好的开发效果。     

黑色渗彩釉的试制及其着色机理的分析

以铁钴锰铬的硝酸盐为发色化合物、甘油为调粘剂、柠檬酸钠为配合剂和异辛醇磷酸酯为渗透剂,通过大量实验成功地试制出了颜色、渗透深度和色饱和度梯度均较为理想的黑色渗彩釉。采用色度分析和模糊理论对渗彩釉的性能指标进行了表征,通过X R D、S E M和I R等测试手段对渗彩釉的发色机理进行了研究。     

Undecidability of accordance for open systems with unbounded message queues

We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption.     

ZW多产品间歇过程调度及在线调整

针对多产品间歇过程调度提出了分层递阶的Petri网建模方法，利用赋时Petri和Petri网的简化技术描述不同层次的生产问题，具有很强的模型描述能力。另外，在调度决策层可以方便地集成优化策略和在线调整算法，使问题求解更加灵活。