Dynamics of novel hydrogen-bonded acidic fluorinated poly(amide-imide-silica) hybrids studied by solid-state NMR

Novel hydrogen-bonded acidic fluorinated poly(amide-imide-silica) hybrid materials, FPAI-SiO₂ (6E and 6F) series, were synthesized by a sol-gel process. The structures and spin relaxation of the hybrids were characterized by infrared (IR), and ²⁹Si and ¹³C nuclear magnetic resonance (NMR) spectroscopy. The abundant Q⁴ structures implied that in free catalyst the degree of condensation of tetramethoxysilane was enhanced by hydrogen-bonded acidic fluorinated poly(amide-imide). The dynamics on the local mobility of the hybrids was investigated by the time constant for energy exchange between ¹H and ²⁹Si spin system (T_SiH) and spin-diffusion path length (L) measurements. It was found that the faster T_SiH of 6E and 6F hybrids compared with the previous study of similar 6C and 6D hybrids implied that 6E and 6F hybrids had more aggregated structures even though the organic terminal segment changed from rigid imide to more flexible amide. The interactions of the charge transfer between donor and acceptor molecules or π-π aromatic stacking may be the dominant factors to affect the structures of 6E and 6F hybrids. Moreover, M¹ and D² segments of 6F hybrids had the same level mobility and the mobility of the 6F hybrids was little improved as the soft and flexible 1,3-bis(3-aminopropyl)-tetramethyl-disiloxane segment was incorporated in the dense structures of 6F hybrids. All of the L values of 6E and 6F hybrids were on the scale of 3.5-4.0 nm. The result also suggested that 6E and 6F hybrids had similar denser structures as 6D hybrids.     

热释电系数的测量方法

描述热释电系数的两种测量方法。其一为电荷积分法，测试系统简单，测量数据准确，且能满足零电场条件下的测量。其二为动态电流法，采用调制热源技术，研究在特定温度条件下热释电材料的动态热释电响应。     

An integral theorem prover and the role of proof planning

An investigation is made into the ways proof planning can enhance the capability of a rule based prover for the theory of integration. The integrals are of the Riemann type and are defined in a way to maximize the theorem proving methods of predicate calculus. Approximately fifty theorems have been proved and several examples are discussed. A major shortcoming was found to be the inability of the system to work with or produce a proof plan. As a result, a planning scheme based on the idea of subgoals or milestones was considered. With user defined plans, there was a substantial increase in performance and capability of the system and, in some cases, proofs which were previously unsuccessful were completed.     

Semantic Transparency,Brain Monitoring and Evaluation of Hybrid Cognitive Architectures

In constructing hybrid systems, there is a need for a principled basis to determine the relative roles or functions of artificial neural network and symbolic approaches. The primary objective of the work to be reported is the construction of a conceptual and methodological framework that permits an iterative sequence in which a hybrid model predicts the basis of cognitive performance and an objective analysis of performance provides empirical data, evaluating (and thus constraining) the structure and processes of the model. In seeking a linkage between a hybrid model of cognition and human performance the concept of “semantic transparency” has been adopted, since it can be used in analyzing and describing both the chracteristics of a model of cognition and the processes underlying human performance. An overview of a specific, ”strong” hybrid architecture is presented. The characteristics of the virtual machines which compose it and the nature of their interaction are illustrated. An approach to the questions of evaluation is described based on empirical data obtained by brain monitoring of subjects during cognitive performance.     

拟动力实验中的数值积分方法

拟动力实验方法是目前最新的抗震实验方法，它克服了振动台实验中承载力不足、拟静力实验中无法真实模拟地震过程的缺点．本文详细论述了拟动力实验中的数值积分方法，其中包括：显式方法，隐式方法以及采用于结构技术时所需的特殊教值积分方法，并对这些方法的适用范围作了介绍．     

陶瓷传感器的微型化与集成化

本文主要介绍陶瓷传感器在微型化及集成化方面的进展；指出了集成化多功能传感器存在的技术问题及未来发展趋势。     

New accurate two-noded shear-flexible curved beam elements

 There are two purposes of this work. One is to present two accurate two-noded finite elements which are derived from the potential energy principle and the Hellinger–Reissner functional principle respectively. The second is to show the successful application of the internal displacement parameters in developing a high-order related displacement-rotation interpolation field. Because the derived interpolation field is capable of accurately modeling deformation modes in extreme thin curved beams and nearly straight beams, both shear locking and membrane shocking are avoided. Several standard numerical tests display superior behaviors of the present elements. Received: 5 February 2002 / Accepted: 16 September 2002     

Implicit integration and consistent tangent modulus of a time‐dependent non‐unified constitutive model

This paper describes the implicit integration and consistent tangent modulus of an inelastic constitutive model with transient and steady strain rates, both of which are time‐ and temperature‐dependent; the transient rate is influenced by the evolution of back stress decomposed into parts, while the steady rate depends only on applied stress and temperature. Such a non‐unified model is useful for high‐temperature structural analysis and is practical owing to the ease in determining material constants. The implicit integration is shown to result in two scalar‐valued coupled equations, and the consistent tangent modulus is derived in a quite versatile form by introducing a set of fourth‐rank constitutive parameters into the discretized evolution rule of back stress. The constitutive model is, then, implemented in a finite element program and applied to a lead‐free solder joint analysis. It is demonstrated that the implicit integration is very accurate if the multilinear kinematic hardening model of Ohno and Wang is employed, and that the consistent tangent modulus certainly affords quadratic convergence to the Newton–Raphson iteration in solving nodal force equilibrium equations. Copyright © 2003 John Wiley & Sons, Ltd.     

精馏塔静态仿真：Ⅰ.静动态混合数学模型的应用

本文为了克服精馏塔静态仿真不易收敛和初值难以给定等难题，巧妙地利用隐含数值积分方法的特点，将稳态与动态数学模型耦合起来，用以求解高难度的非理想精馏塔静态仿真问题。所得静动态混俣模型大大提高了精馏塔静态仿真的鲁棒性，对于高度非理想精馏塔的仿真尤为有效。通过对某丙烯腈萃取精馏塔的静态仿真，充分证明了这种混合模型化方法的可行性。     

Process heat integration of a heavy crude hydrotreatment plant

The present paper focuses on the study of process alternatives for heat integration of a heavy crude oil hydrotreatment plant. Experimental information obtained from a pilot scale, kinetics and reactor modeling tools, and a commercial process simulator were employed to develop mass and energy balances. Four study cases, which employ a combination of quenching and heat exchangers, were identified and evaluated. The results indicated that the case with two quenches with hydrogen and three heat exchangers is the best process heat integration (PHI) option from an energetic point of view.