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.     

倾斜摄影测量技术在古建筑测绘中的运用研究——以郴州市汝城县朱氏宗祠建筑测绘为例

为测试倾斜摄影测量技术路线,并通过实际项目的应用,解决传统古建筑建模过程中存在的时间成本高、难以还原复杂场景等问题。按照倾斜摄影技术的技术路线,进行朱氏宗祠建筑测绘试验,并通过基于altizure软件建立三维模型来展现倾斜摄影测量技术流程。验证无人机倾斜摄影应用于古建筑三维建模的可行性和可操作性。     

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

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（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.     

An adaptive local search algorithm for vehicle routing problem with simultaneous and mixed pickups and deliveries

The Vehicle Routing Problem with Simultaneous Pickup and Delivery (VRPSPD) is an extension to the classical Vehicle Routing Problem (VRP), where customers may both receive and send goods simultaneously. The Vehicle Routing Problem with Mixed Pickup and Delivery (VRPMPD) differs from the VRPSPD in that the customers may have either pickup or delivery demand. However, the solution approaches proposed for the VRPSPD can be directly applied to the VRPMPD. In this study, an adaptive local search solution approach is developed for both the VRPSPD and the VRPMPD, which hybridizes a Simulated Annealing inspired algorithm with Variable Neighborhood Descent. The algorithm uses an adaptive threshold function that makes the algorithm self-tuning. The proposed approach is tested on well-known VRPSPD and VRPMPD benchmark instances derived from the literature. The computational results indicate that the proposed algorithm is effective in solving the problems in reasonable computation time.     

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.     

A novel temperature-tolerant foamed resin for enhanced oil recovery

The synthesis and performance of a novel temperature-tolerant foamed resin for enhanced oil recovery were investigated using various methods, including infrared, NMR, scanning electron microscopy (SEM), and displacement experiments. Polycondensation of furfuryl alcohol prepolymers was confirmed by the infrared and NMR results. The poor temperature tolerance of furfuryl alcohol prepolymers after gelation at high temperatures is mainly due to the fracture of furan rings. The addition of ester additives is an effective method of increasing the temperature tolerance of the prepared foamed resins and can effectively reduce the weight-loss rate of the polycondensation products. The SEM results show that the skeleton structure of the foamed resin remains intact after high-temperature treatment. Thus, the novel plugging agent system has excellent thermal stability and still has a high strength (>0.8 MPa) after high-temperature aging treatment for 40 days, giving the prepared foamed resin a good plugging performance (plugging rate > 91%) at 250 °C. © 2018 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2019 , 136, 47161.     

Design of an antibacterial gelatin based on a covalent protein–protein coupling

An antibacterial peptide (AMP), i.e., nisin, was covalently bound to gelatin through a protein–protein coupling. Various reaction conditions were tested to study and optimize parameters of grafting e.g., orientation and density of AMP, which could impact the final antibacterial activity of the modified biopolymer. Modification was investigated by Fourier transform infrared (FT‐IR) spectroscopy and zeta potential. The antibacterial activity of the nisin‐enriched gelatin was evaluated against two staphylococci bacterial strains, i.e., Staphylococus epidermidis and Staphylococcus aureus. A higher activity was found for gelatin modified at pH = 7.4 revealing an influence of the nisin orientation on the protein antibacterial property. © 2014 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 41825.     

Alloying behavior and novel properties of CoCrFeNiMn high-entropy alloy fabricated by mechanical alloying and spark plasma sintering

An equiatomic CoCrFeNiMn high-entropy alloy was synthesized by mechanical alloying (MA) and spark plasma sintering (SPS). During MA, a solid solution with refined microstructure of 10 nm which consists of a FCC phase and a BCC phase was formed. After SPS consolidation, only one FCC phase can be detected in the HEA bulks. The as-sintered bulks exhibit high compressive strength of 1987 MPa. An interesting magnetic transition associated with the structure coarsening and phase transformation was observed during SPS process.     

Nonlinear viscoelastic modeling of soft polymers

A one‐dimensional phenomenological constitutive model, representing the nonlinear viscoelastic behavior of polymers is developed in this study. The proposed model is based on a modification of the well‐known three element standard solid model. The linear dashpot is replaced by an Eyring type one, while the nonlinearity is enhanced by a nonlinear, strain dependent spring constant. The new constitutive model was proved to be capable of capturing the main aspects of nonlinear viscoelastic response, namely, monotonic and cyclic loading, creep and stress relaxation, with the same parameter values. Model validation was tested on the experimental results at various modes of deformation for two elastomeric type materials, performed elsewhere. A very good agreement between model simulations and experimental data was obtained in all cases. © 2015 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2015 , 132, 42141.