搜索筛选:
搜索耗时1.1870秒,为你在为你在102,285,761篇论文里面共找到 1,000 篇相符的论文内容
发布年度:
[会议论文] 作者：孙天宇,郁文生,
来源：2017中国智能物联系统会议 年份：2017
利用交互式定理证明工具Coq,在公理化集合论体系下,给出选择公理与它的几个著名等价命题间等价性的机器证明,这些命题包括Tukey引理、Hausdorff最大原则、最大原则、Zorn引理、良序原则等.本文从选择公理出发依次证明上述定理,最后又通过良序原则证明了选择公理......
[会议论文] 作者：刘超,孙伟,
来源：第二届中国舞台电影电视照明论坛 年份：2017
众所周知,电视节目中大部分的新闻报道都是在电视台的演播室进行的,这类演播室具有制作电视节目所需要的视频、音频、电力、通话及灯光系统,并且经过一定的声学、光学处理,以此实现电视节目每天的制作播出需要.但有时在报道一些大型活动如奥运会时,电视人往往更......
[会议论文] 作者：孙慧,胡波,
来源：中国水利学会2017学术年会 年份：2017
通过对南水北调中线工程多个挖方渠道滑坡的现场勘查调研后得出:如果不考虑裂隙的埋深、倾向和长度等，渠坡稳定分析得到的安全系数要么偏大，要么偏小，很难正确反映实际工程的安全状态。针对存在裂隙面的膨胀土渠坡,结合膨胀土裂隙面强度三轴试验结果,利用考虑裂隙......
[会议论文] 作者：王君,孙红亮,
来源：2017(第十二届)城市发展与规划大会 年份：2017
随着城市化进程的推进,城市人口密度日趋加大.城市承受着日益严峻的自然风险与人为灾害,韧性城市建设逐渐成为当今规划的热点问题.住区是城市的重要组成,是城市风险治理的基本单元.本文以韧性住区为研究对象,在对居住区韧性特征进行梳理的基础上,分别从外部支撑......
[会议论文] 作者：孙兵,龙燕,
来源：中国计算机用户协会网络应用分会2017年第二十一届网络新技术与应用年会 年份：2017
随着油田信息化的高速发展,信息交互途径越来越依赖于计算机网络,在加快工作效率的同时,也伴随着待解决的各种网络安全问题.处于油田企业内部局域网下的科研成果中的涉密及敏感信息通过网络途径泄漏的事件时有发生,造成了一些不良后果甚至经济损失,无论是对企业......
[会议论文] 作者：孙亚,朱昊,
来源：第25届海峡两岸都市交通学术研讨会 年份：2017
目前多数公交企业根据传统经验进行人工计划排班和调度工作,随着公交信息化技术手段提高,通过掌握公交线路动态客流进行调度,能够提高公交企业运营效率和降低其运营成本.本文研究基于公交客流需求响应的调度优化及评价,首先给出基于客流的调度技术流程和评价框......
[会议论文] 作者：刘佃亮,范俊卿,孙静,孙竹茹,
来源：中国法医学会 年份：2017
损伤性休克在法医检验鉴定中经常遇到,新《人体损伤程度鉴定标准》第5.12.1d)各种损伤引起休克(轻度),可以评定为轻伤二级;第5.12.4f)各种损伤引起休克(中度),可以评定为重伤二级.两条款评定的损伤程度差别较大,对案件双方当事人影响也较大,所以损伤性休克度的......
[会议论文] 作者：卢焕珍,孙晓磊,刘一玮,孙建元,
来源：2017年全国重大天气过程总结和预报技术经验交流会 年份：2017
应用常规观测与地面加密自动站观测资料、卫星云图、多普勒雷达、风廓线以及雷达变分同化分析系统(VDRAS)等多种资料对一次漏报的分散性暴雨过程中尺度对流系统演变、移动特征及其成因进行分析.结果表明:副高边缘暖湿气流、低空弱倒槽切变、东南急流、湿舌、弱......
[会议论文] 作者：孙浪,徐莹,娄亚利,孙际茂,
来源：2017年湖南省地质学会学术年会 年份：2017
龚家湾矿段位于沃溪大断层与主脉延伸部位,具有良好找矿前景且未进行系统地质工作.从地质特征与成矿条件看:该区出露含矿的马底驿组地层,构造特征有利成矿,围岩蚀变与矿化关系密切.从蚀变与矿化特征看:老隆调查证实有矿化(体)存在,相邻矿区主脉可能延伸至该区,......
[会议论文] 作者：孙凯,周国华,孙彬彬,贺灵,曾道明,
来源：中国地质学会2017学术年会 年份：2017
综合考虑福建省龙海市地质背景及成土母岩类型、地形地貌、土壤类型和土地利用方式等因素,以典型性代表性为原则,兼顾样点空间分布总体均匀性,在龙海市一千余平方公里范围内采集了表层土壤(0-20cm)样品64件(56件典型表浅层土壤和8件富硒区表层土壤),分析测试了A......
[会议论文] 作者：李双,孙赛军,张玉泉,孙卫东,
来源：第八届全国成矿理论与找矿方法学术讨论会 年份：2017
云南个旧锡多金属矿床是全球最大的矿田之一,位于华南华夏板块的西缘.现在该矿田已经探明的锡资源储量超过200万吨,有色、稀有及贵金属资源总储量超过1000万吨.晚白垩世火成岩在该矿区内广泛分布,其中花岗岩与成矿关系密切.前人对个旧锡多金属矿床的矿床地质特......
[会议论文] 作者：孙超,纪剑,叶永丽,孙秀兰,
来源：第九届全国环境化学大会 年份：2017
小麦赤霉病(FHB,Fusarium head blight)最早是于1884 年在英国被发现,是世界湿润和半湿润地区广泛发生的一种毁灭性农作物病害[1],其侵染粮食作物范围包括小麦、大麦、玉米、燕麦和其他粮食作物,其中以小麦受害程度最为严重.DON 的生物合成与TRI 族基因簇有关,......
[会议论文] 作者：丁宁,孙莉,孙光天,张邦伟,
来源：全国第二十二次银杏学术研讨会、首届国际银杏峰会 年份：2017
本文阐述了邳州市银杏古树资源的保护和开发及其保护意义,通过采取挂牌、围栏、填土、施肥、灌溉、排水、治虫、防病、创伤处理、气象灾害预防及复壮等技术保护措施,并从银杏古树的特殊经济、药用、生态、观赏、旅游、历史文化等方面的价值,建立保护区,基因库,......
[会议论文] 作者：陈丹玲,宫相宽,罗芬红,唐文娟,胡育华,
来源：中国矿物岩石地球化学学会第九次全国会员代表大会暨第16届学术年会 年份：2017
秦岭岩群是北秦岭构造带的最古老部分,是研究中国中央造山系早期构造格局和演化的重要对象,一直受到地学界的广泛关注和持续研究.随着研究手段的提高和新的研究成果的获得,尤...
[会议论文] 作者：管鹤卿,臧宏宽,杨小兰,刘楚彤,王振嵩,
来源：2017中国环境科学学会科学与技术年会 年份：2017
文章从经济学理论引出公益诉讼特别是环境公益诉讼的价值，阐明了环境民事公益诉讼的概念，述说了我国公益诉讼制度的确立历程，指出公益诉讼制度需突破的理论和制度障碍，对环境......
[会议论文] 作者：曹金文[1]白云[2]刘宽[3]张雪辉[2]张成斌[2],
来源：2017(第六届)国际桥梁与隧道技术大会 年份：2017
针对超大直径泥水平衡盾构施工带来的碳排放以及废弃泥浆的改良处理问题展开了研究，依托珠海横琴隧道，核算了泥水盾构掘进的碳排放量并进行了废弃泥浆改良试验.研究表明：(1)......
[会议论文] 作者：朱小辉,陈丹玲,杨士杰,任云飞,宫相宽,
来源：中国矿物岩石地球化学学会第九次全国会员代表大会暨第16届学术年会 年份：2017
大陆地壳在俯冲-折返过程中,随着构造体制和动力学过程的变化,除了发生变形、变质外,还伴随不同程度的岩浆活动,深入研究该过程中的岩浆作用,对于认识俯冲大陆岩石圈再循环、...
[会议论文] 作者：王焱,杨梦,郭羽,安欣欣,景宽,刘保献,魏强,
来源：华北五省市(区)环境科学学会第二十届学术年会 年份：2017
进年来公众越来越多的关注到PM2.5的数据,对数据时效性提出了更高要求.自动监测方法因其可实时监测PM2.5质量浓度,及时发布数据而被广泛应用.但此方法需要和重量法对比.重量...
[会议论文] 作者：郭羽,王焱,李海军,安欣欣,杨梦,景宽,刘保献,
来源：华北五省市(区)环境科学学会第二十届学术年会 年份：2017
为探索不同材质滤膜对PM2.5手工监测结果的影响,于2014年7月至2015年12月对石英滤膜、3种品牌聚四氟乙烯滤膜和玻璃纤维滤膜进行平行比对实验,结果表明石英滤膜在高湿度环境...
[会议论文] 作者：张嘉骅,常淼,刘保献,景宽,丁萌萌,王琴,
来源：华北五省市(区)环境科学学会第二十届学术年会 年份：2017
建立了卡尔费休库仑法测定细颗粒物中的水分的方法;线性回归系数达r=0.9993,方法检出限为8.9×10-2μg/m3,根据不同加标量计算PM2.5样品膜中的的相对标准偏差为1.5％～2.4％,加标回...
相关搜索：
