The forming limit curve for bending processes

The maximum strain that metal can suffer in some bulk forming processes is limited by the phenomenon of shear band formation, which precedes ductile fracture. The process of strain localization in the shear band has been analysed theoretically on the basis of the theory of plastic flow. It is assumed that the material does not only undergo strain-hardening, but also strain-softening, due to the growth and coalescence of voids and microcracks. Taking into account the post-stability stage of the strain localization process the limit strain, i.e. the maximum strain outside the shear band has been determined as a function of stress ratio. The theoretically predicted forming limit curve for bending processes shows satisfactory correlation with the curve obtained experimentally for 0.39% C carbon steel. In both cases the limit strain reaches its minimum for plane states of strain. The analysis does not include plastic anisotropy, strain rate sensitivity and other metallurgical features of the material.     

Towards automated mapping and monitoring of potentially dangerous glacial lakes in Bhutan Himalaya using Sentinel-1 Synthetic Aperture Radar data

The majority of glacial lakes around the world are located in remote and hardly accessible regions. The use of remote sensing data is therefore of high importance to identify and assess their potential hazards. However, the persistence of cloud cover, particularly in high mountain areas such as the Himalayas, limits the temporal resolution of optical satellite data with which we can monitor potentially dangerous glacial lakes (PDGLs). The ability of Synthetic Aperture Radar (SAR) satellites to collect data, irrespective of weather and at day or night, facilitates monitoring of PDGLs by without compromising temporal resolution. In this study, we present a semi-automated approach, based on a radar signal intensity threshold between water and non-water feature classes followed by post-processing including elevations, slopes, vegetation and size thresholds, to delineate glacial lakes in Sentinel-1 SAR images in Bhutan Himalaya. We show the capability of our method to be used for delineating and monitoring glacial lakes in Bhutan Himalaya by comparing our results to 10 m resolution Sentinel-2 multispectral data, field survey data, meteorological data, and a time series of monthly images from January to December 2016 of two lakes. Sentinel-1 SAR data can, moreover, be used for detecting lake surface area changes and open water area variations, at temporal resolution of six days, providing substantial advantages over optical satellite data to continuously monitor PDGLs.     

Missing Link between Helical Nano‐ and Microfilaments in B4 Phase Bent‐Core Liquid Crystals,and Deciphering which Chiral Center Controls the Filament Handedness

The range of possible morphologies for bent‐core B4 phase liquid crystals has recently expanded from helical nanofilaments (HNFs) and modulated HNFs to dual modulated HNFs, helical microfilaments, and heliconical‐layered nanocylinders. These new morphologies are observed when one or both aliphatic side chains contain a chiral center. Here, the following questions are addressed: which of these two chiral centers controls the handedness (helicity) and which morphology of the nanofilaments is formed by bent‐core liquid crystals with tris‐biphenyl diester core flanked by two chiral 2‐octyloxy side chains? The combined results reveal that the longer arm of these nonsymmetric bent‐core liquid crystals controls the handedness of the resulting dual modulated HNFs. These derivatives with opposite configuration of the two chiral side chains now feature twice as large dimensions compared to the homochiral derivatives with identical configuration. These results are supported by density functional theory calculations and stochastic dynamic atomistic simulations, which reveal that the relative difference between the para‐ and meta‐sides of the described series of compounds drives the variation in morphology. Finally, X‐ray diffraction, scanning electron microscopy (SEM), transmission electron microscopy (TEM), and atomic force microscopy (AFM) data also uncover the new morphology for B4 phases featuring p2/m symmetry within the filaments and less pronounced crystalline character.     

Design and characteristics of gellan gum beads for modified release of meloxicam

The aim of the presented work was to design, formulate and evaluate the properties of low-acyl gellan macro beads with the potential application as carriers for oral delivery of meloxicam (MLX) in the prophylaxis of colorectal cancer. The beads were obtained by means of ionotropic gelation technique. Calcium chloride (1.0%, 9.0?×?10^?2 M) was used as the cross-linking agent. Nine different polymer, drug and surfactant (Tween^®80) mixtures were used for production of the beads. The quantitative compositions of the mixtures were generated with the application of the Design of Experiments (DoE) modulus from the STATISTICA Software. The prepared formulations revealed 7.2–27.0% of drug loading and 29.2–50.7% drug encapsulation efficiency. It turned out that 0.5% amount of gellan gum in the mixtures was not sufficient to obtain spherical beads. The morphology and surface of the dried beads were analyzed by SEM. Raman spectra confirmed that MLX did not undergo structural changes during production of the beads. The swelling behavior and degradation of the beads were evaluated in three simulated gastrointestinal fluids at different pH (1.2; 4.5; 6.8). The MLX in vitro release studies were conducted on USP apparatus IV, working in the open loop mode. The obtained results showed that MLX release from the dried beads was pH-dependent. The formulations obtained from mixtures containing 1.0 and 1.5% of gellan may be considered as oral dosage forms for MLX, intended to omit the stomach and release the drug in the distal parts of the gastrointestinal tract.     

The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar

The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants. We claim that an important milestone in the development of these systems was the creation of organized libraries accumulating all previously available formalized knowledge in such a way that new works could effectively re-use all previously collected notions. In the case of Mizar, the turning point of its development was the decision to start building the Mizar Mathematical Library as a centrally-managed knowledge base maintained together with the formalization language and the verification system. In this paper we show the process of forming this library, the evolution of its design principles, and also present some data showing its current use with the modern version of the Mizar proof checker, but also as a rich corpus of semantically linked mathematical data in various areas including web-based and natural language proof presentation, maths education, and machine learning based automated theorem proving.     

Accurate Implicit–Explicit General Linear Methods with Inherent Runge–Kutta Stability

We investigate implicit–explicit (IMEX) general linear methods (GLMs) with inherent Runge–Kutta stability (IRKS) for differential systems with non-stiff and stiff processes. The construction of such formulas starts with implicit GLMs with IRKS which are A- and L-stable, and then we ‘remove’ implicitness in non-stiff terms by extrapolating unknown stage derivatives by stage derivatives which are already computed by the method. Then we search for IMEX schemes with large regions of absolute stability of the ‘explicit part’ of the method assuming that the ‘implicit part’ of the scheme is \(A(\alpha )\)-stable for some \(\alpha \in (0,\pi /2]\). Examples of highly stable IMEX GLMs are provided of order \(1\le p\le 4\). Numerical examples are also given which illustrate good performance of these schemes.     

Strength properties of polyimideamide nanocomposite fibers in terms of their porous and supermolecular structure

The strength properties of fibers made from polyimideamide (PIA) nanocomposite were investigated and the effect of the presence of MMT in the fiber‐forming polymer on the porous structure and supermolecular structure of fibers was analyzed. It was found that lower strength properties (tenacity, elongation at break) of PIA nanocomposite fibers, as compared with those ones of fibers without montmorillonite (MMT), are connected with a lower deformability of the polymer during drawing stage and the collapse of MMT galleries, confirmed by WAXS investigations. This results in the formation of agglomerates that are weakly connected with the fiber‐forming polymer. © 2007 Wiley Periodicals, Inc. J Appl Polym Sci 104: 339–344, 2007