检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

新《立法法》视域下合宪性审查探究

中共山西省委党校学报 2023年第5期46卷 80-84页

作者：张波韩德帅江苏师范大学法学院江苏徐州221116

新《立法法》多处涉及合宪性审查制度,丰富了合宪性审查的理论内涵,使其具备了审查主体特殊、审查对象广泛、审查内容全面的特征。基于这些特征以及宪法监督、备案审查的自身特点,可以证得合宪性审查是宪法监督的具体措施;合宪性审查与... 详细信息

新《立法法》多处涉及合宪性审查制度,丰富了合宪性审查的理论内涵,使其具备了审查主体特殊、审查对象广泛、审查内容全面的特征。基于这些特征以及宪法监督、备案审查的自身特点,可以证得合宪性审查是宪法监督的具体措施;合宪性审查与备案审查呈双线并行之状,二者相互独立又相互交融;宪法监督与合宪性审查、备案审查是总体和部分、目标与手段的关系。

关键词：《立法法》合宪性审查宪法监督备案审查合宪性问题

在线全文

学校读者我要写书评

暂无评论

中国伙伴关系战略探析

中国伙伴关系战略探析

作者：韩德帅吉林大学

学位级别：硕士

冷战结束后,中国根据国际形势与本国国情确立了伙伴关系战略。中国伙伴关系战略是本着独立自主、求同存异的原则,以国际法与国际惯例为基础,通过平等协商、友好合作的方式,最终实现国家利益、扩大国际影响的新型外交战略。自1993年中国... 详细信息

冷战结束后,中国根据国际形势与本国国情确立了伙伴关系战略。中国伙伴关系战略是本着独立自主、求同存异的原则,以国际法与国际惯例为基础,通过平等协商、友好合作的方式,最终实现国家利益、扩大国际影响的新型外交战略。自1993年中国与巴西建立第一个伙伴关系以来,中国伙伴关系战略历经酝酿期、开创期、发展期、成熟期,在探索与实践中不断完善,逐渐成为中国对外战略一项重要组成部分。与此同时,作为一种新型外交战略,中国伙伴关系战略在战略空间、战略框架、战略载体上呈现出不同于传统外交战略的独有特点。每一项外交战略都是通过相应的手段实现其自身的外交目标,中国伙伴关系战略也不例外。中国伙伴关系战略通过首脑会晤、修睦合作、多边论坛等手段,在维护和平稳定的国际环境、维护国际战略力量的平衡、提升国家形象与影响力、促进双边关系的交流与合作方面取得了积极的成效。但是,中国伙伴关系战略仍面临着诸多挑战,包括外交原则的不同对伙伴关系战略产生的负面作用、中国所面临的不利周边环境对伙伴关系战略形成冲击以及义利矛盾对伙伴关系战略造成的消极影响。鉴于此,本文提出以下对策:未来应继续秉持“结伴不结盟”;提升与发展中国家伙伴关系的层次;伙伴关系战略与其他外交平台的联动;促进伙伴关系的均衡发展;推动伙伴关系的“网状化”发展。

关键词：中国外交战略伙伴关系不结盟

一种软件自适应UML建模及其形式化验证方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

软件学报 2015年第4期26卷 730-746页

作者：韩德帅杨启亮邢建春解放军理工大学国防工程学院江苏南京210007 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动... 详细信息

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.

关键词：软件自适应自适应软件软件建模形式化验证

一种多电压等级智能化高压验电器的设计与实现

在线全文

学校读者我要写书评

暂无评论

制造业自动化 2024年第6期46卷 215-220页

作者：夏正龙何颖陆良帅韩德伟江苏师范大学电气工程及自动化学院江苏徐州221116

验电器在电力设备检修环节中起着至关重要的作用,目前国内主流验电器为单一等级验电器,一旦电压等级选择不符,极容易引发安全事故,此外,检修时如欲测量不同电压,需要携带多个等级高压验电器,增加了经济成本。针对上述问题,设计了一种多... 详细信息

验电器在电力设备检修环节中起着至关重要的作用,目前国内主流验电器为单一等级验电器,一旦电压等级选择不符,极容易引发安全事故,此外,检修时如欲测量不同电压,需要携带多个等级高压验电器,增加了经济成本。针对上述问题,设计了一种多电压等级智能化高压验电器,它不仅能够同时适配10 kV、35 kV、110 kV、220 kV多个电压等级,还能实现验电的集成化和智能化,有效提高了检修工作效率。该高压验电器可实现如下功能:全回路自检、声光报警等保护功能,同时对伸缩式绝缘操作部分也提出了改进。

关键词：高压验电器多电压等级工作原理无线通讯

实战化教学导向下军队院校防抗专业复合型教师队伍建设

在线全文

学校读者我要写书评

暂无评论

大学教育 2023年第13期 5-7页

作者：苏延召王涛姜柯韩德帅蔡艳平邱博火箭军工程大学作战保障学院陕西西安710025

教师队伍建设是军队院校落实为战育人培养要求的重要举措。文章以实战化教学为导向,对军队院校防抗专业教师专业素质要求进行研究分析,提出“学、跟、训、研、练、考”多措并举、交叉融合的教师培养机制,为防抗专业开展实战化教学与培... 详细信息

教师队伍建设是军队院校落实为战育人培养要求的重要举措。文章以实战化教学为导向,对军队院校防抗专业教师专业素质要求进行研究分析,提出“学、跟、训、研、练、考”多措并举、交叉融合的教师培养机制,为防抗专业开展实战化教学与培养高素质军事人才建设复合型教师队伍。

关键词：实战化教学教师队伍建设复合型教师人才培养机制

基于连续图像深度学习的Wi-Fi人体行为识别方法

在线全文

学校读者我要写书评

暂无评论

通信学报 2020年第8期41卷 43-54页

作者：周启臻邢建春杨启亮韩德帅陆军工程大学国防工程学院江苏南京210007 火箭军工程大学作战保障学院陕西西安710025

针对基于深度学习的Wi-Fi人体行为识别技术存在抗噪声能力弱、信号尺寸不兼容和特征提取不充分等问题,提出了一种基于连续图像深度学习的识别方法。首先把时变Wi-Fi信号重构为若干个连续图像帧,确保输入尺寸一致;进而设计低秩分解算法,... 详细信息

针对基于深度学习的Wi-Fi人体行为识别技术存在抗噪声能力弱、信号尺寸不兼容和特征提取不充分等问题,提出了一种基于连续图像深度学习的识别方法。首先把时变Wi-Fi信号重构为若干个连续图像帧,确保输入尺寸一致;进而设计低秩分解算法,对噪声湮没的关键运动信息进行分离;同时提出一种时间域和空间域信息融合的深度模型,自动捕捉变长图像序列的时空域特征,并在WiAR数据集和自主采集数据集上对所提方法进行验证。实验结果表明,所提方法平均识别精度分别为0.94和0.96,具备普适场景下的高精度和稳健性。

关键词：行为识别 Wi-Fi信号深度学习图像识别低秩分解

军队院校军事科研反哺教学的路径探索与实践——以国防工程信息管理专业为例

在线全文

学校读者我要写书评

暂无评论

大学教育 2023年第17期 22-24,29页

作者：韩德帅蔡艳平姜柯冯国彦苏延召火箭军工程大学陕西西安710025

在新时代军事教育方针的引领下,必须加强军队院校教学与科研的有机结合,把军事科研成果融入教学的全过程。为此,文章以国防工程信息管理专业为例,系统分析了军队院校专业课程教学中存在的不足,提出以“军事科研反哺教学”的思路开展专... 详细信息

在新时代军事教育方针的引领下,必须加强军队院校教学与科研的有机结合,把军事科研成果融入教学的全过程。为此,文章以国防工程信息管理专业为例,系统分析了军队院校专业课程教学中存在的不足,提出以“军事科研反哺教学”的思路开展专业课程教学改革,围绕“教员能力培养提升、教学内容和方法创新、实践创新体系构建”三个维度提出了科研反哺教学的具体实施途径,提出将军事科研过程中产生的关键技术、科学问题、工程案例、科研精神等要素融入教学实践的全过程,形成具有鲜明特色的军队院校军事科研反哺教学改革思路和举措。实践证明,该方法体系能够促进国防工程信息管理专业科研反哺教学的落地,有效提升专业课程教学的质量。

关键词：科研反哺教学国防工程信息管理军队院校课程改革科教融合

在线全文

学校读者我要写书评

暂无评论

BPEL过程一致性度量

哈尔滨工程大学学报 2015年第6期36卷 814-820页

作者：张学伟邢建春宋巍王洪达韩德帅解放军理工大学国防工程学院江苏南京210007 南京理工大学计算机科学与工程学院江苏南京210094

服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定... 详细信息

服务组合和云计算作为面向服务体系结构下资源集成和应用互联的有效手段,使得描述Web服务的BPEL过程产生了众多变种。针对变种整合和变种之间差异检测的问题,研究BPEL过程一致性就很有意义。然而,现有的方法要么仅提供一个"是/否"的定性回答,要么是从控制流层面数量化地度量一致性,导致度量结果不符合用户的预期评判。因此,采用活动间的行为约束作为度量基础,以事件日志中活动的发生概率为权重,一种数值化地度量BPEL过程行为一致性的方法被提出,并且实现了计算一致性的软件工具。通过对6组BPEL过程进行分析,验证了该方法的可行性和有效性,且度量结果符合用户的预期。

关键词： BPEL过程活动约束图事件日志一致性度量

在线全文

学校读者我要写书评

暂无评论

面向软件模糊自适应的UML用例扩展

计算机应用 2014年第4期34卷 1155-1160页

作者：韩德帅邢建春杨启亮解放军理工大学国防工程学院南京210007 计算机软件新技术国家重点实验室(南京大学) 南京210093

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模,为此,提出一种基于UML用例扩展的SFSA需求分析与设计方法———Fuzzy Case。该方法结合SFSA的概念模型,应用UML扩展机制引入... 详细信息

现有统一建模语言(UML)设施及一般软件自适应工具难以直接支持软件模糊自适应(SFSA)需求分析与设计阶段的建模,为此,提出一种基于UML用例扩展的SFSA需求分析与设计方法———Fuzzy Case。该方法结合SFSA的概念模型,应用UML扩展机制引入新的构造型和标记值,建立了Fuzzy Case的一般模型;同时定义了Fuzzy Case的语法结构,并用对象约束语言(OCL)定义了其语义描述,形成了完整的SFSA建模设施。实例验证表明,与传统方法相比,Fuzzy Case能更清晰地表达SFSA的结构,准确定义软件的内部语义,建模过程更加简单方便,能有效提高SFSA的开发效率。

关键词：用例模糊用例统一建模语言扩展软件自适应模糊自适应