期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
95
篇文章
<
1
2
…
5
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
以高等教育均衡化发展助推教育强国建设
1
作者
尚书
《苏州科技大学学报(社会科学版)》
2024年第3期95-100,共6页
考察我国高等教育均衡化发展历程可以发现,均衡化水平与各阶段经济发展的首要追求有深刻关联。由于教育资源的不充分、教育投入的有限性和师资建设的地域不平等因素,我国高等教育区域差异现象依然存在。高等教育均衡发展是一个需要不断...
考察我国高等教育均衡化发展历程可以发现,均衡化水平与各阶段经济发展的首要追求有深刻关联。由于教育资源的不充分、教育投入的有限性和师资建设的地域不平等因素,我国高等教育区域差异现象依然存在。高等教育均衡发展是一个需要不断加以关注和调节的连续进程。建设教育强国,高等教育既要创一流,又要均衡化,弥补区域短板;要优化资源配置,提升欠发达地区高等教育办学条件;要提高欠发达地区对优秀教师、优秀学生的吸引力,为创造性人才提供保障;要加强信息化建设和数字化转型,助力欠发达地区高等教育发展。
展开更多
关键词
高等教育
均衡化发展
资源配置
教育强国
区域差异
下载PDF
职称材料
“机器人技术”课程的教学改革实践研究
2
作者
尚书
《中文科技期刊数据库(引文版)教育科学》
2024年第2期16-19,共4页
随着工业智能化的迅速发展,机器人技术作为关键领域之一,对人才提出了更高的要求。然而,目前机器人技术课程在教学中存在诸多挑战,需要针对性的改革与提升。本研究针对机器人技术课程教学现状存在的问题,探讨了课程设置不科学、教材匮...
随着工业智能化的迅速发展,机器人技术作为关键领域之一,对人才提出了更高的要求。然而,目前机器人技术课程在教学中存在诸多挑战,需要针对性的改革与提升。本研究针对机器人技术课程教学现状存在的问题,探讨了课程设置不科学、教材匮乏、实践条件不足等挑战。提出了改革教学方法、加强实训基地建设、校企联合培养等措施。通过这些改革,提高学生的实践能力和适应工业智能化的能力,促进我国机器人技术的发展。
展开更多
关键词
机器人技术
教学改革
实践能力
下载PDF
职称材料
子母镜逆行技术对阑尾炎的诊断及治疗效果
3
作者
刘希
尚书
《医学临床研究》
CAS
2024年第6期875-877,881,共4页
【目的】探讨子母镜逆行技术对阑尾炎的诊断及治疗效果。【方法】回顾性分析2022年4月至2023年1月在本院内镜诊疗中心就诊的21例阑尾炎患者的临床资料,其中男13例,女8例,采用子母镜逆行治疗技术对患者进行诊查及治疗,子镜经母镜通道进...
【目的】探讨子母镜逆行技术对阑尾炎的诊断及治疗效果。【方法】回顾性分析2022年4月至2023年1月在本院内镜诊疗中心就诊的21例阑尾炎患者的临床资料,其中男13例,女8例,采用子母镜逆行治疗技术对患者进行诊查及治疗,子镜经母镜通道进入阑尾腔内,行子镜直视下探查和治疗,分析治疗结果。【结果】术中发现患者有不同程度的阑尾开口水肿、阑尾黏膜充血肿胀、阑尾腔增宽。取石和治疗过程顺利,治疗时间15~40(23.3±7.5)min,未见出血及穿孔等并发症。治疗后即刻或1 d内患者腹痛症状均能缓解,无感染及发烧,术后常规应用抗生素2~3 d出院。并发症及随访结果:21例患者术后随访时间2~10个月,随访期间无腹痛症状复发,无感染情况发生。【结论】子母镜逆行治疗技术可以直接进入阑尾腔内进行观察和操作,无需借助造影剂及X线,诊治更精准,对于非复杂性阑尾炎阑尾粪石的治疗有效,为阑尾疾病的诊治提供了新的选择。
展开更多
关键词
阑尾炎/外科学
阑尾炎/诊断
内窥镜检查
下载PDF
职称材料
可信编译器L2C的核心翻译步骤及其设计与实现
被引量:
13
4
作者
尚书
甘元科
+2 位作者
石刚
王生原
董渊
《软件学报》
EI
CSCD
北大核心
2017年第5期1233-1246,共14页
同步数据流语言(如Lustre)近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好"误编译"问题,近期人们借助reliable-by-construction辅助定理证明器实现...
同步数据流语言(如Lustre)近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好"误编译"问题,近期人们借助reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证,取得了很大的成功,如Comp Cert C编译器.L2C是基于这种方法开发的可信编译器.它以扩展的Lustre语言为源语言,以Clight(Comp Cert中的C语言子集)为目标语言.L2C是面向实际工业应用的同步数据流语言编译器.重点介绍L2C编译器的核心翻译步骤及其设计与实现过程中考虑的主要问题和相关经验.
展开更多
关键词
经过验证的编译器
同步数据流语言
L2C
Coq证明辅助器
核心翻译步骤
下载PDF
职称材料
基于P-S-R模型的北京市朝阳区生态安全评价
被引量:
4
5
作者
尚书
岳德鹏
+2 位作者
曹睿
张亦超
乌尼图
《浙江农业学报》
CSCD
北大核心
2013年第5期1103-1109,共7页
针对北京市朝阳区的生态安全现状和面临的主要生态问题,基于压力—状态—响应(P-S-R)模型,选择15个特征性专项指标,构建生态安全评价指标体系。在层次分析法确定各项指标权重的基础上,结合综合评价法评价朝阳区2007—2010年的生态安全...
针对北京市朝阳区的生态安全现状和面临的主要生态问题,基于压力—状态—响应(P-S-R)模型,选择15个特征性专项指标,构建生态安全评价指标体系。在层次分析法确定各项指标权重的基础上,结合综合评价法评价朝阳区2007—2010年的生态安全状况。结果表明:2007—2008年生态安全指数分别是0.531 5和0.547 0,生态安全都为较差状态;2009—2010年的生态安全指数分别是0.554 7和0.555 6,其生态安全都属于一般状态。整体来看,朝阳区生态安全指数较低,生态安全状态较差,但总体生态安全状况在逐年变好。依据所得到的结果和朝阳区的生态现状,为朝阳区的生态建设管理和决策提供支持。
展开更多
关键词
P—S-R模型
层次分析法
指标权重
生态安全
下载PDF
职称材料
我国引种海带(Laminaria japonica)和长海带(L.longissima)配子体克隆的随机扩增多态性DNA分析
被引量:
2
6
作者
尚书
石媛媛
杨官品
《海洋湖沼通报》
CSCD
北大核心
2007年第B12期142-146,共5页
运用RAPD技术,对引种我国的海带(Laminaria japonica)和长海带(L.longissima)的22个配子体克隆进行分析。筛选的19条随机引物共获得252个位点.扩增片段大小在200~2000bp之间,多态性位点228个,占90.5%。配子体克隆遗传变异分析表明,长...
运用RAPD技术,对引种我国的海带(Laminaria japonica)和长海带(L.longissima)的22个配子体克隆进行分析。筛选的19条随机引物共获得252个位点.扩增片段大小在200~2000bp之间,多态性位点228个,占90.5%。配子体克隆遗传变异分析表明,长海带和海带的遗传多样性都比较高,两者之间的遗传分化较为明显,且种间变异大于种内变异。长海带和海带雄配子体克隆的遗传变异程度均低于雌配子体克隆。另外,两个种的雌、雄配子体之间均存在一定程度的分化,且长海带雌、雄配子体之间的遗传分化大于海带配子体。
展开更多
关键词
长海带
海带
RAPD
基因多样性
下载PDF
职称材料
传统治理哲学对高校书院制的借鉴作用
被引量:
1
7
作者
尚书
江波
《黑龙江高教研究》
北大核心
2019年第11期39-42,共4页
传统文化作为塑造新时期民族文化的主要来源,是高校文化精神核心凝聚的依托,其治理观念对于高校管理有积极的借鉴意义。书院制可继承传统文化精髓,融合新历史情境,是实践文化管理的有效途径,将转化为富有时代精神与民族特质的文化综合体。
关键词
传统文化
高校
文化管理
书院制
下载PDF
职称材料
篮球比赛中教练员、运动员非语言沟通的技巧
被引量:
2
8
作者
尚书
《科技资讯》
2010年第31期235-235,共1页
篮球比赛中教练员、运动员非语言沟通是使比赛顺利进行和取得胜利的关键。文章通过教练员、运动员在比赛中利用手势、移动路线、目光接触、面部表情等非语言进行沟通,使教练员的意图更快的传递给场上运动员,运动员理解了教练员的意图后...
篮球比赛中教练员、运动员非语言沟通是使比赛顺利进行和取得胜利的关键。文章通过教练员、运动员在比赛中利用手势、移动路线、目光接触、面部表情等非语言进行沟通,使教练员的意图更快的传递给场上运动员,运动员理解了教练员的意图后,更好的完成组织进攻。同时不被对方发现和破译。所以,教练员、运动员要熟练掌握非语言沟通的技巧,更好的运用到篮球比赛中去。
展开更多
关键词
篮球比赛
非语言沟通
技巧
下载PDF
职称材料
黑龙江省体育非物质文化遗产的保护与传承创新研究
被引量:
1
9
作者
尚书
张良祥
宋智梁
《运动》
2017年第5期146-147,140,共3页
本文运用文献资料法、逻辑分析法、比较研究法等研究方法,对黑龙江省体育非物质文化遗产进行整合,分析其保护与传承上存在的问题,旨在为黑龙江省体育非物质文化遗产保护与传承提供参考。
关键词
黑龙江省
体育非物质文化遗产
保护
传承
下载PDF
职称材料
南京艺术学院学生体质测试数据管理系统开发研究
被引量:
1
10
作者
尚书
《武术研究》
2018年第3期133-135,146,共4页
按照教育部对学生体质健康测试后期数据上报的相关要求,开发研究出《学生体质健康测试数据管理系统》。此系统采用网络模式,解决了多年来困扰体质测试数据输入、统计、分析等诸多问题,减少了教师繁重的工作量,大大提升了数据上报工作的...
按照教育部对学生体质健康测试后期数据上报的相关要求,开发研究出《学生体质健康测试数据管理系统》。此系统采用网络模式,解决了多年来困扰体质测试数据输入、统计、分析等诸多问题,减少了教师繁重的工作量,大大提升了数据上报工作的效率。经实践证明是一套具有极强针对性和实用性的测试数据管理系统。
展开更多
关键词
体质健康测试
体测数据
管理系统
下载PDF
职称材料
群体讨论学习法在高校篮球选项课教学中的应用
被引量:
1
11
作者
尚书
季景盛
《齐齐哈尔大学学报(自然科学版)》
2007年第6期85-87,共3页
将群体讨论学习法应用于高校篮球选项课教学中,教学效果明显提高,验证了群体讨论学习法比常规教学法有较大优势。在有效的教学时间内,能使学生完全掌握所学的篮球基本技术,为终身体育锻炼打下良好基础。
关键词
普通高校
群体讨论学习法
篮球
下载PDF
职称材料
我国商业银行理财产品特征研究
被引量:
1
12
作者
尚书
《市场论坛》
2013年第6期76-78,共3页
作为商业银行一个新型的中间业务,银行理财产品近几年在我国的发展迅速,规模逐渐加大,增强了商业银行的核心竞争力,传统的银行业务已不能满足大众的需求,文章对银行理财产品特征进行了描述,分析了目前它在我国的现状以及发展趋势。
关键词
理财产品
商业银行
发展趋势
特征研究
下载PDF
职称材料
对南京艺术学院大学生体质健康测试结果的分析
被引量:
1
13
作者
尚书
《高师理科学刊》
2013年第5期77-79,共3页
通过对南京艺术学院2011年大学生身体形态、身体机能、身体素质等方面的体质健康测试结果的统计分析,同时与2011年全国大学生体质测试的数据进行了对比分析,揭示影响学生体质健康发展的主要因素.因此,在今后的体育教学工作中应加强体质...
通过对南京艺术学院2011年大学生身体形态、身体机能、身体素质等方面的体质健康测试结果的统计分析,同时与2011年全国大学生体质测试的数据进行了对比分析,揭示影响学生体质健康发展的主要因素.因此,在今后的体育教学工作中应加强体质测试工作的监管力度,丰富学生的课余体育生活,为学校体育课教学改革提供科学、全面、客观的理论依据.
展开更多
关键词
体质测试
健康分析
大学生
南京艺术学院
下载PDF
职称材料
我国引种海带和栽培品种(系)来源配子体克隆的AFLP分析
被引量:
14
14
作者
张全胜
石媛媛
+3 位作者
丛义周
曲善村
尚书
杨官品
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第3期429-435,共7页
用AFLP方法进行了11个海带自然种群和养殖品种(系)来源的配子体克隆的遗传分析。9对引物组合共扩增出246个位点,仅14个位点为单态,多态比例达到94.3%。各材料间的Nei’s遗传距离在0.280~0.726之间,平均为0.512,其中长海带与其它材料间...
用AFLP方法进行了11个海带自然种群和养殖品种(系)来源的配子体克隆的遗传分析。9对引物组合共扩增出246个位点,仅14个位点为单态,多态比例达到94.3%。各材料间的Nei’s遗传距离在0.280~0.726之间,平均为0.512,其中长海带与其它材料间的遗传距离最远。UPGMA聚类分析将各材料大致分为3类群,基本反映了各材料来源孢子体表型特征的分化,也在一定程度上反映了目前海带养殖品种间存在混杂。将扩增图谱转换成[0/1]型数据集,构建了不同材料的指纹图谱,发现55个特征标记,其中26个为特异标记。
展开更多
关键词
海带
自然种群
品种(系)
AFLP
指纹图谱
遗传距离
聚类分析
下载PDF
职称材料
篮球竞技赛场上“好声音”之分析
15
作者
尚书
张良祥
《运动》
2016年第2期6-8,共3页
本文主要采用文献资料法、观察法等研究方法,对篮球竞技赛场上运动员、教练员、裁判员、观众发出"好""坏"声音进行分析,探讨如何练就赛场上"好声音",从而使篮球赛事更具魅力和活力,传递正能量,展现真性情。
关键词
篮球
竞技赛场
好声音
下载PDF
职称材料
对影响南京艺术学院学生体质健康状况因素的分析研究
16
作者
尚书
《当代体育科技》
2013年第31期11-11,13,共2页
本文采用文献资料、问卷调查等科研方法,分析影响南京艺术学院大学生身体健康状况的因素。提出根据学生的实际情况,加大体育锻炼的宣传力度,改革体育教学模式,为学生量身制定运动处方,指导学生有目的、有计划和科学的锻炼身体。
关键词
体质
健康状况
因素
下载PDF
职称材料
海带和长海带配子体无性繁殖系微卫星DNA多态性比较分析
被引量:
9
17
作者
石媛嫄
杨官品
+4 位作者
廖梅杰
刘永健
尚书
李晓捷
丛义周
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第2期303-308,共6页
探讨促进海带配子体克隆资源的有效保存和合理利用途径,进行海带良种和杂交海带培育,开发了18个海带微卫星DNA标记,并用这些标记分析了海带和长海带配子体克隆的遗传多样性。这些标记相互独立,至少在1个物种中呈多态性。在36份海带...
探讨促进海带配子体克隆资源的有效保存和合理利用途径,进行海带良种和杂交海带培育,开发了18个海带微卫星DNA标记,并用这些标记分析了海带和长海带配子体克隆的遗传多样性。这些标记相互独立,至少在1个物种中呈多态性。在36份海带配子体中,这些标记检测到的等位基因数量从2~7个不等,揭示的基因多样性在0.21(H144)和0.75(H120)之间,揭示的香农氏信息指数在0.37(H144)和1.55(H120)之间。长海带和海带的平均等位基因数(1.5/3.3),平均基因多样性(0.12/0.45)和平均香农氏信息指数(0.20/0.81)显著不同。根据总样本确定的前2个最丰富等位基因中,绝大多数的频率在长海带和海带之间存在显著差异。长海带和海带之间在基因多样性和香农氏信息指数反映的遗传多样性上的平均遗传分化分别达35.6%和36.9%。
展开更多
关键词
海带
长海带
微卫星DNA标记
遗传多样性
遗传分化
下载PDF
职称材料
土壤侵蚀GIS计算系统的研建与应用
被引量:
4
18
作者
陈金星
岳德鹏
+2 位作者
王计平
尚书
马梦超
《西北林学院学报》
CSCD
北大核心
2016年第1期206-213,共8页
土壤侵蚀是一种严重的灾害,它会破坏环境以及带来诸如洪涝、干旱等灾害。为计算土壤侵蚀量,设计了一种土壤侵蚀计算系统,主要阐述其设计理论、思路和方法。系统基于修正通用土壤流失方程(USLE)和中国土壤流失方程(CSLE),与GIS相结合,使...
土壤侵蚀是一种严重的灾害,它会破坏环境以及带来诸如洪涝、干旱等灾害。为计算土壤侵蚀量,设计了一种土壤侵蚀计算系统,主要阐述其设计理论、思路和方法。系统基于修正通用土壤流失方程(USLE)和中国土壤流失方程(CSLE),与GIS相结合,使用二次开发工具ArcGIS Engnie 10.1,构建于Microsoft.NET Framework 4。通过输入相应的图层,系统能计算各个因子,即降雨因子、植被覆盖与管理因子、坡度因子、坡长因子、土地管理因子和土壤可蚀性因子,以及B、E、T因子,最后用相应的因子再计算土壤侵蚀量。系统提供可视化界面,操作简便,不但能计算土壤侵蚀量,还能制作土壤侵蚀专题图、土壤侵蚀分级图,以及进行分级统计。最后以北京市作为研究案例,使用RUSLE和CSLE产生了北京市土壤侵蚀分布图和分级图,RUSLE分级图共分5级,CSLE为6级,RUSLE计算结果的相对误差为9.5%,系统有助于土壤流失的监测以及为防治土壤流失提供依据。
展开更多
关键词
土壤流失
RUSLE
插值
坡长
NDVI
下载PDF
职称材料
区块链在医院管理中的应用初探
被引量:
15
19
作者
葛国曙
尚书
《中国卫生事业管理》
北大核心
2020年第2期95-97,共3页
区块链将为新一代的信息技术带来新的际遇,深刻改变未来社会的技术创新和产业创新,甚至带来生产关系的变革,现有的应用已经充分证明了其价值。但是区块链如何突破狭小的专业圈走进更大的商业圈和社会圈,这需要我们持续发掘其作用。由此...
区块链将为新一代的信息技术带来新的际遇,深刻改变未来社会的技术创新和产业创新,甚至带来生产关系的变革,现有的应用已经充分证明了其价值。但是区块链如何突破狭小的专业圈走进更大的商业圈和社会圈,这需要我们持续发掘其作用。由此,区块链在医院管理中的应用也可被关注,特别是区块链的数据安全性、不可篡改性、去中心化等等,在医院管理的诸多方面都可尝试应用,作出初步探索。
展开更多
关键词
区块链
去中心化
数据安全
数据民主
医疗安全
门诊预约
下载PDF
职称材料
“观、听、问”在体育教学中的运用
20
作者
尚书
《赤峰学院学报(自然科学版)》
2008年第5期87-88,共2页
体育教学方法、手段的改革是提高学生体质,培养终身受益的重要方面".观、听、问"是教师在教学中了解学生,因材施教,更好地组织教学的有效方法.
关键词
体育教学
观
听
问
下载PDF
职称材料
题名
以高等教育均衡化发展助推教育强国建设
1
作者
尚书
机构
苏州大学人文社会科学处
出处
《苏州科技大学学报(社会科学版)》
2024年第3期95-100,共6页
基金
江苏省高校社科联发展专项课题重点资助项目“新时代高校哲学社会科学科研评价研究”(20GSA-001)。
文摘
考察我国高等教育均衡化发展历程可以发现,均衡化水平与各阶段经济发展的首要追求有深刻关联。由于教育资源的不充分、教育投入的有限性和师资建设的地域不平等因素,我国高等教育区域差异现象依然存在。高等教育均衡发展是一个需要不断加以关注和调节的连续进程。建设教育强国,高等教育既要创一流,又要均衡化,弥补区域短板;要优化资源配置,提升欠发达地区高等教育办学条件;要提高欠发达地区对优秀教师、优秀学生的吸引力,为创造性人才提供保障;要加强信息化建设和数字化转型,助力欠发达地区高等教育发展。
关键词
高等教育
均衡化发展
资源配置
教育强国
区域差异
分类号
G640 [文化科学—高等教育学]
下载PDF
职称材料
题名
“机器人技术”课程的教学改革实践研究
2
作者
尚书
机构
湘西民族职业技术学院
出处
《中文科技期刊数据库(引文版)教育科学》
2024年第2期16-19,共4页
文摘
随着工业智能化的迅速发展,机器人技术作为关键领域之一,对人才提出了更高的要求。然而,目前机器人技术课程在教学中存在诸多挑战,需要针对性的改革与提升。本研究针对机器人技术课程教学现状存在的问题,探讨了课程设置不科学、教材匮乏、实践条件不足等挑战。提出了改革教学方法、加强实训基地建设、校企联合培养等措施。通过这些改革,提高学生的实践能力和适应工业智能化的能力,促进我国机器人技术的发展。
关键词
机器人技术
教学改革
实践能力
分类号
G712 [文化科学—职业技术教育学]
下载PDF
职称材料
题名
子母镜逆行技术对阑尾炎的诊断及治疗效果
3
作者
刘希
尚书
机构
沈阳市第五人民医院内镜诊疗中心
出处
《医学临床研究》
CAS
2024年第6期875-877,881,共4页
文摘
【目的】探讨子母镜逆行技术对阑尾炎的诊断及治疗效果。【方法】回顾性分析2022年4月至2023年1月在本院内镜诊疗中心就诊的21例阑尾炎患者的临床资料,其中男13例,女8例,采用子母镜逆行治疗技术对患者进行诊查及治疗,子镜经母镜通道进入阑尾腔内,行子镜直视下探查和治疗,分析治疗结果。【结果】术中发现患者有不同程度的阑尾开口水肿、阑尾黏膜充血肿胀、阑尾腔增宽。取石和治疗过程顺利,治疗时间15~40(23.3±7.5)min,未见出血及穿孔等并发症。治疗后即刻或1 d内患者腹痛症状均能缓解,无感染及发烧,术后常规应用抗生素2~3 d出院。并发症及随访结果:21例患者术后随访时间2~10个月,随访期间无腹痛症状复发,无感染情况发生。【结论】子母镜逆行治疗技术可以直接进入阑尾腔内进行观察和操作,无需借助造影剂及X线,诊治更精准,对于非复杂性阑尾炎阑尾粪石的治疗有效,为阑尾疾病的诊治提供了新的选择。
关键词
阑尾炎/外科学
阑尾炎/诊断
内窥镜检查
Keywords
Appendicitis/SU
Appendicitis/DI
Endoscopy
分类号
R574.61 [医药卫生—消化系统]
下载PDF
职称材料
题名
可信编译器L2C的核心翻译步骤及其设计与实现
被引量:
13
4
作者
尚书
甘元科
石刚
王生原
董渊
机构
清华大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
2017年第5期1233-1246,共14页
基金
国家自然科学基金(90818019
61462086)
+2 种基金
国家科技重大专项(MJ-2015-D-066)
Sino-European Laboratory of Informatics
Automation and Applied Mathematics资助项目~~
文摘
同步数据流语言(如Lustre)近年来在航空、高铁、核电等安全攸关领域得到广泛应用.这些领域对相关开发工具本身的安全性有着相当高的要求.为尽力解决好"误编译"问题,近期人们借助reliable-by-construction辅助定理证明器实现常规命令式语言编译器的构造和验证,取得了很大的成功,如Comp Cert C编译器.L2C是基于这种方法开发的可信编译器.它以扩展的Lustre语言为源语言,以Clight(Comp Cert中的C语言子集)为目标语言.L2C是面向实际工业应用的同步数据流语言编译器.重点介绍L2C编译器的核心翻译步骤及其设计与实现过程中考虑的主要问题和相关经验.
关键词
经过验证的编译器
同步数据流语言
L2C
Coq证明辅助器
核心翻译步骤
Keywords
certified compiler
synchronous data-flow language
L2C
Coq proof assistant
key translation
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于P-S-R模型的北京市朝阳区生态安全评价
被引量:
4
5
作者
尚书
岳德鹏
曹睿
张亦超
乌尼图
机构
北京林业大学省部共建森林资源培育与保护教育部重点实验室
出处
《浙江农业学报》
CSCD
北大核心
2013年第5期1103-1109,共7页
基金
国家"十一五"科技支撑项目(2009BADC2B301)
文摘
针对北京市朝阳区的生态安全现状和面临的主要生态问题,基于压力—状态—响应(P-S-R)模型,选择15个特征性专项指标,构建生态安全评价指标体系。在层次分析法确定各项指标权重的基础上,结合综合评价法评价朝阳区2007—2010年的生态安全状况。结果表明:2007—2008年生态安全指数分别是0.531 5和0.547 0,生态安全都为较差状态;2009—2010年的生态安全指数分别是0.554 7和0.555 6,其生态安全都属于一般状态。整体来看,朝阳区生态安全指数较低,生态安全状态较差,但总体生态安全状况在逐年变好。依据所得到的结果和朝阳区的生态现状,为朝阳区的生态建设管理和决策提供支持。
关键词
P—S-R模型
层次分析法
指标权重
生态安全
Keywords
pressure-state-response model
analytic hierarchy process
the weight of index
ecological security
分类号
X826 [环境科学与工程—环境工程]
下载PDF
职称材料
题名
我国引种海带(Laminaria japonica)和长海带(L.longissima)配子体克隆的随机扩增多态性DNA分析
被引量:
2
6
作者
尚书
石媛媛
杨官品
机构
中国海洋大学海洋生命学院
出处
《海洋湖沼通报》
CSCD
北大核心
2007年第B12期142-146,共5页
基金
中国海洋大学教育部海水养殖重点实验室资助项目。
文摘
运用RAPD技术,对引种我国的海带(Laminaria japonica)和长海带(L.longissima)的22个配子体克隆进行分析。筛选的19条随机引物共获得252个位点.扩增片段大小在200~2000bp之间,多态性位点228个,占90.5%。配子体克隆遗传变异分析表明,长海带和海带的遗传多样性都比较高,两者之间的遗传分化较为明显,且种间变异大于种内变异。长海带和海带雄配子体克隆的遗传变异程度均低于雌配子体克隆。另外,两个种的雌、雄配子体之间均存在一定程度的分化,且长海带雌、雄配子体之间的遗传分化大于海带配子体。
关键词
长海带
海带
RAPD
基因多样性
Keywords
Laminaria japonica
Laminaria longissima
RAPD
Gene diversity
分类号
Q346.5 [生物学—遗传学]
下载PDF
职称材料
题名
传统治理哲学对高校书院制的借鉴作用
被引量:
1
7
作者
尚书
江波
机构
苏州大学
出处
《黑龙江高教研究》
北大核心
2019年第11期39-42,共4页
基金
2017年江苏高校哲学社会科学研究一般项目“中国传统治理哲学在高校管理中的应用”(编号:2017SJB1340)
文摘
传统文化作为塑造新时期民族文化的主要来源,是高校文化精神核心凝聚的依托,其治理观念对于高校管理有积极的借鉴意义。书院制可继承传统文化精髓,融合新历史情境,是实践文化管理的有效途径,将转化为富有时代精神与民族特质的文化综合体。
关键词
传统文化
高校
文化管理
书院制
Keywords
traditional culture
college and university
the academy system
cultural management
分类号
G640 [文化科学—高等教育学]
下载PDF
职称材料
题名
篮球比赛中教练员、运动员非语言沟通的技巧
被引量:
2
8
作者
尚书
机构
南京艺术学院体育部
出处
《科技资讯》
2010年第31期235-235,共1页
文摘
篮球比赛中教练员、运动员非语言沟通是使比赛顺利进行和取得胜利的关键。文章通过教练员、运动员在比赛中利用手势、移动路线、目光接触、面部表情等非语言进行沟通,使教练员的意图更快的传递给场上运动员,运动员理解了教练员的意图后,更好的完成组织进攻。同时不被对方发现和破译。所以,教练员、运动员要熟练掌握非语言沟通的技巧,更好的运用到篮球比赛中去。
关键词
篮球比赛
非语言沟通
技巧
分类号
G841 [文化科学—体育训练]
下载PDF
职称材料
题名
黑龙江省体育非物质文化遗产的保护与传承创新研究
被引量:
1
9
作者
尚书
张良祥
宋智梁
机构
南京艺术学院体育教学部
齐齐哈尔大学体育学院
出处
《运动》
2017年第5期146-147,140,共3页
基金
2016年国家级大学生创新创业训练计划项目(201610221021)
2016年黑龙江省哲学社会科学研究规划年度项目阶段成果(16TYD04)
+2 种基金
2016年黑龙江省教育科学"十三五"规划重点课题(GJB1316107)
2016年黑龙江省高等教育学会"十三五"高等教育科研课题(16G252)
2016年齐齐哈尔市哲学社会科学规划项目(QSX2016-45JL)
文摘
本文运用文献资料法、逻辑分析法、比较研究法等研究方法,对黑龙江省体育非物质文化遗产进行整合,分析其保护与传承上存在的问题,旨在为黑龙江省体育非物质文化遗产保护与传承提供参考。
关键词
黑龙江省
体育非物质文化遗产
保护
传承
分类号
G812.4 [文化科学—体育学]
下载PDF
职称材料
题名
南京艺术学院学生体质测试数据管理系统开发研究
被引量:
1
10
作者
尚书
机构
南京艺术学院体育部
出处
《武术研究》
2018年第3期133-135,146,共4页
基金
南京艺术学院教学研究重点课题
编号:2016JYZD14
文摘
按照教育部对学生体质健康测试后期数据上报的相关要求,开发研究出《学生体质健康测试数据管理系统》。此系统采用网络模式,解决了多年来困扰体质测试数据输入、统计、分析等诸多问题,减少了教师繁重的工作量,大大提升了数据上报工作的效率。经实践证明是一套具有极强针对性和实用性的测试数据管理系统。
关键词
体质健康测试
体测数据
管理系统
Keywords
physical health test
measurement data
management system
分类号
G840 [文化科学—体育训练]
下载PDF
职称材料
题名
群体讨论学习法在高校篮球选项课教学中的应用
被引量:
1
11
作者
尚书
季景盛
机构
南京艺术学院体育教研部
齐齐哈尔大学体育学院
出处
《齐齐哈尔大学学报(自然科学版)》
2007年第6期85-87,共3页
文摘
将群体讨论学习法应用于高校篮球选项课教学中,教学效果明显提高,验证了群体讨论学习法比常规教学法有较大优势。在有效的教学时间内,能使学生完全掌握所学的篮球基本技术,为终身体育锻炼打下良好基础。
关键词
普通高校
群体讨论学习法
篮球
Keywords
Institution of higher learning
group discussion learning method
basketball
分类号
G807.01 [文化科学—体育训练]
下载PDF
职称材料
题名
我国商业银行理财产品特征研究
被引量:
1
12
作者
尚书
机构
苏州大学
出处
《市场论坛》
2013年第6期76-78,共3页
文摘
作为商业银行一个新型的中间业务,银行理财产品近几年在我国的发展迅速,规模逐渐加大,增强了商业银行的核心竞争力,传统的银行业务已不能满足大众的需求,文章对银行理财产品特征进行了描述,分析了目前它在我国的现状以及发展趋势。
关键词
理财产品
商业银行
发展趋势
特征研究
分类号
F830.4 [经济管理—金融学]
下载PDF
职称材料
题名
对南京艺术学院大学生体质健康测试结果的分析
被引量:
1
13
作者
尚书
机构
南京艺术学院体育教学部
出处
《高师理科学刊》
2013年第5期77-79,共3页
基金
南京艺术学院校级项目"对南京艺术学院学生体质健康状况的研究"阶段性研究成果之一(XJ2011028)
文摘
通过对南京艺术学院2011年大学生身体形态、身体机能、身体素质等方面的体质健康测试结果的统计分析,同时与2011年全国大学生体质测试的数据进行了对比分析,揭示影响学生体质健康发展的主要因素.因此,在今后的体育教学工作中应加强体质测试工作的监管力度,丰富学生的课余体育生活,为学校体育课教学改革提供科学、全面、客观的理论依据.
关键词
体质测试
健康分析
大学生
南京艺术学院
Keywords
test of physical fitness
healthy analysis
college students
Nanjing Arts Institute
分类号
G804.49 [文化科学—运动人体科学]
下载PDF
职称材料
题名
我国引种海带和栽培品种(系)来源配子体克隆的AFLP分析
被引量:
14
14
作者
张全胜
石媛媛
丛义周
曲善村
尚书
杨官品
机构
中国海洋大学海洋生命学院
山东东方海洋科技股份有限公司
出处
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第3期429-435,共7页
基金
国家高技术研究发展计划项目(2001AA621090)
山东省科技发展计划(031070137)资助
文摘
用AFLP方法进行了11个海带自然种群和养殖品种(系)来源的配子体克隆的遗传分析。9对引物组合共扩增出246个位点,仅14个位点为单态,多态比例达到94.3%。各材料间的Nei’s遗传距离在0.280~0.726之间,平均为0.512,其中长海带与其它材料间的遗传距离最远。UPGMA聚类分析将各材料大致分为3类群,基本反映了各材料来源孢子体表型特征的分化,也在一定程度上反映了目前海带养殖品种间存在混杂。将扩增图谱转换成[0/1]型数据集,构建了不同材料的指纹图谱,发现55个特征标记,其中26个为特异标记。
关键词
海带
自然种群
品种(系)
AFLP
指纹图谱
遗传距离
聚类分析
Keywords
Laminaria
species
variety
AFLP
fingerprint
gentic distance
dustering anlysis
分类号
Q943.2 [生物学—植物学]
下载PDF
职称材料
题名
篮球竞技赛场上“好声音”之分析
15
作者
尚书
张良祥
机构
南京艺术学院体育部
齐齐哈尔大学体育学院
出处
《运动》
2016年第2期6-8,共3页
文摘
本文主要采用文献资料法、观察法等研究方法,对篮球竞技赛场上运动员、教练员、裁判员、观众发出"好""坏"声音进行分析,探讨如何练就赛场上"好声音",从而使篮球赛事更具魅力和活力,传递正能量,展现真性情。
关键词
篮球
竞技赛场
好声音
分类号
G841 [文化科学—体育训练]
下载PDF
职称材料
题名
对影响南京艺术学院学生体质健康状况因素的分析研究
16
作者
尚书
机构
南京艺术学院人文学院体育教学部
出处
《当代体育科技》
2013年第31期11-11,13,共2页
基金
南京艺术学院校级项目"对南京艺术学院学生体质健康状况的研究"阶段性研究成果之一(XJ2011028)
文摘
本文采用文献资料、问卷调查等科研方法,分析影响南京艺术学院大学生身体健康状况的因素。提出根据学生的实际情况,加大体育锻炼的宣传力度,改革体育教学模式,为学生量身制定运动处方,指导学生有目的、有计划和科学的锻炼身体。
关键词
体质
健康状况
因素
分类号
G80-32 [文化科学—运动人体科学]
下载PDF
职称材料
题名
海带和长海带配子体无性繁殖系微卫星DNA多态性比较分析
被引量:
9
17
作者
石媛嫄
杨官品
廖梅杰
刘永健
尚书
李晓捷
丛义周
机构
中国海洋大学生命学院
山东东方海洋科技股份有限公司
出处
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2008年第2期303-308,共6页
基金
山东省农业良种工程项目(鲁财农字(2005)85)
山东省科技发展计划项目(2005GG3205190)资助
文摘
探讨促进海带配子体克隆资源的有效保存和合理利用途径,进行海带良种和杂交海带培育,开发了18个海带微卫星DNA标记,并用这些标记分析了海带和长海带配子体克隆的遗传多样性。这些标记相互独立,至少在1个物种中呈多态性。在36份海带配子体中,这些标记检测到的等位基因数量从2~7个不等,揭示的基因多样性在0.21(H144)和0.75(H120)之间,揭示的香农氏信息指数在0.37(H144)和1.55(H120)之间。长海带和海带的平均等位基因数(1.5/3.3),平均基因多样性(0.12/0.45)和平均香农氏信息指数(0.20/0.81)显著不同。根据总样本确定的前2个最丰富等位基因中,绝大多数的频率在长海带和海带之间存在显著差异。长海带和海带之间在基因多样性和香农氏信息指数反映的遗传多样性上的平均遗传分化分别达35.6%和36.9%。
关键词
海带
长海带
微卫星DNA标记
遗传多样性
遗传分化
Keywords
Laminaria japonica
Laminaria longissima
microsatellite DNA marker
gentic diversity
genetic differentiation
分类号
S917.3 [农业科学—水产科学]
Q322 [生物学—遗传学]
下载PDF
职称材料
题名
土壤侵蚀GIS计算系统的研建与应用
被引量:
4
18
作者
陈金星
岳德鹏
王计平
尚书
马梦超
机构
北京林业大学测绘与
北京林业大学林学院
国家林业局盐碱地研究中心
出处
《西北林学院学报》
CSCD
北大核心
2016年第1期206-213,共8页
基金
国家自然科学基金项目(41371189)
国家林业局引进国际林业科学技术项目(2014-4-76)
文摘
土壤侵蚀是一种严重的灾害,它会破坏环境以及带来诸如洪涝、干旱等灾害。为计算土壤侵蚀量,设计了一种土壤侵蚀计算系统,主要阐述其设计理论、思路和方法。系统基于修正通用土壤流失方程(USLE)和中国土壤流失方程(CSLE),与GIS相结合,使用二次开发工具ArcGIS Engnie 10.1,构建于Microsoft.NET Framework 4。通过输入相应的图层,系统能计算各个因子,即降雨因子、植被覆盖与管理因子、坡度因子、坡长因子、土地管理因子和土壤可蚀性因子,以及B、E、T因子,最后用相应的因子再计算土壤侵蚀量。系统提供可视化界面,操作简便,不但能计算土壤侵蚀量,还能制作土壤侵蚀专题图、土壤侵蚀分级图,以及进行分级统计。最后以北京市作为研究案例,使用RUSLE和CSLE产生了北京市土壤侵蚀分布图和分级图,RUSLE分级图共分5级,CSLE为6级,RUSLE计算结果的相对误差为9.5%,系统有助于土壤流失的监测以及为防治土壤流失提供依据。
关键词
土壤流失
RUSLE
插值
坡长
NDVI
Keywords
soil erosion
RUSLE
interpolation
slope length
NDVI
分类号
S157.9 [农业科学—土壤学]
下载PDF
职称材料
题名
区块链在医院管理中的应用初探
被引量:
15
19
作者
葛国曙
尚书
机构
苏州大学附属第一医院
苏州大学
出处
《中国卫生事业管理》
北大核心
2020年第2期95-97,共3页
基金
国家重点研发计划“江苏数字创新诊疗装备应用示范研究”(2017YFC0114300)
江苏省高校哲学社会科学研究一般项目“长三角卫生应急一体化管理路径研究”(2019SJA1245)
文摘
区块链将为新一代的信息技术带来新的际遇,深刻改变未来社会的技术创新和产业创新,甚至带来生产关系的变革,现有的应用已经充分证明了其价值。但是区块链如何突破狭小的专业圈走进更大的商业圈和社会圈,这需要我们持续发掘其作用。由此,区块链在医院管理中的应用也可被关注,特别是区块链的数据安全性、不可篡改性、去中心化等等,在医院管理的诸多方面都可尝试应用,作出初步探索。
关键词
区块链
去中心化
数据安全
数据民主
医疗安全
门诊预约
Keywords
blockchain
decentralization
data security
data democracy
medical security
outpatient appointment
分类号
R197.3 [医药卫生—卫生事业管理]
下载PDF
职称材料
题名
“观、听、问”在体育教学中的运用
20
作者
尚书
机构
南京艺术学院体育教研部
出处
《赤峰学院学报(自然科学版)》
2008年第5期87-88,共2页
文摘
体育教学方法、手段的改革是提高学生体质,培养终身受益的重要方面".观、听、问"是教师在教学中了解学生,因材施教,更好地组织教学的有效方法.
关键词
体育教学
观
听
问
分类号
G807.4 [文化科学—体育训练]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
以高等教育均衡化发展助推教育强国建设
尚书
《苏州科技大学学报(社会科学版)》
2024
0
下载PDF
职称材料
2
“机器人技术”课程的教学改革实践研究
尚书
《中文科技期刊数据库(引文版)教育科学》
2024
0
下载PDF
职称材料
3
子母镜逆行技术对阑尾炎的诊断及治疗效果
刘希
尚书
《医学临床研究》
CAS
2024
0
下载PDF
职称材料
4
可信编译器L2C的核心翻译步骤及其设计与实现
尚书
甘元科
石刚
王生原
董渊
《软件学报》
EI
CSCD
北大核心
2017
13
下载PDF
职称材料
5
基于P-S-R模型的北京市朝阳区生态安全评价
尚书
岳德鹏
曹睿
张亦超
乌尼图
《浙江农业学报》
CSCD
北大核心
2013
4
下载PDF
职称材料
6
我国引种海带(Laminaria japonica)和长海带(L.longissima)配子体克隆的随机扩增多态性DNA分析
尚书
石媛媛
杨官品
《海洋湖沼通报》
CSCD
北大核心
2007
2
下载PDF
职称材料
7
传统治理哲学对高校书院制的借鉴作用
尚书
江波
《黑龙江高教研究》
北大核心
2019
1
下载PDF
职称材料
8
篮球比赛中教练员、运动员非语言沟通的技巧
尚书
《科技资讯》
2010
2
下载PDF
职称材料
9
黑龙江省体育非物质文化遗产的保护与传承创新研究
尚书
张良祥
宋智梁
《运动》
2017
1
下载PDF
职称材料
10
南京艺术学院学生体质测试数据管理系统开发研究
尚书
《武术研究》
2018
1
下载PDF
职称材料
11
群体讨论学习法在高校篮球选项课教学中的应用
尚书
季景盛
《齐齐哈尔大学学报(自然科学版)》
2007
1
下载PDF
职称材料
12
我国商业银行理财产品特征研究
尚书
《市场论坛》
2013
1
下载PDF
职称材料
13
对南京艺术学院大学生体质健康测试结果的分析
尚书
《高师理科学刊》
2013
1
下载PDF
职称材料
14
我国引种海带和栽培品种(系)来源配子体克隆的AFLP分析
张全胜
石媛媛
丛义周
曲善村
尚书
杨官品
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2008
14
下载PDF
职称材料
15
篮球竞技赛场上“好声音”之分析
尚书
张良祥
《运动》
2016
0
下载PDF
职称材料
16
对影响南京艺术学院学生体质健康状况因素的分析研究
尚书
《当代体育科技》
2013
0
下载PDF
职称材料
17
海带和长海带配子体无性繁殖系微卫星DNA多态性比较分析
石媛嫄
杨官品
廖梅杰
刘永健
尚书
李晓捷
丛义周
《中国海洋大学学报(自然科学版)》
CAS
CSCD
北大核心
2008
9
下载PDF
职称材料
18
土壤侵蚀GIS计算系统的研建与应用
陈金星
岳德鹏
王计平
尚书
马梦超
《西北林学院学报》
CSCD
北大核心
2016
4
下载PDF
职称材料
19
区块链在医院管理中的应用初探
葛国曙
尚书
《中国卫生事业管理》
北大核心
2020
15
下载PDF
职称材料
20
“观、听、问”在体育教学中的运用
尚书
《赤峰学院学报(自然科学版)》
2008
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
5
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部