形式化描述

作品数：545被引量：1759H指数：18
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：张广泉史建琦赵保华屈玉贵顾翔更多>>
相关机构：国防科学技术大学清华大学武汉大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
顾及城市场景变化的人口分析单元表达
《武汉大学学报（信息科学版）》2024年第10期1788-1799,共12页胡秋实 李锐 吴华意 刘朝辉 蔡晶 
国家自然科学基金(U20A2091)。
人口分析单元是不同城市场景开展地理分析的时空对象和基本单位。城市场景是人口时空活动的信息描述集合,为单元表达提供时空范围与语义限定。针对当前单元表达模型较少关注具体人口分析特征描述,缺乏场景和单元特征表达的关联方法和参...
关键词：人口分析单元 时空对象 城市场景 表达模型 场景要素 关联特征 形式化描述 
基于CRCLA的形式化描述与退火遗传映射算法
《计算机工程与设计》2024年第5期1368-1375,共8页杨晨光 李伟 杜怡然 陈韬 
国家自然科学基金项目(61404175)。
为解决密码算法映射到粗粒度可重构密码逻辑阵列(CRCLA)过程的描述困难问题,提出一种数据流图节点与划分后节点簇的描述形式,并以一种坐标序列描述形式精确显示CRCLA中资源的占用情况;针对密码算法映射到CRCLA上性能不高及编译时间过长...
关键词：密码算法 数据流图 划分 描述形式 粗粒度可重构密码逻辑阵列 快速收敛 退火遗传算法 
基于Coq的RVWMO加载值公理形式化描述与推论证明
《智能安全》2024年第1期1-9,共9页梁少杰 徐学政 杨德亨 黄安文 
RISC-V内存一致性模型(RVWMO)规定了RISC-V多核系统的访存序约束,是RISC-V软硬件设计者共同遵守的重要规范,旨在为硬件设计提供灵活性的同时保证软件的易开发性。RISC-V指令集规范使用全局访存序、保留程序序以及三条公理(加载值公理、...
关键词：COQ 定理证明 RISC-V 内存一致性 
因果关系数理形式化描述的可行性研究--基于霍尔的因果涌现理论
《自然辩证法通讯》2023年第10期29-37,共9页张鑫 
教育部人文社会科学重点研究基地重大项目“社会文化视域下的概念与推理研究”(项目编号:22JJD720021);山东大学人文社会科学研究重大项目“分析哲学视域下的元哲学重大前沿问题研究”(项目编号:11090082235324)。
人工智能技术的发展,推动了因果理论向数理形式化方向发展。当前就因果涌现理论能否实现因果关系的数理形式化表达,学术界产生了分歧:拥护派认为该理论具备数理形式化可能,怀疑派认为该理论仅仅属于主观干预主义的认识论,不具备数理形...
关键词：因果涌现理论 因果关系 数理形式化 
基于用户同意的隐私保护协议形式化描述与验证被引量：1
《电子学报》2023年第7期1842-1849,共8页马丽 姜火文 彭云 
江西省社会科学基金项目(No.21TQ08D);江西省高校人文社会科学研究项目(No.JC22115);江西省自然科学基金项目(No.20224BAB202013)。
将用户同意与访问控制相结合是解决隐私保护的主要方法之一.然而,现有的隐私保护访问控制方法仅从数据控制者的角度,不考虑个人对访问决策的参与,无法满足自主可控的需求.为了解决这个问题,本文提出了一种基于用户同意的隐私保护访问控...
关键词：个人数据保护 隐私保护模型 隐私保护协议 访问控制 隐私授权 TLA+(Temporal Logic of Actions plus) 
RSSP-Ⅱ协议消息鉴定层的形式化描述及验证
《计算机应用与软件》2023年第6期77-82,180,共7页徐倩 林俊亭 
国家自然科学基金项目(61963023)。
协议流程的形式化描述及验证能够高效地保障协议的开发质量,对安全苛求系统尤为重要。针对铁路信号安全通信协议-Ⅱ(Railway Signal Safety Communication Protocol,RSSP-Ⅱ)中消息鉴定层(Message Authenticate Safety Layer,MASL)实现...
关键词：RSSP-Ⅱ 消息鉴定层 实体对等认证 消息源认证 有色PETRI网 
基于时序逻辑的仿真系统行为验证方法
《现代电子技术》2023年第5期175-179,共5页彭丹华 吴正雄 李廷鹏 耿宏峰 
仿真系统行为可信性评估是一项复杂的任务,需要综合利用多种方法、从多个角度对仿真系统的行为进行验证。针对仿真系统行为验证既需要具有客观性又需要考虑领域专家宝贵经验的需求,借鉴形式化验证技术的思想,提出基于时序逻辑的仿真系...
关键词：仿真系统 行为验证 可信性评估 时序逻辑 行为属性提取 形式化描述 数据检验 
融合网络中SIP协议的SDL形式化研究
《中国新通信》2022年第14期25-27,共3页刘业 
作为融合网络中语音业务(VoIP)及新型网络应用的基础协议,SIP协议的灵活性和可扩展性使得它跟网络层的IP协议一样,在应用层成为事实上的“协议标准”。近几年国内企业使用较为广泛的视频会议应用SparkleComm即是用SIP协议进行开发。本...
关键词：SIP 形式化描述语言 协议 融合网络 
一种个人目标达成度模型的形式化描述方法
《电脑与信息技术》2022年第3期37-40,共4页陈功锁 
目标能够将人的需求转化为动机并朝着特定方向努力,具有较强的激励作用,对个人的发展极为关键。然而多数人制定的目标在实施后却发现目标达成度较低。针对该问题,提出一种个人目标达成度模型的形式化描述方法,首先定义了模型需要的符号...
关键词：目标达成度模型 形式化描述 模型运行实例 
一种基于离散事件系统规范的复杂产品行为模型描述方法被引量：3
《系统仿真学报》2022年第4期661-669,共9页林清泉 杨佳然 张和明 
国家重点研发项目(2018YFB1701600)。
基于离散事件系统规范(discrete event system specification,DEVS)的多分辨率形式化描述具有层次化、结构化的描述能力,但对模块内部智能行为描述相对匮乏,而基于Agent的建模可以刻画个体的感知行为、通信协作和学习进化。在多分辨率...
关键词：复杂产品 多分辨率建模 行为建模 离散事件系统规范 形式化描述 
全选清除导出
共55页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部