Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Software and Systems Modeling - Open environmental software systems are often time-sensitive, as they need to respond to other entities within the systems and/or in the environments promptly. The...     

超高性能混凝土国内外研究与应用进展*

介绍了超高性能混凝土（UHPC）的制备原理和性能特点，对UHPC国内外研究和应用情况进行了综述，指出了我国UHPC研究和应用中存在的问题。结果表明：UHPC是一种具有优异的力学性能、耐久性能和环保效益的新型水泥基复合材料。国外在UHPC理论研究和应用研究方面都取得了大量成果，在实际工程中已经获得了广泛的应用；近年来我国在理论研究和应用方面也得到了快速发展；如何简化UHPC制备工艺、降低生产成本、补偿自收缩是今后的主要研究方向，完善相关规范标准以更好地指导UHPC现浇工程应用是目前首要解决的问题。随着环保和可持续发展理念的日益重视，UHPC这种低碳环保材料将有广阔的发展前景。     

火花放电喷射等离子体触发气体开关导通特性及工作模式分析

为理解喷射等离子体触发气体开关的导通过程和触发机理,利用高速分幅相机拍摄火花放电喷射等离子体触发气体开关的导通过程,结合开关导通时延测量,研究了该开关在10%~90%工作系数下的触发导通特性,分析了开关在高、低工作系数下的导通过程和工作模式。结果表明,火花放电喷射等离子体触发气体开关在10%~90%的极宽工作系数范围内能可靠触发导通,导通时延随工作系数提高而逐步从数十μs减小至数百ns。低工作系数时气体开关为慢导通模式,导通过程可分为喷射等离子体形成阶段、喷射等离子体快速发展阶段、喷射等离子体发展饱和阶段和主间隙放电4个阶段,其导通延时受工作系数和触发脉冲幅值的影响,为数μs至数十μs。随着开关工作系数提高,开关由慢导通模式逐步过渡到快导通模式,导通过程只包括喷射等离子体形成阶段和主间隙放电两个阶段,放电发展过程较为迅速,导通时延约为数百ns。     

Preface

The vision of ''Internet as a computer'' motivates many technical trends, like pervasive computing, grid computing, service computing and recently, cloud computing, as well as some business trends, like modern service industry, digital economy and smarter planet. These evolutionary changes demand that the software systems which are running on the open and dynamic Internet have to be autonomous, context-sensitive, continuous-reactive, evolutionary, and proactive, and the software entities dispersed on distributed nodes over the Internet will be turned into self-contained, autonomous and adaptive. Thus, like the information Web, i.e. the World Wide Web, these Internet-based software entities will constitute a software Web. That gives birth a new software paradigm. A portmanteau term ''Internetware'' is used to denote the future software-web. An Internetware system will be able to perceive the changes of the open and dynamic environment, respond to the changes, and exhibit the context-aware, adaptive and trustworthy behaviors. The mission of Internetware may challenge many aspects of software technologies, from the operating platforms and the programming models to the engineering approaches. Internetware 2010, the second Asia-Pacific Symposium on Internetware, aims to provide an interactive forum where researchers and professionals from multiple disciplines and domains meet and exchange ideas to explore and address the challenges brought by Internetware. The symposium was held at Suzhou, China, during the 2-4 of Nov, 2010. Thirty three papers were submitted and each of them was reviewed by at least two members of an International Program Committee. Among them, 12 have been accepted (which means an acceptance rate of 36%) for their quality as well as for their interesting terms of discussions for the symposium attendees. This special issue contains 7 revised and substantially extended papers from the 12 based on presentations at the symposium: ......     

宽输入反激式变换器电流尖峰的抑制方法

作为中小功率辅助电源的主要应用拓扑结构之一,反激式变换器的输入需满足宽范围和高电压的要求。但由于受变压器寄生参数的影响,反激式变换器存在一定的电流尖峰,在高输入电压情况下,该电流尖峰所导致的变换器损耗较大,影响整个装置的转换效率、功率密度和可靠性。因此,文章详细分析了反激式变换器电流尖峰产生的原因,从变压器绕组布局和绕组层间连接方式两方面提出了抑制开通电流尖峰的改进措施,并研制了输入电压范围为300 V～3 000 V、85 W反激式变换器样机。实验结果表明,通过改进其变压器绕组布局可以将变换器效率提高7%;通过改变变压器绕组层间连接方式可以将变换器效率提高2%。     

彩涂板出卷及包装时发生塌卷现象的探讨及预防措施

彩涂钢板生产过程中,偶尔的塌卷问题会给生产带来很大麻烦。该研究从理论上分析了彩涂板卷取时形成塌卷问题的主要原因是卷钢层间摩擦力偏小。同时,实验测定了不同种类彩板层间的最大静摩擦系数,并从微观角度对比分析了不同种类涂层发生塌卷问题的原因,最后提出了彩涂板生产中塌卷的预防措施。     

对Modula－2进行面向对象扩充

本文阐述了ＮＤＯＯＭ的设计和实现的主要思想．ＮＤＯＯＭ是一个Ｍｏｄｕｌａ－２的面向对象扩充，是Ｍｏｄｕｌａ－２的超集，其既充分支持面向对象程序设计，又保持了ＭＯｄｕｌａ－２的原有风格．     

一种基于格局的程序分析方法

本文提出了一种自动程序分析方法，其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成，从而可以通过提供一组标准的分析方法，实现对程序的自动分析与理解．     

脉冲等离子体作用下SF6气体间隙的极限导通特性

为了探究脉冲等离子体作用下SF6气体间隙的极限触发特性,搭建了SF6气体开关间隙平台,设计实验研究了不同间隙距离、气压、触发能量下毛细管放电等离子体触发SF6气体间隙的最低工作系数和导通时延.实验结果表明,SF6气体开关最低工作系数随气体开关间隙增大而提高,随工作气压增高而提高,随触发能量的增大而降低,毛细管脉冲等离子体喷射触发技术能在5％的工作系数以下可靠触发导通工作气压为0.1～0.3 MPa,间隙距离不超过50 mm的SF6气体开关间隙,并给出了不同气压、间距条件下最低工作系数的经验公式.     

鄂尔多斯盆地奥陶系马家沟组规模性有效烃源岩的发现及其地质意义

尽管对于鄂尔多斯盆地奥陶系马家沟组天然气的来源问题一直都存在着不同的认识,但所有观点均不认为马家沟组自身发育TOC0.5%的规模性烃源岩。通过分析该盆地中东部奥陶系近年来大量新钻井的岩心和岩屑样品,揭示了马家沟组不同岩石类型烃源岩的有机质丰度特征,首次发现并证实马家沟组存在有机质丰度高的规模性有效烃源岩。研究结果表明:1马家沟组有效烃源岩的岩性主要为暗色薄层—厚层状含云泥岩、云质泥岩和泥云岩,其富集分布明显受沉积相的控制,马家沟组沉积期间海退期较海侵期更有利于规模性有效烃源岩的发育,层位上主要集中分布在马五上段,其次为马五中—下段、马三段和马一段;2平面上有效烃源岩围绕米脂盐洼呈双环带状分布,次级洼陷有效烃源岩呈中厚—厚层状,累计厚度大、有机质丰度高;3有效烃源岩在米脂凹陷中心和次级隆起则呈薄层状,累计厚度小、有机质丰度低;4有效烃源岩的有机碳含量变化范围为0.30%~8.45%,其生烃母质为浮游藻类和疑源类,有机质类型为腐泥型或偏腐泥混合型。结论认为:该盆地奥陶系有效烃源岩普遍处于过成熟阶段,以产干气为主,生气量大,是马家沟组天然气的主要贡献者。