李洁
- 作品数：16 被引量：52H指数：4
- 供职机构：北京航空航天大学更多>>
- 发文基金：国防科技技术预先研究基金“十一五”国防预研基金国防基础科研计划更多>>
- 相关领域：自动化与计算机技术经济管理航空宇航科学技术理学更多>>
- 一种基于形式化模型的智能合约代码设计生成方法及系统
- 本发明公开了一种基于Event‑B形式化模型的智能合约代码设计生成方法，包括：步骤1，进行智能合约的需求分析，需求分析需要多方协调，用自然语言或领域特定语言DSL来描述智能合约的功能、属性和场景；步骤2，基于形式化模型E...
- 胡凯朱健李洁
- 文献传递
- 企业应变能力及其传递矩阵研究
- 1994年
- 论述了企业应变能力的结构、内容及各层次问应变的特征．对应变能力在各责任单位之间的传递过程作了描述．用传递矩阵方法研究了应变能力在企业四个层次上的目标与保证关系．建立了一套实用的评价、诊断的定量指标体系．
- 陈良猷李洁彭飞
- 关键词：传递矩阵
- 一种用于智能合约代码设计生成的EB2S系统及使用方法
- 本发明公开了一种用于智能合约代码设计生成的EB2S系统，包括：EB2S插件以及Rodin平台，EB2S插件为Rodin的插件，EB2S插件调用Rodin平台提供的API输入一个Event‑B模型，获取Event‑B模型中...
- 胡凯朱健李洁
- 材料韧脆转移模式和机理的理论推导及实验验证被引量：1
- 1996年
- 对各种材料韧脆转移模式和机理进行理论推导、实验验证和分析比较,得到了在不同情况下,估算材料韧脆转移温度的若干工程表达式,对进一步揭示材料韧脆转移的本质、模式、机制及其影响因素有重要的参考价值。
- 钟群鹏张峥李洁初飞田永江
- 基于Event-B的可靠智能合约自动生成方法
- 2023年
- 智能合约是一种以代码的方式执行合同条款的可计算交易协议,其应用场景与规模日益增长,承载着多达数十亿美元的各类资产。由于其代码缺陷可能会造成严重的经济损失,因此智能合约的可信开发成为技术关键。为此,提出了一种基于集合论语言Event-B的智能合约可信验证与自动生成方法。Event-B方法是一种基于精化的形式化方法,可用于规约、设计和验证软件系统。通过对智能合约的模型验证和可执行代码的自动生成技术,研发了自动转换工具EB2S,打通了形式化模型和智能合约编程语言的语义鸿沟和技术壁垒。最后,选取典型的在线支付智能合约场景,应用基于Event-B的智能合约模型自动生成合约代码,验证了EB2S转换工具的有效性。
- 朱健胡凯王军李洁李洁时希言
- 关键词：自动代码生成定理证明
- 航电设备故障诊断中的决策算法被引量：4
- 2007年
- 设计了故障诊断专家系统中的多属性决策算法.分析了诊断决策算法对诊断效率的影响.根据各属性对诊断决策的影响,对属性值进行规范化.采用线性加权函数来评价各故障的优先级,利用对故障发生概率的偏好性求解各属性权值.设计修正向量对评价函数进行修正以满足它在属性边界点上跳变特性.通过实验分析了该多属性决策算法在不同情况下对诊断效率的提高程度.
- 李洁沈士团孙宝江齐怡
- 关键词：专家系统多属性决策故障诊断
- 一种惯性稳定平台不平衡扰动的建模方法
- 一种惯性稳定平台不平衡扰动的建模方法，通过将摩擦模型和基座角运动模型代入到建立的平台简化动力学模型中，求出摩擦和基座角运动作用下平台框架的偏转角，然后利用平台框架的偏转角求出平台水平和垂直方向上不平衡力臂的变化规律，根据...
- 李明李洁
- 文献传递
- 一种惯性稳定平台不平衡扰动的抑制方法
- 一种惯性稳定平台不平衡扰动的抑制方法，包括前馈控制器和扰动观测器。其中，前馈控制器由比例环节组成，将平台的不平衡扰动转变为补偿电流并前馈到平台电流回路中，驱动电机产生与不平衡扰动大小相等、方向相反的控制力矩；扰动观测器包...
- 李明李洁
- 文献传递
- 故障诊断专家系统规则表示方式及推理算法被引量：2
- 2004年
- 文中在对故障诊断和专家系统理论深入研究的基础上,结合实际运用中遇到的各种情况,实现规则的多种表示方式及其综合推理算法。
- 李洁齐怡李杰
- 关键词：故障诊断专家系统
- 基于模糊区域分布的分类规则提取及推理算法被引量：14
- 2008年
- 基于不同分类的样本在各规则对应模糊区域的隶属度分布,定义了一种规则相对匹配度,比分类匹配度更能体现样本在不同模糊区域的分布对比.设计了模糊区域分布矩阵,由该矩阵可以算得规则相对匹配度和分类匹配度,并提出了基于规则相对匹配度的分类规则提取算法,同分类匹配度算法相比,该算法充分考虑了每条规则之间的隶属度分布对比,同时以各分类样本的相对数量作为加权系数,从而兼顾了学习空间的全局密度优势和局部数量优势.通过解模糊器实现了基于规则的分类推理,其推理过程比以往算法具有更好的解释性和简洁性.最后,由Iris数据和Wine数据的分类实验证明:无论样本数量均衡与否,由规则相对匹配度提取规则都具有更好的分类效果.
- 李洁邓一鸣沈士团
