抽象模型相关论文
作为一种去中心化的分布式账本,区块链被广泛应用于互不可信的多方之间共享数据.相比于发展多年的传统数据库,区块链存在无法支持......
本案例是整数乘法单元第五课时,安排在两位数乘一位数口算乘法(18×4)之后。本课以76×8为研究问题,在前几课时的基础上,重点理解......
系统建模是嵌入式系统设计的关键步骤,它的好坏直接影响着设计质量和产品的上市时间.已有多种建模方案,但每种都有其局限性.本文在......
对群控电梯系统给出了抽象模型。基于抽象模型设计了电梯群控制系统模拟器。介绍了该模拟器的功能设计、结构安排、评价指标、......
中科院“十一五”信息化建设将建成一个海量的科学数据应用环境。如何对这些海量科学数据进行整合,设计一种有效便捷的资源发现手段......
该文全面论述了移动Agent技术的发展、概念、理论和应用.然后,通过与传统技术的比较分析,对移动Agent技术进行了评价.提出了一个新......
随着多核计算的兴起,并发软件成为计算机辅助验证的重要目标。并发软件系统在社会生活、国民经济等诸多关键领域的应用愈加普遍,软件......
随着多核处理器的高速发展,并发程序已经成为现代程序设计的主流趋势。然而并发程序的执行存在不确定性,这使得传统的测试方法很难......
片上多核作为当今处理器设计的主流技术,依赖多线程应用来充分发挥性能优势。但是传统的并行编程在编程效率与正确性方面却存在问......
近年来,网络中的各种各样的安全事件的频发,特别是大规模的网络安全事件如分布式拒绝服务攻击、网络蠕虫、僵尸网络,对社会造成了......
软件已经成为国防建设和国计民生的重要组成部分。然而,随着软件技术的快速发展,软件的规模越来越大,复杂度越来越高,软件安全问题......
针对参数化系统验证的状态空间爆炸问题,本文提出自动抽象方法化简参数化系统状态空间。首先,进行Y-抽象建立单进程状态机模型,然......
半形式化验证方法结合了模拟方法和形式化方法的优点,避免了各自的缺点,是一种很有前景的验证方法.本文改进并实现了一种半形式化......
为了使组织适应动态、自治的多agent系统环境,需要改变组织结构。通过在原有的多agent系统上面额外增加一层的方法,建立一个提供......
3G网区别于一代与二代移动网络的重要特性是其与因特网的互联互通性。通过分析3G网络中的跨网络服务,以典型服务为例,建立了3G网络中......
本文对本体论及其在产品信息组织中的应用进行了介绍。本体是描述概念及概念之间关系的抽象模型,是对客观存在的概念及其之间关系......
本文将人工智能技术与组织设计方法相结合研究多主体系统的建造方法学.文章提出了从宏观到微观,在整体组织、个体和并发行为等不同......
本文将从理论模型角度研究Disjunctive命题理论,引入F-抽象模型、全抽象模型以及自由模型等概念,讨论他们的性质和关系.......
该文利用关系数据库的概念,建立分布式数据库并发控制的抽象模型,并利用这一模型对几种典型的并发控制算法做出形式化描述。这项工作......
该文讨论了数据挖掘与专家系统的相互关系,提出了一中基于数据挖掘的抽象模型,该模型与领域知识相结合,具有良好的人机交互性。文中还......
首先将同步的抽象模型描述成数据流图,进而用FP表示。然后考虑了语言成份中其它几种同步工具,表明传统语言中的同步工具是可以用FP表......
该文利用Petri网形式化描述工具建立MMS(制造报文规范)的抽象模型,对其中一个重要客体--程序唤醒客体进行了的描述,并对其性质进行了分析。然后以......
发展学生的空间观念是新课标提出的重要目标.空间观念的发展,离不开直观教具的使用.但使用教具,不一定能发展学生的空间观念,关键......
本文主要以高中生物教学中模型建构的研究与应用——以减数分裂为例进行阐述,结合当下传统教学模型构建和教学现状在高中生物中的......
过去,嵌入系统的处理资源和内存资源都有限.以尽量降低成本.而消费者则期望包含更多功能和辅助特性,如高速通信与交互式多媒体.随......
分析了结合Re-Engineering技术的翻译器Bogart的工作原理,并与传统翻译器进行了比较,同时对源程序的存储方法提出了改进,采用了新......
新课程把传感器编入教材,给中学物理教学带来了全新的时代气息.物理教学由概念辨析到实际应用,由抽象模型到元器件,由繁难运算到设......
一、入侵检测系统的发展历程(一)入侵检测模型的建立1987年,Dorothy E.Denning首次提出了入侵检测系统的抽象模型,称为IDES系统,并......
[摘要]本文引入了DataSpaces这一新的信息管理抽象模型,并对DataSpaces的应用领域、当前研究状况、特征属性、逻辑组件和服务、研究......
物理学主要是对自然界中存在的各种物质运动形态、结构和相互作用的学科,一般来说,物质在运动变化的过程中会受到自身及周围环境的影......
在分析常用文件系统索引结构的基础上,提出了一个文件系统动态存储和索引结构,层次散列索引模型(Hierarchical Hashing Index Model,H......
本文提出二维形状抽象描述的概念,以适应CAD过程中设计对象从抽象到具体的发展,不同性质的约束条件的逐步满足。一个二维多边形的......
针对'非功能'因素如何进行重新抽象的问题,提出了一个'面向参与者'的抽象模型,较好地解决了嵌入式软件系统中的可......
数学是一门有着很强系统性和逻辑性的学科。数学本身就是现实生活事物的抽象模型,一个比较抽象的学科,各种概念的描述既枯燥又无味,计......
一、引言旅游业是基于信息的产业,信息是旅游业的生命线。游客在决策时只能凭借一系列渠道获得的信息而形成的抽象模型。随着竞争......
物理习题都有确定的研究对象,将研究对象抽象为能用典型的物理概念、规律解决的理想化模型的过程叫“建模”.建模分为两类:一是直接模......
在总结多年开发多媒体远程监控系统的实际经验基础上,提出了一个符合国际标准的、独立于网络传输协议和媒介的多媒体远程监控系统的......
将广义知识重构与抽象模型框架下的初步感知过程扩展为多重感知过程,根据物理世界W中对象所属域的不同生成多重域抽象模型,并讨论......
不等式在高中数学理论基础中占有很重要的地位,是进一步学习数学和解决其他数学问题的基础及便利工具.由于新课程改革之前不等式的......
入侵检测的研究可以追溯到JamesP.Anderson在1980年的工作,他首次提出了"威胁"等术语,这里所指的"威胁"与入侵的含义基本相同,将入......
多媒体技术的蓬勃发展和微处理芯片处理能力的极大提高,使桌面视频会议系统成为热门的服务项目。多媒体远程监控系统作为桌面视频会......
提出了有限元分析抽象模型的概念,并给出了建立抽象模型的自动分割算法,“特殊内环”的引入使网络单元边与属性边的“交叉”现象得以......
【摘 要】采用化学学科核心素养视角下的结构化设计策略和建模策略,将物质质量到微观粒子数的计算作为一个结构化的整体,从宏观具象......