公共文化服务平台

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

合作作者

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

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

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

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

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

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

基于部分最大可满足性问题的动态系统中最小故障检测隔离集求解方法被引量：1: 2023年; 选择一组能够检测并隔离所有故障的故障检测隔离集(FDIS)是动态系统基于模型故障检测与隔离(FDI)的重要步骤,该步骤通常要求FDIS的基数最小,即求解最小故障检测隔离集(MFDIS),MFDIS的求解时间随着问题规模增大呈指数级增长。BILP(Binary integer linear programming)完备方法是现行动态系统中通用和最高效的MFDIS求解方法,但该方法的求解效率有待提高。本文首次提出了基于部分最大可满足性问题(PMS)的MFDIS求解方法。提出极小超定方程集(MSO)的概念,将部分MSO集合用MSO等价集表示,以缩减问题规模。将MFDIS求解问题转化为PMS问题,进而提高求解效率。实验结果表明,本文方法将问题规模平均约简至原来的8.22%;与BILP方法相比,本文方法的求解效率提高了4.18~9.5倍。; 欧阳丹彤孙睿田新亮张立明刘萍萍; 关键词：基于模型诊断故障检测与隔离

针对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的枚举效率.; 蒋璐宇欧阳丹彤董博文张立明

一种结合结构特征求解诊断问题的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年经济运行情况,利用经济运行质量评价指标体系,对吉林油田公司未上市业务经济运行质量进行了横向和纵向的比较...; 张立明; 关键词：经济运行质量; 文献传递

张立明

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

张立明

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈