八碳烯分离工艺的研究

从能量综合集成的角度提出了八碳烯精馏分离工艺 ,对所提流程进行了优化模拟计算及分析 ,为八碳烯分离工艺的施工设计提供了充分的依据。投产情况表明 ,该研究改变了八碳烯的生产现状 ,使得八碳烯生产的经济效益显著提高     

A multiobjective hybrid ant colony optimization approach applied to the assignment and scheduling problem

The assignment and scheduling problem is inherently multiobjective. It generally involves multiple conflicting objectives and large and highly complex search spaces. The problem allows the determination of an efficient allocation of a set of limited and shared resources to perform tasks, and an efficient arrangement scheme of a set of tasks over time, while fulfilling spatiotemporal constraints. The main objective is to minimize the project makespan as well as the total cost. Finding a good approximation set is the result of trade‐offs between diversity of solutions and convergence toward the Pareto‐optimal front. It is difficult to achieve such a balance with NP‐hard problems. In this respect, and in order to efficiently explore the search space, a hybrid bidirectional ant‐based approach is proposed in this paper, which is an improvement of a bi‐colony ant‐based approach. Its main characteristic is that it combines a solution construction developed for a more complicated problem with a Pareto‐guided local search engine.     

智慧·创新·分享——大师贴膜品牌升级行业发布会举办

十年发展,十年沉淀,十年新起点!2013年12月9日,由上海追得贸易发展有限公司主办的"智慧·创新·分享"暨"大师贴膜品牌升级行业发布会"于上海兴荣温德姆五星级酒店隆重召开。时值企业成立十周年,大师贴膜品牌迎来了又一次里程碑式的跨越,追得企业也将迎来更加创新的发展模式。     

Exploration of mesoporous structure of tunisian raw and acid-leached phosphate ore particles

Rock phosphate fractions were examined for their porous structure by nitrogen adsorption. The pore size distribution and the shape of pores does not seem to depend on the particle size. The specific surface area values present two regions, one above and one below that of the particles with 125 μrn diameter. Particles of a given size were leached with dilute phosphoric acid (1.5 mass% P₂O₅) at 25°C. It was observed that there is a widening of the initial pores during leaching. The particles collected at the initial period of the reaction are pitted and those collected at the final period are disintegrated.     

重视产品本质,垂直整合通路——Sundef山迪打造源自美国的高性价比高端隔热膜品牌

正眼下,信息的日益透明化、渠道的日渐扁平化、消费的日趋理性化都给国内窗膜市场提出了新的要求,中美合资羿阳(Unisun)科技趁机而入,带来Sundef山迪品牌,给行业、给消费者带来了源自美国的高性价比高端产品选择。新时代下的消费新需求中国的太阳膜市场拥有近20年的发展历史,期间经历了多次变革。眼下,隔热膜已成为汽车     

三个半世纪的长盛传奇 圣戈班迎来350周年

正357面玻璃见证圣戈班的诞生巴黎凡尔赛宫,巴黎著名的宫殿之一,同时也是世界五大宫之一(北京故宫、法国凡尔赛宫、英国白金汉宫、美国白宫、俄罗斯克里姆林宫)。法国国王路易十四和路易十六最喜爱的住所,这里历经几代建筑师,雕塑家,装饰艺术家和风景画家的耕耘,成为一个世纪以来欧洲皇家住所的典范。1979年,凡尔赛宫和花园作为法国17世纪艺术的杰作被联合国教科文组织收入世界人文遗产名录。凡尔赛宫宏伟、壮观,它的内部陈设和装潢富于艺术魅力,名胜景观     

基于隶属函数的骆岗机场新型大雾预报方法

准确预报大雾对机场减少航班大面积延误和旅客滞留有重要意义。本文阐述一种适用于机场的大雾短时预报方法。通过选取骆岗机场历史地面逐时观测气象资料,依据气温趋势不同类型,运用模糊隶属度与发生条件概率模型,分别建立短时大雾的预报方法。利用VC++程序开发了骆岗机场大雾短时预报软件,可扩展硬件构建实时预警系统。使用2011年地面资料检验结果显示:对未来3小时大雾预报准确率为91.3%,TS评分为0.84。因此,本文提出的大雾短时预报方法在骆岗机场附近3小时大雾预报中是有效的。     

Compositional reasoning using intervals and time reversal

Interval Temporal Logic (ITL) is an established formalism for reasoning about time periods. We investigate some simple kinds of ITL formulas which have application to compositional reasoning and furthermore are closed under conjunction and the conventional temporal operator known both as “box” and “always”. Such closures help us modularly construct formulas from simple building blocks in a way which preserves useful compositional properties. The most important class considered here is called the 2-to-1 formulas. They offer an attractive framework for analysing sequential composition in ITL and provide the formal basis for most of the subsequent presentation. A key contribution of this work concerns a useful and apparently new and quite elementary mathematical theorem that 2-to-1 formulas are closed under “box”. We also use a natural form of time symmetry with 2-to-1 formulas. This extends known facts about such formulas by looking at them in reverse. An important example involves showing that 2-to-1 formulas are also closed under a variant of “box” for prefix subintervals rather than suffix ones. We then apply the compositional formulas obtained with time symmetry to analyse concurrent behaviour involving mutual exclusion in both Peterson’s algorithm and a new and more abstract one. At present, our study of mutual exclusion mainly serves as a kind of experimental “proof of concept” and research tool to develop and illustrate some of the logical framework’s promising features. We also discuss how time symmetry sometimes assists in reducing reasoning in ITL to conventional linear-time temporal logic.     

Contribution of the C-terminal amino acid to the stability of Bacillus subtilis neutral protease

The role of the C-terminal Leu300 in maintaining thermal stabilityof the neutral protease of Bacillus subtilis was investigated.From model building studies based on the three dimensional structureof thermolysin, the neutral protease of B.thermoproteolyticus,it was conduded that this residue is located in a hydrophobicpocket composed of residues located in the C-terminal and themiddle domain. To test the hypothesis that Leu300, by contributingto a stabilizing interaction between these domains, is importantfor enzyme stability, several neutral protease mutants wereconstructed and characterized. The thermostability of the enzymewas lowered by deleting Leu300 or by replacing this residueby a smaller (Ala), a polar (Asn) or a sterically unfavourable(He) amino acid. Thermostabiity was increased upon replacingLeu300 by Phe. These results are in agreement with model-buildingstudies. The effects on thermostability observed after mutatingthe corresponding Val318 in the thermostable neutral proteaseof B.stearothermophilus were less pronounced.