Stabilization of 6H-Hexagonal SrMnO3 Polymorph by Al2O3 insertion

We demonstrate the structural evolution of polymorphic phases in Al₂O₃-inserted SrMnO₃ ceramics synthesized by solid state reaction. While the 4H-hexagonal phase is predominant in pure SrMnO₃ ceramics, a small amount of 6H-hexagonal polymorph is identified in addition to the primary 4H-hexagonal SrMnO₃ and the secondary hexagonal SrAl₂O₄ phases in the as-sintered ceramics, evidenced by x-ray diffraction and subsequent Rietveld refinement analyses. The existence of the 6H-hexagonal SrMnO₃ phase is corroborated using Raman spectroscopy. The chemical compositions and electronic structures of the Al₂O₃-inserted SrMnO₃ compounds are also examined using energy dispersive spectroscopy and x-ray photoelectron spectroscopy, respectively. The first-principles calculations reveal that there is no clear difference between the total energies of 4H- and 6H-hexagonal polymorphs regardless of the presence/absence of Sr and oxygen vacancies. Possible origins are discussed with the estimation of actual strain based on the refined lattice parameter of 6H SrMnO₃.     

A 1 GHz CMOS analog front-end for a generalized PRML read channel

A 1 GHz CMOS analog front-end for general partial response maximum likelihood (GPRML) read channel in hard disk drive application has been implemented in 0.35 /spl mu/m CMOS. A continuous time analog filter fulfills the relaxed equalization for GPRML detection and can save up to 35% power consumption for the whole read channel. An analog DFE-based timing recovery loop is implemented to avoid the extremely long latency in the digital signal processing path (Viterbi decoder). The measured performances is 1.1 dB off simulations at 800 MHz and 1.6 dB off at 1GHz. The chip draws 240 mW from a 3.3 V supply at 800MHz clock and 380 mW from a 3.6 V supply at 1 GHz clock.     

Benchmarking performance of machine and deep learning-based methodologies for Urdu text document classification

Neural Computing and Applications - In order to provide benchmark performance for Urdu text document classification, the contribution of this paper is manifold. First, it provides a publicly...     

3D Simulation Research on Urea-SCR DeNO<em>x Catalyst for Diesel Engine

In order to reduce oxides of nitrogen (NOx) emanated from a diesel eng ine, a comprehensive urea selective catalyst reduction (SCR) DeNOx catalys t was modeled in which numerical simulations were used as a complementary tool f or the experimental investigations to make the design decisions, and hence short en the development process. In this approach, relevant conversion reactions were studied in 1D model, and the parameters obtained in this way were transferred t o 3D simulations. According to the results ...     

直觉线性μ-演算

线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL表示的性质度可由μTL表示.类似于LTL的直觉线性时序逻辑(ILTL),提出一种基于直觉解释的μTL,称为直觉μTL(IμTL).确立了IμTL和ILTL的关系,比较了它们之间的表达能力.讨论了使用IμTL与安全性质和活性描述的关系以及描述"假设-保证"规范的问题.     

直觉线性μ-演算中的合成推理

讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述“假设-保证”的逻辑基础的问题,提出了一个基于IμTL的“假设-保证”规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如“always ?”等安全性质的“假设-保证”的范围,具备更一般的“假设-保证”推理能力及对循环推理的支持.     

Local calibration of rigid pavement performance models using resampling methods

The performance prediction models in the Pavement-ME design software are nationally calibrated using in-service pavement material properties, pavement structure, climate and truck loadings, and performance data obtained from the Long-Term Pavement Performance programme. The nationally calibrated models may not perform well if the inputs and performance data used to calibrate those do not represent the local design and construction practices. Therefore, before implementing the new M-E design procedure, each state highway agency (SHA) should evaluate how well the nationally calibrated performance models predict the measured field performance. The local calibrations of the Pavement-ME performance models are recommended to improve the performance prediction capabilities to reflect the unique conditions and design practices. During the local calibration process, the traditional calibration techniques (split sampling) may not necessarily provide adequate results when limited number of pavement sections are available. Consequently, there is a need to employ statistical and resampling methodologies that are more efficient and robust for model calibrations given the data related challenges encountered by SHAs. The main objectives of the paper are to demonstrate the local calibration of rigid pavement performance models and compare the calibration results based on different resampling techniques. The bootstrap is a non-parametric and robust resampling technique for estimating standard errors and confidence intervals of a statistic. The main advantage of bootstrapping is that model parameters estimation is possible without making distribution assumptions. This paper presents the use of bootstrapping and jackknifing to locally calibrate the transverse cracking and IRI performance models for newly constructed and rehabilitated rigid pavements. The results of the calibration show that the standard error of estimate and bias are lower compared to the traditional sampling methods. In addition, the validation statistics are similar to that of the locally calibrated model, especially for the IRI model, which indicates robustness of the local model coefficients.     

Nutratherapeutics approach against cancer: tomato‐mediated synthesised gold nanoparticles

In this study, an eco‐friendly biosynthesis of stable gold nanoparticles (T‐GNPs) was carried out using different concentrations of tomato juice (nutraceuticals) as a reducing agent and tetrachloroauric acid as a metal precursor to explore their potential application in cancer therapeutics. The synthesis of T‐GNPs was monitored by UV‐visible absorption spectroscopy, which unveiled their formation by exhibiting the typical surface plasmon absorption maxima at 522 nm. The size of T‐GNPs was found to be 10.86 ± 0.6 nm. T‐GNPs were characterised by dynamic light scattering, zeta potential, transmission electron microscopy analysis and Fourier transform infrared spectroscopy. T‐GNPs were further investigated for their anti‐cancer activity against human lung carcinoma cell line (A ₅₄₉) and human cervical cancer cell line wherein the IC₅₀ values were found to be 0.286 and 0.200 mM, respectively. T‐GNPs inhibited the growth of cancer cells by generating ROS and inducing apoptosis. T‐GNPs were found highly effective by virtue of their size, metallic property and capping molecules. Thus, this study opens up the prospects of using nutraceutical (tomato juice) as nutratherapeutic agent (T‐GNPs) against critical diseases like lung cancer and cervical cancer.Inspec keywords: gold, nanoparticles, particle size, cancer, ultraviolet spectra, visible spectra, electrokinetic effects, transmission electron microscopy, Fourier transform infrared spectra, cellular biophysics, spectrochemical analysis, nanomedicine, nanofabricationOther keywords: tomato‐mediated synthesised gold nanoparticles, tomato juice, reducing agent, tetrachloroauric acid, cancer therapeutics, UV‐visible absorption spectroscopy, surface plasmon absorption, dynamic light scattering, zeta potential, transmission electron microscopy analysis, Fourier transform infrared spectroscopy, human lung carcinoma cell line, anticancer activity, human cervical cancer cell line, nutratherapeutic agent, lung cancer, Au     

End-to-End 2D Convolutional Neural Network Architecture for Lung Nodule Identification and Abnormal Detection in Cloud

The extent of the peril associated with cancer can be perceived from the lack of treatment, ineffective early diagnosis techniques, and most importantly its fatality rate. Globally, cancer is the second leading cause of death and among over a hundred types of cancer; lung cancer is the second most common type of cancer as well as the leading cause of cancer-related deaths. Anyhow, an accurate lung cancer diagnosis in a timely manner can elevate the likelihood of survival by a noticeable margin and medical imaging is a prevalent manner of cancer diagnosis since it is easily accessible to people around the globe. Nonetheless, this is not eminently efficacious considering human inspection of medical images can yield a high false positive rate. Ineffective and inefficient diagnosis is a crucial reason for such a high mortality rate for this malady. However, the conspicuous advancements in deep learning and artificial intelligence have stimulated the development of exceedingly precise diagnosis systems. The development and performance of these systems rely prominently on the data that is used to train these systems. A standard problem witnessed in publicly available medical image datasets is the severe imbalance of data between different classes. This grave imbalance of data can make a deep learning model biased towards the dominant class and unable to generalize. This study aims to present an end-to-end convolutional neural network that can accurately differentiate lung nodules from non-nodules and reduce the false positive rate to a bare minimum. To tackle the problem of data imbalance, we oversampled the data by transforming available images in the minority class. The average false positive rate in the proposed method is a mere 1.5 percent. However, the average false negative rate is 31.76 percent. The proposed neural network has 68.66 percent sensitivity and 98.42 percent specificity.     

Simultaneous state estimation and parameter identification in linear fractional order systems using coloured measurement noise

In the present paper, the identification and estimation problem of a single-input–single-output (SISO) fractional order state-space system will be addressed. A SISO state-space model is considered in which parameters and also state variables should be estimated. The canonical fractional order state-space system will be transformed into a regression equation by using a linear transformation and a shift operator that are appropriate for identification. The identification method provided in this paper is based on a recursive identification algorithm that has the capability of identifying the parameters of fractional order state-space system recursively. Another subject that will be addressed in this paper is a novel fractional order Kalman filter suitable for the systems with coloured measurement noise. The promising performance of the proposed methods is verified using two stable fractional order systems.