A review on some classes of algebraic systems

ABSTRACT

In this paper, we review some algebraic control system. Precisely, linear and bilinear systems on Euclidean spaces and invariant and linear systems on Lie groups. The fourth classes of systems have a common issue: to any class, there exists an associated subgroup. From this object, we survey the controllability property. Especially, from those coming from our contribution to the theory.     

Interlayer Engineering of Molybdenum Trioxide toward High‐Capacity and Stable Sodium Ion Half/Full Batteries

Orthorhombic molybdenum trioxide (MoO₃) is one of the most promising anode materials for sodium‐ion batteries because of its rich chemistry associated with multiple valence states and intriguing layered structure. However, MoO₃ still suffers from the low rate capability and poor cycle induced by pulverization during de/sodiation. An ingenious two‐step synthesis strategy to fine tune the layer structure of MoO₃ targeting stable and fast sodium ionic diffusion channels is reported here. By integrating partially reduction and organic molecule intercalation methodologies, the interlayer spacing of MoO₃ is remarkably enlarged to 10.40 Å and the layer structural integration are reinforced by dimercapto groups of bismuththiol molecules. Comprehensive characterizations and density functional theory calculations prove that the intercalated bismuththiol (DMcT) molecules substantially enhanced electronic conductivity and effectively shield the electrostatic interaction between Na⁺ and the MoO₃ host by conjugated double bond, resulting in improved Na⁺ insertion/extraction kinetics. Benefiting from these features, the newly devised layered MoO₃ electrode achieves excellent long‐term cycling stability and outstanding rate performance. These achievements are of vital significance for the preparation of sodium‐ion battery anode materials with high‐rate capability and long cycling life using intercalation chemistry.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Calorimetric study and thermodynamic description of Ga-Ge-Li liquid alloys

This publication contains the thermodynamic results received by the drop calorimetry method. The experiments were conducted for four different cross sections, at the temperature of 1080 K. The investigated alloys were as follows: (Ga_0.75Li_0.25)_1-xGe_x, (Ge_0.50Li_0.50)_1-xGa_x, (Ga_0.50Li_0.50)_1-xGe_x, (Ga_0.25Li_0.75)_1-xGe_x. The mixing enthalpy changes measured for all four cross sections of the Ga-Ge-Li system are characterized by negative deviations from the ideal solutions. The Muggianu model with the ternary interaction parameters was applied to elaborate the experimental data of the mixing enthalpy change with the use of the optimized thermodynamic parameters of the binary systems available in the literature.     

Graphite Oxide and Aromatic Amines: Size Matters

Experimental and theoretical studies are performed in order to illuminate, for first time, the intercalation mechanism of polycyclic aromatic molecules into graphite oxide. Two representative molecules of this family, aniline and naphthalene amine are investigated. After intercalation, aniline molecules prefer to covalently connect to the graphene oxide matrix via chemical grafting, while napthalene amine molecules bind with the graphene oxide surface through π–π interactions. The presence of intercalated aromatic molecules between the graphene oxide layers is demonstrated by X‐ray diffraction, while the type of interaction between graphene oxide and polycyclic organic molecules is elucidated by X‐ray photoelectron spectroscopy. Combined quantum mechanical and molecular mechanical calculations describe the intercalation mechanism and the aniline grafting, rationalizing the experimental data. The present work opens new perspectives for the interaction of various aromatic molecules with graphite oxide and the so‐called “intercalation chemistry”.     

A bat-neural network multi-agent system (BNNMAS) for stock price prediction: Case study of DAX stock price

Creating an intelligent system that can accurately predict stock price in a robust way has always been a subject of great interest for many investors and financial analysts. Predicting future trends of financial markets is more remarkable these days especially after the recent global financial crisis. So traders who access to a powerful engine for extracting helpful information throw raw data can meet the success. In this paper we propose a new intelligent model in a multi-agent framework called bat-neural network multi-agent system (BNNMAS) to predict stock price. The model performs in a four layer multi-agent framework to predict eight years of DAX stock price in quarterly periods. The capability of BNNMAS is evaluated by applying both on fundamental and technical DAX stock price data and comparing the outcomes with the results of other methods such as genetic algorithm neural network (GANN) and some standard models like generalized regression neural network (GRNN), etc. The model tested for predicting DAX stock price a period of time that global financial crisis was faced to economics. The results show that BNNMAS significantly performs accurate and reliable, so it can be considered as a suitable tool for predicting stock price specially in a long term periods.     

Adaptive backstepping repetitive learning control design for nonlinear discrete‐time systems with periodic uncertainties

This paper addresses a tracking problem for uncertain nonlinear discrete‐time systems in which the uncertainties, including parametric uncertainty and external disturbance, are periodic with known periodicity. Repetitive learning control (RLC) is an effective tool to deal with periodic unknown components. By using the backstepping procedures, an adaptive RLC law with periodic parameter estimation is designed. The overparameterization problem is overcome by postponing the parameter estimation to the last backstepping step, which could not be easily solved in robust adaptive control. It is shown that the proposed adaptive RLC law without overparameterization can guarantee the perfect tracking and boundedness of the states of the whole closed‐loop systems in presence of periodic uncertainties. In addition, the effectiveness of the developed controller is demonstrated by an implementation example on a single‐link flexible‐joint robot. Copyright © 2014 John Wiley & Sons, Ltd.     

Lipase‐catalyzed synthesis of aliphatic poly(β‐thioether ester) with various methylene group contents: thermal properties,crystallization and degradation

A series of novel aliphatic poly(β‐thioether ester)s with various methylene group contents were prepared by direct lipase‐catalyzed polycondensation of the monomer with an acid‐labile β‐thiopropionate group. The polycondensation reaction using immobilized lipase B from Candida antarctica was carried out in diphenyl ether at 90 °C. Poly(β‐thioether ester)s with high molecular weights of 20 500–57 000 Da and narrow polydispersities in the range 1.40–1.48 were obtained. Thermogravimetric analysis, differential scanning calorimetry and wide‐angle X‐ray diffraction were used to investigate the thermal properties and crystal structures of these polyesters. All the poly(β‐thioether ester)s were semicrystalline polymers and thermally stable up to at least 200 °C. In vitro degradation studies showed that they can rapidly degrade under acidic conditions by the hydrolysis of the β‐thiopropionate groups, suggesting their potential as acid‐degradable polymeric materials. © 2019 Society of Chemical Industry     

Strain‐rate‐dependent mechanical properties of polypropylene separator for lithium‐ion batteries

The mechanical integrity of battery separators is critical for battery safety and durability. A comprehensive study of strain‐rate‐dependent tensile and puncture properties of a polypropylene lithium‐ion battery separator is presented here with a new model. Due to anisotropy of the polymeric membrane, tensile testing was conducted for different directions. Results showed that tensile strength and elastic modulus were increased 1000% and 500%, respectively, for different directions. It was also demonstrated that tensile strength changed 10 to 25% with strain rate (1.67 × 10^?4 to 1.67 × 10^?1 s^?1) for different directions. An equation was obtained for the first time for flow stress versus strain rate at varied tensile directions with respect to machine direction. Moreover, puncture testing was performed and it was shown that puncture strength was increased 140% with increasing strain rate from 0.25 to 250 mm min^?1. Two failure modes were also observed in puncture samples. Finally, Eyring's model was used to calculate activation enthalpy of the porous polypropylene separator. © 2020 Society of Chemical Industry     

Isolation of antimicrobial agent from the marine algae Cystoseira hakodatensis

Cystoseira hakodatensis is an unutilised brown algae belonging to family Sargassaceae. A crude methanol extract from the algae showed inhibitory effects on the growths of Bacillus cereus and Bacillus licheniformis. To isolate the major antimicrobial agent, a sequential active‐guided isolation procedure was applied: liquid–liquid extraction, column chromatography and bio‐autography. A marked antimicrobial agent (active α) was isolated in hydrophobic fraction and was determined to phenolics without carbohydrates and proteins by phytochemical test. Regarding the antimicrobial potential, the isolated active α showed better inhibitory effects against B. cereus and B. licheniformis at 2 and 4 times of lower concentrations (62.5 and 31.3 μg mL^?1) in comparison with epigallocatechin gallate. These results showed that C. hakodatensis is a potential source of antimicrobial agent capable of preventing the growth of the two bacteria.