Lattice and metric completions of the classical logic metric space and a comparison 1
Authors: Shi, Hui-Xian | Li, Yong-Ming
Article Type: Research Article
Abstract: Based on the concept of truth degree for logical formulas, a pseudo-metric is constructed on the set of all classical propositional formulas, and a metric is naturally induced on the corresponding Lindenbaum algebra of Boolean type, which constitutes a metric space, called the classical logic metric space. We respectively study both lattice completions and metric completions of this space, and compare the two kinds of completions from the angle of lattice structure as well as metric structure. On one hand, it is proved that metric completions of the classical logic metric space are complete Boolean algebras, which also act as …lattice completions of the Lindenbaum algebra. On the other hand, it is pointed out that the normal lattice completion of the Lindenbaum algebra constitutes a Boolean algebra as well, which is strictly smaller than metric completions of the classical logic metric space in the sense of order-embedding. Also, the normal lattice completion can be seen as a dense subspace of the metric completions in the sense of isometry. Show more
Keywords: Truth degree, classical logic metric space, metric completion, lattice completion, D-poset
DOI: 10.3233/IFS-151987
Citation: Journal of Intelligent & Fuzzy Systems, vol. 30, no. 4, pp. 2181-2188, 2016
Temporal normal form for Linear Temporal Logic formulae 1
Authors: Shi, Hui-Xian | Li, Yong-Ming
Article Type: Research Article
Abstract: In the present paper, the concepts of characters as well as the least characters for LTL (Linear Temporal Logic) formulae are introduced. It is pointed out that those LTL formulae with characters can always be checked within finite steps during model checking even in some cases when the underlying transition system contains infinite states. What is more, the class of LTL formulae with characters can be characterized by full LTLn , the bounded case for LTL. Meanwhile, two types of temporal normal form for LTL formulae are proposed. A necessary and sufficient condition is given in which an LTL formula …has an equivalent formula in temporal normal form. Show more
Keywords: Linear Temporal Logic, transition system, character, temporal normal form
DOI: 10.3233/IFS-151874
Citation: Journal of Intelligent & Fuzzy Systems, vol. 30, no. 3, pp. 1657-1662, 2016
Evaluation of employee green behavior ability based on a fuzzy BWM-VIKOR approach
Authors: Feng, Xiangqian | Shi, Hui | Wei, Cuiping
Article Type: Research Article
Abstract: As a core resource of the company, employees play a major role to implement green management related behaviors in enterprises. Management department is also working hard to improve the ability of employees to perform these green behaviors for the company’s sustainable development capabilities. This study is the first effort that evaluation of effect factors of employee green behavior ability (EGBA) by intuitionistic fuzzy number-best worst method (IFN-BWM). To reach the study objective, a total of four criteria and twenty-seven sub-criteria for evaluation of EGBA are collected from the existing literatures. Subsequently, the PFN-VIKOR methodology (Pythagorean Fuzzy Number-Visekriterijumska Optimizacija I Kom-promisno …Resenje) is proposed to rank EGBA levels. The results of this study show that employee self-efficacy and employee initiative in learning relevant green knowledge are important factors to enhance EGBA. Moreover, findings confirm that extended fuzzy semantic values and novel algorithm can accurately measure the decision makers’ mind and improve the accuracy of evaluation. This study also provides a framework for managers to evaluate their employee’ green behavior ability. Show more
Keywords: Green behavior, Best-worst method, VIKOR, sustainability development
DOI: 10.3233/JIFS-212660
Citation: Journal of Intelligent & Fuzzy Systems, vol. 43, no. 1, pp. 1141-1162, 2022
Mechanistic study of ozonation of p-nitrophenol in aqueous solution
Authors: SHI, Hui-xiang | XU, Xian-wen | XU, Xin-hua | WANG, Da-hui | WANG, Qi-da
Article Type: Research Article
Abstract: Ozonlysis in the treatment of p-nitrophenol solution was studied in this paper. The results indicated that the decomposition of p-nitrophenol was accelerated as the gas flow rate or pH value increased. When gaseous ozone concentration was 20.11 mg/L and pH was 3, after 24 min reaction, the removal rate of p-nitrophenol reached 73.04%, 86.11%, 91.71 % and 95% at the gas flow rate of 32, 40, 48 and 56 ml/min respectively. And when pH was 3, 4, 5, 6, the decomposition rate was 66.38%, 82.09%, 90.46%, 97.50% after a 20 min reaction respectively. It was mainly O_3 molecule that took …part in the decomposition when pH was 3. The main intermediates during the decomposition include catechol, o-benzoquinone, hydroquinone, p-benzoquinone, phenol, fumaric acid, maleic acid, oxalic acid and formic acid. The decomposition mechanism of p-nitrophenol was also discussed. Show more
Keywords: ozonation, p-nitrophenol, decomposition, mechanism
Citation: Journal of Environmental Sciences, vol. 17, no. 6, pp. 926-929, 2005
Colivelin Ameliorates Impairments in Cognitive Behaviors and Synaptic Plasticity in APP/PS1 Transgenic Mice
Authors: Wu, Meina | Shi, Hui | He, Yexin | Yuan, Li | Qu, Xuesong | Zhang, Jun | Wang, Zhaojun | Cai, Hongyan | Qi, Jinshun
Article Type: Research Article
Abstract: Alzheimer’s disease (AD) is the most common cause of dementia, and effective therapeutics are lacking. Colivelin (CLN), a novel, strong humanin derivative, is effective in vitro in preventing cell death induced by AD-causative genes and amyloid-β protein (Aβ) even at a low concentration. We recently demonstrated that intrahippocampal injection of CLN prevents Aβ25–35 -induced deficits in spatial memory and synaptic plasticity in normal rats. Here, we further observed the effects of chronically intranasally (i.n.) administered CLN on cognitive behaviors and pathological hallmarks in 9-month-old APPswe/PS1dE9 (APP/PS1) AD mice using multiple behavioral tests and immunochemistry. The electrophysiological mechanism of CLN neuroprotection …was also investigated by recording in vivo hippocampal long-term potentiation (LTP). CLN pretreatment effectively prevented impairments in new object recognition, working memory, and long-term spatial memory and reversed the depression of in vivo hippocampal LTP in APP/PS1 mice. Additionally, chronic application of CLN obviously reduced Aβ deposition in the hippocampus in APP/PS1 mice. These results indicate that CLN has strong neuroprotective effects on learning and memory behaviors in APP/PS1 mice and that this behavioral improvement is closely associated with the reduction of Aβ deposition and alleviation of LTP suppression in the hippocampus, supporting the potential of CLN for the prevention and treatment of AD. Show more
Keywords: Amyloid-β protein, APP/PS1 transgenic mice, colivelin, learning and memory, long-term potentiation
DOI: 10.3233/JAD-170307
Citation: Journal of Alzheimer's Disease, vol. 59, no. 3, pp. 1067-1078, 2017
Predicting malignancy in thyroid nodules with benign cytology results: The role of Conventional Ultrasound, Shear Wave Elastography and BRAF V600E
Authors: Zhang, Ying | Lu, Feng | Shi, Hui | Guo, Le-Hang | Wei, Qing | Xu, Hui-Xiong | Zhang, Yi-Feng
Article Type: Research Article
Abstract: BACKGROUND: Ultrasound-guided fine-needle aspiration (US-FNA) is the most accurate method for preoperative diagnosis of thyroid nodules, but how to deal with false negative results? OBJECTIVE: This study aimed to find preoperative diagnosis methods including Conventional Ultrasound (CUS), Shear Wave Elastography (SWE) and BRAF V600E testing to differentiate false negative nodules. METHODS: Forty-nine nodules in 49 patients with benign FNA results and pathological diagnoses were included. CUS and SWE features were evaluated. BRAF V600E analysis was performed after FNA. Diagnostic performances of three methods were analyzed in predicting malignancy in benign FNA results. RESULTS: Twenty-seven of 49 nodules were malignant, and …22 nodules were benign. Hypoechogenicity, taller-than-wider, irregular boundary, microcalcification, SWE max, SWE mean and BRAF V600E mutation were risk factors for malignancy. All 7 malignant nodules with BRAF V600E mutations and 18 of 20 malignant nodules without BRAF V600E mutations have two or more suspicious CUS features. Six of 7 malignant nodules with BRAF V600E mutations and 16 of 20 malignant nodules without BRAF V600E mutations had SWE mean value greater than the cut-off value. CONCLUSIONS: CUS, SWE and BRAF V600E were diagnostic tools for malignancy in FNA benign nodules. Further clinical decisions should be considered for nodules with two or more suspicious CUS features and SWE parameters greater than cut-off values whether BRAF V600E is mutational or not. Show more
Keywords: Conventional Ultrasound, Shear Wave Elastography, fine needle aspiration, BRAF V600E
DOI: 10.3233/CH-211337
Citation: Clinical Hemorheology and Microcirculation, vol. 81, no. 1, pp. 33-45, 2022
Mutation transit search algorithm introducing black hole swallowing strategy to solve p-hub location allocation problem
Authors: Xing, Yu-Xuan | Wang, Jie-Sheng | Zhang, Shi-Hui | Bao, Yin-Yin | Zheng, Yue | Zhang, Yun-Hao
Article Type: Research Article
Abstract: The p-Hub allocation problem is a classic problem in location assignment, which aims to optimize the network by placing Hub devices and allocating each demand node to the corresponding Hub. A mutation Transit search (TS) algorithm with the introduction of the black hole swallowing strategy was proposed to solve the p-Hub allocation problem. Firstly, the mathematical model for the p-Hub allocation problem is established. Six mutation operators specifically designed for p-Hub allocation problem are introduced to enhance the algorithm’s ability to escape local optima. Additionally, the black hole swallowing strategy was incorporated into TS algorithm so as to accelerate its …convergence rate while ensuring sufficient search in the solution space. The improved TS algorithm was applied to optimize three p-Hub location allocation problems, and the simulation results are compared with those of the basic TS algorithm. Furthermore, the improved TS algorithm is compared with the Honey Badger Algorithm (HBA), Sparrow Search Algorithm (SSA), Harmony Search Algorithm (HS), and Particle Swarm Optimization (PSO) to solve three of p-Hub allocation problems. Finally, the impact of the number of Hubs on the cost of three models was studied, and the simulation results validate the effectiveness of the improved TS algorithm. Show more
Keywords: p-Hub allocation problem, transit search algorithm, black hole strategy, mutation operator
DOI: 10.3233/JIFS-234695
Citation: Journal of Intelligent & Fuzzy Systems, vol. 45, no. 6, pp. 12213-12232, 2023
Ultrasound findings and clinical characteristics in differentiating renal urothelial carcinoma from endophytic clear cell renal cell carcinoma
Authors: Jin, Dong-Dong | Lin, Jin-Hua | Li, Shi-Hui | Zhuang, Bo-Wen | Xie, Xiao-Yan | Xie, Xiao-Hua | Wang, Yan
Article Type: Research Article
Abstract: OBJECTIVE: This study aimed to evaluate the clinical characteristics and features of conventional ultrasound (CUS) and contrast-enhanced ultrasound (CEUS) in differentiating between renal urothelial carcinomas (RUC) and endophytic clear cell renal cell carcinomas (EccRCC). METHODS: A total of 72 RUCs and 120 EccRCCs confirmed by pathology were assessed retrospectively. Both CUS and CEUS were performed within 4 weeks before the surgery. Logistic regression analyses were used to select statistically significant variables of clinical, CUS, and CEUS features for the differentiation of RUC and EccRCC. Sensitivity (SEN), specificity (SPE), and the area under the receiver-operating characteristic curve (AUC) were assessed for …diagnostic performance. Inter- and intra-observer agreements of CUS and CEUS features were evaluated using the intra-class correlation coefficient(ICC). RESULTS: Multiple logistic regression analysis demonstrated that clinical (age >50 years old and hematuria), CUS (size <4.0 cm, hypo-echogenicity, irregular shape, hydronephrosis) and CEUS (absence of non-enhancement area, iso- /hypo-enhancement in cortical phase and absence of rim-like enhancement) features were independent factors for RUC diagnosis. When combining clinical characters with CUS and CEUS features into an integrated diagnostic criterion, the AUC reached 0.917 (95% CI 0.873–0.961), with a sensitivity of 95.8% and specificity of 87.5%. ICC ranged from 0.756 to 0.907 for inter-observer agreement and 0.791 to 0.934 for intra-observer agreement for CUS and CEUSfeatures. CONCLUSIONS: The combination of clinical features of age and hematuria with imaging features of CUS and CEUS can be useful for the differentiation between RUC and EccRCC. Show more
Keywords: Contrast-enhanced ultrasound, conventional ultrasound, urothelial carcinomas, endophytic clear cell renal cell carcinomas, differential diagnosis
DOI: 10.3233/CH-242119
Citation: Clinical Hemorheology and Microcirculation, vol. Pre-press, no. Pre-press, pp. 1-15, 2024
Investigating Statistical Epistasis in Complex Disorders
Authors: Turton, James C. | Bullock, James | Medway, Christopher | Shi, Hui | Brown, Kristelle | Belbin, Olivia | Kalsheker, Noor | Carrasquillo, Minerva M. | Dickson, Dennis W. | Graff-Radford, Neill R. | Petersen, Ronald C. | Younkin, Steven G. | Morgan, Kevin
Article Type: Research Article
Abstract: The missing heritability exhibited by late-onset Alzheimer's disease is unexplained and has been partly attributed to epistatic interaction. Methods available to explore this are often based on logistic regression and allow for determination of deviation from an expected outcome as a result of statistical epistasis. Three such methodologies including Synergy Factor and the PLINK modules, –epistasis and –fast-epistasis, were applied to study an epistatic interaction between interleukin-6 and interleukin-10. The models analyzed consisted of two synergistic interactions (SF ≈ 4.2 and 1.6) and two antagonistic interactions (SF ≈ 0.9 and 0.6). As with any statistical test, power to detect association …is paramount; and most studies will be underpowered for the task. However, the availability of large sample sizes through genome-wide association studies make it feasible to examine approaches for determining epistatic interactions. This study documents the sample sizes needed to achieve a statistically significant outcome from each of the methods examined and discusses the limitations/advantages of the chosen approaches. Show more
Keywords: Complex disorders, epistasis, LOAD, modeling, PLINK, synergy factor
DOI: 10.3233/JAD-2011-110197
Citation: Journal of Alzheimer's Disease, vol. 25, no. 4, pp. 635-644, 2011
DAla2-GIP-GLU-PAL Protects Against Cognitive Deficits and Pathology in APP/PS1 Mice by Inhibiting Neuroinflammation and Upregulating cAMP/PKA/CREB Signaling Pathways
Authors: Yuan, Li | Zhang, Jun | Guo, Jun-Hong | Holscher, Christian | Yang, Jun-Ting | Wu, Mei-Na | Wang, Zhao-Jun | Cai, Hong-Yan | Han, Ling-Na | Shi, Hui | Han, Yu-Fei | Qi, Jin-Shun
Article Type: Research Article
Abstract: Background: Alzheimer’s disease (AD) is a neurodegenerative disease characterized by progressive decline in cognitive function. Type 2 diabetes mellitus (T2DM) is an important risk factor for AD. Glucose-dependent insulinotropic polypeptide (GIP) has been identified to be effective in T2DM treatment and neuroprotection. Objective: The present study investigated the neuroprotective effects and possible mechanisms of DAla2GIP-Glu-PAL, a novel long-lasting GIP analogue, in APP/PS1 AD mice. Methods: Multiple behavioral tests were performed to examine the cognitive function of mice. In vivo hippocampus late-phase long-term potentiation (L-LTP) was recorded to reflect synaptic plasticity. Immunohistochemistry and immunofluorescence were used to examine the Aβ plaques …and neuroinflammation in the brain. IL-1β, TNF-α , and cAMP/PKA/CREB signal molecules were also detected by ELISA or western blotting. Results: DAla2GIP-Glu-PAL increased recognition index (RI) of APP/PS1 mice in novel object recognition test, elevated spontaneous alternation percentage of APP/PS1 mice in Y maze test, and increased target quadrant swimming time of APP/PS1 mice in Morris water maze test. DAla2GIP-Glu-PAL treatment enhanced in vivo L-LTP of APP/PS1 mice. DAla2GIP-Glu-PAL significantly reduced Aβ deposition, inhibited astrocyte and microglia proliferation, and weakened IL-1β and TNF-α secretion. DAla2GIP-Glu-PAL also upregulated cAMP/PKA/CREB signal transduction and inhibited NF-κ B activation in the hippocampus of APP/PS1 mice. Conclusion: DAla2GIP-Glu-PAL can improve cognitive behavior, synaptic plasticity, and central pathological damage in APP/PS1 mice, which might be associated with the inhibition of neuroinflammation, as well as upregulation of cAMP-/PKA/CREB signaling pathway. This study suggests a potential benefit of DAla2GIP-Glu-PAL in the treatment of AD. Show more
Keywords: Amyloid-β, cognitive behaviors, DAla2GIP-Glu-PAL, long-term synaptic plasticity, neuroinflammation
DOI: 10.3233/JAD-201262
Citation: Journal of Alzheimer's Disease, vol. 80, no. 2, pp. 695-713, 2021