检索结果-南通市图书馆

Turbo-taxonomy to assemble a megadiverse lichen genus:seventy new species of Cora(Basidiomycota:Agaricales:Hygrophoraceae),honouring David leslie Hawksworth’s seventieth birthday

引用

Fungal Diversity 2017年第3期84卷 139-207页

作者： Robert lücking Manuela Dal Forno Bibiana Moncada luis Fernando Coca leidy Yasmín Vargas-Mendoza André Aptroot laura Juliana Arias Betty Besal Frank Bungartz Diego Mauricio Cabrera-Amaya Marcela E.S.Cáceres josé luis Chaves Sionara Eliasaro Martha Cecilia Gutiérrez Jesús E.Hernández Marin María de los Ángeles Herrera-Campos María E.Holgado-Rojas Harald Jonitz Martin Kukwa Fabiane lucheta Santiago Madriñán Marcelo Pinto Marcelli Suzana Maria de Azevedo Martins Joel A.Mercado-Díaz Jorge Alberto Molina Eduardo A.Morales Peter R.Nelson Freddy Nugra Francisco Ortega Telma Paredes Ayda lucía Patiño Rouchi Nadine Peláez-Pulido Rosa Emilia Pérez Pérez Gary B.Perlmutter Eimy Rivas-Plata Javier Robayo Camilo Rodríguez Diego Fernando Simijaca Edier Soto-Medina Adriano Afonso Spielmann Alejandra Suárez-Corredor Jean-Marc Torres Carlos Alberto Vargas Alba Yánez-Ayabaca Gothamie Weerakoon Karina Wilk Marcela Celis Pacheco Mauricio Diazgranados Grischa Brokamp Thomas Borsch Patrick M.Gillevet Masoumeh Sikaroodi James D.lawrey Botanical Garden and Botanical Museum Berlin KöniginLuise-Straße 6-814195 BerlinGermany Science Education The Field Museum1400 South Lake ShoreChicagoIL 60605USA Department of Botany Smithsonian InstitutionNational Museum of Natural History10th St Constitution Ave NWWashingtonDC 20560USA Department of Environmental Science and Policy George Mason UniversityFairfaxVA 22030-4444USA licenciatura en Biologı´a Universidad Distrital Francisco Jose´de CaldasCra.4 No.26D-54Torre de LaboratoriosHerbarioBogota´D.C.Colombia Herbario Universidad de Caldas(FAUC) Edificio BicentenarioCalle 65No.26-10ManizalesA.A.275CaldasColombia ABl Herbarium G.v.d.Veenstraat 1073762 XK SoestThe Netherlands Biologı´a Universidad del Quindı´oCarrera 15 Calle 12 NorteArmeniaQuindı´oColombia 120 Chavis Avenue LexingtonVA 24450USA Charles Darwin Foundation Puerto AyoraSanta Cruz IslandGala´pagosEcuador Schedestraße 8 53113 BonnGermany Jardı´n Bota´nico de Bogota´jose´Celestino Mutis Avenida Calle 63 No.68-95Bogota´D.C.Colombia Departamento de Biocieˆncias Universidade Federal de SergipeAvenida Vereador Olı´mpio Grandes/n.ItabaianaCEP:49.500-000 SergipeBrazil laboratorio de Hongos Instituto Nacional de Biodiversidad(INBio)Apdo.22-3100Santo Domingo de HerediaCosta Rica Departamento de Botaˆnica Universidade Federal do Parana´Campus Polite´cnicoSetor de Cieˆncias Biolo´gicasAv.Cel.Francisco H.dos Santoss/nJardim das Ame´ricas81531-980 CuritibaPRBrazil Ingenierı´a Ambiental Universidad Distrital Francisco Jose´de CaldasCarrera 5 Este No.15-82Av.CircumvalarBogota´D.C.Colombia Instituto Experimental Jardı´n Bota´nico Dr.Tobı´as lasser Centro de Investigacio´n y DesarrolloUniversidad Central de VenezuelaAve.Salvador AllendeJardı´n Bota´nico de CaracasApartado#2156Caracas 1010-AVenezuela Departamento de Bota´nica Instituto de Biologı´aUniversidad Nacional Auto´noma de Me´xicoApartado Postal 70-36704510 Ciudad De Me´xicoMexico Facultad de Ciencias Escuela Profesional de Biologı´aUniv

Following a large-scale phylogenetic study of the lichenized genus Cora(Basidiomycota:Agaricales:Hygrophoraceae),we formally describe 70 new species,honouring the seventieth birthday of David leslie Hawksworth,one of the preeminent figures in mycology and lichenology in the past 50 *** on an updated phylogeny using the ITS fungal barcoding locus,we now recognize 189 taxa in a genus that until recently was considered to represent a single species;including this contribution,92 of these are formally recognized,including five taxa based on historical names or collections that have not been *** of Cora can be recognized by a combination of morphological(size,colour,lobe configuration,surface hairs,hymenophore size and shape),anatomical(thallus thickness,cortex structure,photobiont type,hyphal papillae),and ecogeographical features(substrate,habitat,distribution),and a keytable allowing the identification of all accepted taxa is *** new species are:Cora accipiter Moncada,Madrin˜a´n&lücking ***.,*** Moncada,Soto-Medina&lücking ***.,*** Moncada,Dal Forno&lücking ***.,*** Dal Forno,Chaves&lücking ***.,*** Moncada,***ı´guez&lücking ***.,*** lücking,Moncada&*** ***.,*** Moncada,Ya´nez-Ayabaca&lücking ***.,*** Moncada,Patin˜o&lücking ***.,*** lücking,***&Dal Forno ***.,*** Holgado,Rivas Plata&Perlmutter ***.,*** Dal Forno,Eliasaro&Spielmann ***.,*** Nugra,Dal Forno&lücking ***.,*** lücking,Martins&lucheta ***.,*** Moncada,R.-***´rez&lücking ***.,*** Moncada,***.&lücking ***.,*** Moncada,CabreraAmaya&lücking ***.,*** Moncada,R.-***´rez&***.,*** lücking,***&Dal Forno ***.,*** Moncada,***´rez-Corredor&lücking ***.,*** Moncada,***&lücking ***.,***

关键词： Bolivia Citizen science Chile Mexico Puerto Rico Sri lanka

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

腐植酸促进候选细菌丰富植物微生物群以抑制病原体

引用

腐植酸 2022年第3期 103-115页

作者： Maura Santos Reis de Andradeda Silva Orlando Carlos Huertas Tavares Thiago Gonçalves Ribeiro Camilla Santos Reis de Andradeda Silva Carolina Santos Reis de Andradeda Silva joséMaria García-Mina Vera lúcia Divan Baldani Andrés Calderín García Ricardo luiz louro Berbara Ederson da Conceição Jesus 李子东(译) 熊传教(译) 周欣(译) 余玲玲(译) 刘可星(译) 巴西农业研究公司里约热内卢联邦农村大学弗洛米嫩塞联邦大学西班牙纳瓦拉大学华南农业大学资源环境学院

腐植酸(HA)通过调节植物的激素和氧化还原代谢来刺激几种植物种类的生长,然而,关于HA与植物相关菌群的关系鲜有报道。本文中,我们假设HA效应与植物相关细菌群落的调控同时发生,水稻在施用或不施用HA(80 mg/l)的营养液中生长264 h,每24 ... 详细信息

腐植酸(HA)通过调节植物的激素和氧化还原代谢来刺激几种植物种类的生长,然而,关于HA与植物相关菌群的关系鲜有报道。本文中,我们假设HA效应与植物相关细菌群落的调控同时发生,水稻在施用或不施用HA(80 mg/l)的营养液中生长264 h,每24 h评价1次植株生长,施用240 h后取样品进行16S rRNA基因测序。第1次施用HA后,从100 h到264 h植株净同化率、绝对生长率和相对生长率增加,根系体积和其他生长变量在植物生长周期的不同时间受到刺激。宏基因组分类揭示,使用HA后细菌群落结构和组成受到影响,HA处理的根部,群落成员间的相互作用增强,显示更多关联更密切的细菌群落,鞘氨醇菌属(Chitinophaga)和粘液杆菌属(Mucilaginibacter)是HA处理后根系的优势菌属。据报道,这些细菌能产生酶,降解真菌、卵菌和线虫卵壁中的化合物。铁载体产生者和植物生长促进者——假单胞菌(Pseudomonas)和酸杆菌Gp1(Acidobacteria Gp1)均富集,虽然丰度较低。鉴于这些结果,我们认为植物组建这些微生物是为了应对HA—根互作引起的胁迫。我们的研究结果首次表明,受HA刺激的植物可能采用组建细菌群落成员的生态策略,这些细菌群落成员是抑制病原体的候选者,因而参与植物防御.

关键词：腐殖质宏基因组分类植物微生物群植物生长促进植物-微生物互作植物防御

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

安全苛刻系统自动化测试的形式化语义模型

引用

软件学报 2014年第3期25卷 489-505页

作者：吕江花马世龙李先军高世伟软件开发环境国家重点实验室(北京航空航天大学计算机学院) 北京100191

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient... 详细信息

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范.

关键词：安全苛刻系统测试自动化测试设备协同高阶演算标记转换系统实时

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于OBDD的描述逻辑εl循环术语集推理

引用

软件学报 2014年第1期25卷 64-77页

作者：古天龙吕思菁常亮徐周波广西可信软件重点实验室(桂林电子科技大学) 广西桂林541004

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑... 详细信息

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εl中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.

关键词：描述逻辑εl 循环术语集有序二叉决策图概念包含关系不动点语义

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Embolization of splenorenal shunt associated to portal vein thrombosis and hepatic encephalopathy

引用

World Journal of Gastroenterology 2014年第42期20卷 15910-15915页

作者： letícia de Campos Franzoni Fábio Cardoso de Carvalho Rafael Gomes de Almeida Garzon Fábio da Silva Yamashiro laís Augusti lívia Alves Amaral Santos Mariana de Souza Dorna Júlio Pinheiro Baima Talles Bazeia lima Carlos Antonio Caramori Giovanni Faria Silva Fernando Gomes Romeiro Internal Medicine Department Gastroenterology Division Botucatu Medical School UNESP 18 618 970 Botucatu Sao Paulo Brazil Hospital do Cora??o do Instituto de Moléstias Cardiovasculares S?o José do Rio Preto Sao Paulo 15015-210 Brazil Department of Internal Medicine Division of Cardiology Botucatu School of Medicine UNESP Univ Estadual Paulista

Hepatic encephalopathy(HE)is a cognitive disturbance characterized by neuropsychiatric *** occurs in acute and chronic hepatic disease and also in patients with portosystemic *** presence of these portosystemic shunts allows the passage of nitrogenous substances from the intestines through systemic veins without liver ***,the embolization of these shunts has been performed tocontrol HE manifestations,but the presence of portal vein thrombosis is considered a *** this presentation we show a cirrhotic patient with severe HE and portal vein thrombosis who was submitted to embolization of a large portosystemic *** report:a 57 years-old cirrhotic patient who had been hospitalized many times for persistent HE and hepatic coma,even without precipitant *** had a wide portosystemic shunt and also portal vein *** abdominal angiography confirmed the splenorenal shunt and showed other *** larger shunt was embolized through placement of microcoils,and the patient had no recurrence of overt *** was a little increase of esophageal and gastric varices,but no endoscopic treatment was *** portosystemic shunts are frequent causes of recurrent HE in cirrhotic patients,portal vein thrombosis should be considered a relative contraindication to perform a shunt ***,in particular cases with many shunts and severe HE,we found that one of these shunts can be safely embolized and this procedure can be sufficient to obtain a good HE *** conclusion,we reported a case of persistent HE due to a wide portosystemic shunt associated with portal vein *** the patient had other shunts,she was successfully treated by embolization of the larger shunt.

关键词： Recurrent hepatic encephalopathy liver cirrhosis Port systemic shunt Shunt embolization Portal vein thrombosis

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

普适环境下基于软件代理虚拟化的应用迁移

引用

软件学报 2007年第8期18卷 2038-2048页

作者：周宇马晓星曹建农余萍吕建计算机软件新技术国家重点实验室(南京大学) 香港理工大学计算学系

虚拟计算环境中的用户在物理空间的移动要求其相关应用能够在网络空间进行相应的移动.为支持应用的迁移,利用软件代理技术来实现计算网络空间以及其中资源的虚拟化.具体而言,就是结合情境感知技术,利用软件代理本身所具有的自治性和移... 详细信息

虚拟计算环境中的用户在物理空间的移动要求其相关应用能够在网络空间进行相应的移动.为支持应用的迁移,利用软件代理技术来实现计算网络空间以及其中资源的虚拟化.具体而言,就是结合情境感知技术,利用软件代理本身所具有的自治性和移动性实现应用组件的动态绑定和迁移,进而提出一种基于代理的支持应用迁移的结构模型MDAgent,并实现了相应的原型系统,可为应用的迁移提供移动管理、情境感知、资源匹配和推理机制等多方面的支持.在此基础上开发出若干应用并给出相关性能分析.

关键词：软件代理普适计算应用迁移

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

动态图模式匹配技术综述

引用

软件学报 2018年第3期29卷 663-688页

作者：许嘉张千桢赵翔吕品李陶深广西大学计算机与电子信息学院广西南宁530004 广西高校并行分布式计算技术重点实验室(广西大学) 广西南宁530004 广西高校多媒体通信与信息处理重点实验室(广西大学) 广西南宁530004 国防科技大学系统工程学院湖南长沙410073

随着大数据时代的到来,多源异构数据的快速增长已经成为开放性问题,数据之间的内在关联通常可以用图数据的形式来表现.然而在实际应用中,例如网络安全分析和社交网络舆情分析,描述实体对象之间关系的图数据的结构和内容往往不是固定不变... 详细信息

随着大数据时代的到来,多源异构数据的快速增长已经成为开放性问题,数据之间的内在关联通常可以用图数据的形式来表现.然而在实际应用中,例如网络安全分析和社交网络舆情分析,描述实体对象之间关系的图数据的结构和内容往往不是固定不变的,图数据的结构以及节点和边的属性会随着时间的推移发生更新变化.因此,如何在动态更新的图数据中进行高效的查询、匹配,是目前研究的热点问题.从关键技术、代表性算法和性能评价方面概述动态图模式匹配技术的研究进展.最后,对动态图模式匹配技术的典型应用、面临的挑战问题和未来发展趋势进行了总结和展望.

关键词：动态图图模式匹配子图同构匹配算法图搜索

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Mogent系统的通信机制

引用

软件学报 2000年第8期11卷 1060-1065页

作者：陶先平冯新宇李新张冠群吕建南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机软件研究所南京210093

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系... 详细信息

移动 agent技术是新型软件构件框架的基础技术之一 ,而通信机制是其重要的组成部分 .该文结合移动agent系统 Mogent(mobile agent)平台的研制 ,在分析了 agent的移动特性对通信机制的影响后 ,提出并实现了一种用于 Mogent平台的一套系统的解决方案 .该方案主要包括移动 agent命名机制、移动 agent寻址机制以及通信失效解决方法等 ,具有易于使用、效率高、可靠性好等优点 .

关键词： Mogent系统通信机制通信失效 Internet网

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Hypoglycemic and Hypolipidemic Effect of Bitter Kola (<i>Garcinia kola</i>) Seed Extract on Alloxan-Induced Diabetic Albino Rats

引用

Journal of Biosciences and Medicines 2020年第6期8卷 127-134页

作者： Ibanga I. Etim Nkereuwem S. Etukudoh Olaniru B. Olumide Obeta M. Uchejeso Nwapi l. lucy Fiyaktu Y. Bwotle Department of Chemical Pathology Federal School of Medical Laboratory Science Jos Nigeria Department of Haematology Federal School of Medical Laboratory Science Jos Nigeria Department of Chemical Pathology Jos University Teaching Hospital Jos Nigeria

The treatment and management of diabetes mellitus has been a challenge to achieve a total cure using conventional drugs. Hypoglycemic and hypolipidemic effects of bitter kola (Garcinia kola) seed extract on alloxan-induced diabetic rats were studied as a local product. Albino rats weighing about 200 g were investigated in groups using 200 - 800 mg/kg weight of bitter kola seed extract and the sample examined for glucose and lipid profiles using enzymatic methods and statistically analyzed using statistical package for social science (SPSS) windows, version 20.0. The results were expressed as the Mean ± SD. The results for the serum glucose and low density lipoprotein cholesterols (lDl-C) concentrations of untreated diabetic rats, and treated rats showed a significant (P l rats. Total cholesterol (TC) and triglycerides (TG) concentrations for untreated diabetic rats, and treated rats showed increase in concentration which was not significant (P > 0.05) from 200 - 800 mg/kg weight when compared with the controls. High density lipoproteins (HDl-C) concentrations for untreated diabetic rats, and treated rats showed increase in concentration which was significant (P ls. This study confirms the hypoglycemic and hypolipidemic effects of bitter kola (Garcinia kola) seed extract.

关键词： Hypoglycemia Hypolipidemia Bitter Kola Diabetic Mellitus

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Unmanned Aerial Vehicles Flight Safety Improvement Using In-Flight Awareness

引用

Intelligent Information Management 2021年第2期13卷 97-123页

作者： André l. P. Mattei Engenharia S. A. Orbital Claudio F. M. Toledo Jesimar da Silva Arantes Onofre Trindade Jr. Sã o josé dos Campos SP Brazil Department of Computer Systems Institute of Mathematics and Computer Sciences University of S&#227 o Paulo Sao Carlos SP Brazil

This paper presents a novel onboard system called In-Flight Awareness Augmentation System (IFA2S) to improve flight safety. IFA2S is designed to semi-automatically (with human supervision) avoid hazards and accidents due to either internal or external causal factors. The requirements were defined in an innovative way using Systems-Theoretic Process Analysis (STPA) method and applied next to model the system. IFA2S increases aircraft awareness regarding both itself and its environment and, at the same time, recognizes platform and operational constraints to act in accordance to predefined decision algorithms. Results are presented through simulations and flight tests using state machines designed to allow the adoption of appropriate actions for the identified hazards. The different decision algorithms are evaluated over as many as possible hazard situations by simulations conducted with software labview and XPlane flight simulator. Flight tests are performed in a small fixed wing aircraft and make use of a limited version IFA2S, partially attending identified requirements. Results support the conclusion that IFA2S is capable of improving flight safety.

关键词： Unmanned Aerial Vehicles Air Safety Systems-Theoretic Process Analysis In-Flight Awareness

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：