检索结果-南通市图书馆

A Game-Based Approach for PCTL＊ Stochastic Model Checking with Evidence

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2016年第1期31卷 198-216页

作者： Yang liu xuan-Dong Li Yan Ma State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210046 China Department of Computer Science School of Computing National University of Singapore Singapore 117417 Singapore College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China

Stochastic model checking is a recent extension and generalization of the classical model checking, which focuses on quantitatively checking the temporal property of a system model. PCTL＊ is one of the important quantitative property specification languages, which is strictly more expressive than either PCTL （probabilistic computation tree logic） or LTL （linear temporal logic） with probability bounds. At present, PCTL＊ stochastic model checking algorithm is very complicated, and cannot provide any relevant explanation of why a formula does or does not hold in a given model. For dealing with this problem, an intuitive and succinct approach for PCTL＊ stochastic model checking with evidence is put forward in this paper, which includes： presenting the game semantics for PCTL＊ in release-PNF （release-positive normal form）, defining the PCTL＊ stochastic model checking game, using strategy solving in game to achieve the PCTL＊ stochastic model checking, and refining winning strategy as the evidence to certify stochastic model checking result. The soundness and the completeness of game-based PCTL＊ stochastic model checking are proved, and its complexity matches the known lower and upper bounds. The game-based PCTL＊ stochastic model checking algorithm is implemented in a visual prototype tool, and its feasibility is demonstrated by an illustrative example.

关键词： PCTL* stochastic model checking game semantics strategy evidence

Plant transfer RNA-derived fragments:Biogenesis and functions

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Integrative Plant Biology 2021年第8期63卷 1399-1409页

作者： xuan Ma Chunyan liu Xiaofeng Cao Tianjin Key Laboratory of Animal and Plant Resistance College of Life SciencesTianjin Normal UniversityTianjin300387 China State Key Laboratory of Plant Genomics and National Center for Plant Gene Research Institute of Genetics and Developmental Biologythe Chinese Academy of SciencesBeijing100101 China CAS Center for Excellence in Molecular Plant Sciences the Chinese Academy of SciencesBeijing100101 China University of Chinese Academy of Sciences Beijing100049 China

Processing of mature transfer RNAs(tRNAs)produces complex populations of tRNA-derived fragments(tRFs).Emerging evidence shows that tRFs have important functions in bacteria,animals,and ***,we review recent advances in understanding plant tRFs,focusing on their biological and cellular functions,such as regulating stress responses,mediating plant-pathogen interactions,and modulating post-transcriptional gene silencing and *** also review sequencing strategies and bioinformatics resources for studying tRFs in ***,we discuss future directions for plant tRF research,which will expand our knowledge of plant non-coding RNAs.

关键词： tRFs tRNA halves RNase T2 stress gene silencing plant

Unlocking plant metabolic diversity: A (pan)- genomic view

在线全文

学校读者我要写书评

暂无评论

Plant Communications 2022年第2期3卷 112-120页

作者： xuan Zhou Zhenhua liu Joint Center for Single Cell Biology School of Agriculture and BiologyShanghai Jiao Tong UniversityShanghai 200240China Shanghai Collaborative Innovation Center of Agri-Seeds School of Agriculture and BiologyShanghai Jiao Tong UniversityShanghai 200240China

Plants produce a remarkable diversity of structurally and functionally diverse natural chemicals that serve as adaptive compounds throughout their life ***,unlocking this metabolic diversity is significantly impeded by the size,complexity,and abundant repetitive elements of typical plant *** genome sequencing becomes routine,we anticipate that links between metabolic diversity and genetic variation will be *** addition,an ever-increasing number of plant genomes have revealed that biosynthetic gene clusters are not only a hallmark of microbes and fungi;gene clusters for various classes of compounds have also been found in plants,and many are associated with important agronomic *** present recent examples of plant metabolic diversification that have been discovered through the exploration and exploitation of various genomic and pan-genomic *** also draw attention to the fundamental genomic and pan-genomic basis of plant chemodiversity and discuss challenges and future perspectives for investigating metabolic diversity in the coming pan-genomics era.

关键词： metabolic diversity gene and genome duplication biosynthetic gene clusters genomic structural variations pan-genomics

Higher alcohols synthesis from syngas over lanthanum-promoted CuZnAl catalyst

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2018年第1期27卷 319-325页

作者： xuan Deng Yong-Jun liu Wei Huang Key Laboratory of Coal Sdence and Technology of Ministry of Education and Shanxi Province Taiyuan University of TechnologyTaiyuan 030024ShanxiChina Center of Information Management and Development Taiyuan University of TechnologyTaiyuan 030024ShanxiChina

CuZnAl catalysts with different La loadings were prepared by a complete liquid phase method and tested for higher alcohols（C_（2＋）OH） synthesis from syngas at the conditions of 250–290 ℃, 4.5 MPa, feed low rate = 150 mL/min and H_2/CO = 2. The catalysts were characterized by XRD, H_2-TPR, NH_3-TPD, N_2 adsorption, XPS, and TEM techniques. Characterization results showed that the incorporation of La into CuZnAl catalysts resulted in the decrease of crystallite size of Cu^0 and a strong interaction among copper and zinc or aluminum oxides. Especially, the incorporation of La increased the amount of weak acid and the Cu content on catalyst surface, which was speculated to contribute the formation of higher alcohols. Among these La-promoted CuZnAl catalysts, the La0.1 catalyst exhibited the best catalytic performance and the selectivity to higher alcohols reached above 60% when the reaction temperature was 290 ℃.

关键词： Syngas C2+OH CuZnAl La promoter Slurry bed reactor

Metalens and microtaper spectrometers on a fingertip

在线全文

学校读者我要写书评

暂无评论

Light(Science & Applications) 2023年第8期12卷 1449-1451页

作者： Peixia Zheng xuan Zhang Hong-Chao liu Institute of Applied Physics and Materials Engineering University of MacaoAvenida da UniversidadeTaipaMacao SARChina

A multi-foci metalens and a leaky-mode microtaper provide innovative platforms to achieve high-resolution,wideband light spectra in millimeter-sized devices,thereby paving new ways for the commercialization of on-fing... 详细信息

关键词： millimeter taper wideband

Bilayered nanosheets used for complex topography wound anti‑infection

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Bio-Design and Manufacturing 2020年第4期3卷 373-382页

作者： Chengkai xuan Xuemin liu Chen Lai Xuetao Shi Peking University Shenzhen Institute Peking UniversityShenzhenPeople’s Republic of China School of Materials Science and Engineering South China University of TechnologyGuangzhou 510640People’s Republic of China National Engineering Research Center for Tissue Restoration and Reconstruction South China University of TechnologyGuangzhou 510006People’s Republic of China Guangzhou Regenerative Medicine and Health Guangdong Laboratory Guangzhou 510005People’s Republic of China

There is a consensus that the prevention of wound infection should be achieved in the following ways:(1)closing the wound to protect it from extra infection;(2)an antibacterial agent that could kill endogenous ***,existing bulk two-dimensional antibacterial materials show inefficient adhesion to wounds with complex morphology and thus cause the prevention of wound *** the thickness of bulk two-dimensional materials to less than 100 nanometres endows them with great flexibility,which could allow them to adhere to wounds with complex morphology by only physical ***,a broad-spectrum and efficient antimicrobial peptide(AMP)was introduced to biocompatible methacrylated gelatine(GelMA)with multiple modification sites,which served as an inner antibacterial *** being combined with a biodegradable and good mechanical poly-l-lactide(PLLA)outer layer through plasma-treatment-assisted spin coating,we finally constructed bilayered antibacterial nanosheets with a thickness of approximately 80 *** bilayered nanosheets possess good adhesion to surfaces with complex topography and thus achieve better wound closure than other bulk two-dimensional ***,this AMP-grafted conjugation shows minimal cytotoxicity compared with Ag^+antibacterial agents,and the antibacterial rate of nanosheets is dependent on the graft rate of *** suggest that this bilayered antibacterial nanosheet might be an advanced anti-infection dressing for wound treatment in clinical settings.

关键词： Nanosheet Adhesive Complicated topography Antimicrobial

Rectangle Attack Against Type-I Generalized Feistel Structures

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Electronics 2022年第4期31卷 713-720页

作者： ZHANG Yi liu Guoqiang SHEN xuan LI Chao College of Liberal Arts and Sciences National University of Defense Technology Hunan Engineering Research Center of Commercial Cryptography Theory and Technology Innovation State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences College of Information and Communication National University of Defense Technology

Type-I generalized Feistel networks(GFN) are widely used frameworks in symmetric-key primitive designs such as CAST-256 and Lesamnta. Different from the extensive studies focusing on specific block cipher instances, the analysis against Type-I GFN structures gives generic security evaluation of the basic frameworks and concentrates more on the effect of linear transformation. Currently, works in this field mainly evaluate the security against impossible differential attack,zero-correlation linear attack, meet-in-the-middle attack and yoyo game attack, while its security evaluation against rectangle attack is still missing. In this paper, we filled this gap and gave the first structural analytical results of Type-I GFN against rectangle attack. By exploiting its structural properties, we proved there exists a boomerang switch for Type-I GFN for the first time,which is independent of the round functions. Then we turned the boomerang switch into chosen plaintext setting and proposed a new rectangle attack model. By appending 1 more round in the beginning of the boomerang switch, we constructed a rectangle distinguisher and a key recovery attack could be performed.

关键词： Block cipher structures Rectangle attack Boomerang switch Structural attack Generalized Feistel networks

Clay mineral assemblages of the oceanic red beds in the northern South China Sea and their responses to the Middle Miocene Climate Transition

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China Earth Sciences 2022年第5期65卷 899-909页

作者： Lei HE Zhifei liu xuan LYU Pengfei MA State Key Laboratory of Marine Geology Tongji UniversityShanghai 200092China

The Middle Miocene Climate Transition(MMCT,~14 Ma)is the largest cooling event in the Cenozoic“Coolhouse”,which significantly impacts the global chemical weathering *** this paper,the responses of the MMCT global cooling event in the deep South China Sea were studied by clay mineral assemblages analysis of the oceanic red beds(ORB)at International Ocean Discovery Program(IODP)Expedition 368 Site *** results show that the clay mineral assemblages of the ORB at Site U1502 are mainly composed of smectite(56–88%),illite(7–29%),and kaolinite(6–20%),without *** contents of these clay minerals and illite crystallinity show a four-stage variation pattern during early-middle Miocene(22.8–10.8 Ma).Smectite decreased from average 81%during 22.8–16.2 Ma and 16.2–14.4 Ma to average 67%during 13.8–10.8 Ma,with a rapid decrease of~14%during 14.4–13.8 *** the contrary,illite and kaolinite increased rapidly by~8%and~6%,respectively,during 14.4–13.8 *** crystallinity increased from average 0.18°Δ2θduring 22.8–16.2 Ma to average 0.19°Δ2θduring 16.2–14.4 Ma,and then decreased rapidly by~0.02°Δ2θduring 14.4–13.8 *** provenance analysis of clay minerals shows that illite and kaolinite mainly originated from South China landmass due to physical erosion,while smectite mainly came from the Luzon arc as the product of chemical ***,smectite/illite ratio and illite crystallinity are used as proxies of chemical weathering intensity in the early-middle *** values of the ratio and the crystallinity represent the enhanced chemical weathering,whereas low values indicate the weakened chemical weathering or the strengthened physical erosion *** smectite/illite ratio and illite crystallinity both decreased rapidly during 14.4–13.8 Ma,indicating the chemical weathering in the surrounding area of the South China Sea weakened rapidly,which we believe is the result of the MMCT event *** addition,their values increased slightly durin

关键词： Clay minerals Chemical weathering Oceanic red beds(ORB) Middle Miocene Climate Transition(MMCT) South China Sea IODP Expedition 368 Site U1502

Energy storage devices in electrified railway systems: A review

在线全文

学校读者我要写书评

暂无评论

Transportation Safety and Environment 2020年第3期2卷 183-201页

作者： xuan liu Kang Li University of Leeds School of Electronics and Electrical EngineeringLeedsLS29JLUK

As a large energy consumer,the railway systems in many countries have been electrified gradually for the purposes of performance improvement and emission *** the widespread utilization of energy-saving technologies such as regenerative braking techniques,and in support of the full electrification of railway systems in a wide range of application conditions,energy storage systems(ESSes)have come to play an essential *** this paper,some recent developments in railway ESSes are reviewed and a comprehensive comparison is presented for various ESS *** foremost functionalities of the railway ESSes are presented together with possible solutions proposed from the academic arena and current practice in the railway *** addition,the challenges and future trends of ESSes in the railway industry are briefly discussed.

关键词： energy storage railway system regenerative energy