The Formalization of The Arithmetic System on The Ground of The Atomic Logic

This paper is a continuation of the paper [16]. Namely, in [16] we have introduced, among others, the definition of the N atomic entailment and we have constructed the system S, which is based on the atomic entailment. In this paper we show that the classical Arithmetic can be based on the Atomic Logic （see [17]）.

PSO type-reduction method for geometric interval type-2 fuzzy logic systems

In a special case of type-2 fuzzy logic systems （FLS）, i.e. geometric inteIval type-2 fuzzy logic systems （GIT-2FLS）, the crisp output is obtained by computing the geometric center of footprint of uncertainly （FOU） without type-reduction, but the defuzzifying method acts against the corner concepts of type-2 fuzzy sets in some cases. In this paper, a PSO type-reduction method for GIT-2FLS based on the particle swarm optimization （PSO） algorithm is presented. With the PSO type-reduction, the inference principle of geometric interval FLS operating on the continuous domain is consistent with that of traditional interval type-2 FLS operating on the discrete domain. With comparative experiments, it is proved that the PSO type-reduction exhibits good performance, and is a satisfactory complement for the theory of GIT-2FLS.

A psychophysical-based fuzzy image interpolation algorithm

To produce a smoother and more natural interpolated image, and to preserve and enhance original image details, we defined three perception-based local statistic parameters, namely contrast, noise visibility, and edge strength based on three psychophysical principles, including Weber’s Law, Fechner’s Law, and Stevens’ Power Law, and integrated these parameters into a fuzzy logic system to set up an advanced image interpolation algorithm. Application of this algorithm to detect edge behaviors and local statistical information of images demonstrated better noise removal ability and obtained sharper edges than traditional image interpolation algorithems such as nearest neighbor, bilinear and bicubic interpolation methods.

《<宋诗纪事>补正》欧阳修诗分析

2003年1月由辽宁人民出版社、辽海出版社聊合出版了'无锡钱钟书默存补正,钱塘厉鹗太鸿原辑'的《〈宋诗纪事〉补正》,一套12册,338.6万字。从卷前杨绛先生2001年4月亲撰《序》文可知此书乃钱钟书先生旧批,在长达四十余年的时间里陆续添补.

Universal quantum logic gates in decoherence-free subspace with atoms trapped in distant cavities

We propose a scheme for implementation of a universal set of quantum logic gates in decoherence-free subspace with atoms trapped in distant cavities connected by optical fibers.The selective dispersive couplings between the ground states and the first-excited states of the atom-cavity-fiber system produce a state-dependent Stark shift,which can be used to implement nonlocal phase gates between two logic qubits.The single-logic-qubit quantum gates are achieved by the local two-atom collision and the Stark shift of a single atom.During all the logic operations,the logic qubits remain in decoherence-free subspace and thus the operation is immune to collective dephasing.

Historical Reconstruction of the Literary Family

The process of reconstructing the history of the literary family is also a process of logical construction. By focusing on the transformation of political and cultural institutions and sorting through the historical evolution both of literature and of distinguished families, we can describe the historical evolution of the literary family in Chinese dynastic history, that is, the succession and the orderly progress of its three forms over three periods. The first period from the Han Dynasty to the Northern and Southern Dynasties saw the emergence of＂literary families of classical scholars,＂ and their evolutionary successors, ＂literary families with hereditary power.＂ In the second period of Sui and Tang Dynasties, this latter group coexisted and to some extent merged with ＂literary families of scholar-officials＂ in a composite form. The third period of Song, Ming and Qing Dynasties witnessed the continuation and transformation of the mainstream form of ＂literary families of scholar-officials.＂ In addition to the above groups, there existed a multiplicity of other forms. To construct an academic paradigm of the history of the literary family, we need to integrate four levels of research into an organic unity： research on individual literary families, research on families in specific periods and in specific regions, and research on the literary family across history.

Nomogram to predict primary non-response to infliximab in patients with Crohn’s disease:a multicenter study

Background:Infliximab(IFX)is effective at inducing and maintaining clinical remission and mucosal healing in patients with Crohn’s disease(CD);however,9%–40%of patients do not respond to primary IFX treatment.This study aimed to construct and validate nomograms to predict IFX response in CD patients.Methods:A total of 343 patients diagnosed with CD who had received IFX induction from four tertiary centers between September 2008 and September 2019 were enrolled in this study and randomly classified into a training cohort(n=240)and a validation cohort(n=103).The primary outcome was primary non-response(PNR)and the secondary outcome was mucosal healing(MH).Nomograms were constructed from the training cohort using multivariate logistic regression.Performance of nomograms was evaluated by area under the receiver-operating characteristic curve(AUC)and calibration curve.The clinical usefulness of nomograms was evaluated by decision-curve analysis.Results:The nomogram for PNR was developed based on four independent predictors:age,C-reactive protein(CRP)at week 2,body mass index,and non-stricturing,non-penetrating behavior(B1).AUC was 0.77 in the training cohort and 0.76 in the validation cohort.The nomogram for MH included four independent factors:baseline Crohn’s Disease Endoscopic Index of Severity,CRP at week 2,B1,and disease duration.AUC was 0.79 and 0.72 in the training and validation cohorts,respectively.The two nomograms showed good calibration in both cohorts and were superior to single factors and an existing matrix model.The decision curve indicated the clinical usefulness of the PNR nomogram.Conclusions:We established and validated nomograms for the prediction of PNR to IFX and MH in CD patients.This graphical tool is easy to use and will assist physicians in therapeutic decision-making.

Growth and in situ high-pressure reflection high energy electron difraction monitoring of oxide thin films

Interface and surface physics is an important sub-discipline within condensed matter physics in recent decades. Novel concepts like oxide-electronic device are prompted, and their performance and lifetime are highly dependent on the flatness and abruptness of the layer surfaces and interfaces. Reflection high-energy electron diffraction （RHEED）, which is extremely sensitive to surface morphology, has proven to be a versatile technique for the growth study of oxide thin films. A differential pumping unit enables an implementation of RHEED to pulsed laser deposition （PLD） systems, ensuring an in situ monitoring of the film growth process in a conventional PLD working oxygen pressure up to 30 Pa. By optimizing the deposition conditions and analyzing the RHEED intensity oscillations, layer-by-layer growth mode can be attained. Thus atomic control of the film surface and unit-cell control of the film thickness become reality. This may lead to an advanced miniaturization in the oxide electronics, and more importantly the discovery of a range of emergent physical properties at the interfaces. Herein we will briefly introduce the principle of high-pressure RHEED and summarize our main results relevant to the effort toward this objective, including the growth and characterization of twinned Laz/3Caj/3MnO3 thin films and ReTiO〉6/2 （Re = La, Nd; ~5 = 0 - 1） AnBnO3n＋2 structures, on YSZ-buffered ＇Silicon on Insulator＇ and LaA103 substrates, respectively, as well as the study of the initial structure and growth dynamics of YBazCu307-6 thin films on SrTiO3 substrate. Presently we have realized in situ monitoring and growth mode control during oxide thin film deposition process.