搜索到260篇“ 形式化定义“的相关文章
- 面向竞拍的智能合约形式化定义与模板设计
- 智能合约具有去中心化、不可篡改、公开透明和自动执行的特点,能够在不需要第三方监管的情况下进行可信交易,并广泛应用于金融证券、数字资产管理、金融借贷、保险和慈善等领域。智能合约一般由技术人员开发,然而合约条款专业性强,合约...
- 李佳慧
- 关键词：形式化方法有限状态机
- REST接口一致性测试用例形式化定义和生成方法
- REST接口技术在互联网Web应用和网络管理领域中已经逐渐成为主流接口实现技术,并且国际标准化组织也在制定基于REST技术的相关标准,致力于让REST成为主流接口技术。而一致性测试是保证REST接口能够正常工作的必不可少...
- 赵春晖
- 关键词：形式化定义语义关系自动生成
- 电力系统健康的形式化定义
- 2021年
- 面向电力系统智能运维的需求,通过对健康特征的分析,给出了系统健康、预兆、系统能力以及系统健康等级的定义,建立了完整的电力系统健康体系架构。针对系统健康问题的特征,提出了以系统有效性为主导的健康状态管理思路,通过对装备资源健康状态、功能健康状态和任务健康状态的评估,实现系统健康状态等级的划分,并给出了健康状态等级形式化定义。
- 池晓金郑文斌牛伟陈梦娴何佩郭阳明
- 关键词：健康管理
- 航空电子系统健康分析与形式化定义研究被引量：2
- 2021年
- 随着航空电子系统的集成化与自动化程度不断提高,其潜在的故障多发可能性随之提高,可靠性与有效性降低、健康状态变差。针对航空装备状态健康度量目标,以系统能力有效性层次化结构组织为框架,给出系统健康、预兆、系统能力以及系统健康等级的定义,建立通用系统健康体系架构,提出以系统有效性为主导的健康状态管理思路,通过对装备资源健康状态、功能健康状态和任务健康状态的评估,实现系统健康状态等级的划分,并给出健康状态等级形式化定义。以航空电子系统为对象进行实验分析。结果表明,方法显著提高了航空电子系统健康状态评估的准确性。
- 牛伟李鹏赵建平成娟
- 关键词：健康管理
- 面向合同的智能合约的形式化定义及参考实现被引量：30
- 2019年
- 智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其概念的变化过程.归纳智能合约的本质,对现有智能合约的实现进行了分析和对比.给出了面向合同的智能合约的形式化定义,为智能合约的标准化奠定基础.提出了独立于区块链平台的、通用的智能合约实现方法.在目前广泛应用的联盟链区块链平台 Hyperledger Fabric 上面进行了具体实现.最后对未来工作进行了展望.
- 王璞巍王璞巍孟佶陈晋川陈晋川
- 关键词：区块链
- 网电空间作战战术单元、战术动作及指控粒度的形式化定义
- 2018年
- 在网电空间作战的体系和逻辑对抗特征基础上,采用形式化的集合嵌套实现了战术单元和战术动作的层级组织定义,并用每层嵌套集合中新增的逻辑集合L表示只在这一层级才突现或使用的逻辑关系,为复杂系统环境下描述网电战术动作效果的层级突现特征和逻辑对抗本质提供了可行办法,随后说明了采用该形式化定义的目的;在这一战斗力描述基础上,分理想和实际两种情况,分析了指挥活动和控制活动的粒度和末端,为网电空间作战指控效果的度量和表达、以及阐述网电空间作战的效用机理提供了一种可行思路。
- 杨帆马伟江何萌黄文龙
- 关键词：战术动作形式化定义
- 最小化随机算法形式化定义与优化
- 2017年
- 最小化法是一种动态随机化算法,它可以在较小的样本量下保证各处理组间和控制因素水平下的样本均衡。介绍了最小化算法的原理,并利用形式化方法对其进行了详细的描述,对算法中较为核心的均衡度量和不均衡计算方法做了说明。提出最小化法存在的三个缺陷:不可重复、不支持非平衡设计和计算复杂度高。针对上述缺陷,通过加入基于种子的随机序列来控制分组概率,从而解决不可重复的问题,通过用处理组间样本比例来修正优先分配概率解决非平衡设计,通过设计一套计算机函数来解决复杂度,最终使这些问题都得到很好地解决。
- 文天才刘保延何丽云白文静闫世艳李洪皎吕晓颖王鑫张艳宁
- 关键词：形式化方法
- 程序错误的形式化定义和程序容错能力的分级
- 2016年
- 针对程序失效相关概念的形式化定义和程序容错能力的分级,分析了程序缺陷、状态偏差以及程序失效等基本概念之间的差异,并在基于状态的程序行为理论的框架下,形式化定义了这些概念.从程序安全和活性的可满足性方面,给出了一个程序容错能力的分级方案,有助于相关概念的准确理解以及系统的对现有方法容错能力的区分.
- 刘晓建朱智林杜慧秋
- 关键词：程序语义容错形式化方法
- 从“形式化定义”走向“数学内涵”——以小学数学概念教学中“推理能力”的培养为例被引量：1
- 2016年
- “推理能力”是“课标2011年版”中数学学习的十个核心概念之一，推理的理性精神价值和实际应用价值，决定了其在数学教学中的特殊地位。小学数学概念教学是小学阶段数学教学的基础内容，实际教学中，以定义代概念的“形式化”的教学方式依然存在。本文根据小学数学概念的特点、学生的认知规律和心理特征，通过引导学生经历概念学习过程，努力构建具有“数学内涵”的概念认识课堂，从而有效促进学生推理能力的发展。
- 李娟
- 关键词：概念教学数学内涵
- 基于Java蓝图的过程模式形式化定义框架被引量：2
- 2015年
- 模式在软件开发过程中被总结和提炼,从而能够利用模式加速软件的设计与开发。在使用Java蓝图进行程序过程建模时,从大量的实例模型中,总结出一些可行且被验证的Java蓝图过程模式。扩展Java蓝图的概念,提出Java蓝图过程模式的形式化定义框架,详细阐述过程模式三层视图的结构和内容特征,并且举实例描述过程模式,最后对比了国外相关研究成果说明Java蓝图过程模式的优势。Java蓝图过程模式的提出,为程序过程建模提供了便利,能够提高模型驱动开发与维护的效率。
- 胡伟奇刘建宾
- 关键词：形式化
相关作者
- 赵伟
- 作品数：61被引量：44H指数：4
- 供职机构：浙江工业大学
- 研究主题：矩阵 单词 语义 细胞 形式化定义
- 肖刚
- 作品数：624被引量：827H指数：14
- 供职机构：浙江工业大学
- 研究主题：图像 电梯 向量表示 WEB服务 车牌
- 陆佳炜
- 作品数：359被引量：226H指数：8
- 供职机构：浙江工业大学
- 研究主题：WEB服务 向量表示 语义 聚类方法 图像
- 张元鸣
- 作品数：394被引量：395H指数：10
- 供职机构：浙江工业大学
- 研究主题：图像 向量表示 电梯 WEB服务 车辆
- 徐俊
- 作品数：182被引量：138H指数：7
- 供职机构：浙江工业大学
- 研究主题：语义 聚类方法 WEB服务 矩阵 单词
