检索结果-南通市图书馆

VERTICAL TURF FOR GREEN FACADES:A VERTICAL GREENERY MODULAR SYSTEM INTEGRATED TO THE BUILDING ENVELOPE

Journal of Green Building 2019年第4期14卷 111-132页

作者： Giovanni Santi Angelo Bertolazzi Giorgio Croatto umberto turrini Department of Energy SystemsTerritoryand Constructions Engineering(D.E.S.T.e C.)University of PisaItaly Department of Civil Environmental and Architectural Engineering(I.C.E.A.)University of PaduaItaly.

Research has shown the environmental benefits of green envelopes,as well as performance in terms of energy *** date,there is no analysis of the economic sustainability of these systems,which has allowed the realization of a few,albeit very well known,*** research has identified a green modular system integrated into the building envelope,designed to facilitate installation and maintenance,with competitive performance compared to other existing solutions;a system that wants to improve performance and flexibility of vertical applications,experimented on buildings,on the market,and able to adapt,above all,to the needs of the building *** is important to distinguish architectural aesthetic requirements from those of the building process;the former aim to have an authentic vertical garden,with different kinds of plants where nature dictates the rules,the latter aims to achieve the economic sustainability of vertical greenery *** paper provides an analysis of a technique based on the installation of plant bearing modular panels with turf on substructures also provided with a micro-irrigation system,which allows the construction of a modular coating,characterized by reduced thickness,that can also be integrated with other materials;installation is quick and simple,since the panel comes perfectly planted on *** addition to that it allows,from a botanical point of view,resorting to types of grass selected with a view to climate,exposure,environmental adaptability,color and shape.A comparative analysis of this green façade is also presented compared to other existing case studies,from a constructive and managerial point of view,highlighting both its economic and architectural advantages.

关键词： vertical greenery systems building envelope green walls built environment living walls façades building surfaces ecological engineering

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

An Axiom System of Probabilistic Mu-Calculus

引用

Tsinghua Science and Technology 2022年第2期27卷 372-385页

作者： Wanwei Liu Junnan Xu David N.Jansen Andrea turrini Lijun Zhang College of Computer Science National University of Defense TechnologyChangsha 410073China State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100039China Institute of Intelligent Software Guangzhou 511458China

Mu-calculus(a.k.a.μTL)is built up from modal/dynamic logic via adding the least fixpoint operatorμ.This type of logic has attracted increasing attention since Kozen’s seminal work.PμTL is a succinct probabilistic extension of the standardμTL obtained by making the modal operators *** of this logic,such as expressiveness and satisfiability decision,have been studied *** consider another important problem:the axiomatization of that *** extending the approaches of Kozen and Walukiewicz,we present an axiom system for Pμ*** addition,we show that the axiom system is complete for aconjunctive formulas.

关键词： PμTL axiom system aconjunctive formula tableau approach

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Model Checking for Probabilistic Multiagent Systems

引用

Journal of Computer Science & Technology 2023年第5期38卷 1162-1186页

作者：付辰 Andrea turrini 黄小炜宋磊冯元张立军 State Key Laboratory of Computer Science Institute of SoftwareChinese Academy of SciencesBeijing 100190China University of Chinese Academy of Sciences Beijing 100049China Institute of Intelligent Software Guangzhou 511455China Department of Computer Science University of LiverpoolLiverpool L693BXU.K Microsoft Research Beijing 100190China Centre for Quantum Software and Information University of Technology SydneySydney 2007Australia

In multiagent systems,agents usually do not have complete information of the whole system,which makes the analysis of such systems *** incompleteness of information is normally modelled by means of accessibility relations,and the schedulers consistent with such relations are called *** this paper,we consider probabilistic multiagent systems with accessibility relations and focus on the model checking problem with respect to the probabilistic epistemic temporal logic,which can specify both temporal and epistemic ***,the problem is undecidable in *** show that it becomes decidable when restricted to memoryless uniform ***,we present two algorithms for this case:one reduces the model checking problem into a mixed integer non-linear programming(MINLP)problem,which can then be solved by Satisfiability Modulo Theories(SMT)solvers,and the other is an approximate algorithm based on the upper confidence bounds applied to trees(UCT)algorithm,which can return a result whenever *** algorithms have been implemented in an existing model checker and then validated on *** experimental results show the efficiency and extendability of these algorithms,and the algorithm based on UCT outperforms the one based on MINLP in most cases.

关键词： probabilistic multiagent system model checking uniform scheduler probabilistic epistemic temporal logic

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Pancreaticoduodenectomy with combined superior mesenteric vein resection without reconstruction is possible:A case report and review of the literature

引用

World Journal of Clinical Cases 2018年第8期6卷 214-218页

作者： Lionel Jouffret Theophile Guilbaud Olivier turrini Jean-Robert Delpero Department of Surgical Oncology Institut PaoliC almettes

We report the case of a 56-year-old woman with pancreatic adenocarcinoma(PA) discovered during an episode of febrile jaundice. A computed tomography(CT) scan showed a mass in the head of the pancreas with circumferential infiltration of the superior mesenteric vein(SMV) and dilatation of the biliary and pancreatic ducts without metastases. The patient benefited from neoadjuvant chemotherapy(FOLFIRINOX) followed by radio-chemotherapy(45 Gy) and chemotherapy(LV5 FU2). The revaluation CT revealed SMV thrombosis without portal vein(PV) thrombosis. There was no contact of the tumor with the PV. Pancreatoduodenectomy with combined resection of the SMV was performed with no reconstruction of this venous axis after confirmation of adequate PV, splenic, and left gastric venous flow and the absence of bowel ischemia. The pathological diagnosis was p T4 N1 R0 PA. There were no bowel angina issues during the follow-up period. At 15 mo after surgery, the patient died of metastatic recurrence.

关键词： Pancreatic ducts Locally advanced No reconstruction Pancreatic adenocarcinoma Superior mesenteric vein

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Pancreaticoduodenectomy: Secondary stenting of the celiac trunk after inefficient median arcuate ligament release and reoperation as an alternative to simultaneous hepatic artery reconstruction

引用

World Journal of Gastroenterology 2017年第5期23卷 919-925页

作者： Théophile Guilbaud Jacques Ewald Olivier turrini Jean Robert Delpero Department of Surgery Institut Paoli Calmettes13009 MarseilleFrance

In patients undergoing pancreaticoduodenectomy(PD),unrecognized hemodynamically significant celiac axis(CA) stenosis impairs hepatic arterial flow by suppressing the collateral pathways supplying arterial flow from the superior mesenteric artery and leads to serious hepatobiliary complications due to liver and biliary ischemia, with a high rate of mortality. CA stenosis is usually due to an extrinsic compression by a previously asymptomatic median arcuate ligament(MAL). MAL is diagnosed by computerized tomography in about 10% of the candidates for PD, but only half are found to be hemodynamically significant during the gastroduodenal artery clamping test with Doppler assessment, which is mandatory before any resection. MAL release is usually efficient to restore an adequate liver blood inflow and prevent ischemic complications. In cases of failure in MAL release, postponed PD with secondary stenting of the CA and reoperation for PD should be considered as an alternative to immediate hepatic artery re-construction, which involves the risk of postoperative thrombosis of the arterial reconstruction. We recently used this two-stage strategy in a patient undergoing surgery for pancreatic adenocarcinoma.

关键词： Pancreaticoduodenectomy Celiac axis stenosis Median arcuate ligament

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

An uncommon clinical presentation of retroperitoneal non-Hodgkin lymphoma successfully treated with chemotherapy: A case report

引用

World Journal of Gastroenterology 2005年第20期11卷 3151-3155页

作者： Chiara Fulignati Pietro Pantaleo Greta Cipriani Marianna turrini Rosalia Nicastro Roberto Mazzanti Bruno Neri Department of Internal Medicine Centre of Experimental and Clinical Oncology University of Florence School of MedicineViale Morgagni 85I-50134 Firenze Italy

We report the case of a patient affected by an extra-nodal non-Hodgkin lymphoma presenting as a unique, large retroperitoneal mass with an unusual clinical presentation mimicking gastric peptic or neoplastic disease. The patientwas successfully treated with a first generation therapy,CHOP modified regimen (cyclophosphamide 600mg/m^2 intravenously on d 1, epirubicin 55mg/m^2 intravenously on d 1, vincristine 1.2 mg/m^2 intravenously on d 1,prednisone 60 mg/m^2 on d 1-5), and a complete response was achieved. The (18)F-fluorodeoxyglucose positron emission tomography was used to assess the therapy outcome. A brief review of literature is provided.

关键词： Lymphoma Grastric disease

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Preparation of Dried Culture of Probiotic Rhizopus oryzae in Two Different Mediums as Feed Additive to Indigenous Chicken

引用

Journal of Agricultural Science and Technology(A) 2014年第10期4卷 874-879页

作者： turrini Yudiarti Vitus Dwi Yunianto Budi Ismadi Isroli Faculty of Animal and Agricultural Sciences Diponegoro University Tembalang Campus Semarang 502 75 Indonesia

Fungus Rhizopus oryzae has a probiotic potential, but the potency is not yet explored. Probiotics are usually used as feed additive, including to the chicken. Probiotic needs a suitable medium for their life. The aim of the study was to know which preparations can produce suitable medium for the growth of Rhizopus oryzae on the dried culture formed. The study used two preparations. Preparation 1 （a） consisted of rice bran （1 kg） and culture ofRhizopus oryzae on Potato Dextrose Broth （PDB medium）（500 mL）; then preparation 1 （b） consisted of corn grain （1 kg） and culture of Rhizopus oryzae on PDB medium （500 mL）. Preparation 2 （a） consisted of rice bran （1 kg）, culture of Rhizopus oryzae on Potato Dextrose Agar （PDA medium）（seven petri dishes） and was added with sterile distilled water （500 mL）; preparation 2 （b） consisted of corn grain （1 kg）, culture of Rhizopus oryzae on PDA medium （seven petri dishes） and was added with sterile distilled water （500 mL）. The culture of Rhizopus oryzae even both on PDB and PDA were 3 d of incubation. All preparations were incubated for 7 d then they were dried under the sun. Parameter evaluation was the growth performance of the fungus in the dried culture media. The growth performance was analyzed by microscopic analysis and the number of colony of the fungi in the two dried culture media. The results showed that from the macroscopic analysis, the sample of both dried culture media which were placed on PDA medium showed the growth of mycelia and spores of the same kind of fungus and it was proved by microscopic observation that the fruiting bodies （mycelia and spores） of that ftmgus was Rhizopus oryzae. The colonies number of the fungi from preparation 1 （a） and 1 （b） were 0,4 × 10 cfu/gr and 2.4 × 10^3 cfu/gr, respectively, and from preparation 2 （a） and 2 （b） were 1.3 × 10^5 cfu/gr and 8.3 ×10^2 cfu/gr, respectively. It could be concluded that the product of the dried culture of probiotic Rizopus oryzae from the preparation 2 w

关键词： Feed additive probiotic dried culture chicken.

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Urban Air Quality Plans and Integrated Assessment Methodologies

引用

Journal of Environmental Science and Engineering(B) 2014年第2期3卷 70-78页

作者： Ana Isabel Miranda Helder Relvas Enrico turrini Diogo Lopes Carlos Silveira Joana Ferreira Myriam Lopes Elisa Sa Carlos Borrego Marialuisa Volta CESAM (Centre for Environmental and Marine Studies) and Department of Environmental and Planning University of Aveiro Aveiro 3810-193 Portugal Department of Mechanical and Industrial Engineering University of Brescia Brescia 25122 Italy

The air quality directive （2008/50/EC （of the European Parliament and of the Council of 21 May 2008）） requires European Member States to design appropriate AQPs （air quality plans） for zones and agglomerations where the air quality does not comply with the limit values and to assess possible emission reduction measures to decrease concentration levels. The Portuguese agglomeration of Porto Litoral is one of the several European Union urban areas that had to develop and implement AQPs to reduce particulate matter （PM10）. The AQPs were initially designed based on a scenario approach and using an air quality model, which was applied over the study region for the reference situation with the current PM10 emissions, and for a reduction scenario with PM10 emissions re-estimated considering the implementation of abatement measures. Aiming to cost-efficiently optimize Porto Litoral PM10 abatement measures, the assessment procedure was repeated using an optimization approach based on the RIAT ＋（regional integrated assessment tool ＋）. Porto Litoral urban area＇s technical and non-technical measures were characterized （including associated costs） and, through the application of the air quality model to 20 emissions abatement scenarios, S-R （source-receptor） relationships were created. This paper comparatively describes the air quality plans designed to improve PM10 levels in the Porto Litoral agglomeration based on both the scenario analysis and the optimization approach.

关键词： Urban air quality air quality plans integrated assessment methodologies modelling tools

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

胰腺导管腺癌的新辅助放化疗后行超声内镜的术前局部评估

引用

世界核心医学期刊文摘（胃肠病学分册） 2005年第11期1卷 30-31页

作者： Bettini N. Moutardier V. turrini O. 张诗峰 Institut Paoli-Calmettes 232 Bd de Sainte Marguerite 13009 Marseille France

Introduction-The accuracy of endoscopic ultrasound (EUS)for the diagnosis and staging of pancreatic ductal adenocarcinoma (PDA) has been confirmed. Chemoradiotherpay (CRT) induces tumor changes which can limit the accuracy of EUS. The aim of our study was to analyze the efficacy of EUS following neoadjuvant CRT comparing findings with the pathology results. Patients and methods-From November 1996 to October 2003, 45 patients with histologically proven and EUS-staged PDA were treated with neoadjuvant CRT and radical surgery. All were restaged before surgery using both EUS and computed tomography. Fifteen patients were found to hove developed distant metastases. Thirty patients finally underwent pancreaticoduodenectomy (N = 24) or distal pancreatectomy (N = 6). Results - Following CRT, tumor stage was correctly assessed in 12 patients (40% ). The most frequent misinterpretation was overestimation of tumor size (N = 13, 43.3% ). Locoregional vascular invasion of veins was suspected by EUS in 13 patients (43.3% ) but surgical findings and the histological examination were both negative. Node status was correctly assessed in 27 patients (90% ) but nodal involvement was found on the histological specimen in only 3 patients. Conclusion - Preoperative EUS after neoadjuvant CRT for PDA does not enable reliable definitive selection of patients for surgery, probably due to radiation- induced pancreatic changes.

关键词：胰腺导管腺癌超声内镜胰切除术组织学检查淋巴结状态根治性手术外科手术错误判断

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

短视玩家的理性:一种认知分析（英文）

引用

逻辑学研究 2015年第4期8卷 54-73页

作者：戴维德.格罗斯保罗.图瑞尼利物浦大学计算科学系伦敦帝国理工学院计算机系

本文中,我们对于"视域一致"型的逆向归纳法解进行了初步的认知分析。这种逆向归纳法解是文《扩展博弈中的短视》在研究一类具有视域受限型参与者的扩展博弈中所提出的。本文研究了在这类具有视域受限型参与者的博弈中,产生"视域一致"型... 详细信息

本文中,我们对于"视域一致"型的逆向归纳法解进行了初步的认知分析。这种逆向归纳法解是文《扩展博弈中的短视》在研究一类具有视域受限型参与者的扩展博弈中所提出的。本文研究了在这类具有视域受限型参与者的博弈中,产生"视域一致"型的逆向归纳法解的认知前提条件。从技术层面上讲,本文是基于《保持理性的"希望":逆向归纳法悖论的一种解决方案》一文中所提出的方法,对于扩展博弈中逆向归纳法作出认知分析。文章的主要贡献在于明确了在短视博弈中"视域一致"型逆向归纳解的认知前提条件。

关键词：认知分析短视理性逆向归纳法玩家技术层面 “希望” 参与者

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：