Optimal infinite scheduling for multi-priced timed automata

This paper is concerned with the derivation of infinite schedules for timed automata that are in some sense optimal. To cover a wide class of optimality criteria we start out by introducing an extension of the (priced) timed automata model that includes both costs and rewards as separate modelling features. A precise definition is then given of what constitutes optimal infinite behaviours for this class of models. We subsequently show that the derivation of optimal non-terminating schedules for such double-priced timed automata is computable. This is done by a reduction of the problem to the determination of optimal mean-cycles in finite graphs with weighted edges. This reduction is obtained by introducing the so-called corner-point abstraction, a powerful abstraction technique of which we show that it preserves optimal schedules. This work has been mostly done while visiting CISS at Aalborg University in Denmark and has been supported by CISS and by ACI Cortos, a program of the French Ministry of Research.     

A new graph cut-based multiple active contour algorithm without initial contours and seed points

This paper presents a new graph cut-based multiple active contour algorithm to detect optimal boundaries and regions in images without initial contours and seed points. The task of multiple active contours is framed as a partitioning problem by assuming that image data are generated from a finite mixture model with unknown number of components. Then, the partitioning problem is solved within a divisive graph cut framework where multi-way minimum cuts for multiple contours are efficiently computed in a top-down way through a swap move of binary labels. A split move is integrated into the swap move within that framework to estimate the model parameters associated with regions without the use of initial contours and seed points. The number of regions is also estimated as a part of the algorithm. Experimental results of boundary and region detection of natural images are presented and analyzed with precision and recall measures to demonstrate the effectiveness of the proposed algorithm.     

Collapse-free thermal bonding technique for large area microchambers in plastic lab-on-a-chip applications

Bonding is an essential step to form microchannels or microchambers in lab-on-a-chip applications. In this paper, we present a novel plastic thermal bonding technique to seal and form large area microchambers (planar characteristic width and length on the order of 1 mm and characteristic thickness on the order of 10–100 μm) without collapse by introducing a holed pressure equalizing plate (HPEP) that includes holes of the same size and shape as the microchambers. To demonstrate the proposed technique, two types of large area microchambers [(1) 20 × 10 mm and 40 μm thick and (2) 12 × 2.5 mm and 120 μm thick] with microchannels were designed and replicated on plastic substrates by means of hot embossing and injection molding processes with prepared two nickel mold inserts. The replicated large area microchambers as well as the microchannels in the plastic lab-on-a-chip were successfully sealed (i.e., no leakage) and formed without any collapse by the proposed thermal bonding technique with the help of the HPEP.     

数据中心管理不再复杂

随着数据中心基础设施以及应用系统的增多,IT人员的工作量逐渐加大,自动化管理让这些变得更容易。     

Fabrication of patterned single-walled carbon nanotube films using electrophoretic deposition

Thin films of chemically functionalized single-walled carbon nanotubes (SWNTs) were fabricated by using a direct current (dc) electrophoretic deposition method. SWNTs were shortened and then functionalized with acid chloride group to combine with the amine group-terminated gold substrate. Silica nanospheres with a diameter of about 190nm were arrayed on gold substrate to pattern a thin SWNT film. Periodically patterned SWNT film was eventually produced and would be used in potential applications like electron emitters and large surface area electrodes.     

Preparation of PbTiO3 thin films using an alkoxide-alkanolamine sol-gel system

The stable range of PbTiO₃ sol and the processing conditions of uniform thin films were investigated using a solution of titanium isopropoxide, three kinds of alkanolamines (monoethanolamine, diethanolamine, triethanolamine), lead acetate trihydrate and isopropanol. Depending on the sol state with various alkanolamine/alkoxide molar ratios, diethanolamine (DEA) was very effective in preparing uniform and dense oxide films through room-temperature reaction, owing to its superior stability during the hydrolysis and condensation reaction. Perovskite PbTiO₃ thin films were obtained on oxidized silicon wafer above 550 °C and completely pure films were obtained at 650 °C using DEA as a complexing agent. The dielectric constant and loss tangent of these thin films fired at 650 °C for 30 min were found to be 240 and 0.01 at 1 kHz, respectively.     

Metal Ions versus Protons: Tracking of Charge-Carrier Insertion into a Cathode Oxide in Aqueous Rechargeable Batteries

Protons in aqueous electrolytes can perform as an additional type of charge carrier for insertion/extraction in addition to the primary carrier cations in aqueous rechargeable batteries. Despite many diverse claims regarding the effect of protons, mutually conflicting experimental results and their interpretations without direct evidence have been reported over the last decade. Systematic examinations and analyses are thus imperative to clarify the conditions of proton insertion in aqueous rechargeable batteries. Utilizing V₂O₅ as a model cathode and beaker-type cells with a sufficient amount of ZnSO₄ aqueous electrolytes in this work, it is demonstrated that protons are inserted into the cathode prior to Zn-ions in low-pH conditions (pH ≤ 3.0). In stark contrast, the influence of protons on the discharge voltage and capacity is insignificant, when either the pH becomes higher (pH ≥ 4.0) or the electrolyte volume is considerably low in coin-type cells. Similar behavior of pH-dependent proton insertion is also verified in Na–, Mg–, and Al-ion electrolytes. Providing a resolution to the controversy regarding proton insertion, the present study emphasizes that the influence of protons substantially varies depending on the pH and relative volume of electrolytes in aqueous batteries.     

Metal Single-Site Molecular Complex–MXene Heteroelectrocatalysts Interspersed Graphene Nanonetwork for Efficient Dual-Task of Water Splitting and Metal–Air Batteries

Development of multifunctional electrocatalysts with high efficiency and stability is of great interest in recent energy conversion technologies. Herein, a novel heteroelectrocatalyst of molecular iron complex (Fe_MC)-carbide MXene (Mo₂TiC₂T_x) uniformly embedded in a 3D graphene-based hierarchical network (GrH) is rationally designed. The coexistence of Fe_MC and MXene with their unique interactions triggers optimum electronic properties, rich multiple active sites, and favorite free adsorption energy for excellent trifunctional catalytic activities. Meanwhile, the highly porous GrH effectively promotes a multichannel architecture for charge transfer and gas/ion diffusion to improve stability. Therefore, the Fe_MC–MXene/GrH results in superb performances towards oxygen reduction reaction (ORR), oxygen evolution reaction (OER), and hydrogen evolution reaction (HER) in alkaline medium. The practical tests indicate that Zn/Al–air batteries derived from Fe_MC–MXene/GrH cathodic electrodes produce high power densities of 165.6 and 172.7 mW cm⁻², respectively. Impressively, the liquid-state Zn–air battery delivers excellent cycling stability of over 1100 h. In addition, the alkaline water electrolyzer induces a low cell voltage of 1.55 V at 10 mA cm⁻² and 1.86 V at 0.4 A cm⁻² in 30 wt.% KOH at 80 °C, surpassing recent reports. The achievements suggest an exciting multifunctional electrocatalyst for electrochemical energy applications.