186 results on '"Lina Ye"'
Search Results
52. An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems.
- Author
-
Lina Ye, Philippe Dague, and Yuhong Yan
- Published
- 2009
- Full Text
- View/download PDF
53. A Decentralized Model-Based Diagnosis for BPEL Services.
- Author
-
Yingmin Li, Lina Ye, Philippe Dague, and Tarek Melliti
- Published
- 2009
- Full Text
- View/download PDF
54. Decentralized Diagnosis for BPEL Web Services.
- Author
-
Lina Ye and Philippe Dague
- Published
- 2008
55. Electrochemical Characterization of Bis‐Cobalt Hexaphyrin: A Selective Electrocatalyst for the Two‐Electron Reduction of Oxygen in Acid Media
- Author
-
Rui Guo, Karl M. Kadish, Lina Ye, Yuanyuan Fang, Ru Feng, Zhongping Ou, and Minyuan Chen
- Subjects
Reduction (complexity) ,Chemistry ,Inorganic chemistry ,Electrochemistry ,chemistry.chemical_element ,Oxygen reduction reaction ,Electron ,Electrocatalyst ,Cobalt ,Oxygen ,Catalysis ,Characterization (materials science) - Published
- 2021
- Full Text
- View/download PDF
56. Numerical Method Based on the Lattice Boltzmann Model for the Kuramoto-Sivashinsky Equation.
- Author
-
Lina Ye, Guangwu Yan, and Tingting Li
- Published
- 2011
- Full Text
- View/download PDF
57. Fault Manifestability Verification for Discrete Event Systems.
- Author
-
Lina Ye, Philippe Dague, Delphine Longuet, Laura Brandán Briones, and Agnes Madalinski
- Published
- 2016
- Full Text
- View/download PDF
58. An extremely tough and ionic conductive natural-polymer-based double network hydrogel
- Author
-
Lina Ye, Xingyue Sun, Yongzhi Liang, and Haiyi Liang
- Subjects
Toughness ,Materials science ,food.ingredient ,Cell Survival ,Polymers ,Static Electricity ,Composite number ,Biomedical Engineering ,Ionic bonding ,Biocompatible Materials ,Gelatin ,Cell Line ,Mice ,Wearable Electronic Devices ,chemistry.chemical_compound ,food ,Elastic Modulus ,Animals ,Ionic conductivity ,General Materials Science ,Composite material ,chemistry.chemical_classification ,Polysaccharides, Bacterial ,Electric Conductivity ,Hydrogels ,General Chemistry ,General Medicine ,Polymer ,Gellan gum ,chemistry ,Self-healing hydrogels - Abstract
Hydrogels are widely used in fields such as drug delivery, tissue regeneration, soft robotics and flexible smart electronic devices, yet their application is often limited by unsatisfactory mechanical behaviors. Among the various improvement strategies, double network (DN) hydrogels from synthetic polymers demonstrated impressive mechanical properties, while those from natural polymers were usually inferior. Here, a novel DN hydrogel composed fully of natural polymers exhibiting remarkable mechanical properties and conductivity is prepared by simply soaking a virgin gellan gum/gelatin composite hydrogel in a mixed solution of Na2SO4 and (NH4)2SO4. This hydrogel exhibits a tunable Young's modulus (0.08 to 42.6 MPa), good fracture stress (0.05 to 7.5 MPa), good fracture stretch (1.4 to 7.1), high fracture toughness (up to 27.7 kJ m−2), and high ionic conductivity (up to 11.4 S m−1 at f = 1 kHz). The improvement in the mechanical properties of the DN gel is attributed to the chain-entanglement crosslinking points introduced by SO42− in the gelatin network and the electrostatic interaction crosslinking points introduced by Na+ in the gellan gum network. The high ionic conductivity of the DN gel is attributed to the infiltration of the DN gel in a salt solution of high concentration. The developed gellan gum/gelatin DN hydrogel has shown a new pathway towards strengthening natural-polymer-based DN hydrogels and towards potential applications in biomedical engineering and flexible electronic devices.
- Published
- 2021
- Full Text
- View/download PDF
59. DFT insights into the Ni-catalyzed regioselective hydrocarboxylation of unsaturated alkenes with CO2
- Author
-
Wan Nie, Haizhu Yu, Chengyu Yao, Yifan Shao, and Lina Ye
- Subjects
Inorganic Chemistry ,Carbonic acid ,chemistry.chemical_compound ,chemistry ,Hydride ,Carbon dioxide ,Regioselectivity ,Density functional theory ,Combinatorial chemistry ,Catalysis - Abstract
The nickel-catalyzed hydrocarboxylation of alkenes using carbon dioxide has recently become an appealing method to prepare functionalized carboxylic acids with high efficiency and regioselectivity. Herein, density functional theory (DFT) calculations were conducted on the Ni-catalyzed hydrocarboxylation of aryl-/alkyl-substituted alkenes with CO2. The α- and β-carboxylation of aromatic and aliphatic olefins originate from distinct catalytic cycles: H-transfer–carboxylation and carboxylation–H-transfer pathways. The typical hydrometallation–carboxylation mechanism is unlikely because water/carbonic acid (H-resource) are inferior hydride donors.
- Published
- 2021
- Full Text
- View/download PDF
60. Extremely stretchable and tough hybrid hydrogels based on gelatin, κ-carrageenan and polyacrylamide
- Author
-
Xingyue Sun, Lina Ye, and Haiyi Liang
- Subjects
Toughness ,food.ingredient ,Materials science ,Polyacrylamide ,Acrylic Resins ,technology, industry, and agriculture ,Hydrogels ,General Chemistry ,Carrageenan ,Condensed Matter Physics ,Polyelectrolytes ,Gelatin ,Polyelectrolyte ,chemistry.chemical_compound ,Fracture toughness ,food ,Brittleness ,chemistry ,visual_art ,Self-healing hydrogels ,visual_art.visual_art_medium ,Composite material ,Acrylic resin - Abstract
Nowadays, several approaches are being suggested to endow hydrogels with improved mechanical properties for practical applications as cartilage and skin replacements, soft electronics, and actuators. However, it remains a challenge to develop DN gels with both high fracture toughness and fracture stretch. Here, we introduce (bio)polyelectrolyte complexes (PECs) consisting of gelatin and κ-carrageenan as the first brittle network and covalently crosslinked polyacrylamide (PAAm) as the second stretchable network to fabricate a highly stretchable and notch-insensitive gelatin/κ-carrageenan/PAAm hydrogel. The unprecedented high stretchability (∼51.7) is ascribed to the reduction of stress concentration and defects in the network structure through the fracture of the PEC gel. In addition, a high fracture toughness (∼16053.34 J m-2) is achieved by effective energy transfer between the PECs and PAAm gel due to their covalent crosslinking, and efficient energy dissipation through destroying inter- and intramolecular interactions in the PEC gel.
- Published
- 2021
- Full Text
- View/download PDF
61. Stiff and strong hydrogel tube with great mechanical properties and high stability in various solutions
- Author
-
Qiong Lv, Xingyue Sun, Lina Ye, and Haiyi Liang
- Subjects
Elastic Modulus ,Biomedical Engineering ,General Materials Science ,Biocompatible Materials ,Hydrogels ,General Chemistry ,General Medicine - Abstract
Hydrogel tubes are widely used in fields such as artificial blood vessels, drug delivery, biomedical scaffolds and cell adhesion, yet their application is often limited by unsatisfactory mechanical properties and poor stability in various solutions. Herein, a novel hydrogel tube exhibiting a remarkable mechanical performance and stability in various solutions is prepared by introducing a dual physically cross-linked double network (DN) hydrogel matrix. The obtained hydrogel tube can withstand ∼60 N load without fracture and be stretched to over twice its original length before and after immersing in various solutions. The great mechanical properties and stability in various solutions of hydrogel tubes are due to the introduction of a dual physically cross-linked poly(acrylamide
- Published
- 2022
62. Analysis of Recurrent Neural Networks via Property-Directed Verification of Surrogate Models
- Author
-
Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Carl Von Ossietzky Universität Oldenburg, Max Planck Institute for Software Systems (MPI-SWS), Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12), Universität zu Lübeck = University of Lübeck [Lübeck], Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg (OFFIS), and Bollig, Benedikt
- Subjects
[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] ,Software ,Information Systems ,[INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] - Abstract
This paper presents a property-directed approach to verifying recurrent neural networks (RNNs). To this end, we learn a deterministic finite automaton as a surrogate model from a given RNN using active automata learning. This model may then be analyzed using model checking as a verification technique. The term property-directed reflects the idea that our procedure is guided and controlled by the given property rather than performing the two steps separately. We show that this not only allows us to discover small counterexamples fast, but also to generalize them by pumping toward faulty flows hinting at the underlying error in the RNN. We also show that our method can be efficiently used for adversarial robustness certification of RNNs.
- Published
- 2022
63. A Meta-Analysis of the Duck Hepatitis a Virus Vaccine Protection Rate in Mainland China in 2009–2021
- Author
-
Lina Ye, Siyu Zhou, Xueping Zhang, and Tangjie Zhang
- Subjects
History ,Polymers and Plastics ,Business and International Management ,Industrial and Manufacturing Engineering - Published
- 2022
- Full Text
- View/download PDF
64. Pregnancy-Associated Listeriosis in a Tertiary Hospital in Ningbo, Zhejiang, China: A Retrospective Study
- Author
-
Yefang Ke, Lina Ye, Pan Zhu, Ying Sun, and Zhe Zhu
- Abstract
Background Pregnancy-associated listeriosis is a severe infectious disease and potentially leading to fetal/neonatal fatal. Limited information on pregnancy-associated listeriosis is available in China. Methods We performed a retrospective study on maternal and neonatal patients with pregnancy-associated listeriosis. The clinical characteristics of pregnancy-associated listeriosis were studied, and the outcome determinants of neonatal listeriosis were explored. Results 14 cases of pregnancy-associated listeriosis were identified. The incidence of pregnancy-associated listeriosis in our hospital was 16.69/100,000 births. All of the 14 maternal patients eventually recovered after delivery shortly with no sequelae. None of the 12 mothers who delivered in this hospital received antepartum first-line empirical treatment. Among the 14 neonatal cases, 1 was late onset listeriosis and 13 were early onset cases; 11 survived and 3 died. Fatality rates were significantly higher in outborn neonates (P=0.005). Besides, higher mortality rates were observed in neonates with lower birth weight (P=0.038), gestational ageP=0.056), and Apgar score (5th min) P=0.056), with marginally significant differences. Conclusions There is a neglected burden of pregnancy-associated listeriosis in our hospital. Timely and optimal resuscitative measures are considered to be important to reduce mortality of neonatal listeriosis. Listeriosis should be considered in the differential diagnosis of pregnancy-associated infections.
- Published
- 2021
- Full Text
- View/download PDF
65. GINS2 regulates the proliferation and apoptosis of colon cancer cells through PTP4A1
- Author
-
Hao Hu, Lina Ye, and Zhe Liu
- Subjects
Cancer Research ,Chromosomal Proteins, Non-Histone ,Membrane Proteins ,Apoptosis ,Cell Cycle Proteins ,Cell Cycle Checkpoints ,Biochemistry ,Cell Line ,Gene Expression Regulation, Neoplastic ,Oncology ,Colonic Neoplasms ,Genetics ,Molecular Medicine ,Humans ,Protein Tyrosine Phosphatases ,Tumor Suppressor Protein p53 ,Molecular Biology ,Cell Proliferation - Abstract
Colon cancer is associated with high death rates worldwide and poses a serious threat to public health. GINS complex subunit 2 (GINS2) serves a carcinogenic role in many cancers, including gastric adenocarcinoma, ovarian cancer and pancreatic cancer. However, the specific function of GINS2 in the development of colon cancer has not been described in detail. The present study aimed to clarify the role of GINS2 in colon cancer. A Cell Counting Kit‑8 assay, EdU staining, TUNEL and flow cytometry analyses were performed to determine the levels of cell viability, proliferation and apoptosis and to evaluate the cell cycle. Through the analysis of BioGrid, a Protein‑Protein Interaction database, it was hypothesized that protein tyrosine phosphatase 4A1 (PTP4A1) is a protein that might interact with GINS2, which was then validated using a co‑immunoprecipitation assay. mRNA and protein levels were measured using reverse transcription‑quantitative PCR and western blotting, respectively. The results of the present study demonstrated that GINS2 expression levels were increased in colon cancer cells. Furthermore, GINS2 knockdown inhibited the proliferation of colon cancer cells, while the levels of cell cycle arrest and apoptosis were increased. By interacting with PTP4A1, GINS2 promoted the expression of PTP4A1, a novel p53 target. GINS2 knockdown was increased, while PTP4A1 overexpression decreased the protein level of p53. Notably, PTP4A1 overexpression partly reversed the effects of GINS2 downregulation on colon cancer cells. Therefore, the present study demonstrated that GINS2 regulated the proliferation and apoptosis of colon cancer cells through PTP4A1/p53 pathway, highlighting that GINS2 may serve as a novel molecular marker for colon cancer prevention and therapy.
- Published
- 2021
66. DFT insights into the Ni-catalyzed regioselective hydrocarboxylation of unsaturated alkenes with CO
- Author
-
Yifan, Shao, Wan, Nie, Chengyu, Yao, Lina, Ye, and Haizhu, Yu
- Abstract
The nickel-catalyzed hydrocarboxylation of alkenes using carbon dioxide has recently become an appealing method to prepare functionalized carboxylic acids with high efficiency and regioselectivity. Herein, density functional theory (DFT) calculations were conducted on the Ni-catalyzed hydrocarboxylation of aryl-/alkyl-substituted alkenes with CO
- Published
- 2021
67. Axial coordination reactions with nitrogenous bases and determination of equilibrium constants for zinc tetraarylporphyrins containing four β,β′-fused butano and benzo groups in nonaqueous media
- Author
-
Lina Ye, Yuanyuan Fang, Zhongping Ou, Liping Wang, Songlin Xue, Yang Lu, and Karl M. Kadish
- Published
- 2021
- Full Text
- View/download PDF
68. A Coloured Petri Nets Based Attack Tolerance Framework
- Author
-
Lina Ye, Philippe Dague, Lei Liu, Fatiha Zaïdi, Wenbo Zhou, Jilin University, Ministry of Education of China, Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Modeling and Exploitation of Interaction and Concurrency (MEXICO), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), IEEE, and CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Attack tolerance ,Computer science ,business.industry ,IT service continuity ,Data_MISCELLANEOUS ,020207 software engineering ,Medical information ,Cloud computing ,02 engineering and technology ,Petri net ,computer.software_genre ,Computer security ,Formal methods ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,[INFO]Computer Science [cs] ,Web service ,business ,computer - Abstract
International audience; Web services provide a general basis of convenient access and operation for cloud applications. However, such services become very vulnerable when being attacked, especially in the situation where service continuity is one of the most important requirements. This issue highlights the necessity to apply reliable and formal methods to attack tolerance in Web services. In this paper, we propose a Coloured Petri Nets based method for attack tolerance by modelling and analysing basic behaviours of attack-network interaction, attack detectors and their tolerance solutions. Furthermore, complex attacks can be analysed and tolerance solutions deployed by identifying these basic attack-network interactions and composing their solutions. The validity of our method is demonstrated through a case study on attack tolerance in cloud-based medical information storage.
- Published
- 2020
- Full Text
- View/download PDF
69. Monoclonal Antibodies Specific to the Extracellular Domain of Histidine Kinase YycG of Staphylococcus epidermidis Inhibit Biofilm Formation
- Author
-
Huayong Liu, Lina Ye, Di Qu, Ting Gong, Yang Wu, Zhihui Lyu, Yongpeng Shang, Xiaofei Wang, and Jinxin Zheng
- Subjects
Microbiology (medical) ,YycG histidine kinase ,medicine.drug_class ,lcsh:QR1-502 ,Monoclonal antibody ,Microbiology ,lcsh:Microbiology ,Epitope ,biofilm ,03 medical and health sciences ,Staphylococcus epidermidis ,medicine ,Extracellular ,030304 developmental biology ,Original Research ,0303 health sciences ,biology ,030306 microbiology ,Chemistry ,Histidine kinase ,Biofilm ,biochemical phenomena, metabolism, and nutrition ,biology.organism_classification ,epitope mapping ,Epitope mapping ,two-component system ,biology.protein ,Antibody - Abstract
Staphylococcus epidermidis is frequently associated with biofilm-related infections. Biofilms drastically reduce the efficacy of conventional antibiotics and the host immune system. In S. epidermidis biofilm formation, a major role is played by the YycG/YycF two-component system, and previous findings have indicated that inhibitors targeting the cytoplasmic HATPase_c domain of YycG kinase in S. epidermidis exhibit bactericidal and biofilm-killing activities. Therefore, we hypothesized that monoclonal antibodies (mAbs) against YycG extracellular (YycGex) domain would block the signal transduction and influence the biofilm formation of S. epidermidis. In this study, we screened out two YycGex-specific mAbs showing the highest affinity for the target, mAbs 2F3 and 1H1. These mAbs inhibited S. epidermidis biofilm formation in a dose-dependent manner, and at a concentration of 160 μg/mL, mAbs 2F3 and 1H1 caused 78.3 and 93.1% biofilm reduction, respectively, relative to normal mouse IgG control. When co-cultivated with YycGex mAbs, S. epidermidis cells showed diminished initial-adherence capacity, and the antibody treatment further led to a marked decrease in the synthesis of polysaccharide intercellular adhesin and in the transcriptional level of genes encoding proteins involved in biofilm formation. Lastly, we determined that the epitopes recognized by the two YycGex mAbs are located within aa 59–70 of the YycGex domain. It indicates that the YycGex domain may be a potential candidate as a vaccine for the prevention of S. epidermidis biofilm infections.
- Published
- 2020
70. Axial coordination reactions with nitrogenous bases and determination of equilibrium constants for zinc tetraarylporphyrins containing four β,β′-fused butano and benzo groups in nonaqueous media
- Author
-
Songlin Xue, Liping Wang, Yuanyuan Fang, Yang Lu, Karl M. Kadish, Zhongping Ou, and Lina Ye
- Subjects
chemistry.chemical_compound ,Chemistry ,Nitrogenous base ,chemistry.chemical_element ,General Chemistry ,Zinc ,Determination of equilibrium constants ,Medicinal chemistry ,Equilibrium constant - Abstract
The axial coordination properties of six zinc tetraarylporphyrins with seven different nitrogenous bases were examined in CH2Cl2 for derivatives containing four [Formula: see text],[Formula: see text]-fused butano or benzo groups and the equilibrium constants (log[Formula: see text] determined using spectral titration methods. The examined compounds are represented as butano(YPh)4PorZn and benzo(YPh)4PorZn, where Por is the porphyrin dianion and Y is a CH3, H or Cl substituent on the para-position of each meso-phenyl ring of the macrocycle. The initial four-coordinate butano- and benzoporphyrins will axially bind one nitrogenous base to form five-coordinate derivatives in CH2Cl2 and this leads to a 4–22 nm red-shift of the Soret and Q bands. The log[Formula: see text] values range from 1.98 to 4.69 for butano(YPh)4PorZn and from 3.42 to 5.36 for benzo(YPh)4PorZn, with the exact value depending upon the meso and [Formula: see text]-substituents of the porphyrin and the conjugate acid dissociation constants (p[Formula: see text] of the nitrogenous base.
- Published
- 2019
- Full Text
- View/download PDF
71. Coupled CRC 2D and ALI 3D Cultures Express Receptors of Emerging Viruses and Are More Suitable for the Study of Viral Infections Compared to Conventional Cell Lines
- Author
-
Ming Wu, Zhang Kang, Tao Zhang, Zeng Zhihong, Wenbin Gao, Hui Li, Si Chen, Xiang Long, Lina Ye, Shisong Fang, Yan Yang, Jun Liu, Siyu Xia, and Cai Kaihong
- Subjects
0301 basic medicine ,Article Subject ,030102 biochemistry & molecular biology ,medicine.drug_class ,viruses ,Cell ,Cell Biology ,Biology ,RC31-1245 ,Virology ,Virus ,In vitro ,respiratory tract diseases ,03 medical and health sciences ,030104 developmental biology ,medicine.anatomical_structure ,Cell culture ,medicine ,Antiviral drug ,Internal medicine ,Molecular Biology ,Reprogramming ,Tropism ,Cytopathic effect ,Research Article - Abstract
Infections of emerging and reemerging viruses (SARS-CoVs, influenza H1N1, etc.) largely and globally affect human health. Animal models often fail to reflect a physiological status because of species tropism of virus infection. Conventional cell lines are usually genetically and phenotypically different from primary cells. Developing an in vitro physiological model to study the infection of emerging viruses will facilitate our understanding of virus-host cell interactions, thereby benefiting antiviral drug discovery. In the current work, we first established normal airway epithelial cells (upper and lower airway track) in 2D and 3D culture systems using conditional reprogramming (CR) and air-liquid interface (ALI) techniques. These long-term cultures maintained differentiation potential. More importantly, these cells express two types of influenza virus receptors, α2-6-Gal- and α2-3-Gal-linked sialic acids, and angiotensin-converting enzyme 2 (ACE2), a receptor for SARS-CoVs as well. These cells were permissive to the infection of pandemic influenza H1N1 (H1N1pdm). In contrast, the lung cancer cell line A549 and immortalized airway epithelial cells (16HBE) were not susceptible to H1N1 infection. A virus-induced cytopathic effect (CPE) on 2D CRC cultures developed in a time-dependent manner. The pathological effects were also readily observed spreading from the apical layer to the basal layer of the 3D ALI culture. This integrated 2D CRC and 3D ALI cultures provide a physiological and personalized in vitro model to study the infection of emerging viruses. This novel model can be used for studying virus biology and host response to viral infection and for antiviral drug discovery.
- Published
- 2020
72. Electrochemistry of zinc tetraarylporphyrins containing fused butano and benzo groups. Effect of solvent and substituents on spectra, potentials and mechanism in nonaqueous media
- Author
-
Jing Sun, Liping Wang, Yuanyuan Fang, Zhongping Ou, Lina Ye, Songlin Xue, and Karl M. Kadish
- Subjects
Solvent ,010405 organic chemistry ,Chemistry ,Polymer chemistry ,chemistry.chemical_element ,General Chemistry ,Zinc ,010402 general chemistry ,Electrochemistry ,01 natural sciences ,Spectral line ,0104 chemical sciences - Abstract
Two series of zinc tetraarylporphyrins containing four [Formula: see text],[Formula: see text]′-pyrrole fused butano or benzo groups were synthesized and characterized as to their electrochemical and spectroelectrochemical properties in nonaqueous media. The examined compounds are represented as butano(Ar)4PorZn and benzo(Ar)4PorZn, where Por is the porphyrin dianion and Ar is a [Formula: see text]-CH3Ph, Ph or [Formula: see text]-ClPh substitutent on [Formula: see text]-positions of the macrocycle. Each Zn(II) butano- and benzoporphyrin undergoes two one-electron reductions to give a [Formula: see text]-anion radical and dianion in CH2Cl2. In contrast, three reductions were observed for the benzoporphyrin derivatives in pyridine, the third of which is assigned as electron addition to a benzophlorin anion generated from the doubly reduced benzoporphyrin. Two overlapped one-electron oxidations were observed for the butanoporphyrins in CH2Cl2, a result not previously observed for any other zinc porphyrin. The electrochemically measured HOMO-LUMO gap of the benzoporphyrins ranges from 1.89 to 1.90 V in CH2Cl2 and from 1.93 to 1.95 V in pyridine. Both values are smaller than the gaps of butanoporphyrins at 2.11-2.13 V in CH2Cl2 and 2.07.2.09 V in pyridine.
- Published
- 2018
- Full Text
- View/download PDF
73. Conditionally reprogrammed human normal bronchial epithelial cells express comparable levels of cytochromes p450 and are sensitive to BaP induction
- Author
-
Lina Ye, Xiang Long, Qing Bai, Hui Li, Wu Xiaoting, Lin Ye, Jianjun Liu, Yu Chen, and Zhang Zhengbao
- Subjects
0301 basic medicine ,Cell Survival ,DNA damage ,Biophysics ,Bronchi ,Endogeny ,Biochemistry ,Structure-Activity Relationship ,03 medical and health sciences ,Cytokeratin ,0302 clinical medicine ,Cytochrome P-450 Enzyme System ,Benzo(a)pyrene ,Humans ,RNA, Messenger ,Molecular Biology ,Cells, Cultured ,Messenger RNA ,Matrigel ,Dose-Response Relationship, Drug ,Chemistry ,Epithelial Cells ,Cell Biology ,respiratory system ,Cell biology ,030104 developmental biology ,030220 oncology & carcinogenesis ,Toxicity ,Reprogramming ,Immortalised cell line - Abstract
Cytochromes p450 (CYPs) metabolize thousands of endogenous and exogenous chemicals, including toxic compounds and drugs. The primary cells have relative short life span and are not able to sustain levels of metabolic enzymes CYPs expression and activity long enough in vitro. The immortalized cell lines are also not ideal for toxicity testing because of their low levels of CYPs expression. In this study, we established human normal bronchial epithelial cells using conditional reprogramming (CR) technique from three human donors (named as CR-HNBE1-3). These CR cells can proliferate continuously in defined culture system over 50 PDs within 2 months. The CR-HNBE cells exhibited the normal diploid karyotype, normal response to DNA damage and normal differentiation potential under the matrigel 3D culture condition. The CR-HNBE cells express the basal epithelial marker cytokeratin 14 (CK14) and epithelial secretory marker Mucin 5AC. Most importantly, CR-HNBE cells express comparable levels of CYP1B1 and CYP2E1 as those in lung tissue. These CR cells also express comparable mRNA of CYP1A1/CYP1A2, CYP2B6/CYP2C9/CYP2D6 and CYP3A4/CYP3A5 compared to the lung tissue. The basal activity of CYP1A1/CYP1B1 in these CR cells was 3–6 folds higher than that of 16HBE cells (an immortalized cell line widely used in toxicology field). Our data also demonstrated that Benzo(a)pyrene (BaP) induced up to 100 folds of mRNA expression of CYP1A1 or CYP1A2 in CR-HNBE cells. The activity of CYP1A1/CYP1B1 was induced by BaP up to 7–8 folds in CR-HNBE cells, while the activity of CYP1A1/CYP1B1 was induced maximum 2.5 folds in 16HBE cells. Taken together, CR-HNBE cells express comparable levels of CYPs and are sensitive to BaP induction, and will serve a sensitive, physiological and valuable in vitro toxicity testing model. This is the first report that normal human airway cells can be propagated for a long time and maintain comparable levels of CYPs.
- Published
- 2018
- Full Text
- View/download PDF
74. Synthesis of LaTb x O y :Eu 3+ nanowire arrays and study of performances on fluorescence enhancement and red shift
- Author
-
Jie Feng, Xiaoyou Yuan, Guangzheng Peng, Qian Wang, Tong Zhang, Ji Xiang, Peng Li, and Lina Ye
- Subjects
Materials science ,Doping ,Biomedical Engineering ,Nanowire ,Analytical chemistry ,chemistry.chemical_element ,Bioengineering ,02 engineering and technology ,010402 general chemistry ,021001 nanoscience & nanotechnology ,Condensed Matter Physics ,01 natural sciences ,Fluorescence ,0104 chemical sciences ,Ion ,Amorphous solid ,chemistry.chemical_compound ,Nanolithography ,chemistry ,Aluminium oxide ,General Materials Science ,0210 nano-technology ,Europium - Abstract
Highly ordered LaTb x O y :Eu3+ nanowire arrays have been synthesised in anodic aluminium oxide template by chemical co-deposition at negative pressure suction, it is amorphous and with homogeneous morphologies. There are two peaks at 619 and 704 nm with excitation wavelength of 394 nm, which have red shift slightly relative to the 5D0–2F2 and 5D0–7F4 energy level transition of Eu3+, and Tb3+ exhibits strong fluorescence enhancement and sensitisation in LaTb x O y :Eu3+ nanowire arrays with the existence of La3+. The fluorescence intensity of LaTb x O y :Eu3+ nanowire arrays is related to the doping concentration of Eu3+ ion. When the doping concentration of Eu3+ is 8%, the fluorescence intensity reaches a maximum, and remarkably decreases at higher concentrations.
- Published
- 2018
- Full Text
- View/download PDF
75. Electrochemistry of N-confused inner amino-substituted free-base tetraarylporphyrins in nonaqueous media
- Author
-
Yuanyuan Fang, Songlin Xue, Karl M. Kadish, Liping Wang, Lina Ye, and Zhongping Ou
- Subjects
010405 organic chemistry ,chemistry.chemical_element ,Free base ,General Chemistry ,010402 general chemistry ,Electrochemistry ,01 natural sciences ,0104 chemical sciences ,chemistry.chemical_compound ,chemistry ,Group (periodic table) ,Polymer chemistry ,Carbon ,Pyrrole - Abstract
Four N-confused free-base tetraarylporphyrins containing an amino group on the inner carbon of the inverted pyrrole were synthesized and characterized as to their electrochemical and spectroelectrochemical properties in dichloromethane and N,N-dimethylformamide containing 0.1 M tetra-[Formula: see text]-butylammonium perchlorate as supporting electrolyte. The examined compounds are represented as (NH[Formula: see text](Ar)[Formula: see text]NcpH[Formula: see text], where “Ncp” is the N-confused porphyrin macrocycle and Ar is a [Formula: see text]-CH[Formula: see text]OPh, [Formula: see text]-CH[Formula: see text]Ph, Ph or [Formula: see text]-ClPh substituent on each meso-position of the macrocycle. Each porphyrin undergoes multiple irreversible reductions and oxidations. The first one-electron addition and first one-electron abstraction are located on the porphyrin [Formula: see text]-ring system to give [Formula: see text]-anion and [Formula: see text]-cation radicals with a HOMO–LUMO gap ranging from 1.21 to 1.34 V in CH[Formula: see text]Cl[Formula: see text] and 1.06 to 1.12 V in DMF. Both electrogenerated products are unstable and undergo a rapid chemical reaction to give new electroactive species which can be further reduced at more negative potentials or further oxidized at more positive potentials. The effects of the inner amino-substituent on the UV-vis spectra and electrochemical properties of the porphyrin are discussed, and comparisons made to data in the literature for both structurally related N-confused porphyrins containing an inner carbon NO[Formula: see text] group and derivatives without the inner substituent.
- Published
- 2018
- Full Text
- View/download PDF
76. Controllable synthesis of ultra-long YCexOy:Eu3+ nanowire arrays and fluorescence activation of Ce3+
- Author
-
Jie Feng, Xiaoyou Yuan, Yuanxin Du, Guangzheng Peng, Lina Ye, Peng Li, Ji Xiang, Manzhou Zhu, and Qian Wang
- Subjects
Materials science ,Scanning electron microscope ,Mechanical Engineering ,Doping ,Analytical chemistry ,chemistry.chemical_element ,02 engineering and technology ,010402 general chemistry ,021001 nanoscience & nanotechnology ,Condensed Matter Physics ,01 natural sciences ,Fluorescence ,0104 chemical sciences ,Amorphous solid ,Ion ,Xenon ,chemistry ,Mechanics of Materials ,X-ray crystallography ,General Materials Science ,0210 nano-technology ,Luminescence - Abstract
Ultra-long YCe x O y :Eu 3+ nanowire arrays(NWAs) have been synthesized in anodic aluminum oxide (AAO) templates by chemical co-deposition at negative pressure suction, which are amorphous, and possess precise dimension and homogeneous morphologies. The SEM, TEM, XRD and EDS were employed to investigate the morphology, structure and elemental composition of YCe x O y :Eu 3+ NWAs. The fluorescence properties of the YCe x O y :Eu 3+ NWAs were measured by fluorescence spectrometer (PerkinElmer LS-55) using Xenon discharge lamp as the excitation light source. There are two emission peaks at 615 nm and 702 nm with excitation wavelength of 394 nm, which corresponds to the 5 D 0 - 2 F 2 and 5 D 0 - 7 F 4 energy level transition of Eu 3+ , respectively. The fluorescence intensity of YCe x O y :Eu 3+ NWAs is related to the doping concentration of Eu 3+ ion, which reaches a maximum with doping concentration of Eu 3+ at 8%, and remarkably decreases at higher concentrations. Ce 3+ ion dominates the fluorescence activation in YCe x O y :Eu 3+ NWAs.
- Published
- 2018
- Full Text
- View/download PDF
77. Conditional reprogrammed human limbal epithelial cells represent a novel in vitro cell model for drug responses
- Author
-
Xiang Long, Yuan Wang, Hui Li, Wu Xiaoting, Zeng Zhihong, Yu Chen, Lin Ye, Wang Ling, Yin Guogan, Lina Ye, and Wei Gaobin
- Subjects
0301 basic medicine ,Ganciclovir ,Cell Survival ,DNA damage ,Sus scrofa ,Cell ,Biophysics ,Cell Separation ,Interferon alpha-2 ,Limbus Corneae ,Models, Biological ,Biochemistry ,03 medical and health sciences ,Toxicity Tests ,medicine ,Animals ,Humans ,Molecular Biology ,Matrigel ,Chemistry ,fungi ,Interferon-alpha ,Epithelial Cells ,Cell Biology ,Cellular Reprogramming ,Recombinant Proteins ,In vitro ,Cell biology ,Staining ,030104 developmental biology ,medicine.anatomical_structure ,Pharmaceutical Preparations ,Organ Specificity ,Toxicity ,Fluorouracil ,Rabbits ,sense organs ,Reprogramming ,Biomarkers ,medicine.drug - Abstract
In this study, we established human limbal epithelial cells (LECs) from normal limbal tissues by using Conditional Reprogramming (CR) technology (refer to CR-LEC cells in this study). We have successfully established CR-LEC cell strains from three human donors (3 out of 3), and normal rabbits (2 out of 2) and pig (1 out of 1) as well. CR-LEC cells sustained a continuous and stable proliferation status with a normal karyotype, normal response to DNA damage, well-defined structured spheres in matrigel 3D culture. Responses of CR-LEC cells to IFN α2b, Ganciclovir and 5-Fluorouracil were different, suggesting that these drugs had different toxicities to these cells as expected. More important, there was no significant difference of responses to drugs between early and late passages of CR-LEC cells (p>0.05), indicating CR-LEC cells can serve a stable normal human cell model for toxicity assessment. Toxicity tests with monolayer cultures of CR-LEC cells were measured by staining the F-actin and Dsg-1 expression. Toxicity of three drugs at LD50 concentration resulted in a gradually increased destruction of monolayer, which is, in accordance with the irritation grade of three drugs on human cornea epithelium. Therefore, CR-LEC cells provide a novel and reliable in vitro physiological cell model for corneal toxicity assessment.
- Published
- 2018
- Full Text
- View/download PDF
78. Effect of Rubus extract on TLR4/NF-kappa B signaling pathway in alcoholic liver fibrosis rats.
- Author
-
Tong Li, Yongyao Yang, Hongling Li, Hao Hu, Xiaojun Xie, Lina Ye, and Mei Lan
- Abstract
This study aims to explore the effect of the Rubus extract on the TLR4/NF-κB signaling pathway in alcoholic liver fibrosis rats. The alcoholic liver rat model was established by continuous ethanol gavage administration. Rats were divided randomly into six groups (i.e., blank control, model, 0.05g/kg Rubus extract, 0.125g/kg Rubus extract, 0.259 g/kg Rubus extract and positive control groups). Liver tissue and blood were collected after treatment for four weeks. The pathological changes in the liver were observed by HE and Masson staining methods. The hyaluronic acid (HA), TNF-a and IL-6 levels were determined by ELISA kits. The TLR4 and p-p65 protein expression levels in liver were detected by Western blot. The liver lesion degree was significantly decreased in the Rubus extract group, and a high concentration of the Rubus extract indicated a significant improvement. The TNF-a, HA and IL-6 levels in the Rubus extract and positive control groups were significantly lower than those of the model group (P<0.05). The TLR4 and pp65 protein expression levels were also significantly decreased in the Rubus extract and positive control groups (P< 0.05) with a concentration dependence of Rubus extract. The Rubus extract could delay the development of alcoholic liver fibrosis through inhibiting the TLR4/NF-κB pathway activity. [ABSTRACT FROM AUTHOR]
- Published
- 2022
- Full Text
- View/download PDF
79. Petrological, whole–rock geochemical, geochronological, and Lu–Hf isotope constraints on the regional tectonic evolution of the Laoling Group in northeastern Jiao–Liao–Ji Belt, North China Craton
- Author
-
Fengyue Sun, Yue Yin, Jinlong Liu, Yuting Zhang, Lina Ye, and Li Wang
- Subjects
geography ,geography.geographical_feature_category ,Continental crust ,Metamorphic rock ,Geochemistry ,Metamorphism ,Geology ,Craton ,Geochemistry and Petrology ,Clastic rock ,Magmatism ,Protolith ,Zircon - Abstract
This study examines the original nature, tectonic setting, and evolution of Paleoproterozoic metasedimentary rocks in the Laoling Group of northern Jiao–Liao–Ji Belt (JLJB), in the northeastern margin of the Eastern Block of the North China Craton (NCC), using new petrological, whole–rock geochemical, geochronological, and Lu–Hf isotope data. The youngest detrital zircons constrain the maximum deposition age of the metasedimentary rocks to 1.97 Ga, and two metamorphic zircon age peaks correspond to 1.91 and 1.84 Ga for their metamorphism. The protoliths of the metasedimentary rocks in the Laoling Group were medium- to fine-grained clastic sediments, dominated by shale, graywacke, and claystone, with a smaller amount of sandstone, derived from Paleoproterozoic granites and coeval acidic meta-volcanic rocks, with minor contributions from Mesoarchean–Neoarchean basement rocks and Paleoproterozoic meta-mafic rocks. The protoliths of the metasedimentary rocks in the Dalizi Formation of the Laoling Group were deposited in a convergent margin setting, and subduction along the northern JLJB likely ended before ca. 1.91 Ga when the Longgang and Nangrim blocks collided. The eHf(t) values of ca. 2.14 Ga zircons mostly lie between the depletion mantle and the chondrite evolution line, coupled with extensive coeval magmatism, are consistent with the ca. 2.14 Ga significant continental crust growth in this region. An integrated study of petrology, geochemistry, metamorphic P–T paths, and tectonic evolution suggests that the JLJB experienced two metamorphic events at ca. 1.91 and 1.84 Ga.
- Published
- 2021
- Full Text
- View/download PDF
80. Fully physically cross-linked double network hydrogels with strong mechanical properties, good recovery and self-healing properties
- Author
-
Xiaoyou Yuan, Xingyue Sun, Ming Li, Haiyi Liang, Lina Ye, Xianzuo Zhang, Qiong Lv, Xifu Shang, Pengwei Fang, and Yongzhi Liang
- Subjects
Toughness ,Materials science ,Polyacrylamide ,02 engineering and technology ,General Chemistry ,Curdlan ,010402 general chemistry ,021001 nanoscience & nanotechnology ,Condensed Matter Physics ,01 natural sciences ,0104 chemical sciences ,Hydrophobic effect ,chemistry.chemical_compound ,Compressive strength ,chemistry ,Self-healing hydrogels ,Ultimate tensile strength ,Composite material ,0210 nano-technology ,Elastic modulus - Abstract
Combining a hydrophobic interaction crosslinked curdlan as the first network and hydrophobic interaction crosslinked polyacrylamide as the second network, we have fabricated a curdlan/HPAAm double network (DN) hydrogel using a one-pot method. The resulting DN hydrogel exhibited good mechanical properties, i.e. an elastic modulus of 103 kPa, a tensile fracture strength of 0.81 MPa, a tensile stretch of 25.3 and a compressive stress of 62.5 MPa when the compressive strain increased up to 99%. The DN gel could withstand ten compression tests under 90% compressive strain without observable damage. The DN gel demonstrated 84% stiffness recovery and 97% toughness recovery after the deformed samples were relaxed and stored at 95 °C for 4 h. The stiffness and fracture stress of the DN gel were enhanced after sterilization treatment at 120 °C. Furthermore, the gels exhibited 52% self-healing of fracture stretch after the samples were cut and brought into contact at 95 °C for 4 h. The self-recovery and self-healing properties of the DN gel both originated from the first curdlan network via the reformation of hydrophobic interactions and the second HPAAm network via reformation of the broken hydrophobic associations.
- Published
- 2020
81. Tough and Stretchable Dual Ionically Cross-Linked Hydrogel with High Conductivity and Fast Recovery Property for High-Performance Flexible Sensors
- Author
-
Haiyi Liang, Xingyue Sun, Lina Ye, Yongzhi Liang, and Qiong Lv
- Subjects
Toughness ,Materials science ,Polymers ,Stretchable electronics ,Acrylic Resins ,02 engineering and technology ,Biosensing Techniques ,Conductivity ,010402 general chemistry ,01 natural sciences ,Tensile Strength ,Ultimate tensile strength ,Humans ,General Materials Science ,Composite material ,Electrical conductor ,Ions ,Acrylamides ,Electric Conductivity ,Hydrogels ,021001 nanoscience & nanotechnology ,Flexible electronics ,0104 chemical sciences ,Cross-Linking Reagents ,Gauge factor ,Self-healing hydrogels ,0210 nano-technology - Abstract
As a kind of typical soft and wet material, hydrogel has been increasingly investigated as another way to develop flexible electronics. However, the traditional hydrogel with poor strain and strength performance cannot meet the requirements for stretchable electronics; fabricating a stretchable hydrogel with balanced tensile strength, toughness, and conductivity is still a big challenge. Herein, a new type of physically cross-linked hydrogel with poly(acrylamide-co-acrylic acid)-Fe3+ and chitosan-SO42- dual ionic networks via facile free radical polymerization and soaking processes is developed to fabricate excellent high-performance flexible sensors. The abundant Fe3+ and SO42- ions in the hydrogel can not only construct tough and strong dual ionic networks but also give the hydrogel high conductivity. Consequently, the optimal hydrogel possesses high tensile strength (∼5.1 MPa), large strain capacity (∼1225%), elasticity (∼1.13 MPa), high toughness (∼32.1 MJ/m3), and high conductivity (3.04 S/m at f = 0.1M), as well as rapid self-recovery property. Furthermore, the hydrogel conductor has high stretching sensitivity with a gauge factor of 6.0 at strain of 700% and was able to detect conventional motions of the human body such as the motions of the knuckle, speaking, and swallowing, which indicates that our ionic conductive hydrogels can be used to fabricate excellent high-performance flexible sensors.
- Published
- 2019
82. Active Prediction for Discrete Event Systems
- Author
-
Stefan Haar and Serge Haddad and Stefan Schwoon and Lina Ye, Haar, Stefan, Haddad, Serge, Schwoon, Stefan, Ye, Lina, Stefan Haar and Serge Haddad and Stefan Schwoon and Lina Ye, Haar, Stefan, Haddad, Serge, Schwoon, Stefan, and Ye, Lina
- Abstract
A central task in partially observed controllable system is to detect or prevent the occurrence of certain events called faults. Systems for which one can design a controller avoiding the faults are called actively safe. Otherwise, one may require that a fault is eventually detected, which is the task of diagnosis. Systems for which one can design a controller detecting the faults are called actively diagnosable. An intermediate requirement is prediction, which consists in determining that a fault will occur whatever the future behaviour of the system. When a system is not predictable, one may be interested in designing a controller to make it so. Here we study the latter problem, called active prediction, and its associated property, active predictability. In other words, we investigate how to determine whether or not a system enjoys the active predictability property, i.e., there exists an active predictor for the system. Our contributions are threefold. From a semantical point of view, we refine the notion of predictability by adding two quantitative requirements: the minimal and maximal delay before the occurence of the fault, and we characterize the requirements fulfilled by a controller that performs predictions. Then we show that active predictability is EXPTIME-complete where the upper bound is obtained via a game-based approach. Finally we establish that active predictability is equivalent to active safety when the maximal delay is beyond a threshold depending on the size of the system, and we show that this threshold is accurate by exhibiting a family of systems fulfilling active predictability but not active safety.
- Published
- 2020
- Full Text
- View/download PDF
83. Synthesis and Electrochemistry of Aryl-Substituted Tripyrrinone Copper Complexes. Comparison of Redox Properties to Structurally Related Porphyrins and Corroles
- Author
-
Karl M. Kadish, Yang Song, Wenda Wang, Zhongping Ou, Yuanyuan Fang, Songlin Xue, and Lina Ye
- Subjects
010405 organic chemistry ,Chemistry ,Aryl ,Inorganic chemistry ,Substituent ,chemistry.chemical_element ,General Chemistry ,010402 general chemistry ,Ring (chemistry) ,Electrochemistry ,01 natural sciences ,Copper ,Medicinal chemistry ,Redox ,0104 chemical sciences ,chemistry.chemical_compound ,Perchlorate ,Potential difference - Abstract
Four aryl-substituted tripyrrinone copper(II) complexes were synthesized and characterized as to their electrochemical and spectroelectrochemical properties. The examined compounds are represented as (YPh)3TPO2Cu, where TPO2 is a dianion of the tripyrrinone and Y is a CH3O, CH3, H or Cl substituent on the para-position of each phenyl ring of the compound. The neutral compounds are ESR active and show a typical d9 Cu(II) signal in frozen CH2Cl2 solution. Each Cu(II) compound undergoes three reductions between −0.61 and −1.90 V and two oxidations between 1.00 and 1.24 V in CH2Cl2 containing 0.1 mol/L tetra-n-butylammonium perchlorate. The potentials for oxidation are similar to those of copper tetraarylporphyrins but the reduction potentials are positively shifted as compared to the corresponding tetraarylporphyrins. Thus, the potential difference between the first one-electron oxidation and first one-electron reduction (the HOMO-LUMO gap) of (YPh)3TPO2Cu, which ranges from 1.68 to 1.75 V, is similar to that of copper corroles (1.73–1.85 V), but smaller than the separation of 2.30–2.37 V for the copper tetraarylporphyrins under the same solution conditions.
- Published
- 2016
- Full Text
- View/download PDF
84. Effect of NO2 substitution and solvent on UV-visible spectra, redox potentials and electron transfer mechanisms of copper β-nitrotriarylcorroles. Proposed electrogeneration of a Cu(I) oxidation state
- Author
-
Yang Song, Bihong Li, Rui Liu, Yuanyuan Fang, Zhongping Ou, Karl M. Kadish, and Lina Ye
- Subjects
Absorption spectroscopy ,010405 organic chemistry ,Substituent ,General Chemistry ,010402 general chemistry ,Electrochemistry ,Photochemistry ,01 natural sciences ,Redox ,0104 chemical sciences ,chemistry.chemical_compound ,Electron transfer ,chemistry ,Oxidation state ,Pyridine ,Corrole - Abstract
Three copper triarylcorroles containing a [Formula: see text]-pyrrole nitro substituent were synthesized and characterized as to their spectral and electrochemical properties in nonaqueous media. The examined compounds are represented as [Formula: see text]-NO2(YPh)3CorCu, where Cor is the trianion of a triphenylcorrole and Y is a Cl, H or CH3 substituent at the para-position of the three meso-phenyl rings of the compound. The data from absorption spectra, electrochemistry and thin-layer spectroelectrochemistry are consistent with an initial assignment of Cu[Formula: see text]-Cor[Formula: see text] in CH2Cl2, DMF and pyridine and electrogeneration of a formal Cu(II) corrole with an unreduced macrocycle, represented as Cu[Formula: see text]-Cor[Formula: see text], after the first one-electron reduction in these solvents. The doubly reduced [Formula: see text]-nitrocorrole has a sharp Soret band at 439 nm and a well-defined Q-band at 611 nm in CH2Cl2. Similar absorption spectra are seen for the three examined doubly reduced nitrocorroles in DMF and pyridine, suggesting formation of a Cu(I) species with an unreduced macrocycle which is represented as Cu[Formula: see text]-Cor[Formula: see text]. Changes in redox potentials and absorption spectra of the nitrocorroles are examined as a function of solvent and substituents on the meso-phenyl rings of the compounds and comparisons are made between spectral and electrochemical data of the newly synthesized corroles and that of structurally related tetraarylcorroles lacking a [Formula: see text]-nitro group.
- Published
- 2016
- Full Text
- View/download PDF
85. SMT-based Diagnosability Analysis of Real-Time Systems
- Author
-
Lina Ye, Lulu He, Philippe Dague, Information Science & Engineering, Lanzhou University, Modélisation hétérogène (LRI) (MODHEL - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), and Dague, Philippe
- Subjects
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI] ,Sequence ,Theoretical computer science ,Automatic control ,Property (programming) ,Computer science ,Complex system ,020207 software engineering ,02 engineering and technology ,Fault (power engineering) ,Automaton ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,Control and Systems Engineering ,Bounded function ,0202 electrical engineering, electronic engineering, information engineering ,020201 artificial intelligence & image processing ,ComputingMilieux_MISCELLANEOUS ,Event (probability theory) - Abstract
Fault diagnosis is a crucial and challenging task in the automatic control of complex systems, whose efficiency depends on a system property called diagnosability. Diagnosability describes the capability of a system to determine with certainty whether a fault has effectively occurred based on a sequence of observations. The diagnosability problem of discrete event systems has received considerable attention in the literature. However, up to now little work takes into account explicit time constraints during this analysis, which are however naturally present in real-life systems and thus cannot be neglected considering their impact on this property. In this paper, we first rephrase diagnosability definition for timed automata before showing the impact of time constraints on this property. Then we propose a new SMT-based approach to verify bounded time diagnosability on timed automata. The idea is to encode the sufficient and necessary condition for diagnosability in SMT. Finally, the experimental results are presented to show the efficiency of the SMT-based paradigm.
- Published
- 2018
86. Effects of Molecular Weight on Thermal Degradation of Poly(α-methyl styrene) in Nitrogen
- Author
-
Zhanwen Zhang, Junxiao Yang, Meifang Liu, Yawen Huang, and Lina Ye
- Subjects
Thermogravimetric analysis ,Materials science ,Polymers and Plastics ,Molecular mass ,Depolymerization ,Thermal decomposition ,chemistry.chemical_element ,General Chemistry ,Condensed Matter Physics ,Nitrogen ,Styrene ,chemistry.chemical_compound ,Monomer ,chemistry ,Polymer chemistry ,Materials Chemistry ,Degradation (geology) ,Nuclear chemistry - Abstract
The effects of molecular weight on the thermal degradation behavior of poly(α-methyl styrene) (PAMS) was investigated by pyrolysis-gas chromatography-mass spectrometry (Py-GC/MS) and thermogravimetric analysis (TGA). The Py-GC/MS analysis results showed that the degradation of PAMS with different molecular weights in nitrogen produced only the monomer, alpha-methylstyrene. The TGA results showed a pronounced reduction in the decomposition temperature with increasing molecular weight. The degradation kinetic parameters, calculated by the Kissinger and the Coats–Redfern methods, further revealed that the activation energy and the pre-exponential factor decreased with increasing molecular weight. Most importantly, the degradation order of the PAMS in nitrogen remained around 1, independent of the molecular weight, suggesting the maintenance of the depolymerization mechanism. All the above results provided an insight into the effects of molecular weight on the thermal degradation behavior of PAMS.
- Published
- 2015
- Full Text
- View/download PDF
87. Experimental Study of the Model of Formation of Pedagogical Tolerance of Future Primary School Teachers of Foreign Languages
- Author
-
Hordiienko, Yuliia A. and Sorokina, Lina Ye.
- Subjects
future teacher of foreign languages of primary school ,model of formation ,майбутній учитель ,формувальний етап ,педагогічний експеримент ,pedagogical tolerance ,констатувальний етап ,модель формування толерантності ,stage of formation ,педагогічна толерантність ,pedagogical experiment - Abstract
У статті описано результати дослідження, присвяченого формуванню педагогічної толерантності майбутніх учителів іноземних мов початкової школи. Зокрема подано дефініцію педагогічної толерантності майбутніх учителів іноземних мов початкової школи, описано концепцію моделі її формування, визначено етапи педагогічного експерименту, підібрано методики для діагностики рівня сформованості кожного компонента педагогічної компетентності. Описано авторський тренінг, розроблений з метою підготовки викладачів англійської мови до аудиторної роботи зі студентами у межах проблеми дослідження,обґрунтовано переваги тренінгу у порівнянні з іншими методами роботи, підібрано відповідний навчальний і методичний матеріал, перевагу надано інтерактивним методам та формам взаємодії. Схарактеризовано особливості практичних занять як основної форми організації навчальної діяльності студентів, визначено їх структурні елементи. Дано опис змістового компонента моделі формування педагогічної толерантності, а саме оновлено зміст дисциплін гуманітарного циклу, основне навчальне навантаження зосереджено на авторському спецкурсі “Практика толерантної англомовної комунікації”, визначено його мету, розподілено змістове наповнення на шість модулів, які дали можливість студентам поступово ознайомитися із сутністю педагогічної толерантності та основами практичної толерантної взаємодії у межах педагогічної діяльності, створено ефективні педагогічні умови для підготовки компетентного і толерантного учителя іноземних мов, описано методичний аспект формування педагогічної толерантності у роботі зі студентами. Подано результати кількісного та якісного аналізу рівнів сформованості педагогічної толерантності на констатувальному і формувальному етапах педагогічного експерименту. Доведено ефективність авторської моделі за допомогою критерію однорідності «хі-квадрат». The results of the study on the formation of pedagogical tolerance of future teachers of foreign languages in primary school have been described in the article. In particular, the definition of pedagogical tolerance has been given, the concept of the model of its formation has been described, the stages of the pedagogical experiment have been defined, methods for diagnosing the level of formation of each component of pedagogical competence have been selected. The author's training, designed to prepare English teachers for classroom work with students in the framework of the research problem, has been described, appropriate educational and methodological materials have been selected, the interactive methods and forms of collaboration have been favored. Features of practical classes as the basic form of organization of educational activity of students have been characterized, their structural elements have been determined. The content component of the model of the formation of pedagogical tolerance has been described, namely, the content of the disciplines of the humanitarian cycle has been updated, the main educational load has been concentrated on the author's special course "Practice of tolerant English-language communication", its purpose has been determined, its content has been composed to develop students’ perception of pedagogical tolerance and basis for tolerant interaction in teaching, effective pedagogical conditions for the preparation of a competent and tolerant teacher of foreign languages have been created, methodological and content aspects of teaching tolerance have been outlined. The results of quantitative and qualitative analysis of the levels of the formation of pedagogical tolerance at different stages of the pedagogical experiment have been presented. The efficiency of the author's model has been proved.
- Published
- 2018
88. How to be Sure a Faulty System Does not Always Appear Healthy?
- Author
-
Philippe Dague, Lina Ye, Agnes Madalinski, Laura Brandán Briones, Delphine Longuet, Dague, Philippe, Modélisation hétérogène (LRI) (MODHEL - LRI), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Vérification d'Algorithmes, Langages et Systèmes (LRI) (VALS - LRI), Universidad Nacional de Córdoba [Argentina], and Otto-von-Guericke University [Magdeburg] (OVGU)
- Subjects
[INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI] ,Property (philosophy) ,Automatic control ,Computer science ,Complex system ,020207 software engineering ,02 engineering and technology ,Fault (power engineering) ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,020202 computer hardware & architecture ,Task (project management) ,Line (geometry) ,0202 electrical engineering, electronic engineering, information engineering ,Point (geometry) ,Algorithm ,ComputingMilieux_MISCELLANEOUS ,PSPACE - Abstract
Fault diagnosis is a crucial and challenging task in the automatic control of complex systems, whose efficiency depends on the diagnosability property of a system. Diagnosability describes the system property allowing one to determine with certainty whether a given fault has effectively occurred based on the available observations. However, this is a quite strong property that generally requires a high number of sensors. Consequently, it is not rare that developing a diagnosable system is too expensive. In this paper, we analyze a new discrete event system property called manifestability, that represents the weakest requirement on observations for having a chance to identify on line fault occurrences and can be verified at design stage. Intuitively, this property makes sure that a faulty system cannot always appear healthy, i.e., has at least one future behavior after fault occurrence observably distinguishable from all normal behaviors. Then, we prove that manifestability is a weaker property than diagnosability before proposing an algorithm with PSPACE complexity to automatically verify both properties. Furthermore, we prove that the problem of manifestability verification itself is PSPACE-complete. The experimental results show the feasibility of our algorithm from a practical point of view. Finally, we compare our approach with related work.
- Published
- 2018
89. Virulence and Stress Responses of Shigella flexneri Regulated by PhoP/PhoQ
- Author
-
Xiaofei Wang, Zhiwei Lin, Zhihui Lv, Xia Cai, Di Qu, Yang Wu, Lina Ye, Yongpeng Shang, and Chen Mingliang
- Subjects
0301 basic medicine ,Microbiology (medical) ,PhoP/PhoQ ,Operon ,030106 microbiology ,lcsh:QR1-502 ,Virulence ,Mg2+ ,medicine.disease_cause ,Microbiology ,Virulence factor ,lcsh:Microbiology ,03 medical and health sciences ,Shigella flexneri ,icsA ,medicine ,Shigella ,S. flexneri ,Sereny test ,biology ,two-component signal transduction system ,Chemistry ,biochemical phenomena, metabolism, and nutrition ,biology.organism_classification ,virulence ,bacteria ,Bacteria ,Polymyxin B ,medicine.drug - Abstract
The two-component signal transduction system PhoP/PhoQ is an important regulator for stress responses and virulence in most Gram-negative bacteria, but characterization of PhoP/PhoQ in Shigella has not been thoroughly investigated. In the present study, we found that deletion of phoPQ (ΔphoPQ) from Shigella flexneri 2a 301 (Sf301) resulted in a significant decline (reduced by more than 15-fold) in invasion of HeLa cells and Caco-2 cells, and less inflammation (- or +) compared to Sf301 (+++) in the guinea pig Sereny test. In low Mg2+ (10 μM) medium or pH 5 medium, the ΔphoPQ strain exhibited a growth deficiency compared to Sf301. The ΔphoPQ strain was more sensitive than Sf301 to polymyxin B, an important antimicrobial agent for treating multi-resistant Gram-negative infections. By comparing the transcriptional profiles of ΔphoPQ and Sf301 using DNA microarrays, 117 differentially expressed genes (DEGs) were identified, which were involved in Mg2+ transport, lipopolysaccharide modification, acid resistance, bacterial virulence, respiratory, and energy metabolism. Based on the reported PhoP box motif [(T/G) GTTTA-5nt-(T/G) GTTTA], we screened 38 suspected PhoP target operons in S. flexneri, and 11 of them (phoPQ, mgtA, slyB, yoaE, yrbL, icsA, yhiWX, rstA, hdeAB, pagP, and shf-rfbU-virK-msbB2) were demonstrated to be PhoP-regulated genes based on electrophoretic mobility shift assays and β-galactosidase assays. One of these PhoP-regulated genes, icsA, is a well-known virulence factor in S. flexneri. In conclusion, our data suggest that the PhoP/PhoQ system modulates S. flexneri virulence (in an icsA-dependent manner) and stress responses of Mg2+, pH and antibacterial peptides.
- Published
- 2018
- Full Text
- View/download PDF
90. Abstractions refinement for hybrid systems diagnosability analysis
- Author
-
Lina Ye, Hadi Zaatiti, Louise Travé-Massuyès, Jean-Pierre Gallois, Philippe Dague, Données et Connaissances Massives et Hétérogènes (LRI) ( LaHDAK - LRI ), Laboratoire de Recherche en Informatique ( LRI ), Université Paris-Sud - Paris 11 ( UP11 ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ) -Université Paris-Sud - Paris 11 ( UP11 ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ), Laboratory of Model driven engineering for embedded systems Point Courrier - CEA LIST (Gif-sur-Yvette, France), Université Paris-Sud - Paris 11 ( UP11 ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ), CentraleSupélec, Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués (LISE), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Modélisation hétérogène (LRI) (MODHEL - LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), and Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
- Subjects
0209 industrial biotechnology ,Theoretical computer science ,Computer science ,02 engineering and technology ,Fault detection and isolation ,Automaton ,Undecidable problem ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] ,020901 industrial engineering & automation ,Reachability ,Hybrid system ,Bounded function ,0202 electrical engineering, electronic engineering, information engineering ,State space ,020201 artificial intelligence & image processing ,[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI] ,ComputingMilieux_MISCELLANEOUS ,Counterexample - Abstract
Hybrid systems are complex systems that combine both discrete and continuous behaviors. Verifying behavioral or safety properties of such systems, either at design stage such as state reachability, diagnosability, and predictability or on-line such as fault detection and isolation, is a challenging task. Actually, computing the reachable set of states of a hybrid system is an undecidable matter due to the infinite state space of continuous systems. One way to verify those properties over such systems is by computing discrete abstractions and inferring them from the abstract system back to the original system. In this chapter, we are concerned with abstractions oriented towards hybrid systems diagnosability checking. Our goal is to create discrete abstractions in order to verify, at design stage, if a fault that would occur at runtime could be unambiguously detected in finite time (or within a given finite time bound for bounded diagnosability) by the diagnoser. This verification can be done on the abstraction by classical methods developed for discrete event systems, which provide a counterexample in case of non-diagnosability. The absence of such a counterexample proves the diagnosability of the original hybrid system. In the presence of a counterexample, the first step is to check if it is not a spurious effect of the abstraction and actually exists for the hybrid system, witnessing thus non-diagnosability. Otherwise, we show how to refine the abstraction, guided by the elimination of the counterexample, and continue the process of looking for another counterexample until either a final result is obtained or we reach an inconclusive verdict. We make use of qualitative modeling and reasoning to compute discrete abstractions and we define several refinement strategies. Abstractions as timed automata are particularly studied as they allow one to handle time constraints that can be captured at a qualitative level from the hybrid system.
- Published
- 2018
- Full Text
- View/download PDF
91. Electrochemistry of nonplanar copper(<scp>ii</scp>) tetrabutano- and tetrabenzotetraarylporphyrins in nonaqueous media
- Author
-
Lina Ye, Zhongping Ou, Yang Song, Liping Wang, Karl M. Kadish, Yuanyuan Fang, Mengli Wang, and Songlin Xue
- Subjects
General Chemical Engineering ,Substituent ,chemistry.chemical_element ,General Chemistry ,Electrochemistry ,Photochemistry ,Redox ,Porphyrin ,Copper ,Medicinal chemistry ,Dication ,Perchlorate ,chemistry.chemical_compound ,chemistry - Abstract
Two series of copper tetraarylporphyrins containing β,β′-fused tetrabutano or tetrabenzo groups were synthesized and characterized as to their electrochemistry and spectroelectrochemistry in nonaqueous media. The examined compounds are represented as butano-(TpYPP)CuII and benzo-(TpYPP)CuII, where TpYPP is the porphyrin dianion and Y is a CH3, H or Cl substituent on the para-position of the four meso-phenyl rings of the compound. Each neutral porphyrin in the two series is ESR active and shows a typical d9 Cu(II) signal in frozen CH2Cl2 solution. Each Cu(II) porphyrin also undergoes two reversible one-electron reductions and two reversible one-electron oxidations in DMF or CH2Cl2 containing 0.1 M tetra-n-butylammonium perchlorate to give a π-anion radical and dianion upon reduction and a π-cation radical and dication upon oxidation. A third one-electron oxidation is also observed for butano-(TpYPP)Cu (Y = CH3 and H) and benzo-(TPP)Cu in PhCN and this process is assigned to the CuII/CuIII transition. The reversible half-wave potential for the first oxidation of each compound in both series is shifted negatively by about 500 mV as compared to E1/2 values for oxidation of the related copper tetraarylporphyrin without the four fused benzo or butano rings while smaller positive shifts of 60 and 300 mV are seen for reduction of the tetrabenzotetraarylporphyrins and tetrabutaotetraarylporphyrins, respectively, as compared to the same redox reactions of the related tetraarylporphyrins. The electrochemically measured HOMO–LUMO gap averages 1.76 ± 0.05 V for benzo-(TpYPP)CuII, 2.04 ± 0.06 V for butano-(TpYPP)CuII and 2.33 ± 0.03 for (TpYPP)Cu in CH2Cl2.
- Published
- 2015
- Full Text
- View/download PDF
92. Ultrasmall Cu2O nanocrystals: facile synthesis, controllable assembly and photocatalytic properties
- Author
-
Hai Yuan, Junjie Hu, Ying Xu, Lina Ye, Xiaoyou Yuan, and Peng Li
- Subjects
Ostwald ripening ,Materials science ,General Chemical Engineering ,Diethyl carbonate ,Nanoparticle ,Nanotechnology ,General Chemistry ,chemistry.chemical_compound ,symbols.namesake ,chemistry ,Nanocrystal ,Emulsion ,Methyl orange ,Photocatalysis ,symbols ,Photodegradation - Abstract
In this work, we have successfully synthesized ultrasmall Cu2O nanocrystals with uniform sizes through a solution-based method. By virtue of the ideal Cu2O building blocks, 2D or 3D Cu2O superstructures can be easily achieved by tailoring the assembly process. The results indicate that diethyl carbonate (DEC) plays a crucial role for controlled self-assembly of Cu2O nanoparticles into a range of superstructures. Interestingly, the aggregative growths of Cu2O nanocrystals in the self-assembly process are accompanied by oriented attachment and Ostwald ripening. Furthermore, Cu2O and Cu2O–Au 3D colloidal spheres can be also obtained by an emulsion-based bottom-up self-assembly strategy. The results show that, compared with pure Cu2O nanospheres, the as-obtained Cu2O–Au nanospheres exhibit remarkable photocatalytic activities in the photodegradation of methyl orange (MO).
- Published
- 2015
- Full Text
- View/download PDF
93. Cobalt Tetrabutano- and Tetrabenzotetraarylporphyrin Complexes: Effect of Substituents on the Electrochemical Properties and Catalytic Activity of Oxygen Reduction Reactions
- Author
-
Lina Ye, Songlin Xue, Karl M. Kadish, Yuanyuan Fang, and Zhongping Ou
- Subjects
010405 organic chemistry ,Substituent ,chemistry.chemical_element ,010402 general chemistry ,Electrochemistry ,Photochemistry ,01 natural sciences ,Medicinal chemistry ,Porphyrin ,0104 chemical sciences ,Catalysis ,Inorganic Chemistry ,Solvent ,Perchlorate ,chemistry.chemical_compound ,chemistry ,Physical and Theoretical Chemistry ,Cobalt ,Pyrrole - Abstract
Three series of cobalt tetraarylporphyrins were synthesized and characterized by electrochemistry and spectroelectrochemistry. The investigated compounds have the general formula (TpYPP)Co, butano(TpYPP)CoII, and benzo(TpYPP)CoII, where TpYPP represents the dianion of the meso-substituted porphyrin, Y is a CH3, H, or Cl substituent on the para position of the four phenyl rings, and butano and benzo are respectively the β- and β′-substituted groups on the four pyrrole rings of the compound. Each porphyrin undergoes one or two reductions depending upon the meso substituent and solvent utilized. Two irreversible reductions are observed for (TpYPP)CoII and butano(TpYPP)CoII in CH2Cl2 containing 0.1 M tetra-n-butylammonium perchlorate; the first leads to the formation of a highly reactive cobalt(I) porphyrin, which can then rapidly react with a solvent to give a CoIIICH2Cl as the product. Only one reversible reduction is seen for benzo(TpYPP)CoII under the same solution conditions, and the one-electron-reducti...
- Published
- 2017
94. Virulence and Stress Responses of
- Author
-
Zhiwei, Lin, Xia, Cai, Mingliang, Chen, Lina, Ye, Yang, Wu, Xiaofei, Wang, Zhihui, Lv, Yongpeng, Shang, and Di, Qu
- Subjects
virulence ,icsA ,two-component signal transduction system ,PhoP/PhoQ ,bacteria ,Mg2+ ,biochemical phenomena, metabolism, and nutrition ,Microbiology ,S. flexneri ,Original Research - Abstract
The two-component signal transduction system PhoP/PhoQ is an important regulator for stress responses and virulence in most Gram-negative bacteria, but characterization of PhoP/PhoQ in Shigella has not been thoroughly investigated. In the present study, we found that deletion of phoPQ (ΔphoPQ) from Shigella flexneri 2a 301 (Sf301) resulted in a significant decline (reduced by more than 15-fold) in invasion of HeLa cells and Caco-2 cells, and less inflammation (− or +) compared to Sf301 (+++) in the guinea pig Sereny test. In low Mg2+ (10 μM) medium or pH 5 medium, the ΔphoPQ strain exhibited a growth deficiency compared to Sf301. The ΔphoPQ strain was more sensitive than Sf301 to polymyxin B, an important antimicrobial agent for treating multi-resistant Gram-negative infections. By comparing the transcriptional profiles of ΔphoPQ and Sf301 using DNA microarrays, 117 differentially expressed genes (DEGs) were identified, which were involved in Mg2+ transport, lipopolysaccharide modification, acid resistance, bacterial virulence, respiratory, and energy metabolism. Based on the reported PhoP box motif [(T/G) GTTTA-5nt-(T/G) GTTTA], we screened 38 suspected PhoP target operons in S. flexneri, and 11 of them (phoPQ, mgtA, slyB, yoaE, yrbL, icsA, yhiWX, rstA, hdeAB, pagP, and shf–rfbU-virK-msbB2) were demonstrated to be PhoP-regulated genes based on electrophoretic mobility shift assays and β-galactosidase assays. One of these PhoP-regulated genes, icsA, is a well-known virulence factor in S. flexneri. In conclusion, our data suggest that the PhoP/PhoQ system modulates S. flexneri virulence (in an icsA-dependent manner) and stress responses of Mg2+, pH and antibacterial peptides.
- Published
- 2017
95. Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability Analysis
- Author
-
Lina Ye, Jean-Pierre Gallois, Philippe Dague, Hadi Zaatiti, Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués (LISE), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Données et Connaissances Massives et Hétérogènes (LRI) (LaHDAK - LRI), Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université Paris-Sud - Paris 11 (UP11)-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec, Modélisation hétérogène (LRI) (MODHEL - LRI), Laboratoire de Recherche en Informatique ( LRI ), Université Paris-Sud - Paris 11 ( UP11 ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CentraleSupélec-Centre National de la Recherche Scientifique ( CNRS ), Laboratory of Model driven engineering for embedded systems Point Courrier - CEA LIST (Gif-sur-Yvette, France), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), and Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)
- Subjects
Theoretical computer science ,Computer science ,Hybrid system ,[ INFO.INFO-AI ] Computer Science [cs]/Artificial Intelligence [cs.AI] ,Abstraction refinement ,ComputingMilieux_MISCELLANEOUS ,Counterexample ,[INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] - Abstract
Verifying behavioral or safety properties of hybrid systems, either at design stage such as state reachability and diagnosability, or on-line such as fault detection and isolation is a challenging task. We are concerned here with abstractions oriented towards hybrid systems diagnosability checking. The verification can be done on the abstraction by classical methods developed for discrete event systems extended with time constraints, which provide a counterexample in case of non-diagnosability. The absence of such a counterexample proves the diagnosability of the original hybrid system. In the presence of a counterexample, the first step is to check if it is not a spurious effect of the abstraction and actually exists for the hybrid system, witnessing thus non-diagnosability. Otherwise, we show how to refine the abstraction, guided by the elimination of the counterexample, and continue the process of looking for another counterexample until either a final result is obtained or we reach an inconclusive verdict. We make use of qualitative modeling and reasoning to compute discrete abstractions. Abstractions as timed automata are particularly studied as they allow one to handle time constraints that can be captured at a qualitative level from the hybrid system.
- Published
- 2017
96. The Dynamics of the Development of Gender Studies
- Author
-
Sorokina, Lina Ye.
- Subjects
парадигма гетерогенності ,gender ,sex ,парадигма гомогенності ,homogeneity paradigm and heterogeneity paradigm ,гендер ,парадигма аналогії ,gender identity ,analogy paradigm ,стать ,гендерна ідентичність - Abstract
У статті розглянуто динаміку розвитку гендерних студій у сучасній вітчизняній та зарубіжній лінгвістиці. Усі сучасні студії умовно поділені на есенціалістський та антиесенціалістський напрями. З позицій першого напряму, мовлення є частиною соціальної ролі, у межах якої гендерна ідентичність як соціальна категорія передує її мовному вираженню. У контексті другого – гендер є продуктом дискурсу, відповідно, мовлення не визначається гендерною ідентичністю, а конструює її. Обидва напрями представлені лінгвістичними дослідженнями гендеру з позицій парадигм гомогенності, аналогії й гетерогенності. Кожна парадигма розглянута крізь призму певних теорій та підходів: фольклорлінгвістичного підходу, теорії дефіцитності, теорією домінування, теорією розбіжностей, теорією субкультур, теорія перформативності, теорія інтерактивності. Основну цікавість викликають конструювання гендерної ідентичності, тобто сконструйовані версії фемінності та маскулінності. The article focuses on the dynamics of the development of gender studies in modern native and foreign linguistics. All modern studies are conventionally divided into essentialistic and antiessentialistic concepts. According to the first concept speech is a part of the social role, within which gender identity as a social category takes priority over its language expression. As far as the second concept is concerned, gender is a discourse product, consequently speech is not defined by gender identity, but constructing it. Both concepts are represented by linguistic gender studies from the perspective of analogy paradigm, homogeneity paradigm and heterogeneity paradigm. Each paradigm is analyzed in the light of certain theories and approaches: folklinguistics, deficit approach, domination approach, subcultures approach, performative and interactive approaches. The point of real interest is gender identity constructing that is constructed versions of feminity and masculinity
- Published
- 2017
97. Effect of Solvent and Protonation/Deprotonation on Electrochemistry, Spectroelectrochemistry and Electron-Transfer Mechanisms of N-Confused Tetraarylporphyrins in Nonaqueous Media
- Author
-
Lina Ye, Xiaoqin Jiang, Songlin Xue, Zhongping Ou, Guifen Lu, Yuanyuan Fang, and Karl M. Kadish
- Subjects
Organic Chemistry ,Substituent ,Protonation ,General Chemistry ,Photochemistry ,Porphyrin ,Redox ,Catalysis ,chemistry.chemical_compound ,Perchlorate ,Electron transfer ,Deprotonation ,chemistry ,Pyrrole - Abstract
A series of N-confused free-base meso-substituted tetraarylporphyrins was investigated by electrochemistry and spectroelectrochemistry in nonaqueous media containing 0.1 M tetra-n-butylammonium perchlorate (TBAP) and added acid or base. The investigated compounds are represented as (XPh)4 NcpH2 , in which "Ncp" is the N-confused porphyrin macrocycle and X is a OCH3 , CH3 , H, or Cl substituent on the para position of each meso-phenyl ring of the macrocycle. Two distinct types of UV/Vis spectra are initially observed depending upon solvent, one corresponding to an inner-2H form and the other to an inner-3H form of the porphyrin. Both forms have an inverted pyrrole with a carbon inside the cavity and a nitrogen on the periphery of the π-system. Each porphyrin undergoes multiple irreversible reductions and oxidations. The first one-electron addition and first one-electron abstraction are located on the porphyrin π-ring system to give π-anion and π-cation radicals with a potential separation of 1.52 to 1.65 V between the two processes, but both electrogenerated products are unstable and undergo a rapid chemical reaction to give new electroactive species, which were characterized in the present study. The effect of the solvent and protonation/deprotonation reactions on the UV/Vis spectra, redox potentials and reduction/oxidation mechanisms is discussed with comparisons made to data and mechanisms for the structurally related free-base corroles and porphyrins.
- Published
- 2014
- Full Text
- View/download PDF
98. Meso-dichlorophenyl substituted<font>Co</font>(<font>III</font>) corrole: A selective electrocatalyst for the two-electron reduction of dioxygen in acid media, X-ray crystal structure analysis and electrochemistry
- Author
-
Zhongping Ou, Jijun Tang, Lina Ye, Karl M. Kadish, Zhaoli Xue, Yuanyuan Fang, and Minzhu Yuan
- Subjects
Crystallography ,chemistry.chemical_compound ,Rotating ring-disk electrode ,Chemistry ,Inorganic chemistry ,Linear sweep voltammetry ,General Chemistry ,Crystal structure ,Rotating disk electrode ,Corrole ,Cyclic voltammetry ,Electrocatalyst ,Monoclinic crystal system - Abstract
A cobalt(III) corrole, represented as ( Cl2Ph )3CorCo ( PPh3), where ( Cl2Ph )3Cor is the trianion of 5,10,15-tri(2,4-dichlorophenyl)corrole, was synthesized and characterized as to its electrochemical and spectroelectrochemical properties. Single-crystal structure analysis showed the corrole to be monoclinic and have a space group P21/c with α = 13.441(3), b = 28.058(6), c = 27.584(6) Å, α = 90, β = 92.75(3), γ = 90°, Mr= 1144.38, V = 1039.1(4) Å3, Z = 8, Dc= 1.463 mg/cm3, μ = 0.816, F(000) = 4644, Rint= 0.0447, R(I > 4σ(I)) = 0.0769, wR(I > 4σ(I)) = 0.2104, R( all data ) = 0.1214 and wR( all data ) = 0.2705. The compound was also examined as a catalyst for the electroreduction of dioxygen when coated on an edge-plane pyrolytic graphite electrode in 1.0 M HClO4. Cyclic voltammetry and linear sweep voltammetry with a rotating disk electrode (RDE) or a rotating ring disk electrode (RRDE) were utilized to evaluate the catalytic activity of the corrole and elucidate the products of reduction, H2O or H2O2. Analysis of the data shows exclusively a two-electron transfer process to give 100% H2O2as the product and no H2O was detectable.
- Published
- 2014
- Full Text
- View/download PDF
99. Highly selective chemosensors with versatile recognition ability caused by minor structural change
- Author
-
Fu-Ying Hao, Xingyou Tian, Jieying Wu, Gang Liu, Jian-Qing Wang, Mingdi Yang, Xiuzhen Zhang, Yupeng Tian, Lina Ye, and Hongping Zhou
- Subjects
chemistry.chemical_classification ,Schiff base ,Metal ions in aqueous solution ,Metals and Alloys ,Ether ,Carbon-13 NMR ,Condensed Matter Physics ,Highly selective ,Combinatorial chemistry ,Surfaces, Coatings and Films ,Electronic, Optical and Magnetic Materials ,chemistry.chemical_compound ,Structural change ,chemistry ,Materials Chemistry ,Proton NMR ,Organic chemistry ,Electrical and Electronic Engineering ,Instrumentation ,Crown ether - Abstract
Two novel soluble chemosensors (L1, L2) modified by aza-crown ether groups have been synthesized by one-step facile reaction. The chemosensors were fully characterized by IR, 1H NMR, 13C NMR and MS spectra. The recognition abilities of two sensors with a range of metal ions were evaluated. The results showed that L1 was a specialized sensor for Cu2+ and L2 was a multi-functional sensor being able to recognize Al3+ and Cr3+ via two different optical behaviors, which demonstrated the subtle structural changes of sensors can have a remarkable effect on recognizing metal ions.
- Published
- 2014
- Full Text
- View/download PDF
100. Silver(<scp>i</scp>) supramolecular complexes generated from isophorone-based ligands: crystal structures and enhanced nonlinear optical properties through metal complexation
- Author
-
Zhipeng Yu, Lina Ye, Mingdi Yang, Jieying Wu, Yupeng Tian, Min Fang, Feng Jin, Hongping Zhou, and Zheng Zheng
- Subjects
Inorganic Chemistry ,Solvent ,chemistry.chemical_compound ,Crystallography ,Chemistry ,Hydrogen bond ,Stereochemistry ,Stacking ,Supramolecular chemistry ,Molecule ,Crystal structure ,Isophorone ,Malononitrile - Abstract
By self-assembly of (E)-2-(3-(4-(1H-imidazol-1-yl)styryl)-5,5-dimethylcyclohex-2-enylidene)malononitrile (L(1)) and (E)-2-(3-(4-(1H-1,2,4-triazol-1-yl)styryl)-5,5-dimethylcyclohex-2-enylidene)malononitrile (L(2)) with silver(I) salts, eight new complexes, namely AgL(1)2ClO4 (1), AgL(1)2NO3 (2), [AgL(1)2NO3]·C6H6 (3), [AgL(1)2OOCCF3]·C6H6 (4), [AgL(1)2PF6]·C6H6 (5), AgL(2)2NO3 (6), [AgL(2)OOCCF3]2 (7) and AgL(2)2PF6 (8), are presented along with an analysis of their structural features. The structures are built up through the combination of coordination bonds, Ag···π, Ag···F (or O), hydrogen bonding, and π···π stacking interactions to generate new supramolecular architectures. We observed the formation of two-dimensional coordination polymers for complex 7. Solvent benzene molecules and anions are dispersed in the supramolecular structure and play a vital role in building the supramolecular structures of the complexes. The nonlinear optical (NLO) properties of the complexes were investigated using the Z-scan technique and complexes 1, 2, 3, 4 and 7 show obviously nonlinear absorption compared with ligands (L(1) and L(2)).
- Published
- 2014
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.