Decomposition of timed automata for solving scheduling problems

A decomposition algorithm for scheduling problems based on timed automata (TA) model is proposed. The problem is represented as an optimal state transition problem for TA. The model comprises of the parallel composition of submodels such as jobs and resources. The procedure of the proposed methodology can be divided into two steps. The first step is to decompose the TA model into several submodels by using decomposable condition. The second step is to combine individual solution of subproblems for the decomposed submodels by the penalty function method. A feasible solution for the entire model is derived through the iterated computation of solving the subproblem for each submodel. The proposed methodology is applied to solve flowshop and jobshop scheduling problems. Computational experiments demonstrate the effectiveness of the proposed algorithm compared with a conventional TA scheduling algorithm without decomposition.     

Formal verification of collaboration patterns in healthcare

We propose a computer-based framework for the formal verification of collaboration patterns in healthcare teams. In this, the patterns are constructed diagrammatically as compositions of keystones that are viewed as abstract processes. The approach provides mechanisms for ensuring that safety properties are enforced and exceptional events are handled systematically. Additionally, a fully verified, executable model is obtained as an end product, enabling a simulation of its associated collaboration scenarios.     

2016年长江第1号洪水预报及调度影响分析

通过分析2016长江第1号洪水的水雨情发展、洪水组成、水情预报、调度还原计算成果等,解析了该场洪水的暴雨洪水特性、预报对调度的支撑作用以及三峡水库调度对城陵矶河段水位的影响。分析表明：金沙江、乌江来水对第1号洪水起筑底作用,三峡区间洪水则为该场洪水造峰,三者最大1d洪量占三峡入库来水比率分别达26.1%,15.6%,38.1%;第1号洪水期间,水情预报为调度决策提供了长预见期、较高精度的前提支撑,78,54,30,6 h预见期的三峡入库洪峰预报误差分别仅为-20.0%,-10.0%,-4.0%,0;三峡水库在第1号洪水期间通过防洪调度将入库洪峰流量削峰38%,最大拦蓄洪量约29亿m3,削减莲花塘站洪峰水位0.39 m左右,避免了城陵矶河段出现超保证水位。     

Variation in relative quantities of airborne sex pheromone components from individual femaleEphestia cautella (Lepidoptera: Pyralidae)

The airborne sex pheromone components (Z,E)-9,12-tetradeca-dien-1-yl acetate and (Z)-9-tetradecen-1-y1 acetate from single calling females ofEphestia cautella (Walker) were trapped within glass capillary tubes and were measured by gas chromatography-mass spectrometry. Broad and similar distributions of relative quantities were found for a laboratory strain and three Australian field strains, and means differed strongly from those reported previously for this species. The overall mean proportion of the two components found for Australian females was 8812. The composition in individuals ranged from 6327 to 973. The proportions for individuals appeared to vary slightly in a random fashion from day to day, and proportions for first-generation progeny were influenced by the maternal blend.Author order in this paper is alphabetical     

透明香皂的研制

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

ZnO-B2O3-P2O5系封接玻璃的研究

采用熔融法制备了ZnO-B2O3-PO5 系无铅磷酸盐封接玻璃，研究了组成对玻璃结构、特征温度、热膨胀和化学稳定性的影响。结果表明：B2O3和P2O5为玻璃网络形成体，ZnO含量较低时可以参与到玻璃网络结构中，提高玻璃的稳定性；玻璃转变点Tg、熔制温度Tm、封接温度Ts、软化点Td都随P2O5／B2O3减小而增加；B2O3／ZnO是影响玻璃熔制温度的主要因素；ZnO含量对玻璃密度和热膨胀系数影响较大。ZnO-B2O3-PO5 系玻璃在中性环境下的化学稳定性较好。。     

空气气氛中烧成Si3N4-SiC复合材料的性能、相组成和显微结构

以氮化硅细粉(粒度＜0.088 mm,w(β-Si3N4)＞95%)、碳化硅(w(SiC)＞98%,粒度分别为2.8～0.9mm、0.9～0.15 mm、＜0.115 mm和＜0.063 mm四级)、硅粉(粒度＜0.045 mm,w(Si)＞98%)和硅灰(w(SiO2)=98.3%)为原料,以木质素磺酸钙水溶液作成型结合剂,采用150 MPa的压力成型为65 mm×114 mm×230mm的Si3N4-SiC、Si3N4-SiC-Si和Si3N4-SiC-SiO2三种试样.在空气气氛中,以50℃·h-1的升温速度升至800℃保温4 h,再升至1450℃保温2 h,自然冷却至室温后,测定烧成后试样的常温耐压强度、常温抗折强度、1400℃下的高温抗折强度、显气孔率、体积密度和残氮率,并采用XRD、SEM和EPMA等手段分析烧后试样的相组成和显微结构.结果表明3种试样在空气气氛中烧成后的高温(1400℃)和常温抗折强度都比较高,显气孔率都比较低,而耐压强度则以Si3N4-SiC试样的最高;烧成后试样中心区域的残氮率以Si3N4-SiC-Si试样的最高,Si3N4-SiC-SiO2试样的次之,Si3N4-SiC试样的最小;在空气气氛中烧成后,Si3N4-SiC试样中的Si3N4分解较多,SiC-Si3 N4-Si试样的表面和内部都明显含有单质Si,SiC-Si3N4-SiO2试样表面区域的Si2N2O晶体发育很好,而内部区域的晶体发育较小.     

经营与构成——中国画的平面构成之美

无论设计还是绘画,都离不开对形式美的研究。平面构成的基本原理、形式、内涵,成为设计与绘画两者之间最深入和广泛结合、运用的研究平台。将平面构成这一艺术设计领域里的重要内容与中国画进行多层面多角度的通融体悟和实践,成为新时期中国画多元化发展的重要途径和手段。     

Synthesis of Compositionally Homogeneous Sr(CuxZn1−x)1/2W1/2O3

A complex perovskite of Sr(Cu _x Zn_{1- x} )_1/2 W_1/2O₃ (SCZW) is synthesized by a new combination of wet and dry processess. Mixed oxides containing Cu²⁺ and Zn²⁺ (CZ) are prepared by the wet process (coprecipitate method). SCZW is obtained by the dry process (mixed-oxide method) from a mixture of CZ, SrCO₃, and WO₃. SCZW has practically no compositional, unlike solid solutions prepared by the conventional dry method. The wet–dry process method is useful because the wet process is applied to only B-site cations having the same valence.     

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.