K_2O－CaO－Al_2O_3－SiO_2系统自释釉瓷化学组成的研究

本文从酸度系数着手，证实了Ｋ２Ｏ－ＣａＯ－Ａｌ４Ｏ久－ＳｉＯ２系统中存在自释釉组成，限定了其组成范围，０．６７％＜Ｋ２Ｏ＜１．２８％，１０．６４％＜ＣａＯ＜１３．６２％，１１．５３％＜Ａｌ４Ｏ３＜１５．３２％，７２．７３％＜ＳｉＯ２＜７４．０４％，并讨论了自释釉瓷的性能。     

Configurational statistics of copolymers prepared by complex-radical polymerization

Radical copolymerization is considered theoretically taking into account the effect of complexing on the configurational statistics of macromolecules formed. Akinetic model has been developed that considers, apart from the ordinary addition of single monomer units to a propagating chain, the possible addition of monomer unit pairs along with a complexing agent in the form of a ternary complex. Within the framework of this model, the problem of calculating the probabilities of formation of any sequences of monomer units (taking into account their microtacticity) in a macromolecule has been rigorously solved as well as the problem of finding the composition distribution of the copolymer formed. It has been shown that this distribution is described by a conventional Gauss law and the appropriate parameters are given. Possible generalizations of the suggested approach are indicated.     

透明香皂的研制

介绍了生产透明香皂的新配方和新工艺 ,提出了透明香皂的企业标准。新工艺用丙二醇取代传统工艺所用的乙醇做溶剂 ,生产周期大为缩短。采用速冻隧道设备 ,可方便地实现不同品种的切换 ,操作方便 ,设备投资少 ,产品综合成本低 ,具有较大的工业应用价值     

A reactive extension of the OpenMusic visual programming language

Objectives: OpenMusic (OM) is a domain-specific visual programming language designed for computer-aided music composition. This language based on Common Lisp allows composers to develop functional processes generating or transforming musical data, and to execute them locally by demand-driven evaluations. As most historical computer-aided composition environments, OM relies on a transformational declarative paradigm, which is hard to conciliate with reactive data-flow (an evaluation scheme more adequate to the development of interactive systems). We propose to link these two evaluation paradigms in the same and consistent visual programming framework.Methods: We establish a denotational semantics of the visual language, which gives account for its demand-driven evaluation mechanism and the incremental construction of programs. We then extend this semantics to enable reactive computations in the functional graphs.Results: The resulting language merges data-driven executions with the existing demand-driven mechanism. A conservative implementation is proposed.Conclusions: We show that the incremental construction of programs and their data-driven and demand-driven evaluations can be smoothly integrated in the visual programming workflow. This integration allows for the propagation of changes in the programs, and the evaluation of graphically designed functional expressions as a response to external events, a first step in bridging the gap between computer-assisted composition environments and real-time musical systems.     

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组合箱梁结构应用于桥梁工程提供了设计经验.     

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

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