抽象模型

摘要： 3D打印可编程性强以及材料可循环使用的特点,使得这项技术能够有效地运用到物理课堂教学中。本文提出利用3D打印技术,将一些抽象的物理模型打印出来辅助教学,解决教学难点。

摘要： 遗传算法是一种模拟自然生物进化过程的一类自组织、自适应的人工智能技术.介绍一种蜜蜂进化型遗传算法的抽象模型和基本工作原理概述蜜蜂进化型遗传算法研究现状与应用领域,并对蜜蜂进化型遗传算法的未来研究进行了展望.

摘要： 本案例是整数乘法单元第五课时,安排在两位数乘一位数口算乘法(18×4)之后。本课以76×8为研究问题,在前几课时的基础上,重点理解竖式的意义,将竖式与之前"拆—算—合"的经验建立联系,初步感受通法价值。在理解意义的同时,引导学生感受点子图模型抽象成面积图的过程。本课主要包含三个学习任务:关联中理解竖式意义、理解中形成抽象模型、反思中感悟通用算法。

摘要： 作为一种去中心化的分布式账本,区块链被广泛应用于互不可信的多方之间共享数据.相比于发展多年的传统数据库,区块链存在无法支持丰富查询、对外提供查询接口单一和查询响应慢的问题.简单的组织结构和离散的存储方式是限制交易数据表达的主要原因.为了弥补现有区块链系统的不足,构建抽象模型、封装易于使用的接口以及提升查询效率是实现基于区块链的高效应用开发的主要方式.鉴于此,提出一种面向区块链的通用数据管理中间件,具有如下特征:①支持自定义构建数据模型,灵活地为交易数据抽象新模型;②提供多种数据访问接口支持丰富查询并采用同步缓存机制等优化方式提升查询效率;③设计提前哈希计算和异步批处理策略优化交易的延迟和吞吐.提出的数据管理中间件已集成于开源区块链CITA中,并通过实验验证其易用性与高效性.

摘要： 在教学方法概念的定义中,类似"教学方法应该包含教师的教和学生的学两个方面"的表述很多,存在着深入研究或进一步阐明的必要.提出并论述了"主导辅助主体学习"的"抽象模型".

摘要： 采用化学学科核心素养视角下的结构化设计策略和建模策略,将物质质量到微观粒子数的计算作为一个结构化的整体,从宏观具象建模迁移到微观抽象模型,引导学生基于最近发展区基础上建构概念,内化相关概念间的关系,对突破难点起到良好效果。

摘要： 近年来,经济社会的快速发展对气象信息网络提出了新的要求,特别是网络的可靠性不仅影响气象业务的正常运行,也影响到预警信息的发布,气象信息网络根据新的需求,也历经调整和重新设计,网络节点越来越多,网络结构日趋复杂。本文试图从复杂的网络结构中,对SDH、MSTP、MPLSVPN和传统VPN抽象出不同的网络模型,实践证明,这些模型对气象信息网络的规划设计、方便网络管理员理解和维护网络、简化网络配置等方面有一定的意义。

摘要： 针对目前航天器数据管理系统软件人工测试存在的测试效率低、测试有效性差的问题,提出一种数据管理系统软件的自动化测试系统设计,在虚拟的数据管理系统设备上运行数据管理系统软件,应用自动化测试系统完成对数据管理系统软件的测试.引进虚拟测试(VTEST)平台软件、电子信息设计系统(EDS)及测试接入控制(TAC)系统3种工具,创建一种分层架构的测试系统,各层之间通过标准接口进行数据交互,以利于系统维护和被测对象的接入.由于自动化测试系统的测试实施过程不需要人工干预,避免了人工操作过慢、误操作、重复操作等问题,因此测试时间相比人工测试可缩短40%,而且能避免人工误判导致的测试不充分问题,能提高测试的有效性,从而提高数据管理系统乃至整器的可靠性.%Low test efficiency and poor test results exist in manual test for software of spacecraft on board data handling system.An automatic test system design for software of spacecraft on board data handling system is proposed.The software of on board data handling system running on the virtual appliance,the automatic test system can complete the software test.The VTEST (virtual test)platform,EDS(electronic design system)and TAC(testing access control)system are introduced.A test system with layered architecture is created,and layers communicating by standard interface.The architecture benefits the system maintenance and accessing of a system under test.Since the automatic test implementation process no longer requires human interven-tion,it avoides the phenomena of slow manual operation,incorrect operation and repetitive oper-ation.The test time is 40% shorter than the manual test.The automatic test system can avoid the problem of inadequate test caused by artificial misj udgment,therefore can improve the test effi-ciency,and the reliability of the on board data handling system and even the spacecraft.

摘要： 本文将从理论模型角度研究Disjunctive命题理论,引入F-抽象模型、全抽象模型以及自由模型等概念,讨论他们的性质和关系.

摘要： 统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比)。

摘要： 成本和工作量估算是软件开发项目管理中必须考虑的两大要素，准确估算出软件规模显得尤为重要。功能规模度量（FSM）方法是通过量化用户功能需求而得到软件功能规模的，在软件项目管理中得到了广泛的应用，能够有效地监控软件开发的进度，提高软件生产的效率。由于不同的FSM 方法都使用不同的抽象来描述一个软件系统，因此以软件系统的高层次抽象模型为背景，结合功能点分析方法，深入研究了一种软件系统的通用抽象数据模型，并把面向对象软件系统和该模型进行了映射。

摘要： 对群控电梯系统给出了抽象模型.基于抽象模型设计了电梯群控制系统模拟器.介绍了该模拟器的功能设计、结构安排、评价指标、调度算法、内部功能模块划分与接口,描述了PC上基于C#语言的原型实现结果,包括:数据结构、处理流程、可视化界面、仿真运行结果评价,最后给出了进一步研究方向.

摘要： 旅行商问题，简称为TSP问题，是困难的NP完全问题，在工程实践中具有广泛的应用.利用常规的计算方法求解这个问题，计算所需的时间是随着问题规模的增大以指数形式增加的，因而无法有效地解决此类问题.DNA计算是一种新兴的计算方式，粘贴系统模型是其中基于粘贴运算的一种DNA计算的抽象模型.通过将旅行商问题转化为求赋权图中权值最小的Hamilton圈，利用粘贴系统模型的巨大并行性，可以有效地求解旅行商问题.

摘要： 系统建模是嵌入式系统设计的关键步骤,它的好坏直接影响着设计质量和产品的上市时间.已有多种建模方案,但每种都有其局限性.本文在比较多种方案后,提出一种由5层模型组成的系统设计开发环境.它能够从需求分析开始,建立系统功能模块,验证,满足用户要求后映射到SystemC抽象模型上.利用Sys-temC的硬件描述特征和仿真库,通过增加细节,逐步细化模型并进行验证,最后达到软硬件的一体化设计和综合实现.

摘要： 在新条件下充分利用现有设备,尽力降低成本基础上,提出了针对智能变电站MMS、GOOSE、SV三网合一通信过载致命性故障的隔离抑制策略.采用简化拓扑,二层动态协议(IEC62439、私有环网、环路检测、STP/RSTP/MSTP、GMRP、IGMPSnooping),静态配置(vLAN、组播、三层路由、策略路由、ACL),过载监测,过载处理结合应用提高网络可靠性,分析了组合VLAN、三层交换、策略路由的隔离拓扑,策略路由支持核心交换机的负载分担,简化了保护测控装置的通信设计和配置.发明了通信设备创新性过载监测阻断解决方法,改变了传统抑制单一手段.分析了动态协议和静态配置在三合一网络中不足和优点,根据智能变电站等级和可靠性要求选用不同隔离策略.通信设备监测到过载时,先自恢复处理,通过硬接线告警,本地记日志,同时MMS发送网络告警信息到监控主机.若不能自恢复则进行过载隔离,切割降低过载影响范围,管理员及时干预处理.

摘要： 在新条件下充分利用现有设备,尽力降低成本基础上,提出了针对智能变电站MMS、GOOSE、SV三网合一通信过载致命性故障的隔离抑制策略.采用简化拓扑,二层动态协议(IEC62439、私有环网、环路检测、STP/RSTP/MSTP、GMRP、IGMPSnooping),静态配置(vLAN、组播、三层路由、策略路由、ACL),过载监测,过载处理结合应用提高网络可靠性,分析了组合VLAN、三层交换、策略路由的隔离拓扑,策略路由支持核心交换机的负载分担,简化了保护测控装置的通信设计和配置.发明了通信设备创新性过载监测阻断解决方法,改变了传统抑制单一手段.分析了动态协议和静态配置在三合一网络中不足和优点,根据智能变电站等级和可靠性要求选用不同隔离策略.通信设备监测到过载时,先自恢复处理,通过硬接线告警,本地记日志,同时MMS发送网络告警信息到监控主机.若不能自恢复则进行过载隔离,切割降低过载影响范围,管理员及时干预处理.

摘要： 在新条件下充分利用现有设备,尽力降低成本基础上,提出了针对智能变电站MMS、GOOSE、SV三网合一通信过载致命性故障的隔离抑制策略.采用简化拓扑,二层动态协议(IEC62439、私有环网、环路检测、STP/RSTP/MSTP、GMRP、IGMPSnooping),静态配置(vLAN、组播、三层路由、策略路由、ACL),过载监测,过载处理结合应用提高网络可靠性,分析了组合VLAN、三层交换、策略路由的隔离拓扑,策略路由支持核心交换机的负载分担,简化了保护测控装置的通信设计和配置.发明了通信设备创新性过载监测阻断解决方法,改变了传统抑制单一手段.分析了动态协议和静态配置在三合一网络中不足和优点,根据智能变电站等级和可靠性要求选用不同隔离策略.通信设备监测到过载时,先自恢复处理,通过硬接线告警,本地记日志,同时MMS发送网络告警信息到监控主机.若不能自恢复则进行过载隔离,切割降低过载影响范围,管理员及时干预处理.

摘要： 在新条件下充分利用现有设备,尽力降低成本基础上,提出了针对智能变电站MMS、GOOSE、SV三网合一通信过载致命性故障的隔离抑制策略.采用简化拓扑,二层动态协议(IEC62439、私有环网、环路检测、STP/RSTP/MSTP、GMRP、IGMPSnooping),静态配置(vLAN、组播、三层路由、策略路由、ACL),过载监测,过载处理结合应用提高网络可靠性,分析了组合VLAN、三层交换、策略路由的隔离拓扑,策略路由支持核心交换机的负载分担,简化了保护测控装置的通信设计和配置.发明了通信设备创新性过载监测阻断解决方法,改变了传统抑制单一手段.分析了动态协议和静态配置在三合一网络中不足和优点,根据智能变电站等级和可靠性要求选用不同隔离策略.通信设备监测到过载时,先自恢复处理,通过硬接线告警,本地记日志,同时MMS发送网络告警信息到监控主机.若不能自恢复则进行过载隔离,切割降低过载影响范围,管理员及时干预处理.

摘要： 本发明涉及用于验证电路的模型检测中的模型抽象方法和系统，所述电路由Verilog设计，所述方法包括：步骤1，读入所述电路的Verilog代码，依据检测需求处理所述Verilog代码中的变量，以规范并简化所述代码；步骤2，根据规范后的所述变量和该变量的赋值，提取所述电路的数据路径；步骤3，提取数据路径的数据运算，根据该数据运算抽象所述数据路径；步骤4，对抽象后的所述变量和该变量的赋值进行操作，生成状态机的状态集和边集。本发明能够在用户提供必要的信息后，自动对Verilog代码进行分析，从中提取数据路径。

摘要： 提供一种将ASN.1数据映射到对象模型的方法、程序和系统。本发明包括识别数据流的开始，并接着产生该数据的新对象名；然后分析数据以获得识别符和数据长度；接着分析数据的标签类型，如果标签类型是简单型，则为该数据产生一类图，并产生该数据的源代码，如果标签类型不是简单型，则在产生类图和源代码之前，调用子例程进一步分析该数据。

摘要： 本发明公开一种面向C程序顺序存储结构静态分析的抽象内存模型，对于经过预处理后的C程序，采用区间运算与指针分析技术分析C程序中指针访问顺序存储结构操作的过程，包括：A、对顺序存储结构进行适用于数据流分析的建模，描述顺序存储结构在内存中的抽象表示及指向顺序存储结构的指针变量的指向区域与偏移；B、定义通过指针访问顺序存储结构的迁移操作，提出安全范围判别保证操作安全性；C、定义通过指针访问顺序存储结构的谓词操作。本发明可实现对顺序存储结构上发生偏移的性质进行有效刻画，同时通过定义的迁移操作及谓词操作可准确描述指针访问顺序存储结构的过程，并保证操作的安全性。

摘要： 本发明属于图像识别技术领域，具体为一种模式分类模型由抽象到具体AtoC模型。AtoC模型依次包含多模块(MM)，MAX模块(MAX

摘要： 本发明涉及用于验证电路的模型检测中的模型抽象方法和系统，所述电路由Verilog设计，所述方法包括：步骤1，读入所述电路的Verilog代码，依据检测需求处理所述Verilog代码中的变量，以规范并简化所述代码；步骤2，根据规范后的所述变量和该变量的赋值，提取所述电路的数据路径；步骤3，提取数据路径的数据运算，根据该数据运算抽象所述数据路径；步骤4，对抽象后的所述变量和该变量的赋值进行操作，生成状态机的状态集和边集。本发明能够在用户提供必要的信息后，自动对Verilog代码进行分析，从中提取数据路径。

摘要： 提供一种将ASN.1数据映射到对象模型的方法、程序和系统。本发明包括识别数据流的开始,并接着产生该数据的新对象名;然后分析数据以获得识别符和数据长度;接着分析数据的标签类型,如果标签类型是简单型,则为该数据产生一类图,并产生该数据的源代码,如果标签类型不是简单型,则在产生类图和源代码之前,调用子例程进一步分析该数据。

摘要： 基于异构工业数据采集协议的通用模型抽象系统及方法，系统包括工业物联网平台、工业网关、PLC和工业设备；工业物联网平台包括设备物模型模块、工业通讯协议模型模块、物模型与通讯协议映射模块以及数采配置发布模块；设备物模型模块用于配置基于工业设备的设备物模型，获取工业设备的物模型实例；工业通讯协议模型模块用于配置工业通讯协议模型，获取工业设备的通讯协议参数；物模型与通讯协议映射模块用于建立从物模型实例到通讯协议参数的动态映射，即获得数采配置；数采配置发布模块用于发布数采配置至边缘端的工业网关；工业网关用于数采配置的自动接收，基于数采配置进行相关设备工业数据采集。

摘要： 本发明属于神经网络领域，具体涉及一种具有抽象资源约束的脉冲神经网络模型构建方法和装置，该方法包括：步骤一：基于面向对象编程模型，构建脉冲神经网络模型，同时约束模型的抽象资源信息；步骤二：对构建完成的脉冲神经网络模型进行训练和检查，并根据检查结果进行调整，以得到满足抽象资源约束的模型；步骤三：标准化各个模型开发工具间的输入和输出，并根据标准化的模型开发工具，将所述满足抽象资源约束的模型转换生成在神经拟态计算平台上可运行的模型。本发明降低了各个工具之间的耦合和替换成本，提升了工具开发效率，模型构建过程中嵌入抽象资源约束信息，有效降低模型开发成本。

摘要： 本发明涉及模型检测中的模型抽象方法及系统，方法包括：步骤1，输入原始模型和指导属性；步骤2，为指导属性的每个节点求解其在原始模型中的超语义，根据超语义为指导属性的每个非叶子节点求解对应的基本序列；步骤3，对原始模型的状态空间建立划分；步骤4，应用指导属性、每个节点的超语义和每个非叶子节点的基本序列分割划分；步骤5，为指导属性的每个节点建立对应的证明模型，应用证明模型进一步分割步骤4分割后的划分；步骤6，由进一步分割后的划分生成原始模型对应的抽象模型。本发明能够在只提供指导属性的前提下，根据该指导属性自动地完成细化工作，同时使细划后的划分能够保留与指导属性相关的信息。

摘要： 本发明公开了一种基于结构参数抽象模型的船舶结构校核方法及系统，其首先建立船舶分层的参数模型架构，实现船舶参数化和参数共享化；其次，采用自定义特征将参数封装以表达具体结构，基于XML动态配置解耦结构与规范，将参数模型予以抽象，以在确保计算精准度的前提下，能够实现对各类内河船型及规范的完全兼容与组合校验，降低了使用人员的技术要求，提高了设计、审图工作质量和效率。