检索结果-南通市图书馆

以Barendregt的变量约定形式化编程语言研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与科学 2024年

作者：阿力木江·亚森艾合买提·阿不来提沙尔旦尔·帕尔哈提阿布都克力木·阿布力孜哈里旦木·阿布都克里木新疆财经大学信息管理学院新疆财经大学统计与数据科学学院

编程语言、类型系统和逻辑系统中常见的命名绑定，在实践中实现存在困难。在理论中以抽象思考发现并避免即将发生的变量捕获。在实践中变量捕获的检测需要定义笨拙的辅助操作，使形式化和证明变得复杂。现有几种命名绑定技术旨在表达式... 详细信息

编程语言、类型系统和逻辑系统中常见的命名绑定，在实践中实现存在困难。在理论中以抽象思考发现并避免即将发生的变量捕获。在实践中变量捕获的检测需要定义笨拙的辅助操作，使形式化和证明变得复杂。现有几种命名绑定技术旨在表达式具有良好的可读性，无变量捕获的代换操作和直观的证明。然而，以这些技术的形式化与理论之间存在差别，两者的表达式和证明过程可能有很大的不同。本文提出一种命名绑定技术，其中在代换操作和推理规则中引入的表达式刷新函数使形式化遵守Barendregt的变量约定，形式系统的形式化与其理论几乎相同。本文以无类型λ-演算和具有简单数据类型的λ-演算的形式化展示该技术的优点。

关键词：变量命名命名绑定形式系统 Barendregt的变量约定编程语言理论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

杜汇良开展“八一”走访慰问活动

杜汇良开展“八一”走访慰问活动

鄂尔多斯日报

作者：尹湛纳木哈斯

本报讯市融媒体中心记者尹湛纳木哈斯在“八一”建军节来临之际，市委副书记、市长杜汇良来到驻地某部队、市军队离休退休干部休养所，看望慰问部队官兵和退役军人，并代表市委、市政府向他们致以节日祝贺和诚挚问候。在驻地某部队... 详细信息

本报讯市融媒体中心记者尹湛纳木哈斯在“八一”建军节来临之际，市委副书记、市长杜汇良来到驻地某部队、市军队离休退休干部休养所，看望慰问部队官兵和退役军人，并代表市委、市政府向他们致以节日祝贺和诚挚问候。在驻地某部队，杜汇良详细了解基层官兵学习、训练、生......

关键词：退役军人

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

新疆天山北坡城市群通八车道高速

新疆天山北坡城市群通八车道高速

中国交通报

作者：哈得江·哈斯木

本报讯 2月20日,据新疆维吾尔自治区政府新闻办公室举行的新闻发布会消息,截至2023年年底,新疆公路总里程约达22.83万公里(含兵团),其中高速(一级)公路里程约1.16万公里,所有地(州、市)通高速公路,天山北坡城市群通“八车道”高速公路... 详细信息

本报讯 2月20日,据新疆维吾尔自治区政府新闻办公室举行的新闻发布会消息,截至2023年年底,新疆公路总里程约达22.83万公里(含兵团),其中高速(一级)公路里程约1.16万公里,所有地(州、市)通高速公路,天山北坡城市群通“八车道”高速公路。新疆维吾尔自治区交通运输厅党委委员、......

关键词：天山北坡城市群八车道

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

高校学生思政课获得感认识及提升路径研究

产业与科技论坛 2024年第14期23卷 68-70页

作者：玛丽亚木·玛木提西安邮电大学

高校思政课是学生思想政治素养培养的主阵地,是学生核心素养培养的重要影响因素。提升学生思政课获得感,提升学生思想政治教育学习积极性,满足学生多元化学习需求,提升思政教育实效,是当前教学改革的重点问题。本文在简要概述高校学生... 详细信息

高校思政课是学生思想政治素养培养的主阵地,是学生核心素养培养的重要影响因素。提升学生思政课获得感,提升学生思想政治教育学习积极性,满足学生多元化学习需求,提升思政教育实效,是当前教学改革的重点问题。本文在简要概述高校学生思政课获得感认识基础上,分析获得感实现的影响因素,结合实际提出对应的提升路径,以此为相关教学改革提供参考,为提升思政课教育实效奠定良好基础。

关键词：高等教育思想政治课获得感核心素养

在线全文

学校读者我要写书评

暂无评论

李理会见隆基绿能公司总裁李振国

李理会见隆基绿能公司总裁李振国

鄂尔多斯日报

作者：尹湛纳木哈斯

本报讯市融媒体中心记者尹湛纳木哈斯2月22日上午,市委书记李理会见隆基绿能公司总裁李振国一行,双方就重大项目建设、深化务实合作等事宜进行了深入沟通交流。李理对李振国一行的到来表示欢迎。他说,近年来,鄂尔多斯与隆基绿能公司的... 详细信息

本报讯市融媒体中心记者尹湛纳木哈斯2月22日上午,市委书记李理会见隆基绿能公司总裁李振国一行,双方就重大项目建设、深化务实合作等事宜进行了深入沟通交流。李理对李振国一行的到来表示欢迎。他说,近年来,鄂尔多斯与隆基绿能公司的合作富有成效,重点项目进展顺利,产品创......

关键词：鄂尔多斯

来源： cnki报纸评论

在线全文

cnki报纸

学校读者我要写书评

暂无评论

深度学习在骨折诊断中的应用综述

计算机工程与应用 2024年第5期60卷 47-61页

作者：哈里旦木·阿布都克里木冯珂史亚庆尼合买提·阿布都克力木阿布都克力木·阿布力孜新疆财经大学信息管理学院乌鲁木齐830012 伊犁州友谊医院骨外一科新疆伊宁835000

深度学习辅助诊断是减少临床中骨折漏诊误诊的有效方法。目前,深度学习在骨折诊断中的研究成果较多,但缺少对该领域研究现状进行总结分析的综述性文章。对领域内现有的文献进行总结;介绍骨折影像及相关数据集;系统地阐述三种基于深度学... 详细信息

深度学习辅助诊断是减少临床中骨折漏诊误诊的有效方法。目前,深度学习在骨折诊断中的研究成果较多,但缺少对该领域研究现状进行总结分析的综述性文章。对领域内现有的文献进行总结;介绍骨折影像及相关数据集;系统地阐述三种基于深度学习的骨折辅助诊断方法,对各方法中包含的深度学习模型进行比较;按照不同骨折类型进行分类,对各类型骨折诊断中深度学习方法的应用进行展示。分析发现,深度学习在骨折诊断领域的应用和研究已取得显著进展,模型性能可与临床医生相当。但模型在训练时受数据集的影响较大,新的模型和技术较难得到实施。深度学习辅助骨折诊断仍有较大的发展空间。

关键词：深度学习影像数据集骨折诊断

在线全文

学校读者我要写书评

暂无评论

天然产物靶向DNA G-四链体的研究进展

中国中药杂志 2024年第13期49卷 3421-3431页

作者：陈志远程荣双阿依夏·吾不力卡斯木刘玉霜王凯波中国药科大学中药学院多靶标天然药物全国重点实验室、江苏省天然活性物质发现与研究重点实验室江苏南京211198

DNA G-四链体(G4)是富含鸟嘌呤的单链DNA序列,在生理溶液环境下,通过Hoogsteen氢键结合,并被单价阳离子稳定,自发折叠形成的一种球状四链体DNA二级结构。G4s在端粒和癌基因启动子序列中大量存在,与癌症的发生发展密切相关,是有潜力的抗... 详细信息

DNA G-四链体(G4)是富含鸟嘌呤的单链DNA序列,在生理溶液环境下,通过Hoogsteen氢键结合,并被单价阳离子稳定,自发折叠形成的一种球状四链体DNA二级结构。G4s在端粒和癌基因启动子序列中大量存在,与癌症的发生发展密切相关,是有潜力的抗癌药物研究新靶点。天然产物长期以来一直是抗癌药物发现的重要来源。近年来,以DNA G4s为靶点的天然药物研究取得了重大进展,许多DNA G4s被证实为天然产物的有效作用靶点,包括MYC-G4、KRAS-G4、PDGFR-β-G4、BCL-2-G4、VEGF-G4和端粒G4等。该文系统总结了天然小分子化合物识别DNA G4s的分子机制和研究进展,进而讨论了开发G4靶向药物面临的机遇和挑战,为天然抗癌创新药物研发提供了重要的参考。

关键词： DNA G-四链体天然产物癌基因抗肿瘤

同方期刊数据库

文旅融合下新疆革命历史遗址遗迹保护与开发研究

在线全文

学校读者我要写书评

暂无评论

喀什大学学报 2024年第2期45卷 50-55页

作者：麦麦提依明·马木提喀什大学旅游学院新疆喀什844000

革命历史遗址遗迹是人类光荣红色历史的宝贵见证,科学保护和开发革命历史遗址遗迹,既是当代中国人的历史责任,也是加强革命精神教育、增强爱国主义精神的必然要求。鉴于此,从文旅融合的视角,探讨了新疆革命历史遗址遗迹保护工作的重要性... 详细信息

革命历史遗址遗迹是人类光荣红色历史的宝贵见证,科学保护和开发革命历史遗址遗迹,既是当代中国人的历史责任,也是加强革命精神教育、增强爱国主义精神的必然要求。鉴于此,从文旅融合的视角,探讨了新疆革命历史遗址遗迹保护工作的重要性,阐述了新疆革命历史遗址遗迹保护与利用现状,并对新疆革命历史遗址遗迹保护与利用工作中存在问题进行了分析,结合分析结果提出了文旅融合下新疆革命历史遗址遗迹高质量开发的建议。

关键词：新疆革命历史遗址遗迹文旅融合保护开发

内镜技术在胃食管反流病诊疗中的应用与研究进展

在线全文

学校读者我要写书评

暂无评论

中国普通外科杂志 2024年第4期33卷 649-655页

作者：王永康买买提·依斯热依力克力木·阿布都热依木新疆维吾尔自治区人民医院普外微创研究所新疆乌鲁木齐830001 新疆医科大学研究生学院新疆乌鲁木齐830001 新疆维吾尔自治区人民医院基础医学教育科新疆乌鲁木齐830017

胃食管反流病(GERD)是消化系统常见疾病之一,影响全球数百万人。近年来,GERD内镜治疗技术进展较快,如经口内镜下贲门缩窄术、内镜下抗反流黏膜切除术、内镜下射频消融术等治疗方式不断的应用与完善。在此,笔者就已开发的针对GERD特定内... 详细信息

胃食管反流病(GERD)是消化系统常见疾病之一,影响全球数百万人。近年来,GERD内镜治疗技术进展较快,如经口内镜下贲门缩窄术、内镜下抗反流黏膜切除术、内镜下射频消融术等治疗方式不断的应用与完善。在此,笔者就已开发的针对GERD特定内镜设备和术式进行介绍,并总结GERD内镜治疗的相关进展。

关键词：胃食管反流内窥镜胃底折叠术综述