Inventory routing with continuous moves

The typical inventory routing problem deals with the repeated distribution of a single product from a single facility with an unlimited supply to a set of customers that can all be reached with out-and-back trips. Unfortunately, this is not always the reality. We introduce the inventory routing problem with continuous moves to study two important real-life complexities: limited product availabilities at facilities and customers that cannot be served using out-and-back tours. We need to design delivery tours spanning several days, covering huge geographic areas, and involving product pickups at different facilities. We develop an innovative randomized greedy algorithm, which includes linear programming based postprocessing technology, and we demonstrate its effectiveness in an extensive computational study.     

Nash equilibrium bidding strategies in a bilateral electricitymarket

This paper examines bidding strategies in a bilateral market in which generating companies submit bids to loads. A load accepts electricity delivery from the generator with the lowest bid at its bid price as long as this price is not higher than the load's willingness to pay. Necessary and sufficient conditions of Nash equilibrium (NE) bidding strategy are derived based on a generic generating cost matrix and the loads' willingness to pay vector. The study shows that in any NE, efficient allocation is achieved. Furthermore, all Nash equilibria are revenue equivalent for the generators. Based on the necessary and sufficient conditions, this problem is formulated as an optimal assignment problem. Network optimization techniques are applied to calculate NE bid prices for the generators     

TEM study of PLZT ceramics

The microscopic structures of PLZT(7.9/70/30 and x/65/35, x = 7 or 8) ceramics were studied by means of transmission electron microscopy. The presence of micro-regions in PLZTs was first verfied.     

乳化炸药混装车水孔爆破的优越性

该文分析了应用袋装炸药装填水孔爆破产生拒爆、"冲天炮"、根底偏高和爆破效果差等问题,然而应用乳化炸药混装车装填水孔可以解决这些问题,并且爆破后具有根底平整、大块率低、毒气少和综合效益高等优点.以三峡永久船闸旁侧泄水箱涵工程和江苏田湾核电站工程为例进行了分析.     

PP-g-MAH对PA6/PP/TLCP三元共混物的增容改性作用

研究了PP-g-MAH对PA6／PP／TLCP三元共混体系的增容作用以及对共混物流变性能和力学性能的影响。通过共混物的DSC、SEM、POM、流变性能和力学性能测试，结果表明，PP－g-MAH对共混体系有明显的增容作用，共混物的力学性能（拉伸强度和冲击强度）得到提高；由于TLCP的加入，共混物的熔体粘度大大低于PA6的熔体粘度。     

对热量表流量传感器若干技术问题之初探

本文根据笔者对热量表流量传感器的研究体会,详尽分析了小口径机械式热水表作为热量表流量传感器时存在的主要问题,如量程问题,冷热水流量系数差异问题,降低始动流量和提高小流量情况下精度问题,磁传方式存在的磁干扰问题,失步问题,以及对我国供暖系统水质的适应性问题.文章根据研究和分析结果对上述问题提出一些初步解决方案与业内同行研讨,以期提高我国热量表的研制水平.     

纳米ZnO薄膜制备及液态源掺杂

用真空蒸发法在玻璃和单晶硅片 (10 0 )上制备Zn薄膜 ,然后对Zn薄膜进行氧化、热处理获得纳米ZnO薄膜。对在硅片上制备的Zn薄膜一次性进行高温掺杂、氧化获得纳米ZnO∶P和ZnO∶B薄膜。研究不同氧化、掺杂温度和时间对薄膜结构、电学性能的影响。结果表明 :氧化温度和时间对ZnO薄膜结构影响较大 ,液态源掺P可明显改善纳米ZnO薄膜的导电性能、结构特性和化学组分     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Droplet de-entrainment by inertial impaction on vertical rods in an air-droplet mixture flow

We experimentally investigate the de-entrainment of droplets by inertial impaction on an array of vertical rods in an air-droplet mixture flow. The de-entrainment efficiencies are measured for a single rod, for a single row of rods, and for a multi-row of rods. We investigate the effects of the droplet mass flux (0.5–5.4 kg/m² s), the droplet Weber number (3000–8000), the air velocity (0–6 m/s), the rod geometry, and the surface roughness on the de-entrainment, and the rod diameter-to-pitch ratio effect on the de-entrainment. The results for a single rod show that the de-entrainment efficiency decreases slightly as the droplet mass flux increases; however, in our experimental ranges, there is negligible dependence on the droplet Weber number, the air velocity, and the surface roughness. The rod geometry affects the de-entrainment efficiency. The results for a single row of rods show that the existence of neighboring rods promotes de-entrainment due to droplet splashing, and we develop a correlation to show the effect of diameter-to-pitch ratio on the de-entrainment. Using information on the de-entrainment efficiencies of a single rod and those of a single row of rods, we propose a correlation that predicts the de-entrainment efficiency for a multi-row of rods with a staggered array. The RMS errors of the correlation from the de-entrainment efficiencies experimentally obtained are within 13.5%.