检索结果-南通市图书馆

电子学报 2016年第7期44卷 1619-1629页

作者：江南何炎祥张晓瞳武汉大学计算机学院湖北武汉430072 湖北工业大学计算机学院湖北武汉430070 武汉大学软件工程国家重点实验室湖北武汉430072

针对类Java的面向对象语言mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了mJava语言和Micro-Dalvik的操作语义.从mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将mJava语言程序中的本地变量名转换为相... 详细信息

针对类Java的面向对象语言mJava到类Dalvik的寄存器架构虚拟机Micro-Dalvik的编译验证,给出了mJava语言和Micro-Dalvik的操作语义.从mJava语言程序到Micro-Dalvik虚拟机指令的编译分为两步,首先将mJava语言程序中的本地变量名转换为相应的序号,得到一个中间语言程序,再将该中间语言程序翻译成Micro-Dalvik虚拟机指令程序.在给出中间语言的操作语义后,构造了mJava语言程序与编译后的中间语言程序的语义保持定理并证明,以及构造了中间语言程序的语义与编译后的Micro-Dalvik虚拟机程序的语义保持定理并证明.整个形式化编译验证在定理证明助手Isabelle/HOL中进行了机器检测.mJava语言和Micro-Dalvik虚拟机分别对Java语言和Dalvik虚拟机进行了抽象,是我们兼顾语言的真实性和形式化的清晰性的结果.但是,所有形式化的语义严格遵从语言规范中的定义,并与Dalvik VM的实现保持一致,从这种意义上讲,该编译器并不是一个实验性质的假想编译器,而是有其实用意义的.

关键词：编译验证定理证明操作语义机器检测寄存器架构面向对象语言

民国时期蒙藏学校对蒙藏学生“中华民族”意识的培养及其影响

在线全文

学校读者我要写书评

暂无评论

中国藏学 2022年第2期 32-40,213,214页

作者：潘晓瞳四川大学历史文化学院成都610065

南京国民政府成立后,面对内忧外患的局势,实施边疆教育以凝聚和增强蒙藏等各民族对中华民族的认同。1930年起,先后在南京中央政治学校附设蒙藏班及蒙藏学校,专门招收和培育蒙藏地区学生。蒙藏学校通过课程设置、名人演讲与升国旗、纪念... 详细信息

南京国民政府成立后,面对内忧外患的局势,实施边疆教育以凝聚和增强蒙藏等各民族对中华民族的认同。1930年起,先后在南京中央政治学校附设蒙藏班及蒙藏学校,专门招收和培育蒙藏地区学生。蒙藏学校通过课程设置、名人演讲与升国旗、纪念日仪式等,使学生从知识与观念层面认知蒙藏等各民族同属中华民族整体,并通过军事化管理与校园活动规训学生的行为习惯,促动其中华民族意识的萌发与主动认同。毕业学生通过《新青海》《康藏前锋》《蒙古前途》等刊物,以本位视角书写与宣传蒙藏等民族与中华民族相互依存、共同命运的关系,并在抗战期间组织团体进行抗战宣传和募捐,激发蒙藏民族的中华民族意识。一些学生学成返归蒙藏地方后,主要从事教育事业,从思想文化上促进国家统合各民族的进程。文章依据档案及报刊等资料,探讨蒙藏学校的设立、培养蒙藏学生中华民族意识的举措及其影响。

关键词：民国蒙藏学校蒙藏学生 “中华民族”意识

在线全文

学校读者我要写书评

暂无评论

稠油掺稀均质化流场模拟及混合元件改进

稠油掺稀均质化流场模拟及混合元件改进

作者：沈瞳瞳西南石油大学

学位级别：硕士

稠油掺稀是稠油输送的常用工艺之一,但稠油和稀油仅依靠它们的管流扰动作用难以使稀油的分散和溶解作用充分发挥,也就很难实现稠油与稀油的均匀混合,从而造成稀油资源的极大浪费。目前,稠稀油混合均匀性的研究主要集中在稠油井筒掺稀举... 详细信息

稠油掺稀是稠油输送的常用工艺之一,但稠油和稀油仅依靠它们的管流扰动作用难以使稀油的分散和溶解作用充分发挥,也就很难实现稠油与稀油的均匀混合,从而造成稀油资源的极大浪费。目前,稠稀油混合均匀性的研究主要集中在稠油井筒掺稀举升与稠油-稀油的大罐搅拌混合,而有关稠油掺稀管道输送的混合状态研究则鲜有报道。为此,围绕管输稠油掺稀均质化问题,系统研究稠油掺稀输送管道加装静态混合器前后的稀稠油流场分布与管流特性,探索稠油掺稀均质化的有效途径,这对稠油掺稀降黏减阻输送与稀油资源节约具有现实意义。以普通稠油PC、稀油X1与X2为研究对象,测试分析了稠油PC的流变特性及黏温特性,评价了稀油X1和X2对稠油PC的降黏效果,观测了稠油PC与稀油X1的模拟油PCm及X1m的自发扩散混合过程;基于计算流体动力学理论,建立稠油掺稀混合输送三维几何模型,运用ICEM进行网格划分,选用Mixture多相流模型,模拟计算稠油PC分别掺稀油X1和X2在自然流动状态下(管内未加装静态混合元件)的稀稠油流场瞬态变化过程,分析掺稀比、油品进口速度、稠油黏度和掺稀管道内径对稀稠油混合效果的影响;同时模拟计算加装SK和SX混合元件对稀稠油流场瞬态变化的影响,评价SK和SX混合元件的作用效果,并针对效果较好的混合元件深入研究其混合效果的主要影响因素;搭建稠油掺稀混合的可视化实验管路系统,模拟研究加装SK型静态混合元件前后的稀稠油混合状态,对比分析稠油掺稀混合的数值模拟与实验观测结果的一致性,并对其提出波浪形混合元件的改进思路,数值模拟与分析波浪形混合元件及其旋转角对混合效果的改善。研究结果表明:普通稠油PC掺稀油X1的降黏效果优于掺稀油X2;掺稀自然流动时,管道内混合油品呈现"稀油-混合油-稠油"分层流动现象,由于稀油X2密度较小,其在管道内呈现的分层形态略偏心;随着掺稀比的增大,流体达到稳定流动状态的时间越短,稀油所占管道空间体积越大,流体分层现象仍然明显,改变油品进口速度和掺稀管道内径大小对改善稀稠油在管道内的混合效果影响不大,稀稠油黏度差越小,稀稠油的混合状态越好,但仍不能完全改善稀稠油分层现象;加装SK元件能明显改善混合油品分层现象,且混合效果优于SX元件;随着SK元件数增加,稠油、稀油混合越均匀,但能耗也随之增大,加装3组SK元件时混合最优,SK元件长径比越小,湍动作用越强,稀稠油越能均匀混合,但能耗也越大,最优长径比为1:1.25;改进SK元件形成波浪形元件,增强了流体的扰动作用,提升了流体的混合效率,调整波浪形元件旋转角为270°能增强流体的湍动作用,提高流体的混合均匀性。

关键词：稠油掺稀混合均匀性 CFD 自然流动混合静态混合元件

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国原生态景点大全 5 中南·港澳台卷

中国原生态景点大全 5 中南·港澳台卷

2009年

作者：萧瞳

本书介绍了我国中南地区及港澳台地区的主要景区的自然、人文景观等内容。

关键词：历史、地理地理

来源：汇雅图书（南通市图书馆... 汇雅图书（南通市图书馆... 汇雅图书（南通市图书馆... 汇雅图书（南通市图书馆... 评论

在线全文

学校读者我要写书评

暂无评论

随想曲

山花 2012年第11期 134-137页

作者：郑瞳

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

《杨文公谈苑》考

古籍整理研究学刊 2011年第4期 23-28页

作者：许净瞳南京大学文学院

《杨文公谈苑》是杨亿在真宗朝与人闲谈时由其门人黄鉴记录下来的一部笔记,具有重要的文献价值。本文旨在通过与重要史料的比勘,订正《谈苑》本身的一些错误与他书讹误。如"王彦超"条记载宋太祖投奔王彦超时,他正担任凤翔节度使,然而查... 详细信息

《杨文公谈苑》是杨亿在真宗朝与人闲谈时由其门人黄鉴记录下来的一部笔记,具有重要的文献价值。本文旨在通过与重要史料的比勘,订正《谈苑》本身的一些错误与他书讹误。如"王彦超"条记载宋太祖投奔王彦超时,他正担任凤翔节度使,然而查考史书发现,当时王彦超所任乃是复州节度使。在宋太祖一朝,王彦超还担任过永兴军节度与凤翔节度使,在开宝二年才罢节镇,两次入朝都曾与宋太祖宴饮,《谈苑》则将前后两次混淆为一次。

关键词：《杨文公谈苑》考订

度普利尤单抗治疗食物依赖运动诱发严重过敏反应（英文）

在线全文

学校读者我要写书评

暂无评论

Chinese Medical Sciences Journal 2023年第2期 159-162页

作者：朱丽萍汤蕊王青李宏中国医学科学院北京协和医学院北京协和医院变态(过敏)反应科过敏性疾病精准诊疗研究北京市重点实验室国家免疫性疾病临床医学研究中心

食物依赖运动诱发严重过敏反应（food-dependent, exercise-induced anaphylaxis,FDEIA）是一种潜在可威胁患者生命的过敏性疾病，常在进食可疑致敏食物数小时内运动时发作。该病极罕见，患病率约为0.02%，目前尚无预防方法。现报告一... 详细信息

食物依赖运动诱发严重过敏反应（food-dependent, exercise-induced anaphylaxis,FDEIA）是一种潜在可威胁患者生命的过敏性疾病，常在进食可疑致敏食物数小时内运动时发作。该病极罕见，患病率约为0.02%，目前尚无预防方法。现报告一例度普利尤单抗治疗11岁FDEIA患儿。该患儿在就诊前2年内发生了10余次不明原因的严重过敏反应，常规治疗后症状未获控制。后在我科行7次度普利尤单抗皮下注射治疗，为期33周。在第7次治疗时被诊断为菌菇引发的FDEIA。度普利尤单抗治疗期间，患儿每月至少有2次在进食蘑菇数小时内进行运动，但未再发严重过敏反应。目前尚未见报告阐明度普利尤单抗治疗食物诱导的Ig E型严重过敏反应的临床意义，尤其是对于FDEIA这种罕见疾病。因此，本病例或可为儿童严重过敏反应症状的控制和改善提供新的治疗思路。

关键词：食物依赖运动诱发严重过敏反应食物过敏蘑菇过敏度普利尤单抗

民用飞机顶升系留载荷第25.519条款要求及符合性验证研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

武汉理工大学学报 2020年第12期42卷 79-82页

作者：张沈瞳上海飞机设计研究院上海201210

中国民用航空规章运输类飞机适航标准(CCAR-25)第25.519条,对民用飞机地面载荷的顶升与系留计算进行了规定,对其具体内容和符合性验证方法进行研究,包括:条款与其它相关条款的约束关系、可接受的符合性方法,系留与顶起载荷计算涉及的方... 详细信息

中国民用航空规章运输类飞机适航标准(CCAR-25)第25.519条,对民用飞机地面载荷的顶升与系留计算进行了规定,对其具体内容和符合性验证方法进行研究,包括:条款与其它相关条款的约束关系、可接受的符合性方法,系留与顶起载荷计算涉及的方案、重量、气动数据等参数的确定方法,以及系留模型建模、参数的符合方法研究等,为民用飞机地面载荷的设计和符合性验证提供参考。

关键词：适航符合性方法顶升系留载荷