符号模型相关论文
比特币引入了一种新的P2P(Peer to Peer)交易方法,并依靠其底层协议实现去中心化交易.然而,由于目前缺乏对比特币各底层协议的细粒......
河图洛书是易学的两张具有阴阳五行结构及变化的时空象数图，以奇妙的数字排列著称，是中国古代哲学家演绎自然界万物生成及终止规律的......
本文提出一种新的模拟集成电路宏模型计算机辅助自动建立方法,通用性强、宏模型精度高。文中详细描述了建立过程,给出相应的软件流......
计算机软硬件系统日益复杂,在很多系统中,测试、模拟等传统的验证方法已不能保证其正确性和可靠性。模型检测技术产生于上世纪80年......
形象思维的特征是用形象材料来思维,而形象材料的最主要特征是直观性和具体性。在初中化学中有着丰富的形象思维素材,如果我们很好......
形象思维的特征是用形象材料来思维,而形象材料的最主要特征是直观性和具体性。在中学化学中有着丰富的形象思维素材,如果我们很好......
模型可以反映和代替客观对象,并通过研究这个模型来揭示客观对象的形态、特征和本质.化学符号模型不仅能够简化表征物质组成、内部......
近年来,对安全协议符号方法的计算可靠性分析是一个研究热点.本文对一类使用双线性对和对称加密原语构造的安全协议进行分析,给出......
数学模型是指为解决现实生活中的问题而建立的数学概念、公式、定义、定理、法则、体系等等.数学模型一般是用数学语言、符号、数......
随着计算机软硬件系统日益复杂，如何保证其正确性和可靠性已经成为日益紧迫的问题。对于并发系统，由于其内在的非确定性，这个问题难度......
地图是空间分布特性和自然与社会现象的图纸。它是以一定的教学法则(即模式化)、符号化、抽象化反映客观实际的形象符号模型。它的......
模型验证是对有限状态系统的一种形式化确认方法，近几年，模型验证方法已逐步扩展到实时系统应用中，为解决实时系统的模型验证问题，本文......
Openflow是目前使用最为广泛的SDN通信协议,由于其协议规范还在不断完善,因此存在一定的安全隐患,对Openflow协议及其相关应用的安......
2020年10月,开放地理空间信息联盟(OGC)全体成员一致同意将《符号概念模型:核心部分》(Symbology Conceptual Model: Core Part)作......
提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析......
电力智能单元传输规约的安全性是保障智能电网中智能通信实现高速、可靠、安全的基础。为了构建适用于电力智能单元传输规约的安全......
异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点.发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键.其......
一、数学符号的实用性——从复杂到简单的表示学生符号意识的形成需要经历逐步符号化、形式化的过程。在教学中,教师将日常语言符......
本文从化学学科及其教学的特点出发，针对思想模型与符号模型的不同点，对化学教学中的思想模型进行界定，并对其在化学教学中的认识论意......
【正】 (1) 八十年代中期,我国国家体改委曾委托航天部信息控制研究所,就粮油价格、工资调整和财政补贴问题定量分析。该所在向经......
数据获取是ＧＩＳ的基本组成部件，地图数学依然是多数ＧＩＳ的主要数据源，如何实现地图数据的快速转换成成为ＧＩＳ迅速发展的一个“瓶颈”本文基于对地......
在以Lu＆Smolka对SET协议支付过程的简化模型为研究对象的情况下，进行形式化建模和有限状态机模型。同时应用CTL对相应的安全性质进行......
以语言为中心的索绪尔符号理论并未关注语言系统中的指示符号,因而在处理指示符号问题时困难重重。叶姆斯列夫对索氏之思想大胆改......
符号是数学表达的工具,在教学中培养学生的符号意识是非常重要的。《数学课程标准(2011年版)》对“符号意识”进行了解释性阐述:“......
MW方法仅考虑使用公钥加密原语，不包含{{mk}k类型消息的双方协议。针对该问题，使用公钥加密和对称加密，建立扩展标记符号模型与扩展计......
<正> 制图综合究竟是一个“主观过程”?还是一个“客观的科学抽象过程”?抑或是二者兼而有之?这始终是一个纠缠不清的理论问题。反......
室内空间是当前位置服务的新领域,本文围绕位置服务中室内空间建模的全方位需求,比较分析了三类室内空间数据模型的优缺点与适用范......
<正> 克里斯特娃:今日符号学是以符号和它的相关物即“交流”和“结构”为模型构成的。那么,什么是这些模型的语词中心的(logocent......
地图符号是现实世界地理空间到地图空间数据变换过程中的语义描述,利用符号来表示地图中要素的内容,符号库的性能会影响出图的质量......
联结主义：认知过程的新解释和认知科学的新发展葛鲁嘉（吉林大学）本世纪６０年代兴起的认知革命，在７０年代取决了决定性的胜利。认知心理学替代......
《周易》“象数”与现代系统学模型陈世陔系统的符号模型在系统学的研究中占有十分重要的位置。系统科学的特点在于，它是从系统观点......
1纯数据驱动的人工智能的成功与危机并存当前,人工智能技术突飞猛进,各类应用爆发式增长,人工智能正在融入到人们的生活和生产的方......
Open ID Connect协议是最新的单点登录协议之一,已经广泛应用于用户身份认证领域,其安全性受到了人们的重点关注。为增强Open ID C......
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安......
