|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | ABF2, ABF3, and ABF4 Promote ABA-Mediated Chlorophyll Degradation and Leaf Senescence by Transcriptional Activation of Chlorophyll Catabolic Genes and Senescence-Associated Genes in Arabidopsis显示文摘叶绿素(Chl ) 降级是叶老朽的一个不可分的过程,并且 NYE1/SGR1 在多样的工厂种类作为 Chl 分解代谢的一个关键管理者被表明了。在这研究,用屏蔽的酵母一个混血儿,我们识别了三 abscisic 酸(骆驼毛的织物) 应答的元素(ABRE ) 绑定抄写因素, ABF2 (AREB1 ) , ABF3,和 ABF4 (AREB2 ) , NYE1 倡导者的通常认为的有约束力的蛋白质。通过 transactivation 分析, electrophoretic 活动性移动试金,和染色质 immunoprecipitation,我们表明了直接跳到并且在 vitro 并且在 vivo 激活 NYE1 倡导者的那 ABF2, ABF3,和 ABF4。骆驼毛的织物是叶老朽的一个积极管理者,并且外长地适用骆驼毛的织物能加速 Chl 降级。ABF, abf2abf3abf4,以及二骆驼毛的织物感觉迟钝的异种, abi1-1 和 snrk2.2/2.3/2.6 的三倍的异种,在骆驼毛的织物处理以后的展出停留绿色显型,与 NYE1 和 NYE2 表示的减少的正式就职一起。相反, ABF4 的 overexpression 在骆驼毛的织物处理之上加速了 Chl 降级。有趣地, ABF2/3/4 能也激活二 Chl 分解代谢的酶基因, PAO 和 NYC1 的表达式,由对他们的倡导者直接有约束力。另外, abf2abf3abf4 展出了功能的停留绿色显型,和联系老朽的基因(下垂) 例如 SAG29 (SWEET15 ) ,可能被 ABF 直接调整。一起拿,我们的结果在调停作为关键管理者建议那 ABF2, ABF3,和 ABF4 可能的行为被触发骆驼毛的织物的 Chl 降级和叶老朽一般来说在 Arabidopsis。 | Shan Gao Jiong Gao Xiaoyu Zhu Yi Song Zhongpeng Li Guodong Ren Xin Zhou Benke Kuai | 2016 | Molecular Plant2016，9，9： | 27 |
| 2 | 可组合嵌入式软件建模与验证技术研究综述显示文摘可组合嵌入式软件以构件开发技术为基础,研究嵌入式构件的建模、组合性质、构件间组合机制以及组合验证等理论、方法和技术.从组合理论、建模与验证技术这3个方面对可组合嵌入式软件的研究现状进行调研分析.组合理论研究给出构件可组合性的乐观定义和悲观定义,从组合操作、组合规则两个方面定义构件间的组合机制.针对嵌入式构件的特点,着重调研了非功能特性和异构构件的建模与组合技术,分析了非功能特性约束、面向多特性的模型等方法.分析了基于契约的验证、基于不变量的验证、基于模型检查的验证等多种嵌入式软件组合验证技术.最后,探讨了需要进一步研究的问题. | 王博 白晓颖 贺飞 Xiaoyu SONG | 2014 | 软件学报2014，25，2： | 17 |
| 3 | Humoral immune response to circulating SARS-CoV-2 variants elicited by inactivated and RBD-subunit vaccines显示文摘SARS-CoV-2 variants could induce immune escape by mutations on the receptor-binding domain(RBD)and N-terminal domain(NTD).Here we report the humoral immune response to circulating SARS-CoV-2 variants,such as 501Y.V2(B.1.351),of the plasma and neutralizing antibodies(NAbs)elicited by CoronaVac(inactivated vaccine),ZF2001(RBD-subunit vaccine)and natural infection.Among 86 potent NAbs identified by high-throughput single-cell VDJ sequencing of peripheral blood mononuclear cells from vaccinees and convalescents,near half anti-RBD NAbs showed major neutralization reductions against the K417N/E484K/N501Y mutation combination,with E484K being the dominant cause.VH3-53/VH3-66 recurrent antibodies respond differently to RBD variants,and K417N compromises the majority of neutralizing activity through reduced polar contacts with complementarity determining regions.In contrast,the 242–244 deletion(242–244Δ)would abolish most neutralization activity of anti-NTD NAbs by interrupting the conformation of NTD antigenic supersite,indicating a much less diversity of anti-NTD NAbs than anti-RBD NAbs.Plasma of convalescents and CoronaVac vaccinees displayed comparable neutralization reductions against pseudo-and authentic 501Y.V2 variants,mainly caused by E484K/N501Y and 242–244Δ,with the effects being additive.Importantly,RBD-subunit vaccinees exhibit markedly higher tolerance to 501Y.V2 than convalescents,since the elicited anti-RBD NAbs display a high diversity and are unaffected by NTD mutations.Moreover,an extended gap between the third and second doses of ZF2001 leads to better neutralizing activity and tolerance to 501Y.V2 than the standard three-dose administration.Together,these results suggest that the deployment of RBD-vaccines,through a third-dose boost,may be ideal for combating SARS-CoV-2 variants when necessary,especially for those carrying mutations that disrupt the NTD supersite. | Yunlong Cao Ayijiang Yisimayi Yali Bai Weijin Huang Xiaofeng Li Zhiying Zhang Tianjiao Yuan Ran An Jing Wang Tianhe Xiao Shuo Du Wenping Ma Liyang Song Yongzheng Li Xiang Li Weiliang Song Jiajing Wu Shuo Liu Xuemei Li Yonghong Zhang Bin Su Xianghua Guo Yangyang Wei Chuanping Gao Nana Zhang Yifei Zhang Yang Dou Xiaoyu Xu Rui Shi Bai Lu Ronghua Jin Yingmin Ma Chengfeng Qin Youchun Wang Yingmei Feng Junyu Xiao Xiaoliang Sunney Xie | 2021 | Cell Research2021，31，7： | 12 |
| 4 | Biodiversity-based development and evolution:the emerging research systems in model and non-model organisms显示文摘Evolutionary developmental biology,or Evo-Devo for short,has become an established field that,broadly speaking,seeks to understand how changes in development drive major transitions and innovation in organismal evolution.It does so via integrating the principles and methods of many subdisciplines of biology.Although we have gained unprecedented knowledge from the studies on model organisms in the past decades,many fundamental and crucially essential processes remain a mystery.Considering the tremendous biodiversity of our planet,the current model organisms seem insufficient for us to understand the evolutionary and physiological processes of life and its adaptation to exterior environments.The currently increasing genomic data and the recently available gene-editing tools make it possible to extend our studies to non-model organisms.In this review,we review the recent work on the regulatory signaling of developmental and regeneration processes,environmental adaptation,and evolutionary mechanisms using both the existing model animals such as zebrafish and Drosophila,and the emerging nonstandard model organisms including amphioxus,ascidian,ciliates,single-celled phytoplankton,and marine nematode.In addition,the challenging questions and new directions in these systems are outlined as well. | Long Zhao Feng Gao Shan Gao Yujun Liang Hongan Long Zhiyi Lv Ying Su Naihao Ye Liusuo Zhang Chengtian Zhao Xiaoyu Wang Weibo Song Shicui Zhang Bo Dong | 2021 | Science China(Life Sciences)2021，64，8： | 9 |
| 5 | Aurora A orchestrates entosis by regulating a dynamic MCAK-TIP150 interaction显示文摘 | PengXia JinhuaZhou Xiaoyu Song BingWu XingLiu Di Li Shuyuan Zhang Zhikai Wang H uijuan Yu Tarsha Ward Jiancun Zhang Yinmei Li Xiaoning Wang YongChen Zhen Guo Xuebiao Yao | 2014 | Journal of Molecular Cell Biology2014，8，3： | 9 |
| 6 | Temporal and spatial dynamical simulation of groundwater characteristics in Minqin Oasis显示文摘Application scope of geostatistics has been gradually extended from original geologic field to soil science and ecological field, etc. and its successful application results have been widely demonstrated. But little information is reported as to the direct use of geostatistical method to work out the distribu- tion map of groundwater characteristics. In this paper the semivariogram of geostatistics, in combina- tion with GIS, was used to quantitatively study the spatial variation characteristics of groundwater table depth and mineralization degree and their relation to the landuse changes. F test of the used spherical model reached a very significant level, and the theoretical model can well reflect the spatial structural characteristics of groundwater table depth and mineralization degree and achieve an ideal result. This shows that the application of the method in the dynamical simulation of groundwater is feasible. And this paper also provides useful reference for the application of geostatistics in the study of the dy- namical variations of groundwater resources in the oasis. | XIAO DuNing LI XiaoYu SONG DongMei YANG GuoJing | 2007 | Science China Earth Sciences2007，50，2： | 7 |
| 7 | 基于执行序列的嵌入式软件时序异常检测显示文摘时序特性是嵌入式软件的重要特性,实时嵌入式软件运行的正确性不仅依赖于任务执行结果,更依赖于任务执行时间.执行任务往往具有多个时间约束,且相互之间可能存在制约关系,对时间约束进行验证和确认是嵌入式软件测试的一个重要问题.文中提出一种基于执行片段的嵌入式软件时序特性检测方法(Trace-Based Temporal Defect Detection,TBTDD).一方面,基于扩展语义接口自动机(Extended Semantic Interface Automata,ESIA)模型,刻画嵌入式软件时序特性需求,分析不同时间约束间存在的相关关系类型,并提出基于相关矩阵的相关时间约束识别算法;另一方面,在目标软件运行环境中提取包含时间信息的执行片段,通过执行片段与时间约束模型的匹配,依据预先制定的时序特性检测准则,检验执行序列是否满足模型中各项独立和相关时间约束的要求,进而发现被测软件中存在的时序缺陷.实验以卫星定位系统软件为例进行建模与缺陷检测,并在执行片段集和缺陷检测能力等方面进行了对比分析.实验表明,该方法可有效检测软件运行过程中存在的各类异常时序,提高了软件时序测试的有效性和充分性. | 王博 白晓颖 陈文光 SONG Xiaoyu | 2017 | 计算机学报2017，40，12： | 7 |
| 8 | 面向实时数据的CPS一体化建模方法显示文摘信息物理系统(cyber-physical system,简称CPS)是一个在环境感知的基础上整合了物理和计算元素的系统,它可以智能地响应真实世界的动态变化,具有重要而广阔的应用前景。然而,CPS工作在复杂的物理环境中,周围的物理变化会对CPS的行为产生影响。因此,确保CPS在复杂环境中的安全性和可靠性至关重要。提出了一种面向实时数据的一体化建模方法,通过定义一系列的规则,将领域环境模型组合到运行时验证过程中去,从而保证CPS在不确定环境中的安全性和可靠性。该方法首先为环境建立数学模型。然后,设计合并规则将相同系统参数下仅有一个环境影响因子的数学模型合并为相同系统参数下有一个或多个环境影响因子的数学模型。之后,定义转换规则,将数学模型转换为伪代码表示的环境模型。最后,根据组合规则将环境模型组合到运行时监视模型中执行验证。该方法使得监视模型更加完整、准确,当环境发生变化时,通过动态调整参数范围使得CPS中的安全属性在复杂的物理环境中仍然得以满足。将该方法应用到移动机器人避障实验中,对影响电池容量的温度和湿度进行数学建模,然后将环境模型组合到监视模型中去,最终实现在执行任务前可以根据不同的物理环境准确地给出续航时间安全提醒。 | 罗晨霞 王瑞 关永 李晓娟 施智平 Xiaoyu SONG | 2019 | 软件学报2019，30，7： | 7 |
| 9 | A draft sequence of the rice (Oryza sativa ssp. indica) genome显示文摘The sequence of the rice genome holds fundamental information for its biology, including physiology, genetics, development, and evolution, as well as information on many beneficial phenotypes of economic significance. Using a 'whole genome shotgun' approach, we have pro-duced a draft rice genome sequence of Oryza sativa ssp. in-dica, the major crop rice subspecies in China and many other regions of Asia. The draft genome sequence is constructed from over 4.3 million successful sequencing traces with an accumulative total length of 2214.9 Mb. The initial assembly of the non-redundant sequences reached 409.76 Mb in length, based on 3.30 million successful sequencing traces with a total length of 1797.4 Mb from an indica variant cultivar 93-11, giving an estimated coverage of 95.29% of the rice genome with an average base accuracy of higher than 99%. The coverage of the draft sequence, the randomness of the sequence distribution, and the consistency of BIG-ASSEM-BLER, a custom-designed software package | YU Jun, HU Songnian, WANG Jun,LI Songgang WONG Ka-Shu Gane, LIU Bin,DENG Yajun, DAI Li, ZHOU Yan,ZHANG Xiuqing, CAO Mengliang, LIU Jing,SUN Jiandong , TANG Jiabin, CHEN Yanjiong,HUANG Xiaobing, LIN Wei, YE Chen, TONG Wei,CONG Lijuan, GENG Jianing, HAN Yujun, LI Lin,LI Wei, HU Guangqiang, HUANG Xiangang,LI Wenjie, LI Jian, LIU Zhanwei, LI Long,LIU Jianping, Ql Qiuhui, LIU Jinsong, LI Li,WANG Xuegang, LU Hong, WU Tingling,ZHU Miao, Nl Peixiang, HAN Hua, DONG Wei,REN Xiaoyu, FENG Xiaoli, GUI Peng,LI Xianran, WANG Hao, XU Xin, ZHAI Wenxue,XU Zhao, ZHANG Jinsong, HE Sijie,ZHANG Jianguo, XU Jichen, ZHANG Kunlin,ZHENG Xianwu, DONG Jianhai, ZENG Wanyong,TAO Lin, CHEN Xuewei, HE Jun, LIU Daofeng,TIAN Wei, TIAN Chaoguang, XIA Hongai,LI Gang, GAO Hui, LI Ping, CHEN Wei ,WANG Xudong, ZHANG Yong, HU Jianfei,WANG Jing, LIU Song, YANG Jian,ZHANG Guangyu, XIONG Yuqing, LI Zhijie,MAO Long, ZHOU Chengshu, ZHU Zhen,CHEN Runsheng, HAO Bailin,ZHENG Weimou, CHEN Shouyi, QUO Wei,LI Guojie, LIU Siqi, HUANG Guyang,TAO Ming, WANG Jian, ZHU Lihuang,YUAN Longping& YANG HuanmingBeijing Genomics Institute/Center of Genomics & Bioinformatics, Chinese Academy of Sciences, Beijing 101300, China Hangzhou Genomics Institute/Institute of Bioinformatics of Zhejiang University/Key Laboratory of Bioinformatics of Zhejiang Province, Hangzhou 310007, China Institute of Genetics, Chinese Academy of Sciences, Beijing 100101, China National Hybrid Rice R & D Center, Changsha 410125, China Laboratory of Bioinformatics, Institute of Biophysics, Chinese Academy of Sciences, Beijing 100101, China College of Life Sciences, Peking University, Beijing 100871, China Institute of Theoretical Physics, Chinese Academy of Sciences, Beijing 1Q0080, China Digital China Ltd., Beijing 100080, China Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, China Medical College, Xi’an Jiaotong University, Xi’an 710061, ChinaThese authors contributed equally to this work.Corresponding author.Corresponden | 2001 | Chinese Science Bulletin2001，46，23： | 6 |
| 10 | Comparative genomic and transcriptomic analyses uncover the molecular basis of high nitrogen-use efficiency in the wheat cultivar Kenong 9204显示文摘Studying the regulatory mechanisms that drive nitrogen-use efficiency(NUE)in crops is important for sustainable agriculture and environmental protection.In this study,we generated a high-quality genome assembly for the high-NUE wheat cultivar Kenong 9204 and systematically analyzed genes related to nitrogen uptake and metabolism.By comparative analyses,we found that the high-affinity nitrate transporter gene family had expanded in Triticeae.Further studies showed that subsequent functional differentiation endowed the expanded family members with saline inducibility,providing a genetic basis for improving the adaptability of wheat to nitrogen deficiency in various habitats.To explore the genetic and molecular mechanisms of high NUE,we compared genomic and transcriptomic data from the high-NUE cultivar Kenong 9204(KN9204)and the low-NUE cultivar Jing 411 and quantified their nitrogen accumulation under high-and low-nitrogen conditions.Compared with Jing 411,KN9204 absorbed significantly more nitrogen at the reproductive stage after shooting and accumulated it in the shoots and seeds.Transcriptome data analysis revealed that nitrogen deficiency clearly suppressed the expression of genes related to cell division in the young spike of Jing 411,whereas this suppression of gene expression was much lower in KN9204.In addition,KN9204 maintained relatively high expression of NPF genes for a longer time than Jing 411 during seed maturity.Physiological and transcriptome data revealed that KN9204 was more tolerant of nitrogen deficiency than Jing 411,especially at the reproductive stage.The high NUE of KN9204 is an integrated effect controlled at different levels.Taken together,our data provide new insights into the molecular mechanisms of NUE and important gene resources for improving wheat cultivars with a higher NUE trait. | Xiaoli Shi Fa Cui Xinyin Han Yilin He Long Zhao Na Zhang Hao Zhang Haidong Zhu Zhexin Liu Bin Ma Shusong Zheng Wei Zhang Jiajia Liu Xiaoli Fan Yaoqi Si Shuiquan Tian Jianqing Niu Huilan Wu Xuemei Liu Zhuo Chen Deyuan Meng Xiaoyan Wang Liqiang Song Lijing Sun Jie Han Hui Zhao Jun Ji Zhiguo Wang Xiaoyu He Ruilin Li Xuebin Chi Chengzhi Liang Beifang Niu Jun Xiao Junming Li Hong-Qing Ling | 2022 | Molecular Plant2022，15，9： | 6 |
| 11 | 几何代数的高阶逻辑形式化显示文摘几何代数是一种用于描述和计算几何问题的代数语言,由于它统一表达分析和不依赖于坐标的几何计算等优点,现已成为数学分析、理论物理、几何学、工程应用等领域重要的理论基础和计算工具.然而,利用几何代数进行计算和建模分析的传统方法,如数值计算方法和符号方法等,都存在计算不精确或者不完备等问题.高阶逻辑定理证明是验证系统正确的一种严密的形式化方法.在高阶逻辑证明工具HOL-Light中建立了几何代数系统的形式化模型,主要包括片积、多重矢量、外积、内积、几何积、几何逆、对偶、基矢量运算和变换算子等的形式化定义和相关性质定理的证明.最后,为了说明几何代数形式化的有效性和实用性,在共形几何代数空间中,给刚体运动问题提供了一种简单有效的形式化建模与验证方法. | 马莎 施智平 李黎明 关永 张杰 Xiaoyu SONG | 2016 | 软件学报2016，27，3： | 5 |
| 12 | Stock index adjustments, analyst coverage and institutional holdings: Evidence from China显示文摘Using 231 pairs of matched firms from 2009 to 2012 in Chinese stock market,we find that the stock index adjustment significantly affects the analyst coverage, which in addition to the stock index leads to more analyst coverage, while deletion from the stock index has no significant effect, indicating that stock index adjustment can significantly change the information environments of firms that are added to the index. An index adjustment also affects institutional holdings in consideration of new information(e.g., changes in fundamentals and information environments). Changes in institutional holdings are partially due to changes in analyst coverage, and both index funds and other types can change their portfolios in response to changes in the target firms' informativeness. | Song Zhu Xiaoyu Jiang Xiaoli Ke Xiaoyu Bai | 2017 | China Journal of Accounting Research2017，，3： | 5 |
| 13 | Optimization of both coercivity and knee-point magnetic field of Sm2Co17-type magnets via solid solution process显示文摘It is confirmed that phase homogenization is very important for improving the magnetic properties of 2:17-type Sm-Co sintered magnets,In this work,the influence of solid solution process on microstructure and magnetic properties of the Sm(CobalFe0.233Cu0.073Zr0.024)7.6 sintered magnets was systematically studied.With the solid-solution treating duration(tS)increasing from 0 to 4 h,intrinsic coercivity(Hcj)increases from 12.83 to 36.54 kOe,magnetic field at knee-point(Hknee)increases from2.76 to 19.14 kOe,and the maximum energy product increases from 19.79 to 29.48 MGOe.The electron probe microanalyzer results reveal that there mainly exist gray and dark regions besides'white'rare earth-rich phase,and the conte nt of Sm,Fe and Cu elements for the two kinds of regions changes a lot for the specimens,Furthermore,with tS increasing up to 4 h,the elements content deviation between the gray and dark regions becomes small gradually from 3.94 at%to 0.27 at%,7.66 at%to 0.21 at%and 7.27 at%to 0.16 at%for Sm,Fe and Cu elements,respectively.Moreover,transmission electron microscopy results show that the distribution of cell size is much more concentrated for aged specimens when tS is 4 h.It is also found that the Cu concentration at cell boundaries for the 4 h solid-solution treatment case shows relatively higher values and greater concentration gradient(1.94 at%/nm).It is verified that sufficient solution treatment duration is prerequisite to form these homogeneous microstructural features,which are the key points for obtaining both high Hcj and Hknee. | Shuai Wang Yikun Fang Kuikui Song Xiaoyu Zhu Lei Wang Wei Sun Wei Pan Minggang Zhu Wei Li | 2020 | Journal of Rare Earths2020，38，11： | 5 |
| 14 | Connexin 43 hemichannel regulates H9c2 cell proliferation by modulating intracellular ATP and [Ca^2+]显示文摘Connexin 43 (Cx43 ) ,知道在哺乳动物的心是差距连接和 hemichannels 的主要蛋白质积木,在 cardiocytes 增长起一个重要作用。差距 junctional 细胞间的通讯被建议了为细胞的增长和区别必要。然而, cardiocytes 增长和机制遗体上的 Cx43 hemichannel 的效果不清楚。在这研究,老鼠心房间线 H9c2 被使用。Cx43 地点,增长率和 H9c2 房间和 Wnt-3a+-H9c2 房间的 hemichannel 活动被调查并且细胞内部的 ATP 的变化并且[Ca2+] 被决定。结果证明 18-glycyrrhetinic 酸(GA ) 导致的禁止的 hemichannel 唤起了细胞内部的 ATP 并且[Ca2+] 增加和提高的 H9c2 房间增长。Wnt-3a+-H9c2 房间显示了提高的 hemichannel 活动和增长率。Wnt-3a+-H9c2 房间的禁止的 hemichannel 由 18-GA 导致了减少的细胞内部的 ATP,增加[Ca2+] ,并且提高了 H9c2 房间的增长。这研究在 H9c2 房间增长规定验证了 hemichannel 的角色,并且显示出涉及 H9c2 房间增长的规定的机制。增长能被 Cx43 调停 hemichannel 的 ATP 版本伴随提高细胞内部[Ca2+] 变化。然而, ATP 的不同变化在 Wnt-3a+-H9c2 房间被观察。这些调查结果在细胞内部的 ATP 上在 H9c2 房间和 Wnt-3a 的效果提供了新卓见进增长规定的分子的机制。 | Dongli Song Xiaoyu Liu Rujiao Liu Ling Yang Ji Zuo Wen Liu | 2010 | Acta Biochimica et Biophysica Sinica2010，42，7： | 5 |
| 15 | 具有多传感器的CPS系统的攻击检测显示文摘信息物理系统(cyber-physical systems,简称CPS)是基于环境感知实现计算、通信与物理元素紧密结合的下一代智能系统,广泛应用于安全攸关的系统和工业控制等领域。信息技术与物理世界的相互作用使得CPS容易受到各种恶意攻击,从而破坏其安全性。主要研究存在瞬态故障的CPS中传感器的攻击检测问题。考虑具有多个传感器测量相同物理变量的系统,其中一些传感器可能受到恶意攻击并提供错误的测量。此外,使用抽象传感器模型,每个传感器为控制器提供一个真实值的可能间隔。已有的用于检测传感器被恶意攻击的方法是保守的。当专业攻击者在一段时间内轻微地或不频繁地操纵传感器的输出时,现有方法很难捕获到攻击,如隐身攻击。为了解决这个问题,设计了一种基于融合间隔和历史测量的传感器攻击检测方法。该方法首先为不同的传感器构建不同的故障模型,使用系统动力学方程把历史测量融入到攻击检测方法中,从不同的方面分析传感器的测量。另外,利用历史测量和融合间隔解决了两个传感器的测量相交时是否存在故障的问题。该方法的核心思想是利用传感器之间的成对不一致关系检测和识别攻击。从EV3地面车辆上获得真实的测量数据来验证算法的性能。实验结果表明,所提出的方法优于现有方法,对各种攻击类型都有较好的检测和识别性能,特别是对于隐身攻击,检测率和识别率大约提高了90%以上。 | 杨康 王瑞 关永 李晓娟 施智平 Xiaoyu SONG | 2019 | 软件学报2019，30，7： | 5 |
| 16 | Competent predicate abstraction in model checking显示文摘The paper presents a new approach to computing the abstract state and a maximum weight heuristic method for finding the shortest counter-example in verification of imperative programs. The strategy is incorporated in a verification system based on the counterexample-guided abstraction refinement method. The proposed method slashes both the size of the abstract state space and the number of invokes of a decision procedure. A number of benchmarks are employed to evaluate the effectiveness of the approach. | LI Li SONG XiaoYu GU Ming LUO XiangYu | 2011 | Science China(Information Sciences)2011，54，2： | 4 |
| 17 | Lotus seedpod-inspired internal vascularized 3D printed scaffold for bone tissue repair显示文摘In the field of bone defect repair,3D printed scaffolds have the characteristics of personalized customization and accurate internal structure.However,how to construct a well-structured vascular network quickly and effectively inside the scaffold is essential for bone repair after transplantation.Herein,inspired by the unique biological structure of“lotus seedpod”,hydrogel microspheres encapsulating deferoxamine(DFO)liposomes were prepared through microfluidic technology as“lotus seeds”,and skillfully combined with a three-dimensional(3D)printed bioceramic scaffold with biomimetic“lotus”biological structure which can internally grow blood vessels.In this composite scaffold system,DFO was effectively released by 36%in the first 6 h,which was conducive to promote the growth of blood vessels inside the scaffold quickly.In the following 7 days,the release rate of DFO reached 69%,which was fundamental in the formation of blood vessels inside the scaffold as well as osteogenic differentiation of bone mesenchymal stem cells(BMSCs).It was confirmed that the composite scaffold could significantly promote the human umbilical vein endothelial cells(HUVECs)to form the vascular morphology within 6 h in vitro.In vivo,the composite scaffold increased the expression of vascularization and osteogenic related proteins Hif1-α,CD31,OPN,and OCN in the rat femoral defect model,significantly cutting down the time of bone repair.To sum up,this“lotus seedpod”inspired porous bioceramic 3D printed scaffold with internal vascularization functionality has broad application prospects in the future. | Xiaoyu Han Mingjie Sun Bo Chen Qimanguli Saiding Junyue Zhang Hongliang Song Lianfu Deng Peng Wang Weiming Gong Wenguo Cui | 2021 | Bioactive Materials2021，6，6： | 4 |
| 18 | Obtaining digital elevation data in different terrain and physiognomy regions with spaceborne InSAR and its application analysis显示文摘Synthetic Aperture Radar Interferometry (for short, InSAR) is a new kind of earth observation technology, which has obtained great development in recent ten years and has a great development potential and successful future. In this note, three typical regions with different physiognomies and terrains have been selected as study regions to extract their Digital Elevation Model (OEMs). Compared with the existing 1 : 250000 DEM and by analyzing their results, we have obtained its accuracy and applicable scopes. The results show that in the region (plains, mountains or highlands) with dry surface and sparse vegetation, because of the better correlatability of images, the DEM obtained by InSAR is evidently better than the existing 1 : 250000 DEM and the accuracy can reach 4-6m; in the thick-vegetation-covering region, correlatability between images descends and the accuracy of InSAR DEM can only reach about 30 m worse than its existing 1:250000 DEM; in the middle covering field, the accuracy of InSAR DEM | SHAN Xinjian SONG Xiaoyu LIU Jiahang WANG Changlin | 2002 | Chinese Science Bulletin2002，47，10： | 3 |
| 19 | Acetytation of ACAP4 regutates CCL18-elicited breast cancer cell migration and invasion显示文摘Tumor metastasis represents the main causes of cancer-related death.Our recent study showed that chemokine CCL18 secreted from tumor-associated macrophages regulates breast tumor metastasis,but the underlying mechanisms remain less clear.Here, we show that ARF6 GTPase-activating protein ACAP4 regulates CCL18-elicited breast cancer cell migration via the acetyltransferase PCAF-mediated acetylation.CCL18 stimulation elicited breast cancer cell migration and invasion via PCAF-dependent acetylation.ACAP4 physically interacts with PCAF and is a cognate substrate of PCAF during CCL18 stimulation.The acetylation site of ACAP4 by PCAF was mapped to Lys311 by mass spectrometric analyses.Importantly,dynamic acetylation of ACAP4 is essential for CCL18-induced breast cancer cell migration and invasion,as overexpression of the persistent acetylation-mimicking or nonacetylatable ACAP4 mutant blocked CCL18-elicited cell migration and invasion.Mechanistically,the acetylation of ACAP4 at Lys311 reduced the lipid-binding activity of ACAP4 to ensure a robust and dynamic cycling of ARF6-ACAP4 complex with plasma membrane in response to CCL18 stimulation.Thus,these results present a previously undefined mechanism by which CCL18-elicited acetylation of the PH domain controls dynamic interaction between ACAP4 and plasma membrane during breast cancer cell migration and invasion. | Xiaoyu Song Wei Liu Xiao Yuan Jiying Jiang Wanjuan Wang McKay Mullen Xuannv Zhao Yin Zhang Fusheng Liu Shihao Du Adeel Rehman Ruijun Tian Jian Li Andra Frost Zhenwei Song Hadiyah-Nicole Green Calmour Henry Xing Liu Xia Ding Dongmei Wang Xuebiao Yao | 2018 | Journal of Molecular Cell Biology2018，10，6： | 3 |
| 20 | A comprehensive analysis of the Bencao(herbal)small RNA Atlas reveals novel RNA therapeutics for treating human diseases显示文摘Cross-kingdom herbal mi RNA was first reported in 2012.Using a modified herbal extraction protocol,we obtained 73,677,287sequences by RNA-seq from 245 traditional Chinese Medicine(TCM),of which 20,758,257 were unique sequences.We constructed a Bencao(herbal)small RNA(s RNA)Atlas(http://gffzz4a3adbfa122d4a47hkwxfwp5cvk596k6c.ffgz.tsg.suse.edu.cn),annotated the sequences by sequence-based clustering,and created a nomenclature system for Bencao s RNAs.The profiles of 21,757 mi RNAs in the Atlas were highly consistent with those of plant mi RNAs in mi RBase.Using software tools,our results demonstrated that all human genes might be regulated by s RNAs from the Bencao s RNA Atlas,part of the predicted human target genes were experimentally validated,suggesting that Bencao s RNAs might be one of the main bioactive components of herbal medicines.We established roadmaps for oligonucleotide drugs development and optimization of TCM prescriptions.Moreover,the decoctosome,a lipo-nano particle consisting of 0.5%–2.5%of the decoction,demonstrated potent medical effects.We propose a Bencao(herbal)Index,including small-molecule compounds(SM),protein peptides(P),nucleic acid(N),non-nucleic and non-proteinogenic large-molecule compounds(LM)and elements from Mendeleev's periodic table(E),to quantitatively measure the medical effects of botanic medicine.The Bencao s RNA Atlas is a resource for developing gene-targeting oligonucleotide drugs and optimizing botanical medicine,and may provide potential remedies for the theory and practice of one medicine. | Yinghao Cao Yexuan Lin Na Sun Xinyi Du Yixin Dong Song Mei Xingyu Deng Xiaobei Li Shaoting Guo Kegong Tang Jiaqi Liu Xiangyu Qiao Dandan Zhao Yuhao Qin Cong Zhang Tianyi Xin Xiaohu Shi Congzhao Zhou Tao Dong De-an Guo Benedikt MKessler Dong Xu Jingyuan Song Fengming Huang Xiaoyue Wang Chengyu Jiang | 2023 | Science China(Life Sciences)2023，66，10： | 2 |
您所在的机构暂未开通此部分的功能，请联系管理员