符号模型相关论文
计算机软硬件系统日益复杂,在很多系统中,测试、模拟等传统的验证方法已不能保证其正确性和可靠性。模型检测技术产生于上世纪80年......
比特币是一种备受欢迎的电子加密货币,依赖其底层协议提供安全保障。然而,比特币底层协议未被权威机构要求给出专业的安全证明,因......
Openflow是目前使用最为广泛的SDN通信协议,由于其协议规范还在不断完善,因此存在一定的安全隐患,对Openflow协议及其相关应用的安......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点.发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键.其......
一、数学符号的实用性——从复杂到简单的表示学生符号意识的形成需要经历逐步符号化、形式化的过程。在教学中,教师将日常语言符......
【正】 (1) 八十年代中期,我国国家体改委曾委托航天部信息控制研究所,就粮油价格、工资调整和财政补贴问题定量分析。该所在向经......
在以Lu＆Smolka对SET协议支付过程的简化模型为研究对象的情况下，进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行......
以语言为中心的索绪尔符号理论并未关注语言系统中的指示符号,因而在处理指示符号问题时困难重重。叶姆斯列夫对索氏之思想大胆改......
<正>刘松老师的课常听常新,常听常有趣,常常能够给听课教师以赏心悦目之感。下面以刘松老师的《用字母表示数》为例,看看刘老师是......
符号是数学表达的工具,在教学中培养学生的符号意识是非常重要的。《数学课程标准(2011年版)》对“符号意识”进行了解释性阐述:“......
MW方法仅考虑使用公钥加密原语，不包含{{mk}k类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计......
<正> 制图综合究竟是一个“主观过程”?还是一个“客观的科学抽象过程”?抑或是二者兼而有之?这始终是一个纠缠不清的理论问题。反......
从数据结构、存储方式两方面对比CAD点状符号与TrueType符号的符号模型,提出两者间的转换方法,设计出符号的双向映射机制。利用该......
室内空间是当前位置服务的新领域,本文围绕位置服务中室内空间建模的全方位需求,比较分析了三类室内空间数据模型的优缺点与适用范......
地图符号是现实世界地理空间到地图空间数据变换过程中的语义描述,利用符号来表示地图中要素的内容,符号库的性能会影响出图的质量......
联结主义：认知过程的新解释和认知科学的新发展葛鲁嘉（吉林大学）本世纪６０年代兴起的认知革命，在７０年代取决了决定性的胜利。认知心理学替代......
《周易》“象数”与现代系统学模型陈世陔系统的符号模型在系统学的研究中占有十分重要的位置。系统科学的特点在于，它是从系统观点......
1纯数据驱动的人工智能的成功与危机并存当前,人工智能技术突飞猛进,各类应用爆发式增长,人工智能正在融入到人们的生活和生产的方......
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安......
