|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Diagnosis and management of bacterial infections in decompensated cirrhosis显示文摘Bacterial infections are one of the most frequent complications in cirrhosis and result in high mortality rates.Patients with cirrhosis have altered and impaired immunity,which favours bacterial translocation.Episodes of infections are more frequent in patients with decompensated cirrhosis than those with compensated liver disease.The most common and life-threatening infection in cirrhosis is spontaneous bacterial peritonitis followed by urinary tract infections,pneumonia,endocarditis and skin and soft-tissue infections.Patients with decompensated cirrhosis have increased risk of developing sepsis,multiple organ failure and death.Risk factors associated with the development of infections are severe liver failure,variceal bleeding,low ascitic protein level and prior episodes of spontaneous bacterial peritonitis (SBP).The prognosis of these patients is closely related to a prompt and accurate diagnosis.An appropriate treatment decreases the mortality rates.Preventive strategies are the mainstay of the management of these patients.Empirical antibiotics should be started immediately following the diagnosis of SBP and the first-line antibiotic treatment is third-generation cephalosporins.However,the efficacy of currently recommended empirical antibiotic therapy is very low in nosocomial infections including SBP,compared to community-acquired episodes.This may be associated with the emergence of infections caused by Enterococcus faecium and extended-spectrum β-lactamaseproducing Enterobacteriaceae,which are resistant to the first line antimicrobial agents used for treatment.The emergence of resistant bacteria,underlines the need to restrict the use of prophylactic antibiotics to patients with the greatest risk of infections.Nosocomial infections should be treated with wide spectrum antibiotics.Further studies of early diagnosis,prevention and treatment are needed to improve the outcomes in patients with decompensated cirrhosis. | Maria Pleguezuelo Jose Manuel Benitez Juan Jurado Jose Luis Montero Manuel De la Mata | 2013 | World Journal of Hepatology2013，5，1： | 44 |
| 2 | 畦田灌水质量评价及水分利用效率分析显示文摘畦田灌水质量是影响作物产量和水分利用效率的重要因素。针对现有评价灌水质量存在工作量较大的问题,根据田间实测资料,利用SIRMOD模型、SRFR模型和田间实测方法分别计算灌水效率和灌水均匀度,结果表明根据较少的观测资料利用SIRMOD模型或SRFR模型也可对畦田灌水质量进行评价。根据模拟结果初步得出了在一定条件下单宽流量、平整精度和田面坡度对灌水质量的影响规律,并对不同规格畦田小麦全生育期的平均灌水质量对产量和水分利用效率的影响进行了分析,得出畦长45m,畦宽分别为5.0和7.5m的畦田在获得较高产量的条件下,水分利用效率由现状的1.10kg/m3分别提高到1.38kg/m3和1.35kg/m3,从田间试验角度论证了对灌区较大规格畦田进行缩块改造的必要性。 | 郑和祥 史海滨 程满金 朱敏 Jose Manuel Goncalves | 2009 | 农业工程学报2009，25，6： | 43 |
| 3 | Complications of hip fractures: A review显示文摘Nowadays, fracture surgery represents a big part of the orthopedic surgeon workload, and usually has associated major clinical and social cost implications. These fractures have several complications. Some of these are medical, and other related to the surgical treatment itself. Medical complications may affect around 20% of patients with hip fracture. Cognitive and neurological alterations, cardiopulmonary affections(alone or combined), venous thromboembolism, gastrointestinal tract bleeding, urinary tract complications, perioperative anemia, electrolytic and metabolic disorders, and pressure scars are the most important medical complications after hip surgery in terms of frequency, increase of length of stay and perioperative mortality. Complications arising from hip fracture surgery are fairly common, and vary depending on whether the fracture is intracapsular or extracapsular. The main problems in intracapsular fractures are biological: vascularization of the femoral head, and lack of periosteum-a major contributor to fracture healing- in the femoral neck. In extracapsularfractures, by contrast, the problem is mechanical, and relates to load-bearing. Early surgical fixation, the role of anti-thromboembolic and anti-infective prophylaxis, good pain control at the perioperative, detection and management of delirium, correct urinary tract management, avoidance of malnutrition, vitamin D supplementation, osteoporosis treatment and advancement of early mobilization to improve functional recovery and falls prevention are basic recommendations for an optimal maintenance of hip fractured patients. | Pedro Carpintero Jose Ramón Caeiro Rocío Carpintero Angela Morales Samuel Silva Manuel Mesa | 2014 | World Journal of Orthopedics2014，5，4： | 31 |
| 4 | Endoscopic management of esophageal varices显示文摘The rupture of gastric varices results in variceal hemorrhage, which is one the most lethal complications of cirrhosis. Endoscopic therapies for varices aim to reduce variceal wall tension by obliteration of the varix. The two principal methods available for esophageal varices are endoscopic sclerotherapy (EST) and band ligation (EBL). The advantages of EST are that it is cheap and easy to use, and the injection catheter fits through the working channel of a diagnostic gastroscope. Endoscopic variceal ligation obliterates varices by causing mechanical strangulation with rubber bands. The following review aims to describe the utility of EBL and EST in different situations, such as acute bleeding, primary and secondary | Joaquin Poza Cordon Consuelo Froilan Torres Aurora Burgos García Francisco Gea Rodriguez Jose Manuel Suárez de Parga | 2012 | World Journal of Gastrointestinal Endoscopy2012，4，7： | 27 |
| 5 | 在 laparoscopic 肝外科的快轨道的节目: 理论或事实?显示文摘 AIM:To analyze our results after the introduction of a fast-track(FT) program after laparoscopic liver surgery in our Hepatobiliarypancreatic Unit.METHODS:All patients(43) undergoing laparoscopic liver surgery between March 2004 and March 2010 were included and divided into two consecutive groups:Control group(CG) from March 2004 until December 2006 with traditional perioperative cares(17 patients) and fast-track group(FTG) from January 2007 until March 2010 with FT program cares(26 patients).Primary endpoint was the influence of the program on the postoperative stay,the amount of re-admissions,morbidity and mortality.Secondarily we considered duration of surgery,use of drains,conversion to open surgery,intensive cares needs and transfusion.RESULTS:Both groups were homogeneous in age and sex.No differences in technique,time of surgery or conversion to open surgery were found,but more malignant diseases were operated in the FTG,and then transfusions were higher in FTG.Readmissions and morbidity were similar in both groups,without mortality.Postoperative stay was similar,with a median of 3 for CG vs 2.5 for FTG.However,the 80.8% of patients from FTG left the hospital within the first 3 d after surgery(58.8% for CG).CONCLUSION:The introduction of a FT program after laparoscopic liver surgery improves the recovery of patients without increasing complications or re-admissions,which leads to a reduction of the stay and costs. | Belinda Sánchez-Pérez José Manuel Aranda-Narváez Miguel Angel Suárez-Muoz Moises elAdel-delFresno José Luis Fernández-Aguilar Jose Antonio Pérez-Daga Ysabel Pulido-Roa Julio Santoyo-Santoyo | 2012 | World Journal of Gastrointestinal Surgery2012，4，11： | 18 |
| 6 | Epidemiological Evolution of Lung Cancer in the South of Spain from 1990 to 2010显示文摘Background: Changes in lung cancer has been characterized by the increase of cases among women and the increase in adenocarcinomas among other histological subtypes.Methods: Descriptive analysis of cases diagnosed with lung cancer in Hospital Virgen de las Nieves(Spain) from 1990 to 2010,based on five variables(age, sex, smoking, histology and pathological anatomy). The study establishes associations between these variables and compares the results with the literature.Results: 2,026 patients were diagnosed with lung cancer in this period; 1,838 were males(90.7%) and 188 women(9.3%); 1,892 patients(93.4%) were smokers or ex-smokers and 134(6.6%) had never smoked; the most frequent non-small cell histology types were squamous cell carcinoma and adenocarcinoma and it was the most frequent neoplasia in women and were associated with a lower tobacco consumption.Conclusion: The large majority of lung cancer cases is associated with a history of smoking tobacco and there are histopathological differences according to gender and cumulative tobacco smoke load. | Alberto Caballero Vázquez Ana Dolores Romero Ortiz Jose Manuel González de Vega San Román Raimundo García del Moral Bernardino Alcázar Navarrete | 2018 | 中国肺癌杂志2018，21，1： | 17 |
| 7 | 基于SIRMOD模型的畦灌入渗参数估算及灌溉模拟显示文摘土壤入渗参数是地面灌溉中制定灌溉制度、评价灌水质量的重要指标。针对现有估算方法存在计算工作量较大、精度不高的现状,根据田间实测资料,利用SIRMOD模型,对小麦畦灌条件下田间土壤入渗参数进行了估算。与用Maheshwari法计算结果较为接近,差异均在2.0%以内。根据估算的土壤入渗参数,应用SIRMOD模型进行了多组合灌溉模拟,在保证灌水质量较高的条件下,得出了在不同亏缺水量时的适宜灌水量和灌水流量,通过田间实例验证表明模拟效果较好。 | 郑和祥 史海滨 朱敏 刘宏云 Jose Manuel Gongalves | 2009 | 农业工程学报2009，25，11： | 16 |
| 8 | Tenofovir vs lamivudine plus adefovir in chronic hepatitis B:TENOSIMP-B study显示文摘AIM To demonstrate the non-inferiority(15% non-inferiority limit) of monotherapy with tenofovir disoproxil fumarate(TDF) vs the combination of lamivudine(LAM) plus adefovir dipivoxil(ADV) in the maintenance of virologic response in patients with chronic hepatitis B(CHB) and prior failure with LAM.METHODS This study was a Phase IV prospective, randomized, open, controlled study with 2 parallel groups(TDF and LAM+ADV) of adult patients with hepatitis B e antigen(HBe Ag)-negative CHB, prior failure with LAM, on treatment with LAM+ADV for at least 6 mo, without prior resistance to ADV and with an undetectable viral load at the start of the study, in 14 Spanish hospitals. The follow-up time for each patient was 48 wk after randomization, with quarterly visits in which the viral load, biochemical and serological parameters, adverse effects, adherence to treatment and consumption of hospital resources were analysed.RESULTS Forty-six patients were evaluated [median age: 55.4 years(30.2-75.2); 84.8% male], including 22 patients with TDF and 24 with LAM+ADV. During study development, hepatitis B virus DNA(HBV-DNA) remained undetectable, all patients remained HBe Ag negative, and hepatitis B surface antigen(HBs Ag) positive. Alanine aminotransferase(ALT) values at the end of the study were similar in the 2 groups(25.1± 7.65, TDF vs 24.22 ± 8.38, LAM+ADV, P = 0.646). No significant changes were observed in creatinine or serum phosphorus values in either group. No significant differences between the 2 groups were noted in the identification of adverse effects(AEs)(53.8%, TDF vs 37.5%, LAM+ADV, P = 0.170), and none of the AEs which occurred were serious. Treatment adherence was 95.5% and 83.3% in the TDF and the LAM+ADV groups, respectively(P = 0.488). The costs associated with hospital resource consumption were significantly lower with the TDF treatment than the LAM+ADV treatment(€4943 ± 1059 vs €5811 ± 1538, respectively, P < 0.001).CONCLUSION TDF monotherapy proved to be safe and not inferior to the LAM+ADV combination therapy in maintaining virologic response in patients with CHB and previous LAM failure. In addition, the use of TDF generated a significant savings in hospital costs. | Manuel Rodríguez Juan Manuel Pascasio Enrique Fraga Javier Fuentes Martín Prieto Gloria Sánchez-Antolín Jose Luis Calleja Esther Molina María Luisa García-Buey María Angeles Blanco Javier Salmerón María Lucía Bonet Jose Antonio Pons Jose Manuel González Miguel Angel Casado Francisco Jorquera 无 | 2017 | World Journal of Gastroenterology2017，23，41： | 16 |
| 9 | Contrast-enhanced ultrasound in diagnosis and characterization of focal hepatic lesions显示文摘The extensive use of imaging techniques in differential diagnosis of abdominal conditions and screening of hepatocellular carcinoma in patients with chronic hepatic diseases,has led to an important increase in identification of focal liver lesions.The development of contrastenhanced ultrasound(CEUS) opens a new window in the diagnosis and follow-up of these lesions.This technique offers obvious advantages over the computed tomography and magnetic resonance,without a decrease in its sensitivity and specificity.The new second generation contrast agents,due to their intravascular distribution,allow a continuous evaluation of the enhancement pattern,which is crucial in characterization of liver lesions.The dual blood supply in the liver shows three different phases,namely arterial,portal and late phases.The enhancement during portal and late phases can give important information about the lesion's behavior.Each liver lesion has a different enhancement pattern that makes possible an accurate approach to their diagnosis.The role of emerging techniques as a contrastenhanced three-dimensional US is also discussed.In this article,the advantages,indications and technique employed during CEUS and the different enhancement patterns of most benign and malignant focal liver lesions are discussed. | Inés Gómez Molins Juan Manuel Fernández Font Juan Carrero álvaro Jose Luís Lledó Navarro Marta Fernández Gil Conrado M Fernández Rodríguez | 2010 | World Journal of Radiology2010，2，12： | 14 |
| 10 | Arabidopsis SWC4 Binds DNA and Recruits the SWR1 Complex to Modulate Histone H2A.Z Deposition at Key Regulatory Genes显示文摘由在特定的 loci 的规章的区域的 SWR1 建筑群(SWR1-C ) 的 H2A.Z histone 变体的免职调制抄写。在 Arabidopsis thaliana 的变化的描述 ? 酵母 SWR1-C 的相当或相同的事物在许多发展过程为 H2A.Z 交换揭示了一个角色。不过,植物 SWR1-C 的准确作文并且指向基因怎么被招募,尚待被证实。这里,我们显示出那 SWC4,酵母 SANT 领域蛋白质 Swc4/Eaf2 的 Arabidopsis 相当或相同的事物,是与 SWR1-C 子单元交往的 DNA 有约束力的蛋白质。当 SWC4 RNAi 击倒的线显示时,我们证明 swc4-1 大美人异种是胚胎致命的 ? 包括 flowering 时间的加速,显示 SWC4 控制 embryonic 以后处理的植物、繁殖的特点地的多种的 phenotypic 改变。Transcriptomic 分析并且 H2A.Z 的染色体宽的介绍显示 SWC4 镇压很多基因的抄写包括花的综合者英尺和关键抄写因素,主要由 modulating H2A.Z 免职。有趣地, SWC4 silencing 不在 FLC 地点也不这基因的表示影响 H2A.Z 免职,以前显示出被 SWR1-C 控制的 flowering 的一个主人管理者。重要地,我们发现 SWC4 在目标基因的染色质区域认出特定的在富有的 DNA 元素并且 SWC4 silencing 一起损害在英尺有约束力的 SWR1-C,我们的数据建议 SWC4 由帮助 SWR1-C 招募和 modulating H2A.Z 调整植物生长和开发免职。 | Angeles Gomez-Zambrano Pedro Crevillen Jose M. Franco-Zorrilla Juan A. Lopez Jordi Moreno-Romero Pawel Roszak Juan Santos-Gonzalez Silvia Jurado Jesus Vazquez Claudia Kohler Roberto Solano Manuel Pineiro Jose A. Jarillo | 2018 | Molecular Plant2018，11，6： | 11 |
| 11 | Spanish E-government and the Third Digital Divide: A Sociological View显示文摘 | Jose Manuel Robles Cristobal Torres-Albero Stefano de Marco | 2011 | Journal of US-China Public Administration2011，8，4： | 9 |
| 12 | Vascular Calcification: Current Genetics Underlying This Complex Phenomenon显示文摘 | Nonanzit Perez-Hernandez Gad Aptilon-Duque Ruben Blachman-Braun Gilberto Vargas-Alarcon Adrian Asael Rodriguez-Cortes Shely Azrad-Daniez Rosalinda Posadas-Sanchez Jose Manuel Rodriguez-Perez | 2017 | Chinese Medical Journal2017，，9： | 8 |
| 13 | ROS-induced DNA damage and PARP-1 are required for optimal induction of starvation-induced autophagy显示文摘响应滋养的应力,房间开始能导致改编或死亡的一个 autophagy 节目。位于从饥饿发信号到 autophagy 的开始下面的机制充分没被理解。在当前的学习,我们证明 PARP-1 的缺席或 inactivation 强烈推迟导致饥饿的 autophagy。我们发现了那 DNA 损坏是由 γ 测量了的导致饥饿的 autophagy 的一个早事件; -H2AX 累积和彗星试金,与在两个参数显示减小的 PARP-1 猛烈房间。在饥饿期间,导致 ROS 的 DNA 损坏激活 PARP-1,导致 ATP 弄空(在滋养的剥夺以后的一个早事件) 。PARP-1 的缺席弄钝 AMPK 激活并且阻止了 mTOR 活动的完全的损失,导致在 autophagy 的延期。PARP-1 弄空在饥饿的房间赞成 apoptosis,建议在滋养的剥夺以后的 autophagy 和 PARP-1 激活的一个支持幸存的角色。在 PARP-1 变异的老鼠的出生不满一月的婴儿使遭到了到尖锐饥饿的 vivo 结果表演,也显示缺乏的肝 autophagy,暗示为在导致饥饿的 autophagy 的 PARP-1 的一个生理的角色。因此,表明小径的 PARP 是 autophagy 承诺追随者饥饿的起始的步骤的一个关键管理者。 | Jose Manuel Rodriguez-Vargas Maria Jose Ruiz-Magana Carmen Ruiz-Ruiz Jara Majuelos-Melguizo Andreina Peralta-Lea Maria Isabel Rodriguez Jose Antonio Munoz-Gaimez Mariano Ruiz de Almodovar Eva Siles Abelardo Lopez Rivas Marja Jaattela F Javier Oliver | 2012 | Cell Research2012，22，7： | 8 |
| 14 | Modulation of faecal metagenome in Crohn's disease:Role of microRNAs as biomarkers显示文摘BACKGROUND The gut microbiota plays a key role in the maintenance of intestinal homeostasis and the development and activation of the host immune system. It has been shown that commensal bacterial species can regulate the expression of host genes. 16 S rRNA gene sequencing has shown that the microbiota in inflammatory bowel disease(IBD) is abnormal and characterized by reduced diversity. Micro RNAs(miRNAs) have been explored as biomarkers and therapeutic targets, since they are able to regulate specific genes associated with Crohn's disease(CD). In this work, we aim to investigate the composition of gut microbiota of active treatment-na?ve adult CD patients, with miRNA profile from gut microbiota.AIM To investigate the composition of gut microbiota of active treatment-na?ve adult CD patients, with miRNA profile from gut microbiota.METHODS Patients attending the outpatient clinics at Valme University Hospital without relevant co-morbidities were matched according to age and gender. Faecal samples of newonset CD patients, free of treatment, and healthy controls were collected. Faecal samples were homogenized, and DNA was amplified by PCR using primers directed to the 16 S bacterial rRNA gene. Pyrosequencing was performed using GS-Junior platform. For sequence analysis, MGRAST server with the database Ribosomal Project was used. MiRNA profile and their relative abundance were analyzed by quantitative PCR.RESULTS Microbial community was characterized using 16 S rRNA gene sequencing in 29 samples(n = 13 CD patients, and n = 16 healthy controls). The mean Shannon diversity was higher in the healthy control population compared to CD group(5.5 vs 3.7). A reduction in Firmicutes and an increase in Bacteroidetes were found. Clostridia class was also significantly reduced in CD. Principal components analysis showed a grouping pattern, identified in most of the subjects in both groups, showing a marked difference between control and CD groups. A functional metabolic study showed that a lower metabolism of carbohydrates(P = 0.000) was found in CD group, while the metabolism of lipids was increased. In CD patients, three miRNAs were induced in affected mucosa: mir-144(6.2 ± 1.3 fold), mir-519(21.8 ± 3.1) and mir-211(2.3 ± 0.4). CONCLUSION Changes in microbial function in active non-treated CD subjects and three miRNAs in affected vs non-affected mucosa have been found. miRNAs profile may serve as a biomarker. | María Rojas-Feria Teresa Romero-García Jose Angel Fernández Caballero-Rico Helena Pastor Ramírez Marta Avilés-Recio Manuel Castro-Fernandez Natalia Chueca Porcuna Manuel Romero-Gomez Federico García Lourdes Grande JoséA Del Campo | 2018 | World Journal of Gastroenterology2018，24，46： | 7 |
| 15 | Phenolic compounds of green tea: Health benefits and technological application in food显示文摘Green tea has been an important beverage for humans since ancient times, widely consumed and considered to have health benefits by traditional medicine in Asian countries. Green tea phenolic compounds are predominately composed of catechin derivatives, although other compounds such as flavonols and phenolic acids are also present in lower proportion. The bioactivity exerted by these compounds has been associated with reduced risk of severe illnesses such as cancer, cardiovascular and neurodegenerative diseases. Particularly, epigallocatechin gallate has been implicated in alteration mechanisms with protective effect in these diseases as indicated by several studies about the effect of green tea consumption and mechanistic explanation through in vitro and in vivo experiments. The biological activity of green tea phenolic compounds also promotes a protective effect by antioxidant mechanisms in biological and food systems, preventing the oxidative damage by acting over either precursors or reactive species. Extraction of phenolic compounds influences the antioxidant activity and promotes adequate separation from green tea leaves to enhance the yield and/or antioxidant activity. Application of green tea phenolic compounds is of great interest because the antioxidant status of the products is enhanced and provides the product with additional antioxidant activity or reduces the undesirable changes of oxidative reactions while processing or storing food.In this scenario, meat and meat products are greatly influenced by oxidative deterioration and microbial spoilage, leading to reduced shelf life. Green tea extracts rich in phenolic compounds have been applied to increase shelf life with comparable effect to synthetic compounds, commonly used by food industry. Green tea has great importance in general health in technological application, however more studies are necessary to elucidate the impact in pathways related to other diseases and food applications. | Jose Manuel Lorenzo Paulo Eduardo Sichetti Munekata | 2016 | Asian Pacific Journal of Tropical Biomedicine2016，6，8： | 7 |
| 16 | Timely reperfusion for ST-segment elevation myocardial infarction:Effect of direct transfer to primary angioplasty on time delays and clinical outcomes显示文摘Primary percutaneous coronary intervention(PPCI) is the preferred reperfusion therapy for patients presenting with ST-segment elevation myocardial infarction(STEMI) when it can be performed expeditiously and by experienced operators. In spite of excellent clinical results this technique is associated with longer delays than thrombolysis and this fact may nullify the benefit of selecting this therapeutic option. Several strategies have been proposed to decrease the temporal delays to deliver PPCI. Among them,prehospital diagnosis and direct transfer to the cath lab,by-passing the emergency department of hospitals,has emerged as anattractive way of diminishing delays. The purpose of this review is to address the effect of direct transfer on time delays and clinical events of patients with STEMI treated by PPCI. | Rodrigo Estévez-Loureiro ángela López-Sainz Armo Pérez de Prado Carlos Cuellas Ramón Calvio Santos Norberto Alonso-Orcajo Jorge Salgado Fernández Jose Manuel Vázquez-Rodríguez Maria López-Benito Felipe Fernández-Vázquez | 2014 | World Journal of Cardiology2014，6，6： | 6 |
| 17 | Role of endoscopic ultrasound in the diagnosis of pancreatic cancer显示文摘Endoscopic ultrasonography(EUS) with or without fine needle aspiration has become the main technique for evaluating pancreatobiliary disorders and has proved to have a higher diagnostic yield than positron emission tomography,computed tomography(CT) and transabdominal ultrasound for recognising early pancreatic tumors.As a diagnostic modality for pancreatic cancer,EUS has proved rates higher than 90%,especially for lesions less than 2-3 cm in size in which it reaches a sensitivity rate of 99% vs 55% for CT.Besides,EUS has a very high negative predictive value and thus EUS can reliably exclude pancreatic cancer.The complication rate of EUS is as low as 1.1%-3.0%.New technical developments such as elastography and the use of contrast agents have recently been applied to EUS,improving its diagnostic capability.EUS has been found to be superior to the recent multidetector CT for T stagingwith less risk of overstaying in comparison to both CT and magnetic resonance imaging,so that patients are not being ruled out of a potentially beneficial resection.The accuracy for N staging with EUS is 64%-82%.In unresectable cancers,EUS also plays a therapeutic role by means of treating oncological pain through celiac plexus block,biliary drainage in obstructive jaundice in patients where endoscopic retrograde cholangiopancreatography is not affordable and aiding radiotherapy and chemotherapy. | Juana Gonzalo-Marin Juan Jose Vila Manuel Perez-Miranda | 2014 | World Journal of Gastrointestinal Oncology2014，6，9： | 6 |
| 18 | Formal verification of safety protocol in train control system显示文摘In order to satisfy the safety-critical requirements,the train control system(TCS) often employs a layered safety communication protocol to provide reliable services.However,both description and verification of the safety protocols may be formidable due to the system complexity.In this paper,interface automata(IA) are used to describe the safety service interface behaviors of safety communication protocol.A formal verification method is proposed to describe the safety communication protocols using IA and translate IA model into PROMELA model so that the protocols can be verified by the model checker SPIN.A case study of using this method to describe and verify a safety communication protocol is included.The verification results illustrate that the proposed method is effective to describe the safety protocols and verify deadlocks,livelocks and several mandatory consistency properties.A prototype of safety protocols is also developed based on the presented formally verifying method. | ZHANG Yan TANG Tao LI KePing MERA Jose Manuel ZHU Li ZHAO Lin XU TianHua | 2011 | Science China(Technological Sciences)2011，54，11： | 6 |
| 19 | Enzymatic vitrectomy for diabetic retinopathy and diabetic macular edema显示文摘The aim of this paper is to determine the role of enzymatic vitrectomy performed by intravitreal injection of autologous plasmin enzyme(APE)in the management of diabetic retinopathy and diabetic macular edema(DME).Diabetic patients with proliferative diabetic retinopathy or DME and evident posterior hyaloid adherence to the retinal surface were included.All cases were treated with an initial intravitreal injection of APE and reevaluated one month later,measuring changes in best-corrected visual acuity(BCVA),macular thickness and the status of the posterior hyaloid.A second APE injection was performed in cases with no evident posterior vitreous detachment(PVD)after the initial treatment.Sixty-three eyes were included in the present review.A complete PVD appeared in 38%of cases(24 eyes)after one injection of plasmin and the total increased to 51%(32 eyes)after the second injection,separated at least by one month.The central macular thickness improved in all cases(100%)and BCVA in89%.Finally,in 50%of eyes with proliferative diabetic retinopathy,a high reduction of new vessels regression was observed.Enzymatic vitrectomy could be considered a good therapeutic alternative in diabetic retinopathy and macular edema. | Manuel Diaz-Llopis Patricia Udaondo Jose Maria Millán J Fernando Arevalo | 2013 | World Journal of Diabetes2013，4，6： | 6 |
| 20 | A clinical trial of CTLA-4 blockade with tremelimumab in patients with hepatocellular carcinoma and chronic hepatitis C显示文摘 | Bruno Sangro Carlos Gomez-Martin Manuel de la Mata Mercedes I?arrairaegui Elena Garralda Pilar Barrera Jose Ignacio Riezu-Boj Esther Larrea Carlos Alfaro Pablo Sarobe Juan José Lasarte Jose L. Pérez-Gracia Ignacio Melero Jesús Prieto | 2013 | Journal of Hepatology2013，，： | 6 |
您所在的机构暂未开通此部分的功能，请联系管理员