公共文化服务平台

张立明: 作品数：75 被引量：170H指数：8; 供职机构：吉林大学计算机科学与技术学院更多>>; 发文基金：国家自然科学基金吉林省科技发展计划基金浙江省自然科学基金更多>>; 相关领域：自动化与计算机技术文化科学电子电信机械工程更多>>

合作作者

一种结合极小碰集约简集成电路测试模式集的方法: 本发明涉及一种结合极小碰集约简集成电路测试模式集的方法，属于数字电路测试技术领域。本方法首先对特定的电路利用自动测试模式生成工具生成测试模式集合；然后对测试模式集合中的每个元素(测试模式)得到其可以检测到的故障集合，并根...; 陈晓艳张立明欧阳丹彤郭江姗刘杨刘梦田乃予

基于模型的混杂系统中控制器故障诊断方法被引量：3: 2011年; 为解决混杂系统中控制器故障诊断问题,提出一种混杂系统故障发生在控制器与设备组件之上的新诊断方法,解决了控制器故障检测与诊断问题,并给出解决上述问题的基本诊断算法。实验结果表明,该算法程序简单且效率较好,对于复杂的被诊断对象可以满足实时性。; 赵剑欧阳丹彤王晓宇张立明; 关键词：人工智能混杂系统

基于最小集合覆盖求解方法的测试向量集约简被引量：1: 2020年; TetraMAX ATPG作为业界性能较优的自动测试向量生成工具,能够使用较短时间产生高故障覆盖率的测试向量集.本文通过对TetraMAX ATPG产生的初始测试向量集进行建模,提出了基于最小集合覆盖求解方法的最小完备测试集生成方法,利用这一算法可以在保证测试向量集故障覆盖率不变的基础上有效地缩减测试集规模,从而降低电路测试成本.实验结果表明该方法对于固定故障类型和静态电路故障类型均具有良好的约简效果.; 欧阳丹彤郭江姗张立明; 关键词：局部搜索故障类型

一种基于无故障信息测试分数的故障诊断方法: 本发明涉及一种基于无故障信息测试分数的故障诊断方法，属于数字电路测试技术领域。本方法首先利用自动测试模式生成工具Tetra MAX对电路生成测试向量集合和单故障集合；从单故障集合中随机选出多个单故障组成电路发生的多故障集...; 宋金彩欧阳丹彤张立明田新亮太然蒋璐宇田乃予; 文献传递

一种离散事件系统的反向遍历诊断方法: 本发明涉及一种离散事件系统的反向遍历诊断方法，属于模型诊断技术领域。首先建立系统模型自动机；选择合适位置加入便于诊断所需的传感器，参考系统最大传输延迟的相关性质设计时间窗口。然后，根据时间窗口的长度，周期得到系统的观测序...; 张立明欧阳丹彤赵毅李占山白洪涛张永刚于海鸿李河刘杰董旭初

基于极小碰集求解算法的测试向量集约简被引量：3: 2019年; 自动测试向量生成的目的是对特定的故障模型确定1个高质量测试向量集使得芯片(设计)的故障覆盖率达到期望值,在芯片测试中是非常重要的环节.TetraMAX ATPG 2018是众多ATPG工具中功能最强、最易于使用的自动测试向量生成工具,可以在很短的时间内生成具有高故障覆盖率的高质量测试向量集.提出基于极小碰集求解算法的极小完全测试向量集求解算法,通过对测试向量集约简问题重新建模,利用极小碰集求解算法对TetraMAX ATPG 2018产生的测试向量集进行约简.利用这一算法可以有效地缩减测试向量集规模,且保证其故障覆盖率不变,对降低芯片的测试成本有着重要的现实意义.实验针对固定型故障,结果表明:该算法具有良好的约简效果,而且可以保证所得测试向量集中不包含冗余的测试向量.; 欧阳丹彤陈晓艳叶靖邓召勇张立明; 关键词：电路测试

针对MUS求解问题的加强剪枝策略: 2024年; 极小不可满足子集(minimal unsatisfiable subsets,MUS)的求解是布尔可满足性问题中的一个重要子问题.对于一个给定的不可满足问题,其MUS的求解能够反映出问题中导致其不可满足的关键原因.然而,MUS的求解是一项极其耗时的任务,不同的剪枝过程将直接影响到搜索空间的大小、算法的迭代次数,从而影响算法的求解效率.提出一种针对MUS求解的加强剪枝策略ABC(accelerating by critical MSS),依据MSS、MCS、MUS这3者之间的对偶性和碰集关系特点,提出cMSS和subMUS概念,并总结出4条性质,即每个MUS必是subMUS的超集,进而在避免对MCS的碰集进行求解的情况下有效利用MUS和MCS互为碰集的特征,有效避免求解碰集时的时间开销.当subMUS不可满足时,则subMUS是唯一的MUS,算法将提前结束执行;当subMUS可满足时,则剪枝掉此节点,进而有效避免对求解空间中的冗余空间进行搜索.同时,通过理论证明ABC策略的有效性,并将其应用于目前最高效的单一化模型算法MARCO和双模型算法MARCO-MAM,在标准测试用例下的实验结果表明,该策略可以有效地对搜索空间进行进一步剪枝,从而提高MUS的枚举效率.; 蒋璐宇欧阳丹彤董博文张立明

融合基数约束与单次入队的基于模型诊断方法: 2025年; 基于模型诊断(MBD)方法在不同的环境中有越来越多的用途,包括软件故障定位、电子表格的调试、Web服务和硬件设计,以及生物系统的分析等.受这些不同用途的启发,近年来MBD算法改进成效显著.然而,对体系庞大、结构复杂的系统,需要对现有方法进一步改进.由于求解诊断解在计算上具有挑战性,因此相继提出了一些通过压缩模型的MBD算法来提高诊断效率,如基于统治的多观测压缩模型(dominated-based compacted model with multiple observations,D-CMMO)算法.对于给定多个观测值且注入1个以上错误需要大量时间的诊断问题,提出了一个新的诊断模型CCM(cardinality-constrained compacted model)来解决.基于基数约束的压缩模型算法使用2种方法对求解过程进行优化:首先,利用系统观测的故障输出和故障组件数量之间的约束关系来限制目标解的范围;其次,通过对假设集采用单次入队方法,进而有效提升MaxSAT(maximum satisfiability)求解器的性能.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD求解方法D-CMMO相比,上述2种优化方法有效缩小了MBD问题的求解范围,降低MaxSAT求解器搜索目标解的难度,进而能在更短的时间内返回一个诊断解.在平均状况下,CCM方法相比D-CMMO方法求解效率分别提升64.5%和92.8%.; 青杨欧阳丹彤周慧思张立明; 关键词：基于模型诊断

一种结合结构特征求解诊断问题的PMS方法被引量：1: 2019年; 部分最大可满足性问题(partial maximum satisfiability problem, PMS)是最大可满足性问题(maximum satisfiability problem, MaxSAT)的泛化问题,在很多领域中得到广泛应用.目前,在工业诊断实例方面PMS求解仍有待改进,在对基于随机搜索的PMS算法深入研究基础上,本文首次提出一种结合结构特征的随机搜索方法 (structure characteristics partial MaxSAT, SCPMS).首先,依据单元传播规则结合问题结构特征逐步将PMS问题中硬单元子句分成两部分,从而构造出因缺乏部分硬单元子句使得问题可满足的子问题;提出结合结构特征的随机搜索指导策略,对新的子问题再次利用单元传播找出原问题中的硬单元子句中硬阻塞变量,再结合子句特征翻转相应软阻塞变量,从而提高随机搜索的求解效率.实验结果表明,提出的SCPMS与最新的两个算法DeciDist和DistUp相比,在基于模型诊断问题(model-based diagnosis, MBD)的工业实例上, SCPMS求得的不满足软子句数有较大程度的减少.; 周慧思欧阳丹彤刘梦田乃予张立明; 关键词：PMS 随机搜索

吉林油田公司未上市业务经济运行质量研究: 本文在界定企业经济运行质量概念和范围的基础上,构建了经济运行质量评价指标体系,并回顾了吉林油田公司未上市业务2006年经济运行情况,利用经济运行质量评价指标体系,对吉林油田公司未上市业务经济运行质量进行了横向和纵向的比较...; 张立明; 关键词：经济运行质量; 文献传递

张立明

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

张立明

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈