Analyzing execution traces: critical-path analysis and distance analysis

International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a...     

10万吨聚丙烯装置仿真应用与环管反应器的模拟

聚丙烯是当今世界5大通用树脂之一,因其优秀的热塑性能使之在工业生产中的应用逐年增加。因此,生产装置和设计公司对各牌号聚丙烯在生产加工中的指标控制也日趋严格,对其工艺的优化也在不断地探讨和实践。本文以中国石油庆阳石化公司10万吨/年聚丙烯装置为基础,结合Honeywell公司的UniSim Design为基础建模平台建立操作工仿真培训系统(OperatorTraining System)。对Basell公司的Spheripol工艺进行全流程模拟与分析,确定与验证合理的操作参数与控制条件。并且还针对Spheripol的环管反应器进行专门的模拟与讨论,应用Honeywell机理优化差值矩阵模块,并进行适当的改进,通过快速迭代和实时收敛大大减轻了各个硬件节点的计算负荷,运用软硬件相结合的双层法在内层建立稳定的机理模型,在外层建立优化的控制模型。同时在计算结果的基础上分析了反应物与产物在环管反应器中的动态特性,以及主要操作条件的变化对浆液密度、反应温度等重要指标的影响,指出了环管反应器在70℃～80℃范围会出现控制临界点,建立了符合其性能的操作指标和优化目标。为实际反应器的生产操作提供了理论依据,并且对今后探讨DCS与...     

使用Visual C++实现多媒体电子出版物中的矢量电子地图

该文介绍在基于光盘的多媒体电子出版物中实现矢量电子地图的关键技术。使用VisualC＋＋和面向对象的方法实现了一个矢量电子地图引擎。     

Thermal comfort and sensation in men wearing a cooling system controlled by skin temperature

OBJECTIVE: The study was done to determine whether thermal comfort (TC), thermal sensation (TS), and subjective factors gauging environmental stress were negatively affected with different cooling methods in men exercising in chemical protective clothing. BACKGROUND: Previous studies have reported that intermittent regional cooling improved the efficacy of cooling as compared with constant cooling (CC), but no studies have addressed whether there is any improvement in thermal comfort. METHODS: Eight male volunteers exercised at moderate work intensity (425 W) in three microclimate cooling tests. The circulating fluid in the cooling garment was provided during exercise to the head (6% body surface area [BSA]), torso (22% BSA), and thighs (44% BSA) and manipulated under three methods: (a) CC, (b) pulsed cooling (PC), and (c) PC activated by mean skin temperature (T(sk)) control (PC(skin)). TC and TS ratings were recorded every 20 min during the 80-min test. RESULTS: TC and TS ratings were not different for PC(skin) and CC; thus the participants perceived PC(skin) as being similar to CC. TS was significantly warmer with PC than with PC(skin) and CC (p < .001). In PC(skin), T(sk) was significantly higher than in PC and CC (p < .001), and PC(skin) was rated as being not as warm as PC according to TS. CONCLUSION: This indicates that the PC(skin) method was perceived as being as cool as CC and cooler than PC. APPLICATION: These findings indicate that the PC(skin) cooling method is an acceptable alternative to CC and PC based on human perceptions.     

A new crossover operator in genetic programming for object classification.

The crossover operator has been considered "the centre of the storm" in genetic programming (GP). However, many existing GP approaches to object recognition suggest that the standard GP crossover is not sufficiently powerful in producing good child programs due to the totally random choice of the crossover points. To deal with this problem, this paper introduces an approach with a new crossover operator in GP for object recognition, particularly object classification. In this approach, a local hill-climbing search is used in constructing good building blocks, a weight called looseness is introduced to identify the good building blocks in individual programs, and the looseness values are used as heuristics in choosing appropriate crossover points to preserve good building blocks. This approach is examined and compared with the standard crossover operator and the headless chicken crossover (HCC) method on a sequence of object classification problems. The results suggest that this approach outperforms the HCC, the standard crossover, and the standard crossover operator with hill climbing on all of these problems in terms of the classification accuracy. Although this approach spends a bit longer time than the standard crossover operator, it significantly improves the system efficiency over the HCC method.     

Intermittent microclimate cooling during exercise-heat stress in US army chemical protective clothing

The effectiveness of intermittent, microclimate cooling for men who worked in US Army chemical protective clothing (modified mission-oriented protective posture level 3; MOPP 3) was examined. The hypothesis was that intermittent cooling on a 2 min on-off schedule using a liquid cooling garment (LCG) covering 72% of the body surface area would reduce heat strain comparably to constant cooling. Four male subjects completed three experiments at 30 degrees C, 30% relative humidity wearing the LCG under the MOPP 3 during 80 min of treadmill walking at 224 +/- 5 W . m(-2). Water temperature to the LCG was held constant at 21 degrees C. The experiments were; 1) constant cooling (CC); 2) intermittent cooling at 2-min intervals (IC); 3) no cooling (NC). Core temperature increased (1.6 +/- 0.2 degrees C) in NC, which was greater than IC (0.5 +/- 0.2 degrees C) and CC (0.5 +/- 0.3 degrees C) ( p < 0.05). Mean skin temperature was higher during NC (36.1 +/- 0.4 degrees C) than IC (33.7 +/- 0.6 degrees C) and CC (32.6 +/- 0.6 degrees C) and mean skin temperature was higher during IC than CC ( p < 0.05). Mean heart rate during NC (139 +/- 9 b . min(-1)) was greater than IC (110 +/- 10 b . min(-1)) and CC (107 +/- 9 b . min(-1)) ( p < 0.05). Cooling by conduction (K) during NC (94 +/- 4 W . m(-2)) was lower than IC (142 +/- 7 W . m(-2)) and CC (146 +/- 4 W . m(-2)) ( p < 0.05). These findings suggest that IC provided a favourable skin to LCG gradient for heat dissipation by conduction and reduced heat strain comparable to CC during exercise-heat stress in chemical protective clothing.     

杀虫剂现状及发展前景

本文了杀虫剂的四个时代及其现状。在分析评价其发展历史及历史发展需要的基础地新一代杀虫剂发展的途径及展望。     

An Efficient Algorithm for Haplotype Inference on?Pedigrees with a Small Number of Recombinants

Combinatorial (or rule-based) methods for inferring haplotypes from genotypes on a pedigree have been studied extensively in the recent literature. These methods generally try to reconstruct the haplotypes of each individual so that the total number of recombinants is minimized in the pedigree. The problem is NP-hard, although it is known that the number of recombinants in a practical dataset is usually very small. In this paper, we consider the question of how to efficiently infer haplotypes on a large pedigree when the number of recombinants is bounded by a small constant, i.e. the so called k-recombinant haplotype configuration (k-RHC) problem. We introduce a simple probabilistic model for k-RHC where the prior haplotype probability of a founder and the haplotype transmission probability from a parent to a child are all assumed to follow the uniform distribution and k random recombination events are assumed to have taken place uniformly and independently in the pedigree. We present an O(mnlog? ^k+1 n) time algorithm for k-RHC on tree pedigrees without mating loops, where m is the number of loci and n is the size of the input pedigree, and prove that when 90log?n<m<n ³, the algorithm can correctly find a feasible haplotype configuration that obeys the Mendelian law of inheritance and requires no more than k recombinants with probability $1 -O(k^{2}\frac{\log^{2}n}{mn}+\frac{1}{n^{2}})$ . The algorithm is efficient when k is of a moderate value and could thus be used to infer haplotypes from genotypes on large tree pedigrees efficiently in practice. We have implemented the algorithm as a C++ program named Tree-k-RHC. The implementation incorporates several ideas for dealing with missing data and data with a large number of recombinants effectively. Our experimental results on both simulated and real datasets show that Tree-k-RHC can reconstruct haplotypes with a high accuracy and is much faster than the best combinatorial method in the literature.     

合成羟基乙叉二膦酸反应机理分析

详细分析了合成羟基乙叉二膦酸的反应机理，并讨论了影响ＨＥＤＰＡ产率的主要因素，对生产实际具有一定指导作用     

Effects of Ti addition on low carbon hot strips produced by CSP process

Large quantity of fine Ti（C,N） particles, 15-30 nm in size, were observed in low carbon hot strips added to a small amount of Ti and produced by CSP process. The results showed that the precipitation of Ti（C,N） mostly took place during soaking and hot rolling, which is significantly different from that in the conventional production. These fine Ti carbonitride particles could be very effective on the austenite grain refinement by hindering grain growth of recrystallized austenite. Their precipitation behavior was discussed and compared with that of the steels produced in the conventional production.