基于本体的可信软件演化框架模型*

为系统化地考虑开放环境对软件可信性的影响和驱动作用,提出了一种基于本体空间并支持动态演化的框架模型。该模型采用本体空间的方法解决用户、系统和环境三者之间交互的语义问题,在此基础上,通过预定义的规则对软件行为的可信性和自主调整的必要性进行评估,依据评估结果从微观层次的规约制导和宏观层次的人机协同在软件生命周期内对其调整、配置与修正。应用实例及测试结果验证了该框架模型的有效性与可行性。     

Characterization of NOM and THM formation potential in eutrophic reservoir water

Resin adsorption technique with XAD-8 and XAD-4 was used to characterize the raw water from Erlong reservoir in Jilin province of China. The NOM chemical composition sequences of four organic fractions in the raw water,from high to low,are fulvic acid (FA) fraction,hydrophilic non-acid (HPINA) fraction,hydrophilic acid (HPIA) fraction,and humic acid (HA) fraction. Experimental results show that FA is the main precursor of THMFP among the four organic fractions. However,HA or hydrophobic acid exhibits the highest chlorination activity in forming THMs. It is also found that the value of FI/DOC or SUVA and the specific THMFP have better positive correlation. It is implied that certain source water has unique nature of NOM and DBPs.     

英屿沟Ⅱ号天桥的设计

为推广预应力混凝土箱梁结构在桥梁方面的应用研究,结合英屿沟Ⅱ号天桥实例,介绍了该组合结构在桥梁方面具体应用的设计思路,介绍了英屿沟Ⅱ号天桥波形钢腹板PC组合箱梁桥主梁结构、预应力体系、波形钢腹板、连接件、防腐、施工流程等的设计,为波形钢腹板PC组合箱梁结构应用于桥梁工程提供了设计经验.     

Semiconductor Passivation and Insulation Properties for Hydroxyl- and Fluoride-Free ZnO-SiO2-B2O3-Al2O3 Glasses Stabilized by Increased P2O5

F⁻- and OH⁻-free ZnO-B₂O₃-SiO₂-Al₂O₃-P₂O₅ glasses used for semiconductor-device passivation or insulation are investigated with regard to compositional dependencies for thermal expansion, viscosity points, and metal oxide semiconductor (MOS) capacitor properties. The experimental data show that thermal expansion increases, and flow points decrease, when P₂O₅ is substituted for B₂O₃. MOS capacitors passivated by OH⁻- and F⁻-free ZnO-based glasses exhibit normal capacitance-voltage curves.     

OpenCOPI: middleware integration for Ubiquitous Computing

In this paper, we present OpenCOPI (Open COntext Platform Integration), a Service-Oriented Architecture-based middleware platform that supports the integration of services provided by distinct sources, ranging from services offered by simple systems to more complex services provided by context-provision middleware. OpenCOPI offers selection and composition mechanisms to, respectively, select and compose services provided by different sources, considering applications of both Quality of Service and Quality of Context requirements. It also offers an adaptation mechanism that enables to adapt the application execution due to service failures, service quality fluctuation and user mobility. OpenCOPI allows the definition of applications in a higher abstraction level by the specification of a semantic workflow that contains abstract activities. This paper illustrates the use of OpenCOPI in an application from the Gas & Oil Industry and it also shows the evaluation of the main mechanisms of OpenCOPI: the service selection, composition, adaptation and workflow execution.     

面向制造任务的云制造虚拟车间构造方法

针对云制造模式下快速选择和组织相关制造资源、保证制造任务执行的问题,提出一种面向制造任务的云制造虚拟车间构造方法。该方法将制造过程抽象为制造任务执行链,链中的节点对应制造设备云服务或检验云服务,链中的有向边对应物流云服务;并通过行业域、地域和类型域来组织管理云服务,以构造规模较小的候选云服务集,同时减少功能匹配、性能匹配、价格匹配和时间匹配的计算量,达到快速构建云制造虚拟车间的目的。算例分析表明,相比其他方法,该方法能够在更短的时间内完成云服务的选择,并保证所选云服务的服务质量（QoS）在相关域中是更好的。     

上扬子地区下寒武统牛蹄塘组富有机质页岩岩相及沉积环境分析

贵州温水村剖面发育有一套完整的下寒武统牛蹄塘组富有机质黑色页岩,为厘清下寒武统牛蹄塘组页岩岩相类型,明确不同岩相形成环境特征,通过采集25块该剖面页岩样品,进行岩石薄片观察、X射线衍射（全岩）分析、总有机碳含量（TOC）测定及主微量和稀土元素分析,划分出温水村剖面下寒武统页岩的岩相类型,并明确了该层位页岩的沉积环境和有机质富集特征,建立了沉积模式。根据TOC值、沉积构造和矿物组成,同时考虑岩石脆性特征,共划分出9类页岩岩相：①富有机质块状强脆性硅质细粒岩;②富有机质纹层状强脆性硅质页岩;③高有机质块状强脆性硅质细粒岩;④高有机质纹层状强脆性硅质页岩;⑤高有机质块状中等脆性硅/黏土混合质细粒岩;⑥中有机质块状强脆性硅质细粒岩;⑦中有机质纹层状强脆性硅质页岩;⑧低有机质块状强脆性硅质细粒岩;⑨低有机质纹层状中脆性硅/黏土混合质页岩。其中,前5类页岩相形成于深水缺氧、暖湿型气候和以低温热水沉积作用为主的环境,初级生产力和古盐度较高,有机质富集受控于古氧化还原条件、古生产力、古盐度、古水深、暖湿型气候和热液活动,而其他岩相有机质富集则不受热液活动影响,沉积环境初级生产力和古盐度有所下降;建立了一个受氧化还原条件、古生产力、古盐度、热液活动及暖湿型气候影响的深水陆棚相沉积模式。     

A novel electroless silver depositing method for magnesium alloys

Depositing silver on magnesium alloy by both electroless plating and organic coatings was studied. The organic coating was made by immersing samples in organosilicon heat-resisting varnish. In this method the organic coating acts as interlayer between the substrate and silver film. When the reaction starts, silver deposits directly on the interlayer. X-ray diffraction and SEM analysis were used to determine the composition and morphology of the interlayer and silver film. The potentiodynamic polarization curves for corrosion studies of coated magnesium alloys were performed in a corrosive environment of 3.5% NaCl（mass fraction） at neutral pH （6.9）. The results indicate that compared with the substrate, the corrosion resistance of coated magnesium alloys increases greatly. Moreover, the method proposed in this work is environmentally friendly, non-toxic chemicals were used. In addition, it provides a new concept for the corrosion inhibition of magnesium alloys.     

车轮的热烈和磨损机理与抗热裂耐磨车轮的研制

本文研究了车轮踏面的热裂和磨损机理,结果表明,车轮热裂主要与其含碳量和硬度有关;在使用合成闸瓦时,车轮踏面的磨损率与新形成的“白层”(马氏体)的断裂韧性有关。研制的抗热裂耐磨车轮(55SiMn)取得了明显的运用效果。     

Debugging mixed‐environment programs with Blink

Programmers build large‐scale systems with multiple languages to leverage legacy code and languages best suited to their problems. For instance, the same program may use Java for ease of programming and C to interface with the operating system. These programs pose significant debugging challenges, because programmers need to understand and control code across languages, which often execute in different environments. Unfortunately, traditional multilingual debuggers require a single execution environment. This paper presents a novel composition approach to building portable mixed‐environment debuggers, in which an intermediate agent interposes on language transitions, controlling and reusing single‐environment debuggers. We implement debugger composition in Blink, a debugger for Java, C, and the Jeannie programming language. We show that Blink is (i) simple: it requires modest amounts of new code; (ii) portable: it supports multiple Java virtual machines, C compilers, operating systems, and component debuggers; and (iii) powerful: composition eases debugging, while supporting new mixed‐language expression evaluation and Java native interface bug diagnostics. To demonstrate the generality of interposition, we build prototypes and demonstrate debugger language transitions with C for five of six other languages (Caml, Common Lisp, C#, Perl 5, Python, and Ruby) without modifications to their debuggers. Using real‐world case studies, we show that diagnosing language interface errors require prior single‐environment debuggers to restart execution multiple times, whereas Blink directly diagnoses them with one execution. Copyright © 2014 John Wiley & Sons, Ltd.