付佩
- 作品数：6 被引量：2H指数：1
- 供职机构：中国航空无线电电子研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种计算AFDX网络中数据积压的方法
- 本发明公开了一种计算AFDX网络中数据积压的方法，包含以下步骤：步骤一、将AFDX网络按照优先级分为不同的子网，针对各子网独立进行网络分析，计算出各虚拟链路的到达曲线和服务曲线。步骤二、计算出在每一个交换机内部由于排队造...
- 盛春玲罗海付佩缪万胜谷青范
- 文献传递
- 基于UML的可执行模型实现机制研究被引量：2
- 2013年
- 模型驱动开发(MDD)是由OMG提出的通用软件开发标准,旨在解决软件开发过程中遇到的需求多变以及重复开发等问题。模型驱动开发一般使用UML作为建模语言,然而UML是一种符号化语言系统,其语义采用自然语言描述,是半形式化语言,无法精确和严格描述模型行为从而实现模型的验证。为了解决这个问题,提出一种UML模型验证的方法,其核心是xUML的状态图,xUML是UML的增强子集,拥有精确的语义。并在分析Rhapsody可执行框架OXF的基础上,设计并实现了一个模型可执行框架。最后通过一个模型执行的例子验证了该框架的可用性。
- 付佩谷青范
- 关键词：状态图
- 一种基于DDS规范的分布式通信中间件开发方法
- 本发明公开了一种基于DDS规范的分布式通信中间件开发方法,包含以下步骤：1)定义系统中要传输的数据结构类型，所述数据结构用于梳理各子系统之间的数据交互内容；2)创建主题，所述主题用于定义不同子系统关注的主题信息，并和数据...
- 李虎王公峰付佩
- 文献传递
- 一种计算AFDX网络中数据积压的方法
- 本发明公开了一种计算AFDX网络中数据积压的方法，包含以下步骤：步骤一、将AFDX网络按照优先级分为不同的子网，针对各子网独立进行网络分析，计算出各虚拟链路的到达曲线和服务曲线。步骤二、计算出在每一个交换机内部由于排队造...
- 盛春玲罗海付佩缪万胜谷青范
- 文献传递
- 基于网络演算的航空全双工交换式以太网网络分析技术
- 盛春玲罗海付佩缪万胜赵敏超魏英波王念伟
- 航电系统的确定性表示系统的状态是可以预测的，即知道系统的当前状态和变迁准则就可以预计系统的行为。确定性总是跟安全性分析相关的。为了飞机的安全，确定性的要求适用于飞机的各个系统级别。对于数据通信系统，数据通信必须要求保证确...
- 关键词：
- 关键词：以太网交换机
- 基于SysML的模型驱动设计工具的研究与实现
- 当前系统开发的复杂性、易变性以及多样性已经成为影响系统交付的首要难题。针对这些问题，国际对象管理组织(Object Model Group)提出了模型驱动开发框架(Model DrivenArchitecture)。它的...
- 付佩
- 关键词：软件开发
