检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一种用于字节码程序模块化验证的逻辑系统

软件学报 2010年第12期21卷 3056-3067页

作者：董渊王生原张丽伟朱允敏杨萍清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084 北京语言大学信息科学学院北京100084

字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年... 详细信息

字节码既是运行于虚拟机的解释指令,也是定义良好的中间表示,是当今网络软件和计算设备中广泛使用的重要技术.字节码验证可以提高相关软件的可信程度,同时为构造证明保持编译器提供中间表示支持,具有重要的实用价值和理论价值.虽然近年提出了一些用于字节码程序的逻辑系统,但由于字节码本身的特点,造成了抽象控制栈复杂、控制流结构信息不足,因而字节码程序的"模块化验证"依然是一个巨大的挑战,并没有得到有效解决.将FPCC(foundationalproof-carryingcode)方法引入中间表示字节码,借鉴汇编程序的验证方法.设计出一种逻辑系统,给出字节码程序运行环境BCM(ByteCodemachine)的逻辑系统CBP(certifyingbytecodeprogram)定义,完成系统的合理性证明和一组代表性实例程序的模块化证明,并实现机器自动检查.该工作为字节码验证提供一种良好的解决方案,同时也向着构造证明保持编译器环境迈出了坚实的一步,还可以为广泛使用的基于虚拟机复杂网络应用程序的深刻理解和深入分析提供理论帮助.

关键词：程序模块化验证字节码类Hoare逻辑系统

在线全文

学校读者我要写书评

暂无评论

面向多核处理器的低级并行程序验证

电子学报 2009年第B04期37卷 1-6页

作者：朱允敏张丽伟王生原董渊张素琴清华大学计算机科学与技术系北京100084 清华大学软件学院北京100084

随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显.本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明... 详细信息

随着多核处理器的广泛使用以及人们对软件可靠性提出更高要求,多核并行程序验证的重要性日益凸显.本文提出了一个完整的基于多核的并行程序验证框架,该验证框架包括抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及其证明.我们的目标程序使用自旋锁机制来实现线程间对共享内存的互斥访问.验证框架采用Hoare风格的推导方式,使用高阶逻辑来同时描述机器指令的操作语义和所需要的安全策略.在该框架下,程序员可以对多核并行程序的部分正确性进行验证.

关键词：程序验证多核处理器自旋锁汇编级代码部分正确性

在线全文

学校读者我要写书评

暂无评论

大班幼儿深度学习的教师支持研究

大班幼儿深度学习的教师支持研究

作者：朱允兰贵州民族大学

学位级别：硕士

深度学习作为一种以问题解决为导向的学习方法,受到教育领域研究的广泛关注。深度学习对于幼儿持续发展的重要价值在于,逐渐培养起幼儿积极主动、认真专注、不怕困难等良好学习品质,促进幼儿进行有意义的学习。然而教师作为幼儿深度学... 详细信息

深度学习作为一种以问题解决为导向的学习方法,受到教育领域研究的广泛关注。深度学习对于幼儿持续发展的重要价值在于,逐渐培养起幼儿积极主动、认真专注、不怕困难等良好学习品质,促进幼儿进行有意义的学习。然而教师作为幼儿深度学习的忠实支持者,对何时支持、怎样支持幼儿深度学习存在疑惑和困难,并在教育实践活动过程中出现深度学习理论与实践相分割的现象。因此,本研究致力于幼儿深度学习的教师支持研究,探讨教师如何对幼儿深度学习提供具体有效地支持和引导。首先,本研究基于深度学习视角探讨教师支持的条件。采用文献法对收集到的相关文献资料进行梳理和分析,厘清幼儿深度学习、教师支持与问题解决为导向的涵义、特征及其在教学实践中的具体实施状况,为深度学习的教师支持研究奠定理论基础。再结合观察法与访谈法深入了解G市H园幼儿深度学习的教师支持的现状,分别从教师、幼儿、环境及家长四个层面对幼儿深度学习的教师支持条件进行分析梳理,归纳总结该园能够进行幼儿深度学习的现实条件。其次,在对幼儿深度学习的教师支持条件进行分析和梳理的基础上,结合教师在幼儿园体育活动、游戏活动以及生活活动中为促进幼儿深度学习所提供的具体支持的实践案例进行深度剖析。探寻出幼儿深度学习的教师支持的方式分别体现在认知支持、情感支持、自主支持和无为支持四个方面,并且幼儿在深度学习的活动过程中呈现出了预设性与生成性、自主性与探究性、互动性与留白性、连续性与持久性的特征。然而,在对幼儿深度学习的教师支持的实践过程进行深入分析时,发现教师存在对幼儿问题回应浅层化、对幼儿活动准备不够充分、对幼儿活动引导不够深入、对幼儿活动观察敏感度低等现实困境。基于此,本研究主要从教师对幼儿深度学习的理念认识、教师观察与发现问题的能力、教师与幼儿的互动技能及教师对幼儿深度学习的重视程度来探寻制约幼儿深度学习的因素。最后,本研究根据幼儿深度学习的教师支持存在的现实困境及制约因素总结得出:为更好地促进幼儿活动持续且深入地发展,实现幼儿活动的深度参与、深入学习、深刻体验,教师需要进一步深化深度学习理念,提升支持能力;聚焦问题情境,强化问题意识;加强观察记录,增强观察能力;最后形成评价反思,调整支持方式。

关键词：幼儿深度学习教师支持问题解决

OsmiR156对分蘖期水稻根系生长性状影响

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

分子植物育种 2024年第13期22卷 4310-4315页

作者：朱允华许金科刘清南华大学衡阳医学院衡阳421001 湖南农业大学植物激素与生长发育湖南省重点实验室长沙410128

水稻根系发育及生理特性对水稻生产具有重要的意义。OsmiR156对水稻株型、产量等性状具有重要影响,其中最明显的表型特征为过表达OsmiR156株系材料的分蘖数显著增加。本研究系统比较了OsmiR156过表达水稻材料与野生型对照‘日本晴’在... 详细信息

水稻根系发育及生理特性对水稻生产具有重要的意义。OsmiR156对水稻株型、产量等性状具有重要影响,其中最明显的表型特征为过表达OsmiR156株系材料的分蘖数显著增加。本研究系统比较了OsmiR156过表达水稻材料与野生型对照‘日本晴’在苗期至分蘖期的根系生长发育的形态和生理特性差异。试验结果表明,OsmiR156可影响水稻根长、根重、根体积、过氧化氢酶及过氧化物酶活性等。与对照相比,在苗期OsmiR156过表达株系的根长较短,根数少,平均每株的根系的体积、鲜重小;而在分蘖期OsmiR156过表达株系根系的相关指标均比对照高,且CAT与POD酶活性存在显著差异。上述结果表明OsmiR156可影响水稻根系发育。

关键词：水稻根系生长特性 OsmiR156

在线全文

学校读者我要写书评

暂无评论

国企工会工作优化与创新探索

兵团工运 2024年第3期 28-29页

作者：朱允玲新疆北新投资建设有限公司

国企工会是企业联系职工群众、服务职工群众的桥梁和纽带,是员工的“娘家人”“贴心人”。当下,如何精准发力、动员广大职工干事创业、主动作为,促进国企高质量发展?是国企工会工作实践的新课题。抓思想、重教育,团结引导职工听党话跟... 详细信息

国企工会是企业联系职工群众、服务职工群众的桥梁和纽带,是员工的“娘家人”“贴心人”。当下,如何精准发力、动员广大职工干事创业、主动作为,促进国企高质量发展?是国企工会工作实践的新课题。抓思想、重教育,团结引导职工听党话跟党走在新的发展时期,国企工会如何真正成为“党委信得过、行政离不开、群众靠得住”的组织?首先要充分发挥其引领作用,在日常工作中,坚持不懈用习近平新时代中国特色社会主义思想武装职工队伍,采取喜闻乐见的形式,推动党的创新理论进企业、进项目。其次以理想信念教育职工,通过劳模宣讲、演讲比赛、知识竞赛、读书诵读等方式,唱响时代主旋律。

关键词：习近平新时代中国特色社会主义思想国企工会桥梁和纽带服务职工群众理想信念教育知识竞赛干事创业优化与创新

在线全文

学校读者我要写书评

暂无评论

去学校有多少条路线

数学大王(中高年级) 2024年第Z2期 44-45页

作者：朱允辰江苏省苏州市苏州工业园区星洋学校三年级

每天上学时，从家到学校可能会有不同的路线可以选择，那么大家有统计过一共有多少条不同的路线吗？这是我家到学校的地图，在我家所住的小区和学校之间有一座过街天桥。我去上学必须经过这座天桥。我还做了不同上学路线的统计表：从表...

每天上学时，从家到学校可能会有不同的路线可以选择，那么大家有统计过一共有多少条不同的路线吗？这是我家到学校的地图，在我家所住的小区和学校之间有一座过街天桥。我去上学必须经过这座天桥。我还做了不同上学路线的统计表：从表格来看，从小区北门出去到达天桥后会有2条道路进入学校。同样，从东门或者南门出小区到天桥后也都有2条道路进入校园。那么分别从小区的3道门出去到学校一共可以选择的路线条数是：3×2=6（条）。

关键词：

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

腰椎骨折及时治一样可以挺腰杆

健康向导 2024年第1期30卷 51-52页

作者：朱允滔广西壮族自治区玉林市中西医结合骨科医院脊柱二科

临床上很多腰椎骨折患者对自己的病症感到忧虑,觉得自己再也站不起来了:其实腰椎骨折是一种常见的骨折类型,其发生原因较多,临床表现也因不同类型而异,只要科学、及时干预,对身体造成终身性遗留问题的概率非常低。正确认识腰椎骨折的分... 详细信息

临床上很多腰椎骨折患者对自己的病症感到忧虑,觉得自己再也站不起来了:其实腰椎骨折是一种常见的骨折类型,其发生原因较多,临床表现也因不同类型而异,只要科学、及时干预,对身体造成终身性遗留问题的概率非常低。正确认识腰椎骨折的分类、临床表现和治疗等内容,可以更好地呵护自身健康。

关键词：腰椎骨折骨折类型遗留问题及时干预终身性临床表现

薄壳山核桃-油用牡丹多种种植模式下土壤质量评价

在线全文

学校读者我要写书评

暂无评论

南京林业大学学报（自然科学版） 2024年第4期48卷 177-183页

作者：陈慧王改萍彭方仁朱允芬张钰王晗南京林业大学林草学院南方现代林业协同创新中心江苏南京210037 江苏万阳生物科技有限公司江苏宜兴214257

【目的】探究不同经营模式下薄壳山核桃‘波尼’(Carya illinoensis‘Pawnee’)与油用牡丹‘凤丹’(Paeonia ostii‘Feng Dan’)林地土壤的理化性质及酶活性变化特征,分析季节变化对各模式经营种植下土壤性状的影响。【方法】分别以薄... 详细信息

【目的】探究不同经营模式下薄壳山核桃‘波尼’(Carya illinoensis‘Pawnee’)与油用牡丹‘凤丹’(Paeonia ostii‘Feng Dan’)林地土壤的理化性质及酶活性变化特征,分析季节变化对各模式经营种植下土壤性状的影响。【方法】分别以薄壳山核桃纯林模式(模式Ⅰ)、薄壳山核桃-油用牡丹复合模式(模式Ⅱ)、油用牡丹单植模式(模式Ⅲ)为研究对象,分析不同经营模式下土壤的理化性状及酶活性的季节变化特征,通过最小数据集法(MDS)计算土壤肥力综合质量指数(IFI),并对土壤肥力变化进行评价。【结果】在各模式下,林地表层土壤养分及酶活性高于深层;土壤含水量和容重随春、夏、秋季节变化而变化;土壤pH在秋季最低,春、夏两季差异不显著;夏季土壤过氧化氢酶活性高于春、秋季;土壤有机质、全氮、速效钾含量及土壤蔗糖酶、脲酶活性基本表现为随春、夏、秋季节变化逐渐升高。模式Ⅲ下土壤有效磷含量秋季高于春、夏两季;夏季土壤肥力综合质量指数最低,但以模式Ⅱ最高。【结论】林地土壤酶活性与理化性质间具有相关性;各季节下薄壳山核桃-油用牡丹复合模式(模式Ⅱ)土壤肥力均显著优于其余模式,且夏季土壤肥力显著低于其他季节;土壤肥力受容重、全氮、有效磷、速效钾含量及脲酶、蔗糖酶活性直接影响,其中蔗糖酶活性在季节土壤肥力综合质量评价中均较为敏感。

关键词：薄壳山核桃油用牡丹复合经营土壤理化性状土壤酶活性

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

合肥老黏土地层矩形顶管引起的地表沉降分析

铁道工程学报 2024年第4期41卷 18-23页

作者：李志敏中铁第四勘察设计院集团有限公司武汉430063

研究目的:矩形顶管法因为有效空间利用率高、覆土浅等优点,近年来在工程中得到广泛的应用。本文基于耀远路站1号、2号矩形顶管过街出入口工程实例,采用随机介质理论、Plaxis有限元分析、工程现场监测的方法,分析合肥老黏土地层中顶管施... 详细信息

研究目的:矩形顶管法因为有效空间利用率高、覆土浅等优点,近年来在工程中得到广泛的应用。本文基于耀远路站1号、2号矩形顶管过街出入口工程实例,采用随机介质理论、Plaxis有限元分析、工程现场监测的方法,分析合肥老黏土地层中顶管施工引起的地表沉降变形规律,以期为类似工程提供参考。研究结论:(1)合肥老黏土地层中的顶管施工主要引起上部地层沉降,沉降主要由管节与土体之间的建筑空隙造成;(2)随着顶管的掘进,地表沉降呈现出先缓慢增加后急剧增加最后又趋于平缓的特点,顶管施工主要影响范围以开挖面为分界线,前部影响范围约为3z0(z0为顶管埋深),后部影响范围约为z0;(3)横向地表沉降基本以顶管中心线为轴线对称布置,影响范围约为中心线两侧各2z0;(4)本研究成果可为老黏土地层中矩形顶管的设计和施工提供参考。

关键词：矩形顶管地面沉降随机介质理论合肥老黏土