检索结果-南通市图书馆

四川师范学院学报（哲学社会科学版） 2001年第3期 74-76页

作者：周体佳四川师范学院图书馆四川南充637002

本文论述了本馆所收藏的历史文献的特点和开发利用的现状 ,认为必须尽快开发馆藏的历史文献大型丛书 ,建立具有本馆馆藏特色的数据库。

关键词：计算机应用高校图书馆馆藏历史文献大型丛书特色数据库开发利用

在线全文

学校读者我要写书评

暂无评论

地基GPS气象学技术在南极地区的应用研究

测绘与空间地理信息 2014年第7期37卷 133-136页

作者：周悌慧国家测绘产品质量检验测试中心北京100830

利用地基GPS气象学技术,对南极地区的气象进行研究,比较了GPS/PWV和用探空方式得到的Radio/PWV,画出了两者的PWV时间序列图,显示具有较好的一致性,验证了GPS遥感大气的精度和准确性,为以后南极气象研究提供参考。

关键词：南极地区地基GPS气象学可降水量

基于Blackboard平台网络课程开发的优化

在线全文

学校读者我要写书评

暂无评论

电脑开发与应用 2012年第9期25卷 75-77页

作者：周体强丽水学院浙江丽水323000

讨论了基于Blackboard平台网络课程开发的优化,给出了一些具体的实现方法,使网络课程界面更加美观吸引人,操作更为方便,提高教学效果。

关键词： Blackboard 功能优化

维普期刊数据库博看期刊

陕西省2006—2018年艾滋病疫情变化及宏观因素影响

在线全文

学校读者我要写书评

暂无评论

中国公共卫生 2021年第8期37卷 1201-1204页

作者：朱妮李超周体操杨国婧李欣欣张义陕西省疾病预防控制中心传防所陕西西安710054 西安交通大学医学部公共卫生学院

目的分析陕西省2006—2018年艾滋病发病趋势,探讨艾滋病报告发病率与宏观经济、卫生服务相关因素的关联。方法收集中国疾病控制信息系统中2006—2018年陕西省各地市艾滋病发病数及人口数;收集2006—2018年《陕西统计年鉴》中宏观经济与... 详细信息

目的分析陕西省2006—2018年艾滋病发病趋势,探讨艾滋病报告发病率与宏观经济、卫生服务相关因素的关联。方法收集中国疾病控制信息系统中2006—2018年陕西省各地市艾滋病发病数及人口数;收集2006—2018年《陕西统计年鉴》中宏观经济与卫生服务水平等指标,采用多水平模型拟合2006—2018年艾滋病发病趋势及宏观因素对发病趋势的影响。结果艾滋病发病率与年份之间存在非线性关联,且随时间推移呈现加速上升趋势;地方财政收入(β=0.002,P<0.001)与艾滋病发病率呈正相关;而每千人卫生机构数(β=–0.306,P=0.023)与艾滋病发病率呈负相关。结论陕西省艾滋病发病呈现加速上升趋势,同时与社会宏观因素密切相关。

关键词：艾滋病多水平模型宏观经济卫生服务

在线全文

学校读者我要写书评

暂无评论

中学体育教师继续教育模式探讨

新疆教育学院学报 2008年第2期24卷 55-57页

作者：周悌王萍新疆教育学院体育部新疆乌鲁木齐830043

通过问卷调查法、社会访谈法等对新疆中学体育教师参加继续教育进行问卷调研。得出结论:新疆中学体育教师可持续发展环境优越,但体育人力资源规模偏小;性别、职称、学历结构比较合理。在继续教育过程中,应把转变教育思想、教育观念放在... 详细信息

通过问卷调查法、社会访谈法等对新疆中学体育教师参加继续教育进行问卷调研。得出结论:新疆中学体育教师可持续发展环境优越,但体育人力资源规模偏小;性别、职称、学历结构比较合理。在继续教育过程中,应把转变教育思想、教育观念放在首要位置,同时应拓宽中学体育教师知识面,重视现代教育技术在体育教育教学中的运用,加强体育教师的科研素质培训,提高中学体育教师的综合能力。

关键词：新疆体育教师继续教育研究

使用组合协议逻辑PCL验证Amended Needham-Schroeder协议

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2008年第11期30卷 13-15页

作者：刘锋李舟军周倜李梦君国防科技大学计算机学院湖南长沙410073

安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL,并采用PCL对Amended Needham-Schroeder协议进行了验证,证明该协议满足保密性。在验证中将完整的协... 详细信息

安全协议的形式化分析和验证一直是信息安全领域的一个重要问题。本文介绍了组合式验证方法以及面向安全协议验证的组合式验证工具PCL,并采用PCL对Amended Needham-Schroeder协议进行了验证,证明该协议满足保密性。在验证中将完整的协议划分为三个子协议,对子协议分别做性质描述和验证,最后将三个子协议组合成完整的协议,通过三个子协议之间前置断言和后置断言的一致性,证明了组合之后的协议满足保密性。

关键词： Floyd-Hoare逻辑 PCL 安全协议

基于油藏CO_2驱油潜力的CCUS源汇匹配方法

在线全文

学校读者我要写书评

暂无评论

环境工程 2019年第2期37卷 51-56页

作者：汪芳秦积舜周体尧杨永智提高石油采收率国家重点实验室北京100083 国家能源二氧化碳驱油与埋存技术研发(实验)中心北京100083

CO_2捕集、利用与埋存(CCUS)商业化的关键因素是通过工业CO_2排放源与油田间的源汇匹配,筛选出最具经济性的匹配方案。基于油藏驱油潜力和油田CO_2驱注气的阶段开发特点,以油田可承受CO_2极限成本为约束条件,CCUS商业化项目的总成本现... 详细信息

CO_2捕集、利用与埋存(CCUS)商业化的关键因素是通过工业CO_2排放源与油田间的源汇匹配,筛选出最具经济性的匹配方案。基于油藏驱油潜力和油田CO_2驱注气的阶段开发特点,以油田可承受CO_2极限成本为约束条件,CCUS商业化项目的总成本现值最小为优化目标,建立了工业CO_2排放源与具有效益开发潜力油藏的CCUS源汇匹配评价流程和相关指标计算方法。并以我国东部地区某油田及附近碳源为例,筛选出可承受CO_2极限成本大于150元/t的油田区块,将CCUS全生命周期划分为6个阶段,完成燃煤电厂(碳源地)与油田区块间管道布局和CO_2注入井的接替(分阶段)注采规划,并发现当油价高于70美元/桶时,油田区块的平均可承受CO_2极限成本接近该源汇匹配下的全生命周期CO_2平均供给成本。

关键词： CO2捕集、利用与埋存(CCUS) 可承受极限成本源汇匹配管道和注采规划

基于Horn逻辑扩展模型的时间敏感安全协议验证

在线全文

学校读者我要写书评

暂无评论

计算机研究与发展 2006年第Z2期43卷 534-540页

作者：周倜李梦君李舟军陈火旺国防科学技术大学计算机学院长沙410073 国防科学技术大学计算机学院长沙410073 北京航空航天大学计算机学院北京100083 国防科学技术大学计算机学院长沙410073

分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,... 详细信息

分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们在验证时间敏感安全协议时的不足,提出了带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证方法,并给出了相应的定义和定理,使得带时间约束的安全协议的Horn逻辑扩展模型和修改版本的安全协议验证能够分析依赖时间的安全协议的安全性质.通过在验证中加入时间约束条件,得到了大嘴青蛙协议的攻击序列,并可从约束条件中导出避免攻击的条件.

关键词：安全协议扩展的Horn逻辑模型时间敏感约束条件形式化验证

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

HJ-1卫星数据估算地表能量平衡

遥感学报 2014年第5期18卷 1048-1058页

作者：矫京均辛晓洲余珊珊周倜彭志晴中国科学院遥感与数字地球研究所遥感国家重点实验室北京100101 中国科学院大学北京100049

利用遥感数据估算和监测地表能量平衡的研究和应用一直以来都是学术探索的前沿和焦点,目前针对国际主流卫星数据(如MODIS,Landsat TM等)的算法研究有很多,且在不同的尺度上发展了一系列遥感技术和应用方法。本文以环境一号卫星(HJ-1)数... 详细信息

利用遥感数据估算和监测地表能量平衡的研究和应用一直以来都是学术探索的前沿和焦点,目前针对国际主流卫星数据(如MODIS,Landsat TM等)的算法研究有很多,且在不同的尺度上发展了一系列遥感技术和应用方法。本文以环境一号卫星(HJ-1)数据为主要数据源,研究和分析了地表能量平衡遥感估算方法。在下行短波和长波辐射,以及地表净辐射估算的基础上,重点研究了地表显热和潜热通量(蒸散)的估算方法,针对辐射温度代替空气动力学温度所引起的误差校正,对比分析了基于KB-1系数的热力学粗糙度长度,以及附加阻抗两种方法。使用2010年HJ-1B数据反演得到海河流域地表能量平衡各分量瞬时值,利用3个地面站点的测量数据对反演结果进行验证和误差分析。结果表明下行短波辐射的反演误差是地表净辐射反演误差的主要来源,地表温度的反演精度以及地表粗糙度的模拟精度是影响显热通量反演精度的主要因素。利用两种方法估算的显热通量趋势基本一致,但KB-1系数法的反演结果一般低于附加阻抗法。在下垫面较为复杂的区域,模型结果误差较大,需要更加精细的模型以刻画地表非均匀性的影响。

关键词： HJ-1B卫星地表能量平衡地表蒸散地表粗糙度阻抗

兔血液凝血功能诊断的改进Fisher判别法

在线全文

学校读者我要写书评

暂无评论

重庆医学 2012年第5期41卷 469-471页

作者：叶稳马晨丰程攀科周倜第三军医大学学员旅十三队重庆400038

目的通过对经内毒素侵袭的实验对象凝血指标的检测,建立凝血指标与凝血类型之间较为准确的数学关系,从而代替血栓弹力图(TEG)检测法。方法将实验对象的凝血指标(PT、APTT、TT和FIB)通过实码加速遗传算法的投影寻踪方法赋予相应的判别权... 详细信息

目的通过对经内毒素侵袭的实验对象凝血指标的检测,建立凝血指标与凝血类型之间较为准确的数学关系,从而代替血栓弹力图(TEG)检测法。方法将实验对象的凝血指标(PT、APTT、TT和FIB)通过实码加速遗传算法的投影寻踪方法赋予相应的判别权值,进而应用Fisher判别法建立指标与凝血类型间的判别关系函数,进行判别。最后通过指标筛选对判别函数进行优化。结果选用全部4项指标的判别正确率为92.00%。去除指标APTT后,判别正确率为94.8%。优化后对于低凝类型的评判准确率由最初的48.5%上升至74.29%。结论改进Fisher判别法对凝血的评判准确率高,方法简便,具有较高的应用价值。

关键词：血液凝固 Fisher判别投影寻踪