Adaptive polygonization of geometrically constrained surfaces

n -dimensional space, where n>3. This definition can be used for given surfaces that are implicit or parametric. This paper presents a robust, adaptive polygonization algorithm for evaluating and visualizing geometrically constrained surfaces. Let be the constrained surface, a 2-surface in n-space, and let π() be its projection into the subspace spanned by the first three coordinates. Our polygonization algorithm computes π(). The method works directly with the n-space representation, but performs all major computations in 3-space. Techniques for triangulation, polygon decimation, and local refinement are also presented.     

An enhanced timetabling procedure for the no-wait job shop problem: a complete local search approach

In this paper we consider the no-wait job shop problem with a makespan objective. This problem has usually been addressed by its decomposition into a sequencing and a timetabling problem. Here, first we focus on the timetabling problem and take advantage of the symmetry of the problem in order to suggest a new timetabling procedure. Secondly, we suggest embedding this timetabling into a recent metaheuristic named complete local search with memory.     

Tailoring Materials for Mottronics: Excess Oxygen Doping of a Prototypical Mott Insulator

The Mott transistor is a paradigm for a new class of electronic devices—often referred to by the term Mottronics—which are based on charge correlations between the electrons. Since correlation‐induced insulating phases of most oxide compounds are usually very robust, new methods have to be developed to push such materials right to the boundary to the metallic phase in order to enable the metal–insulator transition to be switched by electric gating. Here, it is demonstrated that thin films of the prototypical Mott insulator LaTiO₃ grown by pulsed laser deposition under oxygen atmosphere are readily tuned by excess oxygen doping across the line of the band‐filling controlled Mott transition in the electronic phase diagram. The detected insulator to metal transition is characterized by a strong change in resistivity of several orders of magnitude. The use of suitable substrates and capping layers to inhibit oxygen diffusion facilitates full control of the oxygen content and renders the films stable against exposure to ambient conditions. These achievements represent a significant advancement in control and tuning of the electronic properties of LaTiO_3+x thin films making it a promising channel material in future Mottronic devices.     

Effect of size and shape of metal particles to improve hardness and electrical properties of carbon nanotube reinforced copper and copper alloy composites

Utilizing the extra-ordinary properties of carbon nanotube (CNT) in metal matrix composite (MMC) for macroscopic applications is still a big challenge for science and technology. Very few successful attempts have been made for commercial applications due to the difficulties incorporating CNTs in metals with up-scalable processes. CNT reinforced copper and copper alloy (bronze) composites have been fabricated by well-established hot-press sintering method of powder metallurgy. The parameters of CNT–metal powder mixing and hot-press sintering have been optimized and the matrix materials of the mixed powders and composites have been evaluated. However, the effect of shape and size of metal particles as well as selection of carbon nanotubes has significant influence on the mechanical and electrical properties of the composites. The hardness of copper matrix composite has improved up to 47% compared to that of pure copper, while the electrical conductivity of bronze composite has improved up to 20% compared to that of the pure alloy. Thus carbon nanotube can improve the mechanical properties of highly-conductive low-strength copper metals, whereas in low-conductivity high-strength copper alloys the electrical conductivity can be improved.     

Craig Interpolation with Clausal First-Order Tableaux

We develop foundations for computing Craig-Lyndon interpolants of two given formulas with first-order theorem provers that construct clausal tableaux. Provers that can be understood in this way include efficient machine-oriented systems based on calculi of two families: goal-oriented such as model elimination and the connection method, and bottom-up such as the hypertableau calculus. We present the first interpolation method for first-order proofs represented by closed tableaux that proceeds in two stages, similar to known interpolation methods for resolution proofs. The first stage is an induction on the tableau structure, which is sufficient to compute propositional interpolants. We show that this can linearly simulate different prominent propositional interpolation methods that operate by an induction on a resolution deduction tree. In the second stage, interpolant lifting, quantified variables that replace certain terms (constants and compound terms) by variables are introduced. We justify the correctness of interpolant lifting (for the case without built-in equality) abstractly on the basis of Herbrand’s theorem and for a different characterization of the formulas to be lifted than in the literature. In addition, we discuss various subtle aspects that are relevant for the investigation and practical realization of first-order interpolation based on clausal tableaux.

     

酚醛树脂-CarboresP结合镁碳材料的性能与应用

研究了环境友好型含碳材料CarboresP在镁碳砖中的应用。采用MT14A镁碳砖生产工艺,改变CarboresP的加入量,对试样180℃处理后的体积密度、高温抗折强度(1400℃),以及1000℃埋炭处理后的显气孔率、耐压强度等指标进行了研究和对比,确定镁碳砖中合适的CarboresP添加量为1%,并且可适量降低金属防氧化剂的加入量;分析了酚醛树脂-CarboresP结合炭的显微结构,表明其为均质炭和非均质石墨化炭的混合结构,这将有助于改善炭化结构的抗氧化性能;采用尖劈试验绘制镁碳砖试样的应力-应变曲线,表明添加CarboresP的镁碳砖的特征长度LCH值得到明显提高,说明它具有很好的韧性和吸收应力的能力;与传统工艺生产的MT14A镁碳砖相比较,采用酚醛树脂-CarboresP“软性结合”工艺生产的MT14A镁碳砖,成型性能及热处理后各项性能指标均得到改善,在国内某40tLF-VD精炼钢包渣线上进行现场使用证明,平均使用寿命比现用渣线镁碳砖提高18.4%。     

Determination of Intra- and Extracellular Metabolic Adaptations of 3D Cell Cultures upon Challenges in Real-Time by NMR

NMR flow devices provide longitudinal real-time quantitative metabolome characterisation of living cells. However, discrimination of intra- and extracellular contributions to the spectra represents a major challenge in metabolomic NMR studies. The present NMR study demonstrates the possibility to quantitatively measure both metabolic intracellular fingerprints and extracellular footprints on human control fibroblasts by using a commercially available flow tube system with a standard 5 mm NMR probe. We performed a comprehensive 3D cell culture system characterisation. Diffusion NMR was employed for intra- and extracellular metabolites separation. In addition, complementary extracellular footprints were determined. The implemented perfused NMR bioreactor system allowed the determination of 35 metabolites and intra- and extracellular separation of 19 metabolites based on diffusion rate differences. We show the reliability and sensitivity of NMR diffusion measurements to detect metabolite concentration changes in both intra- and extracellular compartments during perfusion with different selective culture media, and upon complex I inhibition with rotenone. We also demonstrate the sensitivity of extracellular footprints to determine metabolic variations at different flow rates. The current method is of potential use for the metabolomic characterisation of defect fibroblasts and for improving physiological comprehension.