虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

自动机模型

  • 静态时序分析基本原理和时序分析模型

    01_静态时序分析基本原理和时序分析模型

    标签: 静态时序分析 时序分析 模型

    上传时间: 2013-11-17

    上传用户:evil

  • 一个用于载荷地面测试的航天器仿真模型

    针对特定的载荷物理样机地面测试验证及任务全过程演示的硬件在回路仿真背景,基于RT-LAB仿真平台,搭建了半实物仿真测试系统,其中航天器平台的仿真模型使用Simulink/Stateflow搭建,采用层次化、模块化设计,包含自主运行管理、GNC、电源、热控、推进、地面站等分系统,使用Stateflow实现载荷工作的流程控制,本文详细描述了各分系统的功能、实现,对关键分系统的功能做了验证。表明RT-LAB与Simulink/Stateflow结合可方便快捷地构建各种仿真环境,满足任务要求,而其模块化的特点使模型便于后续的维护、重用与扩展。

    标签: 载荷地面测试 航天器 仿真模型

    上传时间: 2013-11-19

    上传用户:ly1994

  • 基于多目标规划的矿车调度优化模型

    钢铁工业是国家工业的基础之一,铁矿是钢铁工业的主要原料基地。矿产地矿车的运输组织效率与钢产量有着十分紧密的联系。因此高效率的矿车运输调度组织是提高露天矿产量,增加其经济效益的重要途径。本文结合矿区生产的实际问题,通过利用优化理论中的多目标优化思想提出了一种矿车运输调度组织的优化模型。与传统的基于贪心准则的优化方法相比,本方法具有精度高、求解效率高和易于在实际中应用的优点,有很高的实践应用价值。

    标签: 多目标 优化模型 矿车调度

    上传时间: 2013-10-09

    上传用户:18752787361

  • 基于角色访问控制的单点登录模型研究与设计

    为了解决复杂Web服务中用户认证与权限管理的问题,对单点登录技术的进行了研究。在此基础上,根据单点登录技术的特点结合基于角色的控制访问提出了基于角色访问控制的单点登录与授权模型的实现方法。该方法能够提供认证与权限管理的功能,实现简单,具有较高实用价值。

    标签: 访问控制 单点登录 模型研究

    上传时间: 2013-10-13

    上传用户:weixiao99

  • 基于IEC61850标准的ACSI服务模型研究

    为了适应变电站自动化功能的需求,采用IEC6185O标准,使用抽象通信服务接口ACSI和特殊通信服务映射SCSM技术建立了ACSI的服务模型。所建立的ACSI服务模型基本覆盖变电站自动化系统的功能需要,。能提供对模型中的数据进行读写、取代、报告、记录等服务,实现了应用和通信的分离。

    标签: 61850 ACSI IEC 标准

    上传时间: 2013-11-25

    上传用户:牛津鞋

  • 基于关系模型的语义网络知识表示研究

    关系数据库理论基础坚实、技术成熟、产品丰富,多年来一直是存储和处理大数据量的研究和应用首选。如何在关系数据库强大的存储和处理能力基础上建立知识库,一直是知识工程和智能系统研究与应用人员重点研究的内容,也是知识管理走向应用的技术瓶颈。文中提出了语义网络的关系模型,并用实例论述了语义网络知识的关系数据表的存储。

    标签: 关系模型 网络知识

    上传时间: 2013-11-02

    上传用户:neu_liyan

  • 企业资产管理系统中通信模型的研究与实现

        为了改善企业资产管理(EAM)系统在用户体验、模块间数据传输效率及耦合度等方面的不足,构建了基于Silverlight与WCF技术研究与实现EAM系统中的通信模型。利用Silverlight构建客户端提升了用户体验;使用WCF服务封装业务逻辑。客户端Silverlight应用程序通过代理调用WCF服务,提高了数据传输效率,降低了系统模块间的耦合性。

    标签: 管理系统 通信模型

    上传时间: 2013-10-26

    上传用户:吾学吾舞

  • 一种面向云计算环境的安全管理模型

    在云计算中,对大规模的资源提供一种安全有效的访问是其一个很重要的组成部分。在传统的分布式访问控制模型中,服务请求者将主体属性或能力等披露给提供资源者,访问控制决策完全取决于以资源请求者能力和安全策略为输入的一致性证明。但是,这些主体属性与能力等通常携带了大量信息,势必给云环境中的互操作带来许多安全隐患和风险。针对云环境的特点,提出一种针对云环境资源的安全模型,采用一种基于属性的访问控制技术来解决云计算环境下复杂和困难的安全问题,并且提出了一个安全管理模型来动态的决定对资源的访问控制,通过对资源属性的动态改变来达到对资源的安全访问的目的。

    标签: 云计算 环境 安全管理 模型

    上传时间: 2014-12-29

    上传用户:kbnswdifs

  • 基于仿生原理的架空输电线路巡线机器人越障模型

    针对目前架空输电线路巡线机器人连续巡线能力低、对大型障碍物越障适应能力弱的问题,提出基于仿生学原理的巡线机器人越障模型。设计两吊臂式巡线机器人,建立机器人的动力学模型,通过调整机器人两个手臂的相对角度和轮爪与障碍物的相对位置,求解模型的周期跨越动作,通过连续的两次摆动,完成了巡线机器人在输电线路上的越障过程。结果表明,当θ1为2.41(rad)时,巡线机器人以静止状态开始摆动,完成了周期的越障的运动过程。文中为巡线机器人的越障问题提供了新的思路和设计方法。

    标签: 仿生 架空输电 巡线机器人 线路

    上传时间: 2013-10-11

    上传用户:zhuyibin

  • Linux设备驱动模型摘抄

    Linux2.6 内核提供了新的设备模型,目的是为了对计算机上的所有设备进行统一地表示和操作,包括设备本身和设备之间的连接关系。这个模型是在 分析了 PCI 和 USB 的总线驱动过程中得到的,这两个总线类型能代表当前系统中的大多数设备类型,它们都有完善的热挺拔机制和电源管理的支持,也都有级连机制的支持,以桥接的 PCI/USB 总线控制器的方式可以支持更多的 PCI/USB 设备。

    标签: Linux 设备驱动 模型

    上传时间: 2014-12-30

    上传用户:manga135