|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Alterations in gut microbiota and metabolites associated with altitude-induced cardiac hypertrophy in rats during hypobaric hypoxia challenge显示文摘The gut microbiota is involved in host responses to high altitude.However,the dynamics of intestinal microecology and their association with altitude-related illness are poorly understood.Here,we used a rat model of hypobaric hypoxia challenge to mimic plateau exposure and monitored the gut microbiome,short-chain fatty acids(SCFAs),and bile acids(BAs)over 28 d.We identified weight loss,polycythemia,and pathological cardiac hypertrophy in hypoxic rats,accompanied by a large compositional shift in the gut microbiota,which is mainly driven by the bacterial families of Prevotellaceae,Porphyromonadaceae,and Streptococcaceae.The aberrant gut microbiota was characterized by increased abundance of the Parabacteroides,Alistipes,and Lactococcus genera and a larger Bacteroides to Prevotella ratio.Trans-omics analyses showed that the gut microbiome was significantly correlated with the metabolic abnormalities of SCFAs and BAs in feces,suggesting an interaction network remodeling of the microbiome-metabolome after the hypobaric hypoxia challenge.Interestingly,the transplantation of fecal microbiota significantly increased the diversity of the gut microbiota,partially inhibited the increased abundance of the Bacteroides and Alistipes genera,restored the decrease of plasma propionate,and moderately ameliorated cardiac hypertrophy in hypoxic rats.Our results provide an insight into the longitudinal changes in intestinal microecology during the hypobaric hypoxia challenge.Abnormalities in the gut microbiota and microbial metabolites contribute to the development of high-altitude heart disease in rats. | Zhiyuan Pan Yichen Hu Zongyu Huang Ni Han Yan Li Xiaomei Zhuang Jiye Yin Hui Peng Quansheng Gao Wenpeng Zhang Yong Huang Yujun Cui Yujing Bi Zhenjiang Zech Xu Ruifu Yang | 2022 | Science China(Life Sciences)2022，65，10： | 5 |
| 2 | Effect of pH,fulvic acid and temperature on the sorption of uranyl on ZrP_2O_7显示文摘The sorption of UO22+ onto ZrP2O7 was studied using the batch technique and the point of zero charge of ZrP2O7 was obtained through mass titration.The results indicated that sorption of UO22+ onto ZrP2O7 was strongly affected by pH,solid-to-liquid ratio (m/V),the species of electrolyte in solution and fulvic acid (FA),but was insensitive to ionic strength.The sorption of UO22+ increased with increasing pH and m/V.The presence of FA enhanced UO22+ sorption onto ZrP2O7 at low pH.The presence of phosphate or sulfate caused opposite effects on the sorption of UO22+ onto ZrP2O7.Addition of citrate also significantly affected UO22+ sorption.The sorption of UO22+ increased as the temperature of the system increased.The Langmuir and Freundlich models were used to simulate the sorption isotherms of UO22+ onto ZrP2O7 at different temperatures.The results indicated that the Freundlich model described UO22+ sorption better than the Langmuir model.Thermodynamic parameters for the sorption process were calculated from the temperature dependent sorption isotherms.The results suggested that the sorption process of UO22+ onto ZrP2O7 is spontaneous and endothermic.The desorption process of UO22+ from ZrP2O7 was also investigated and it was found that sorption onto ZrP2O7 was irreversible. | QIAN LiJuan,HU PeiZhuo,JIANG ZhenJiang,GENG YanXia & WU WangSuo Radiochemistry Laboratory,School of Nuclear Science and Technology,Lanzhou University,Lanzhou 73000,China | 2010 | Science China Chemistry2010，53，6： | 4 |
| 3 | How functional programming mattered显示文摘In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming maters'. More than two decades have passed. Has functional programming really matered? Our answer is a resounding ‘Yes!'. Functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and inluence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs. | Zhenjiang Hu John Hughes Meng Wang | 2015 | National Science Review2015，2，3： | 2 |
| 4 | The essence of bidirectional programming显示文摘Bidirectional transformations(BXs), programs with a forward transformation and a backward transformation that maintain consistency between input and output, are routinely written in ways that do not let programmers specify their behavior completely. Several bidirectional programming languages exist to aid programmers in writing BXs with increased maintainability but decreased expressiveness. Such languages allow programmers to write BXs as one program for both directions, which is easier to maintain than separate programs for each direction. However, the maintainability provided by existing bidirectional languages comes at the cost of expressiveness because the ambiguity of synchronization is solved by default strategies which are hidden from programmers. The programmers' inability to influence synchronization strategies has led to the proposal of a vast number of approaches that consider tailor-made synchronization strategies for particular applications.In this paper, we argue that such ambiguity is essential for BX and advocate that the synchronization strategy should not be hidden from programmers but considered from the start. We propose a novel approach to specifying so-called well-behaved bidirectional programs by their backward transformations, capable of expressing all aspects of a BX while retaining maintainability. Soundness of our approach results from a systematic analysis, based on existing mathematical concepts, of the instrumental laws of well-behaved BXs. We show that well-behaved BXs are uniquely determined by their backward transformations and corresponding forward transformations can be obtained for free. | FISCHER Sebastian HU ZhenJiang PACHECO Hugo | 2015 | Science China(Information Sciences)2015，58，5： | 1 |
| 5 | Supporting feature model refinement with updatable view显示文摘 | Bo WANG Zhenjiang HU Qiang SUN Haiyan ZHAO Yingfei XIONG WeiZHANG Hong MEI | 2013 | Frontiers of Computer Science2013，7，2： | 1 |
| 6 | The coupling effect of slow-rate mechanical motion on the confined etching process in electrochemical mechanical micromachining显示文摘By introducing the mechanical motion into the confined etchant layer technique(CELT), we have developed a promising ultraprecision machining method, termed as electrochemical mechanical micromachining(ECMM), for producing both regular and irregular three dimensional(3 D) microstructures. It was found that there was a dramatic coupling effect between the confined etching process and the slow-rate mechanical motion because of the concentration distribution of electrogenerated etchant caused by the latter. In this article, the coupling effect was investigated systemically by comparing the etchant diffusion, etching depths and profiles in the non-confined and confined machining modes. A two-dimensional(2 D) numerical simulation model was proposed to analyze the diffusion variations during the ECMM process, which is well verified by the machining experiments. The results showed that, in the confined machining mode, both the machining resolution and the perpendicularity tolerance of side faces were improved effectively. Furthermore, the theoretical modeling and numerical simulations were proved valuable to optimize the technical parameters of the ECMM process. | Lianhuan Han Yuchao Jia Yongzhi Cao Zhenjiang Hu Xuesen Zhao Shusen Guo Yongda Yan Zhongqun Tian Dongping Zhan | 2018 | Science China Chemistry2018，61，6： | 1 |
| 7 | Modeling Tracer Flow Characteristics in Different Types of Pores: Visualization and Mathematical Modeling显示文摘Structure of porous media and fluid distribution in rocks can significantly affect the transport characteristics during the process of microscale tracer flow.To clarify the effect of micro heterogeneity on aqueous tracer transport,this paper demonstrates microscopic experiments at pore level and proposes an improved mathematical model for tracer transport.The visualization results show a faster tracer movement into movable water than it into bound water,and quicker occupancy in flowing pores than in storage pores caused by the difference of tracer velocity.Moreover,the proposed mathematical model includes the effects of bound water and flowing porosity by applying interstitial flow velocity expression.The new model also distinguishes flowing and storage pores,accounting for different tracer transport mechanisms(dispersion,diffusion and adsorption)in different types of pores.The resulting analytical solution better matches with tracer production data than the standard model.The residual sum of squares(RSS)from the new model is 0.0005,which is 100 times smaller than the RSS from the standard model.The sensitivity analysis indicates that the dispersion coefficient and flowing porosity shows a negative correlation with the tracer breakthrough time and the increasing slope,whereas the superficial velocity and bound water saturation show a positive correlation. | Tongjing Liu Weixia Liu Pengxiang Diwu Gaixing Hu TingXu Yuqi Li Zhenjiang You Runwei Qiao Jia Wang | 2020 | Computer Modeling in Engineering & Sciences2020，，6： | 1 |
| 8 | Synchronizing concurrent model updates based on bidirectional transforma-tion显示文摘 | Xiong Yingfei Song Hui Hu Zhenjiang | 2013 | Software and System Modeling2013，12，1： | 1 |
| 9 | Facile synthesis of defect-rich Fe-N-C hybrid from fullerene/ferrotetraphenylporphyrin as efficient oxygen reduction electrocatalyst for Zn-air battery显示文摘Exploring remarkable oxygen reduction reaction(ORR)electrocatalysts for regenerative fuel cells and metal-air batteries is highly essential.Herein,a novel non-noble metal-based heterogeneous electrocatalyst with rich defects were successfully synthesized by liquid-liquid interfacial precipitation(LLIP)of fullerene(C_(60))and ferrotetraphenylporphyrin(FeTPP)followed by one step pyrolysis.The obtained product annealed at 700℃(C_(60)/FeTPP-700),when employed as ORR electrocatalyst,revealed a positive halfwave potential(E_(1/2))of 0.877 V vs.reversible hydrogen electrode(RHE),which was superior to that of the commercial 25%Pt/C.Delightfully,the assembled Zn-air battery(ZAB)using C_(60)/FeTPP-700 as an air-electrode catalyst exhibited a high power density of 153 m W/cm^(2),specific capacity of 668 mAh/g and long-term cycling stability for more than 250 h.Experimental results proved that the excellent electrocatalytic ORR activity of C_(60)/FeTPP-700 would attribute to the synergistic effect between FeN_xsites,Fe_(3)C/Fe nanoparticles and the structure defects.This work provides a feasible and simple method to prepare nonnoble metal-based ORR electrocatalysts for the application of energy storage and conversion. | Hai Wang Liyun Cao Yongqiang Feng Junsheng Chen Weihang Feng Tianmi Luo Yuzhu Hu Chengke Yuan Yajuan Zhao Yong Zhao Koji Kajiyoshi Yijun Liu Zhenjiang Li Jianfeng Huang | 2023 | Chinese Chemical Letters2023，34，5： | 0 |
| 10 | Preface显示文摘The Internet,not only of computers,but also of things and human users,has been rapidly and profoundly changing the way of building,deploying and using software.To achieve the application goals,software systems on the Internet platform need to coordinate autonomously with third-party services and resources,adapt to constant changes in the interactive environment where they are situated and of the requirements they need to satisfy,and continuously maintain a certain level of service quality satisfying users. | Zhi JIN Zhenjiang HU Gang YIN | 2016 | Science China(Information Sciences)2016，59，8： | 0 |
| 11 | A small organic molecule strategy for remedying oxygen vacancies by bismuth defects in BiOBr nanosheet with excellent photocatalytic CO_(2)reduction显示文摘Defect modulation currently plays a decisive role in addressing the poor photoabsorption,sluggish electron hole separation,and high CO_(2)activation barrier in photocatalytic CO_(2)reduction.However,hunting for a straightforward strategy to balance the concentration of oxygen vacancy and metal cation defect in one photocatalyst is still a great challenge.Herein,a bismuth vacancies BiOBr nanosheets(BiOBr-1)on the exposed[001]facets were constructed via an acetic acid molecule modification strategy,which can repair oxygen defect by bismuth vacancy in low-temperature solid-state chemical method.Benefiting from the formed bismuth defects that can not only broaden light absorption and elevate charge separation efficiency,but also enhance adsorption and activation of CO_(2)molecules,the evolution rates of photocatalytic CO_(2)conversion into CO(71.23μmol·g^(-1)·h^(-1))and CH4(8.90μmol·g^(-1)·h^(-1))attained by BiOBr-1 are superior 7.1 and 11 times to that of plate-like BiOBr.The photocatalytic mechanisms including adsorption concentration and activation process of CO_(2)are further revealed by the in situ diffuse reflectance infrared flourier transform spectra(DRIFTS).This finding of the existence of distinct defects in ultrathin nanosheets undoubtedly leads to new possibilities for photocatalyst design using two-dimensional materials with high solar-driven photocatalytic activity. | Jing Xie Zhenjiang Lu Yue Feng Jianguo Huang Jindou Hu Aize Hao Yali Cao | 2024 | Nano Research2024，17，1： | 0 |
| 12 | John Hopcroft’s views on China’s education显示文摘TRIPS TO CHINA NSR:How long have you been teaching undergraduate courses?Hopcroft:I started teaching in 1964,so Ive been teaching for over 50 years.I enjoy teaching and research;and that is the reason I haven't retired yet.Cornell's retirement program is very good.I could have retired on full salary.But I wonder what I would have done if I had retired. | Weijie Zhao Zhenjiang Hu | 2020 | National Science Review2020，7，3： | 0 |
| 13 | Atomic insights of electronic states engineering of GaN nanowires by Cu cation substitution for highly efficient lithium ion battery显示文摘Electronic engineering of gallium nitride(Ga N) is critical for enhancement of its electrode performance.In this work, copper(Cu) cation substituted Ga N(Cu-Ga N) nanowires were fabricated to understand the electronically engineered electrochemical performance for Li ion storage. Cu cation substitution was revealed at atomic level by combination of X-ray photoelectron spectroscopy(XPS), X-ray absorption fine structure(XAFS), density functional theory(DFT) simulation, and so forth. The Cu-Ga N electrode delivered high capacity of 813.2 m A h g^(-1) at 0.1 A g^(-1) after 200 cycles, increased by 66% relative to the unsubstituted Ga N electrode. After 2000 cycles at 10 A g^(-1),the reversible capacity was still maintained at326.7 m A h g^(-1). The DFT calculations revealed that Cu substitution introduced the impurity electronic states and efficient interatomic electron migration, which can enhance the charge transfer efficiency and reduce the Li ion adsorption energy on the Cu-Ga N electrode. The ex-situ SEM, TEM, HRTEM, and SAED analyses demonstrated the reversible intercalation Li ion storage mechanism and good structural stability. The concept of atomic-arrangement-assisted electronic engineering strategy is anticipated to open up opportunities for advanced energy storage applications. | Zhenjiang Li Kesheng Gao Ying Han Shiqi Ding Yanglansen Cui Minmin Hu Jian Zhao Meng Zhang Alan Meng Jimmy Yun Zhiming Liu Da-Wei Wang Changlong Sun | 2022 | Journal of Energy Chemistry2022，31，4： | 0 |
| 14 | A theoretic framework of bidirectional transformation between systems and models显示文摘Synchronization between systems and models has been explored in model-driven engineering to enable model-based system management.Despite its promising use,there is a lack of a theoretic foundation for state-based system-model synchronization.This paper proposes a theory for state-based system-model bidirectional transformation(BX),and defines seven combinators for system-model BX to facilitate the development of well-behaved synchronizer programs.A system-model BX is a single program that converts a system with a model consistently.Forwards,it creates a model according to a system as a conventional BX.Backwards,it generates a set of system edits,which can turn the current system into a new state that is consistent with the given model.System-model BX is fully aware of the domain constraints about how to change a system,and plans a reasonable execution order for those edits,rather than applying them blindly.The paper also demonstrates the use of system-model BX by building a generic system-model synchronizer and a concrete file system synchronizer. | Xiao HE Zhenjiang HU Na MENG | 2022 | Science China(Information Sciences)2022，65，10： | 0 |
| 15 | Intercalation-deintercalation design in MXenes for high-performance supercapacitors显示文摘MXene is a new intercalation pseudocapacitive electrode material for supercapacitor application.Intensifying fast ion diffusion is significantly essential for MXene to achieve excellent electrochemical performance.The expansion of interlayer void by traditional spontaneous species intercalation always leads to a slight increase in capacitance due to the existence of species sacrificing the smooth diffusion of electrolyte ions.Herein,an effective intercalation-deintercalation interlayer design strategy is proposed to help MXene achieve higher capacitance.Electrochemical cation intercalation leads to the expansion of interlayer space.After electrochemical cation extraction,intercalated cations are deintercalated mostly,leaving a small number of cations trapped in the interlayer silt and serving as pillars to maintain the interlayer space,offering an open,unobstructed interlayer space for better ion migration and storage.Also,a preferred surface with more-O terminations for redox reaction is created due to the reaction between cations and-OH terminations.As a result,the processed MXene delivers a much improved capacitance compared to that of the original Ti_(3)C_(2)T_(x)electrode(T stands for the surface termination groups,such as-OH,-F,and-O).This study demonstrates an improvement of electrochemical performance of MXene electrodes by controlling the interlayer structure and surface chemistry. | Zhenjiang Li Jun Dai Yiran Li Changlong Sun Alan Meng Renfei Cheng Jian Zhao Minmin Hu Xiaohui Wang | 2022 | Nano Research2022，15，4： | 0 |
| 16 | Constructing format-preserving printing from syntax-directed definitions显示文摘Transformations between source codes, such as refactorings and program analysis, are frequently used in software engineering. Typically, transformations are effectively implemented using an abstract syntax tree(AST) on the origin source code. However, a critical limitation of ASTs is the loss of layout information such as whitespace and comments, which can result in poor readability. To overcome this shortcoming, this paper proposes a bidirectional transformation(BX) method that maintains consistency in the layout between the origin and transformed. First, a section of origin source code will be translated to a concrete syntax tree(CST) that includes layout information. Second, to make the BX practical, a new method is constructed that matches an AST with its respective CST. Finally, to get a reasonable CST, a method to amend the CST is also provided. We prove that the BX is well-behaved, which implies that it satisfies both the Put Get and Get Put laws. Furthermore, we illustrate the correctness of the methodology by treating XML language as a case study. | WANG LiChao LI GuoQiang HU ZhenJiang | 2015 | Science China(Information Sciences)2015，58，11： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员