Chemical Composition Determination at the Bottom Region of a Recovery Boiler Furnace by Direct Minimization of Gibbs Free Energy

An optimization strategy has been applied to describe the chemical composition at the furnace bottom in the Kraft recovery boiler of a pulp production process. The concentrations of each involved chemical species were calculated through an optimization approach, minimizing the Gibbs free energy of the system. Various systems were proposed and tested, assuming different chemical species and phases number. Because serious initialization problems were found at this stage for some of the proposed systems, an optimization heuristic method (PSO) was used for the first approach to the problem. Once the appropriate phases number and chemical species in the system were determined, the initialization problems disappeared and the use of a deterministic optimization method (SQP) became viable. The proposed approach has shown to be satisfactory to reproduce industrial data and also data reported in the open scientific literature.     

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

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

英屿沟Ⅱ号天桥的设计

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

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）在相关域中是更好的。     

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

本文研究了车轮踏面的热裂和磨损机理,结果表明,车轮热裂主要与其含碳量和硬度有关;在使用合成闸瓦时,车轮踏面的磨损率与新形成的“白层”(马氏体)的断裂韧性有关。研制的抗热裂耐磨车轮(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.     

Research Partners,Teaching Partners: A Collaboration between FYC Faculty and Librarians to Study Students’ Research and Writing Habits

In Spring 2012, instruction librarians collaborated with first year composition (FYC) faculty to study students’ research habits as they related to writing. We collected process narratives from students in the introductory FYC course at the beginning and end of the fall semester, and a group of librarians and FYC faculty coded them together. Although we did not achieve one of our initial research goals, we still gained valuable insight into how our students perceive sources and the research process. We applied what we learned to create new instructional materials and developed a valuable relationship with FYC faculty.     

基于Hyperion数据的铜矿信息直接和间接提取方法研究

针对不同的地表覆盖条件,研究基于Hyperion星载高光谱数据的砂页岩型铜矿信息提取方法。首先对Hyperion L1级数据进行波段筛选、坏线修复、大气纠正和几何纠正等预处理,然后分别针对不同的植被覆盖情况使用不同的信息提取方法。在岩石裸露区,直接使用光谱角制图法;在植被覆盖区,使用铜金属离子的积累导致的植被生理异常作为间接标志来识别铜矿信息,生理异常使用高光谱植被指数来计算。结果表明,综合使用这两种方法的互补信息能够便于提取复杂地表覆盖情况下的铜矿信息。