形式化定义

作品数：84被引量：193H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陆佳炜赵伟肖刚徐俊张元鸣更多>>
相关机构：南京航空航天大学国防科学技术大学清华大学浙江工业大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划教育部科学技术研究重点项目国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
零信任架构下多服务器自动加密算法设计
《微型电脑应用》2024年第7期19-22,共4页王峥 
北京市自然科学基金(4196422)。
设计一种零信任架构,针对多服务器提出一种自动加密算法。基于零信任架构构建多服务器可搜索加密模型。对模型进行形式化定义,明确各参与方之间的交互和操作流程;为了证明模型的安全性,以游戏方式定义安全模型,通过设计攻击策略和游戏规...
关键词：零信任架构 可搜索加密算法 形式化定义 安全模型 多服务器 
任务驱动:从自主学习到融会贯通——以数学概念的意义建构为例被引量：2
《小学数学教育》2023年第14期27-29,共3页丁悦 
数学概念具有高度的抽象性和概括性,而小学生的思维处在以具体形象思维为主逐渐向抽象逻辑思维过渡的阶段。数学概念如果仅仅采用再现式教学,就容易演变成传授符号化知识,学生接受的只是形式化定义,难以获得深刻的数学理解。问题是数学...
关键词：具体形象思维 抽象逻辑思维 数学概念 任务驱动 融会贯通 形式化定义 自主学习 数学理解 
机器学习在银行收单侧套现智能排查中的应用初探
《中国金融电脑》2022年第4期54-58,共5页吴俊涛 
机器学习(Machine Learning)作为人工智能领域的一个较为基础的实现方式,其形式化定义为:对于某类任务T和性能度量P,如果一个计算机程序在T上以P衡量的性能随着经验E而自我完善,即可称该计算机程序正在基于经验E进行机器学习。机器学习...
关键词：机器学习 计算机程序 计算机应用 人工智能 形式化定义 性能度量 自我完善 排查 
电力系统健康的形式化定义
《电力与能源进展》2021年第2期65-71,共7页池晓金 郑文斌 牛伟 陈梦娴 何佩 郭阳明 
面向电力系统智能运维的需求,通过对健康特征的分析,给出了系统健康、预兆、系统能力以及系统健康等级的定义,建立了完整的电力系统健康体系架构。针对系统健康问题的特征,提出了以系统有效性为主导的健康状态管理思路,通过对装备资源...
关键词：健康管理 系统有效性 健康状态等级 资源有效性 功能有效性 
基于符号模型检测的Web服务组合形式化验证被引量：1
《计算机与数字工程》2021年第3期496-501,520,共7页张世杰 徐鹏 刘沛瑶 
国家自然科学基金项目“基于矛盾体分离的动态自动演绎推理研究”(编号:61673320);四川省教育厅项目(编号:18ZB0589)资助。
随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针...
关键词：WEB服务组合 符号模型检测 有限状态自动机 形式化定义 NUSMV 
一种面向Trace与漏洞验证的污点分析方法被引量：2
《计算机工程》2020年第5期157-166,共10页秦彪 郭帆 杨晨霞 
国家自然科学基金(61562040);江西省教育厅科学技术研究项目(GJJ161305,GJJ151330)。
静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提出一种上下文敏感和域敏感的污点分析方法。对污点传播的操作语义和一致性约束进行形式化定义,保证污点传...
关键词：污点分析 上下文敏感 域敏感 污点传播 形式化定义 
面向合同的智能合约的形式化定义及参考实现被引量：30
《软件学报》2019年第9期2608-2619,共12页王璞巍 杨航天 孟佶 陈晋川 杜小勇 
国家重点研发计划(2016YFB1000702);贵州财经大学与商务部国际贸易经济合作研究院联合基金(2017 SWBZD08)~~
智能合约是区块链系统的核心组件,在现实中广泛应用.然而,目前没有关于智能合约的统一定义,在不同的区块链平台上,智能合约的实现也相差甚远.这样将影响公众对智能合约的认知,也对产业的发展造成障碍.回顾了智能合约的发展历史,梳理其...
关键词：区块链 智能合约 以太坊 超级账本 
基于PCK内涵理论的视角解析二次函数概念的教学
《山西教育（教学版）》2019年第8期64-66,共3页石颐园 侯雪梅 
一、PCK一般理论及其内涵简述“PCK”即学科教学知识,是Pedagogical Content Knowledge的简称,1986年由美国的舒尔曼教授最先提出,其定义为“特定教学内容与教学法的整合与转换,是教师独特的知识领域,是他们专业理解的特殊形式”。具体...
关键词：二次函数 反比例函数 一次函数 变量关系 一般形式 一元二次不等式 PCK 形式化定义 
实时嵌入式软件时间抽象状态机的扩展被引量：5
《北京大学学报（自然科学版）》2019年第2期197-208,共12页单锦辉 张路 王金波 张涛 
国家自然科学基金(61225007)资助
针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采...
关键词：需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机 
HPM视角下的周期函数概念教学被引量：2
《中小学数学（高中版）》2018年第11期45-50,共6页向荣 陈莎莎 沈中宇 
1.引言“周期函数”是上海教育出版社《数学》高一(下)第6章“三角函数”中的一节内容.教材从三角诱导公式sin(x+2kπ)=sin x(k∈Z)出发,让学生体会sin x值的重复出现;为了定量地描述周期性变化规律,直接引入周期函数概念.教学实践表明...
关键词：函数概念教学 周期函数 HPM 上海教育出版社 三角函数 学生体会 周期性变化 形式化定义 
全选清除导出
共9页<123456789>
检索报告 对象比较 聚类工具 使用帮助 返回顶部