期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于Verds的C语言子集的模型检测方法
1
作者 张兰兰 《计算机系统应用》 2013年第11期19-25,18,共8页
针对现今软件使用逻辑错误的问题越来越多的出现,提出了对最流行最普遍的编程语言——C语言子集的模型检测方法的研究.采用基于Verds工具的模型,运用C语言子集转化成Verds模型的算法,结合Verds工具和MAGIC工具实现模型检测.引入反例引... 针对现今软件使用逻辑错误的问题越来越多的出现,提出了对最流行最普遍的编程语言——C语言子集的模型检测方法的研究.采用基于Verds工具的模型,运用C语言子集转化成Verds模型的算法,结合Verds工具和MAGIC工具实现模型检测.引入反例引导的抽象精化方法使模型检测解决状态爆炸的问题. 展开更多
关键词 模型检测 转化 verds CEGAR MAGIC
在线阅读 下载PDF
商业性电子资源管理系统应用分析与评价 被引量:5
2
作者 刘峰 肖珑 《现代图书情报技术》 CSSCI 北大核心 2009年第1期86-92,共7页
梳理商业性电子资源管理系统(ERMS)的发展,介绍其应用概况并总结系统的核心功能,重点对比分析和评价其中三种商业性ERMS的实际应用情况,并指出我国图书馆在引进和实施商业性ERMS的过程中所要注意的基本问题。
关键词 电子资源管理系统 Verde ERM 360 RESOURCE MANAGER 比较分析 评价
在线阅读 下载PDF
Antifungal Enantiomeric Styrylpyrones from Sanrafaelia ruffonammari and Ophrypetalum odoratum 被引量:1
3
作者 Hamisi M.Malebo Charles Kihampa +4 位作者 Clarence A.Mgina Fortunatus Sung’hwa Reiner Waibel Stephan A.Jonker Mayunga H.H.Nkunya 《Natural Products and Bioprospecting》 CAS 2014年第2期129-133,共5页
Phytochemical investigation of Sanrafaelia ruffonammari Verd and Ophrypetalum odoratum Diels that belongs to the rare genera confined to East African coastal forests led to the isolation of enantiomeric styrylpyrone d... Phytochemical investigation of Sanrafaelia ruffonammari Verd and Ophrypetalum odoratum Diels that belongs to the rare genera confined to East African coastal forests led to the isolation of enantiomeric styrylpyrone dimer,(±)-5-methoxy-7-phenyl-[4-methoxy-2-pyronyl]-1-(E)-styryl-2-oxabicyclo-[4.2.0]-octa-4-en-3-one(1)alongside(?)-6-styryl-7,8-epoxy-4-methoxypyran-2-one(2)and the enantiomeric(?)-(3)and(-)-6-styryl-7,8-dihydroxy-4-methoxypyran-2-ones(4).Their structures were established by means of spectroscopic methods.In this paper we reveal for the first time the occurrence of styrylpyrones in East African biodiversity.(?)-6-Styryl-7,8-epoxy-4-methoxypyran-2-one(2)and the dihydroxystyrylpyrone enantiomer(3)showed in vitro antifungal activity against Candida albicans at a concentration of 24.4 and 26.2 lM with zones of inhibition of 17 and 9 mm,respectively.Compound 2 exhibited strong activity in the brine shrimp test with LC50=1.7 lg/mL.Their high cytotoxic and antifungal activities render them candidates for further scientific attention for drug development programs against cancer and microbial infections. 展开更多
关键词 Sanrafaelia ruffonammari Verd Ophrypetalum odoratum Diels Styrylpyrones ANTIFUNGAL
在线阅读 下载PDF
面向租客权利保护的纽约租赁住房发展经验及启示 被引量:2
4
作者 潘晨斐 李经纬 《住区》 2020年第4期14-19,共6页
纽约住房市场历经多年发展,形成了较为完善的市场机制和政策体系,并在住房市场扮演着越来越重要的角色。本文就纽约市租赁住房制度中对租客权利保护的相关政策进行了研究,包括以承租人优位为原则和实现租购同权等,并以Via Verde住区为例... 纽约住房市场历经多年发展,形成了较为完善的市场机制和政策体系,并在住房市场扮演着越来越重要的角色。本文就纽约市租赁住房制度中对租客权利保护的相关政策进行了研究,包括以承租人优位为原则和实现租购同权等,并以Via Verde住区为例,重点分析其宜居的规划设计和配套完善的公共服务设施建设经验。在此基础上,提出了完善以承租人优位为原则的市场规范与监管措施、推进公共服务建设两方面经验,为我国大城市保护租客权利提供一定的参考与借鉴。 展开更多
关键词 住区 租赁住房 租客权利保护 租金控制 纽约 Via Verde住区
在线阅读 下载PDF
Comparative Geochemical Study of the Tertiary and Quaternary Lavas of Western Senegal and the Cape Verde Islands: Geodynamic Implications
5
作者 Diomaye Yatte Dinna Pathé Diallo Ibrahima Sagna 《International Journal of Geosciences》 2015年第11期1193-1213,共21页
The western area of Senegal was the site of a basic volcanism in the Tertiary and Quaternary. That volcanism had caused the formation of alkaline olivine basalts, basanites and nephelinites from microlitic and porphyr... The western area of Senegal was the site of a basic volcanism in the Tertiary and Quaternary. That volcanism had caused the formation of alkaline olivine basalts, basanites and nephelinites from microlitic and porphyritic texture to dolerite texture. The geochemistry of major elements shows that the Quaternary basalts are more aluminous and more siliceous, but they contain less magnesium, less iron and less calcium than the Tertiary basalts. Two types of basalt occur here, based on the characteristics of the major elements in the Tertiary lavas: the highly undersaturated basalts of the Cape Verde Peninsula and the slightly undersaturated basalts of the Thiès Plateau. The characteristics of the trace elements reveal shallow interactions due to the contamination and/or assimilation, and to the fractional crystallization, but not due to the heterogeneity of the source. The strong enrichment in light rare earth elements (LREE) and the slight enrichment in heavy rare earth elements (HREE), the anomalies which are negative in K and Pb and positive in Nb, Ta and Eu of the Tertiary and Quaternary basalts of Western Senegal and similar anomalies of the same elements (Pb not analyzed) described in the Cape Verde islands, allow us to establish links between the petrogenetic mechanisms that had caused the formation of the basalts of this Islands and Western Senegal. Moreover, the volcanic activity in Western Senegal (of continental lntraplate type) and that of the Cape Verde Islands (oceanic intraplate type) are probably related to the hot spot located on the vertical of the Cape Verde. 展开更多
关键词 WESTERN Senegal BASALTS TERTIARY QUATERNARY Cape Verde
在线阅读 下载PDF
A Serratia marcesens Strains Involved in Cotton (<i>Gossypium hirsutum</i>) Boll Infection by a Prokaryote
6
作者 Enrique G. Medrano James P. Glover +1 位作者 Alois A. Bell Michael J. Brewer 《Agricultural Sciences》 2021年第12期1565-1578,共14页
A boll infection caused by non-traditional cotton pathogens was first reported to occur in the southeastern U.S. Cotton Belt (year 2000) and has since spread to Texas causing significant yield losses. This study was a... A boll infection caused by non-traditional cotton pathogens was first reported to occur in the southeastern U.S. Cotton Belt (year 2000) and has since spread to Texas causing significant yield losses. This study was aimed towards investigating the verde plant bug (<em>Creontiades signatus</em>) link between interior boll disease in Texas, USA. Using glasshouse grown bolls, bacteria recovered from locules with disease symptoms from field-grown cotton bolls caged with the piercing-sucking <em>C. signatus</em> were analyzed for the capacity to inflict the disease. For pathogenicity testing, spontaneously generated rifampicin resistant (Rifr) variants were utilized to track the antibiotic resistant bacterium and deter growth of endophytic and contaminating bacteria. To simulate <em>C. signatus</em> feeding, a needle (31 gauge) was employed to inoculate bolls at 13 - 15 days after flower bloom. Bacterial suspensions ranged from 10<sup>1</sup> - 10<sup>6</sup> colony forming units/ml. Field infection symptoms were duplicated after two weeks of bacterial exposure. Infectious strains were best categorized as <em>Serratia marcescens</em> based on traditional carbon utilization and enzyme production testing, and a 99% nucleotide sequence identity of 16S ribosomal DNA. Putative <em>S. marcescens</em> representatives isolated from rotted bolls exposed to<em> C. signatus</em> were shown to reproduce field infection symptoms upon inoculation into greenhouse grown fruit. <em>Serratia</em> spp. can inflict disease in alfalfa, cucurbits, and sunflower. The presented data are the first to definitively show that a <em>Serratia</em> sp. has the capacity to infect cotton. 展开更多
关键词 Verde Plant Bug Opportunistic Bacterial Infections Antibiotic Selection Marker Cotton Boll Disease Piercing-Sucking Insects
在线阅读 下载PDF
ETC技术在欧洲的应用及发展
7
作者 王国锋 陈剑威 《中国交通信息产业》 2003年第5期123-125,共3页
我国在道路基础设施建设和运营管理中,实行道路收费政策,通过收费解决道路建设资金筹措、建设资金还贷及道路养护问题.基于这一政策,我国已建的高速公路,以及各省市的大部分独立大桥、隧道,城市环线、贷款集资道路均为收费道路.在收费... 我国在道路基础设施建设和运营管理中,实行道路收费政策,通过收费解决道路建设资金筹措、建设资金还贷及道路养护问题.基于这一政策,我国已建的高速公路,以及各省市的大部分独立大桥、隧道,城市环线、贷款集资道路均为收费道路.在收费道路迅速发展及逐步扩大的背景下,道路收费系统及其技术成为国内关注的对象. 展开更多
关键词 电子不停车收费 ETC 欧洲 Q-free公司 应用 发展 “VIA VERDE”系统 葡萄牙 挪威 AUTOPASS项目
在线阅读 下载PDF
电子资源管理系统Verde的应用实践 被引量:9
8
作者 邵敏 张喜来 《图书情报工作》 CSSCI 北大核心 2010年第7期84-88,共5页
在ERMS产品迅速发展的背景下,详细介绍一款典型ERMS产品——Verde系统的实际测试过程,并分享清华大学图书馆利用Verde系统进行电子资源管理的实际工作经验,为我国图书馆电子资源管理系统的应用与普及提供参考。
关键词 电子资源管理系统 Verde 电子资源 清华大学图书馆
原文传递
倍耐力Scorpion Verde
9
作者 卫东 《汽车与运动》 2015年第12期142-143,共2页
作为豪华城市SUV的全路况轮胎,倍耐力Scorpion Verde以出色的操控性、良好的静音性、优异的节油和环保特性表现出了良好的综合性能就在2015年第10期发表的2015年度轮胎评选上,倍耐力Scorpion Verde赢得了"年度最值得期待驾趣轮胎"大... 作为豪华城市SUV的全路况轮胎,倍耐力Scorpion Verde以出色的操控性、良好的静音性、优异的节油和环保特性表现出了良好的综合性能就在2015年第10期发表的2015年度轮胎评选上,倍耐力Scorpion Verde赢得了"年度最值得期待驾趣轮胎"大奖。其获奖理由在于这款产品充分应用了倍耐力轮胎研发中心开发的最新技术成果,涵盖了新材料、新结构和新胎面的设计系统, 展开更多
关键词 倍耐力 SCORPION Verde 轮胎生产 操控性 获奖理由 新胎 最新技术成果 路面条件 胎面花纹 梅赛德斯
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部