Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

变加速动力学与舒适性问题

用变加速动力学的急动度(加加速度)概念,分析了车辆、电梯的乘座舒适性与高层钢结构建筑的风振舒适性问题.     

Synthesis of Donor–Acceptor Alkynylcyclopropanes by Diastereoselective Cyclopropanation of Electron‐Deficient Alkenes with Alkoxyalkynyl Fischer Carbene Complexes

The reaction of electron‐deficient alkenes with alkoxyalkynyl Fischer carbene complexes (FCCs) represents a straightforward route to a new type of captodative (donor–acceptor) alkynylcyclopropanes, which have been prepared in moderate to high yields and in a diastereoselective manner. Some studies regarding the employment of additives to facilitate the recovery of the metal moiety after the reaction are also described. Finally, the first example of a cyclopropanation reaction through employing Fischer carbene complexes under microwave irradiation is presented; this method proved to be an advantageous alternative to the thermal reaction.     

Modification of the resistance of two epoxy resins to accelerated weathering using calcium sulfate as a photostabilizer

Epoxy-timber composites have received increasing attention during the last decades because there are many advantages related to their uses as construction materials in applications such as timber bridges. However, the durability of epoxy-timber composites under outdoor conditions has become a concern for many epoxy resins. This study evaluated the chemical, thermal, and mechanical properties of two cured epoxies, the product of the diglycidyl ether of bisphenol A with 2,4-trimethyl-1,6-hexanediamine (DGEBA-TMDA) and the analogous resin prepared with the hydrogenated diglycidyl ether of bisphenol A (HDGEBA-TMDA), each mixed with 2?wt. % calcium sulfate (CS). We hypothesized that the use of CS, as an inorganic UV absorber, could decrease undesirable effects arising from exposure to UV light, moisture, and extreme temperatures.

An accelerated aging chamber simulated natural weathering for 1, 2, 3, 4, and 6?months. Chemical changes in cured epoxy systems over time in the presence and absence of CS fillers were determined using Fourier transform infrared spectroscopy (FT-IR). Thermal degradation profiles before and after exposure to accelerated weathering were followed by thermogravimetric analysis (TGA). The glass transition temperatures (T_g) before and after accelerated weathering were measured, and the effect of accelerated weathering on the surface morphology of the epoxy systems was investigated by scanning electron microscopy (SEM). In the presence of CS, after 6?months accelerated weathering the tensile strength of DGEBA-TMDA reduced by 23.8?±?2.4%, compared to 46.5?±?5.5% in its absence, while the corresponding values for HDGEBA-TMDA were 21.4?±?2.1% and 28.7?±?1.8%.     

加速溶剂萃取同步净化-同位素内标-气相色谱-高分辨质谱测定水产品中32种多氯联苯

建立了加速溶剂萃取同步净化-同位素内标-气相色谱-高分辨质谱同时测定水产品中32种多氯联苯含量的方法。通过在加速溶剂萃取仪中加入2 g无水硫酸钠、1 g弗罗里硅土、50 g中性氧化铝作为吸附剂实现同步净化的效果，萃取溶剂为二氯甲烷-正己烷（1:1，v/v），萃取温度为100℃，循环2次。萃取结束后分别用0.5 mL浓硫酸净化两次，净化液浓缩定容后，采用气相色谱-高分辨质谱测定，同位素内标法定量。32种多氯联苯在0.1~20 μg/L范围内平均相对响应因子（RRF）的相对标准偏差（RSD）值（n=7）均小于15%，定量限（S/N=10）为0.3~1.9 ng/kg。在草鱼和海鲈鱼空白基质中做加标回收试验，添加水平为5、20和50 ng/kg，得到的平均回收率为71.9%~119.0%（n=6），RSD为3.5%~19.6%。该方法背景干扰低，灵敏度高，重现性好，回收率稳定，适用于水产品中多氯联苯的检测。     

Prediction of paper permanence by accelerated aging II. Comparison of the predictions with natural aging results

Accelerated aging tests are credible and useful to predict paper permanence only if such tests can be shown to correlate with natural aging. In the first part of this study, a kinetic model was developed based on the accelerated aging results. In this report, we have shown that this kinetic model can indeed predict the natural aging results of lignin-free sheets with a statistical confidence. This is the first quantitative comparison of accelerated aging with natural aging.     

Discontinuous Galerkin methods on graphics processing units for nonlinear hyperbolic conservation laws

We present a novel implementation of the modal DG method for hyperbolic conservation laws in two dimensions on graphics processing units (GPUs) using NVIDIA's Compute Unified Device Architecture. Both flexible and highly accurate, DG methods accommodate parallel architectures well as their discontinuous nature produces element‐local approximations. High‐performance scientific computing suits GPUs well, as these powerful, massively parallel, cost‐effective devices have recently included support for double‐precision floating‐point numbers. Computed examples for Euler equations over unstructured triangle meshes demonstrate the effectiveness of our implementation on an NVIDIA GTX 580 device. Profiling of our method reveals performance comparable with an existing nodal DG‐GPU implementation for linear problems. Copyright © 2014 John Wiley & Sons, Ltd.     

Stable,High‐Molecular‐Weight Poly(phthalaldehyde)

Low ceiling temperature, thermodynamically unstable polymers have been troublesome to synthesize and keep stable during storage. In this study, stable poly(phthalaldehyde) has been synthesized with BF₃‐OEt₂ catalyst. The role of BF₃ in the polymerization is described. The interaction of BF₃ with the monomer is described and used to maximize the yield and molecular weight of poly(phthalaldehyde). Various Lewis acids were used to investigate the effect of catalyst acidity on poly(phthalaldehyde) chain growth. In situ nuclear magnetic resonance was used to identify possible interactions formed between BF₃ and phthalaldehyde monomer and polymer. The molecular weight of the polymer tracks with polymerization yield. The ambient temperature stability of poly(phthalaldehyde) was investigated and the storage life of the polymer has been improved. © 2016 Wiley Periodicals, Inc. J. Polym. Sci., Part A: Polym. Chem. 2016 , 55, 1166–1172     

GPU‐accelerated direct numerical simulations of decaying compressible turbulence employing a GKM‐based solver

Gas Kinetic Method‐based flow solvers have become popular in recent years owing to their robustness in simulating high Mach number compressible flows. We evaluate the performance of the newly developed analytical gas kinetic method (AGKM) by Xuan et al. in performing direct numerical simulation of canonical compressible turbulent flow on graphical processing unit (GPU)s. We find that for a range of turbulent Mach numbers, AGKM results shows excellent agreement with high order accurate results obtained with traditional Navier–Stokes solvers in terms of key turbulence statistics. Further, AGKM is found to be more efficient as compared with the traditional gas kinetic method for GPU implementation. We present a brief overview of the optimizations performed on NVIDIA K20 GPU and show that GPU optimizations boost the speedup up‐to 40x as compared with single core CPU computations. Hence, AGKM can be used as an efficient method for performing fast and accurate direct numerical simulations of compressible turbulent flows on simple GPU‐based workstations. Copyright © 2016 John Wiley & Sons, Ltd.     

Fast and flexible gpu accelerated binding free energy calculations within the amber molecular dynamics package

Alchemical free energy (AFE) calculations based on molecular dynamics (MD) simulations are key tools in both improving our understanding of a wide variety of biological processes and accelerating the design and optimization of therapeutics for numerous diseases. Computing power and theory have, however, long been insufficient to enable AFE calculations to be routinely applied in early stage drug discovery. One of the major difficulties in performing AFE calculations is the length of time required for calculations to converge to an ensemble average. CPU implementations of MD‐based free energy algorithms can effectively only reach tens of nanoseconds per day for systems on the order of 50,000 atoms, even running on massively parallel supercomputers. Therefore, converged free energy calculations on large numbers of potential lead compounds are often untenable, preventing researchers from gaining crucial insight into molecular recognition, potential druggability and other crucial areas of interest. Graphics Processing Units (GPUs) can help address this. We present here a seamless GPU implementation, within the PMEMD module of the AMBER molecular dynamics package, of thermodynamic integration (TI) capable of reaching speeds of >140 ns/day for a 44,907‐atom system, with accuracy equivalent to the existing CPU implementation in AMBER. The implementation described here is currently part of the AMBER 18 beta code and will be an integral part of the upcoming version 18 release of AMBER. © 2018 Wiley Periodicals, Inc.