检索结果-南通市图书馆

海内与海外 2015年第10期 F0003-F0003页

作者：爱新觉罗·恒德

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

爱新觉罗·恒德作品欣赏

黄河之声 2014年第24期 99-99页

作者：爱新觉罗·恒德

基于程序约束的细粒度JVM测试程序约简方法

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第7期35卷 3204-3226页

作者：杜义恒王赞赵英全陈俊洁陈翔侯德俊郑开天津大学智能与计算学部天津300350 南通大学信息科学技术学院江苏南通226019 信息安全国家重点实验室(中国科学院信息工程研究所) 北京100093 天津大学信息与网络中心天津300072

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷.然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本.测试程序约简技术旨在保障测试程序缺陷检测... 详细信息

为了对Java虚拟机(JVM)进行测试,开发人员通常需要手工设计或利用测试生成工具生成复杂的测试程序,从而检测JVM中潜在的缺陷.然而,复杂的测试程序给开发人员定位及修复缺陷带来了极高的成本.测试程序约简技术旨在保障测试程序缺陷检测能力的同时,尽可能地删减测试程序中与缺陷检测无关的代码.现有研究工作基于Delta调试在C程序和XML输入上可以取得较好的约简效果,但是在JVM测试场景中,具有复杂语法和语义依赖关系的Java测试程序约简仍存在粒度较粗、约简效果较差的问题,导致约简后的程序理解成本依然很高.因此,针对具有复杂程序依赖关系的Java测试程序,提出一种基于程序约束的细粒度测试程序约简方法JavaPruner.首先,在语句块级别设计细粒度的代码度量方法;随后,在Delta调试技术上引入语句块之间的依赖约束关系来对测试程序进行约简.以Java字节码测试程序为实验对象,从现有的针对JVM测试的测试程序生成工具中筛选出具有复杂依赖关系的50个测试程序作为基准数据集,并在这些数据集上验证JavaPruner的有效性.实验结果表明,JavaPruner可以有效删减Java字节码测试程序中的冗余代码.与现有方法相比,在所有基准数据集上,约简能力平均可提升37.7%.同时,JavaPruner可以在保障程序有效性及缺陷检测能力的同时,将Java字节码测试程序最大约简至其原有大小的1.09%,有效降低了测试程序的分析和理解成本.

关键词： Java虚拟机 JVM测试测试程序约简 Delta调试

基于遗传算法的划分序乘积空间问题求解层选择

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第4期35卷 1945-1963页

作者：徐怡邱紫恒安徽大学计算机科学与技术学院安徽合肥230601 计算智能与信号处理教育部重点实验室(安徽大学) 安徽合肥230601

划分序乘积空间作为一种新的粒计算模型,可以从多个视角和多个层次对问题进行描述和求解.其解空间是由多个问题求解层组成的格结构,其中每个问题求解层由多个单层次视角构成.如何在划分序乘积空间中选择问题求解层是一个NP难问题.为此,... 详细信息

划分序乘积空间作为一种新的粒计算模型,可以从多个视角和多个层次对问题进行描述和求解.其解空间是由多个问题求解层组成的格结构,其中每个问题求解层由多个单层次视角构成.如何在划分序乘积空间中选择问题求解层是一个NP难问题.为此,提出一种两阶段自适应遗传算法TSAGA(two stage adaptive genetic algorithm)来寻找问题求解层.首先,采用实数编码对问题求解层进行编码,然后根据问题求解层的分类精度和粒度定义适应度函数.算法第1阶段基于经典遗传算法,预选出一些优秀问题求解层作为第2阶段初始种群的一部分,从而优化解空间.算法第2阶段,提出随当前种群进化迭代次数动态变化的自适应选择算子、自适应交叉算子以及自适应大变异算子,从而在优化的解空间中进一步选择问题求解层.实验结果证明了所提方法的有效性.

关键词：粒计算划分序乘积空间遗传算法问题求解层

在线全文

学校读者我要写书评

暂无评论

含亚乙烯基氢氟烯烃的研究进展

精细化工 2024年第7期41卷 1458-1477页

作者：张呈平权恒道北京理工大学化学与化工学院北京100081

对含亚乙烯基的氢氟烯烃(v-HFOs)的合成路线和应用进行了综述。目前,在氟-氯交换、异构化、脱卤化氢、选择性加氢、加氢脱氯、调聚等合成v-HFOs的主要路线中,氟-氯交换的路线具有起始原料易得、容易实现大规模生产的特点,是合成v-HFOs... 详细信息

对含亚乙烯基的氢氟烯烃(v-HFOs)的合成路线和应用进行了综述。目前,在氟-氯交换、异构化、脱卤化氢、选择性加氢、加氢脱氯、调聚等合成v-HFOs的主要路线中,氟-氯交换的路线具有起始原料易得、容易实现大规模生产的特点,是合成v-HFOs的最佳路线。v-HFOs特殊的分子结构使其具有优异的传热性能、清洁性能、发泡性能和刻蚀性能,主要用作制冷剂、热泵工质、清洗剂、发泡剂和刻蚀剂,特别是E型v-HFOs[(E)-v-HFOs]具有优异的电绝缘性能,分别与其优良的传热性能和清洗性能进行多领域交叉,实现了(E)-v-HFOs应用于浸没式液冷和带电清洗的新场景。展望了v-HFOs的未来发展趋势,提出了今后的研究重点,应开发高活性的氟化催化剂,环保绿色的新型合成路线以及v-HFOs的新型应用。

关键词：氢氟烯烃亚乙烯基浸没式冷却液带电清洗制冷剂热泵工质清洗剂刻蚀剂

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

在线全文

学校读者我要写书评

暂无评论

基于定位置信度加权的半监督目标检测算法

计算机工程与应用 2024年第6期60卷 249-258页

作者：冯泽恒王丰广东工业大学信息工程学院广州510006

为解决伪标签筛选过程的位置噪声数据问题,提出了基于定位置信度加权的Soft Teacher-LAH半监督目标检测算法。通过离散化目标检测网络定位分支的预测输出,引入具有定位感知功能的输出结构LAH。基于LAH预测输出,定义一种衡量定位精度的... 详细信息

为解决伪标签筛选过程的位置噪声数据问题,提出了基于定位置信度加权的Soft Teacher-LAH半监督目标检测算法。通过离散化目标检测网络定位分支的预测输出,引入具有定位感知功能的输出结构LAH。基于LAH预测输出,定义一种衡量定位精度的置信度指标,设计基于该置信度加权的无监督定位损失函数,降低伪标签位置噪声对模型训练的负面影响。实验结果表明了该算法的性能优势,针对微软COCO数据集,在有标注数据占比训练集分别为1%、5%和10%的场景下,该算法相比于现有Soft Teacher方案的平均精度分别提高了1.1、1.2和1.5个百分点;针对PASCAL VOC数据集,在使用VOC07和VOC12分别作为有标注和无标注训练数据的场景下,该算法相比Soft Teacher方案的平均精度提高了1.6个百分点。

关键词：目标检测半监督学习伪标签位置噪声定位置信度定位损失函数

在线全文

学校读者我要写书评

暂无评论

芯片制造用含氟电子特气的研究进展

精细化工 2024年第2期41卷 330-340,390页

作者：张呈平权恒道北京理工大学化学与化工学院北京100081

含氟电子特气主要用于芯片制造过程中的刻蚀和清洁工段,是不可或缺的关键性化工材料。该文比较了传统含氟电子特气和新型含氟电子特气,重点总结了新型含氟电子特气的主要合成路线,并指出最佳的产业化路线;介绍了芯片制造用含氟电子特气... 详细信息

含氟电子特气主要用于芯片制造过程中的刻蚀和清洁工段,是不可或缺的关键性化工材料。该文比较了传统含氟电子特气和新型含氟电子特气,重点总结了新型含氟电子特气的主要合成路线,并指出最佳的产业化路线;介绍了芯片制造用含氟电子特气的发展现状;最后,针对当前含氟电子特气的主要知识产权被国外发达国家所垄断,且刻蚀和清洁工序的分步操作导致工序繁复且效率低下,难以满足高端芯片集成度和良品率等更高的精度需求问题,提出今后研究应开发满足国家重大战略需求的新一代含氟电子特气,具备刻蚀/清洁协同双功能,具有简化工序、提高效率、提升芯片制造良品率的优点,实现对当前刻蚀和清洁仅能分步操作的含氟电子特气的理想替代。

关键词：电子特气刻蚀清洁芯片制造高端芯片先进制程刻蚀/清洁协同

维普期刊数据库博看期刊

计及压应力对磁场强度各分量影响的无取向硅钢磁弹性耦合动态磁滞模型

在线全文

学校读者我要写书评

暂无评论

中国电机工程学报 2024年

作者：付裕恒李琳新能源电力系统全国重点实验室(华北电力大学)

无取向硅钢片广泛用于电机等各类电工装备中，其磁化与损耗特性受压应力影响显著。现有考虑压应力的磁滞模型存在模拟精度低、参数依赖应力关系不明确等问题。本文基于损耗统计理论与场分离法，分别分析压应力对于无取向硅钢磁滞损耗、... 详细信息

无取向硅钢片广泛用于电机等各类电工装备中，其磁化与损耗特性受压应力影响显著。现有考虑压应力的磁滞模型存在模拟精度低、参数依赖应力关系不明确等问题。本文基于损耗统计理论与场分离法，分别分析压应力对于无取向硅钢磁滞损耗、涡流损耗以及剩余损耗对应磁场强度分量的影响。在原始Energetic模型中叠加压应力引起的能量密度并推导得到压应力引起静态磁场强度变化表达式，用以计算静态磁场强度。明确弹性限度内宏观涡流损耗对应的磁场强度不受压应力影响。基于实验与磁畴理论定义等效应力，并推导剩余损耗参数V0表达式，计算剩余损耗对应磁场强度，最终计算得到动态磁场强度并建立动态磁滞模型。模型计算结果与实验结果表明，所提动态模型参数与压应力关系明确，且具有较高的模拟精度与实用性。

关键词：无取向硅钢压应力参数的应力依赖磁弹性耦合动态模型

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

论中国专业性社会调解的专业化特色

政治与法律 2024年第7期 44-59页

作者：张西恒上海政法学院法律学院上海201701

深入审视和总结中国专业性社会调解的专业化特色是明确竞争优势和发展方向、坚定中国调解道路自信的必然要求。中国专业性社会调解与基层社区人民调解的角色定位明显不同,历经初创摸索、正式确立、全面展开三个发展阶段,逐步形成了四个... 详细信息

深入审视和总结中国专业性社会调解的专业化特色是明确竞争优势和发展方向、坚定中国调解道路自信的必然要求。中国专业性社会调解与基层社区人民调解的角色定位明显不同,历经初创摸索、正式确立、全面展开三个发展阶段,逐步形成了四个方面的专业化特色。在解纷知识与经验方面,以包容性载体优化供需平衡,以整体性视角强化互补性关系,以可视化方式增强可接受性。在服务与创新能力方面,采取从纠纷调解到综合治理的功能拓展路径,推进专业调解服务清单化、标准化以及专业调解评价机制优化创新。在引领行业发展方面,推动确立行业性专业性调解的独立地位,引领各类调解优势互补、有机衔接、协调联动,推动优化矛盾纠纷多元化解格局,以及引领推动纠纷解决一体化建设。在指导思想方面,以习近平法治思想为指引,回答好“为谁专业化”“何种专业化”“如何专业化”等根本问题。

关键词：专业性社会调解调解专业化大调解纠纷解决中国特色

从准社会关系到人机关系:基于原真性与互动性的双维度归类模型

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

在线全文

学校读者我要写书评

暂无评论

当代传播 2024年第3期 9-14页

作者：牟怡吴宇恒上海交通大学媒体与传播学院香港城市大学媒体与传播系中国香港

本文基于对传播学与媒介心理学相关理论与文献的梳理,从用户感知视角与媒介可供性视角对智能传播时代下的人机关系形成机制与类型进行了论述。首先,基于准社交关系发展机制,本文提出了基于用户感知视角下的人机社交关系形成过程概念模式... 详细信息

本文基于对传播学与媒介心理学相关理论与文献的梳理,从用户感知视角与媒介可供性视角对智能传播时代下的人机关系形成机制与类型进行了论述。首先,基于准社交关系发展机制,本文提出了基于用户感知视角下的人机社交关系形成过程概念模式;其次,通过对信源原真性与媒介互动性概念的讨论,从媒介技术可供性视角对比了面对面人际互动、智能人机互动、准社交互动与传统人机互动的异同,并在此基础上提出了基于原真性与互动性的双维度社交关系归类模型。研究发现智能传播时代人机互动所形成的社交关系既不同于面对面的人际关系,也不同于大众传播情景下的准社交关系,而是一种全新的“超社交关系”。

关键词：人机关系准社交关系超社交关系原真性互动性归类模型