期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
基于Ptolemy的嵌入式计算系统级建模与仿真 被引量:4
1
作者 凌纯清 徐成 +1 位作者 李仁发 张丽 《系统仿真学报》 CAS CSCD 2004年第5期1102-1104,共3页
嵌入式系统通常由具有不同特性的子系统组成,它的异构性给设计与仿真工具提出了很高的要求。本文探讨了目前建模仿真平台的不足,介绍了Ptolemy如何运用层次异构设计思想解决嵌入式系统的异构问题,以及该设计原理在其第二代建模仿真平台P... 嵌入式系统通常由具有不同特性的子系统组成,它的异构性给设计与仿真工具提出了很高的要求。本文探讨了目前建模仿真平台的不足,介绍了Ptolemy如何运用层次异构设计思想解决嵌入式系统的异构问题,以及该设计原理在其第二代建模仿真平台PtolemyII中的实现方法。并基于PtolemyII对一复杂控制系统进行了建模与仿真。 展开更多
关键词 嵌入式系统 ptolemy ptolemy 层次异构
下载PDF
基于Ptolemy的信息物理融合系统建模与仿真 被引量:8
2
作者 徐洪智 李仁发 曾理宁 《系统仿真学报》 CAS CSCD 北大核心 2014年第8期1633-1638,共6页
介绍了典型的信息物理融合系统(cyber-physical system,CPS)结构,该类系统将物理过程、嵌入式计算、网络融合于一体,具有异构、并发、状态随时间演化等特性,这些特性对系统的设计提出了很高的要求。基于模型的方法是设计CPS系统的有效途... 介绍了典型的信息物理融合系统(cyber-physical system,CPS)结构,该类系统将物理过程、嵌入式计算、网络融合于一体,具有异构、并发、状态随时间演化等特性,这些特性对系统的设计提出了很高的要求。基于模型的方法是设计CPS系统的有效途径,给出了CPS系统的典型结构,对单自由度系统的有阻尼自由振动、自动挡汽车换挡以及交通路口红绿灯控制3个系统的模型问题进行了分析,指出CPS中的连续动态行为可用基于时间的微分方程来建模,混合系统行为可用模态模式进行建模,对于一些状态比较复杂的系统则可通过对状态机的组合进行建模。在此基础上应用Ptolemy对以上3个系统进行了建模并给出了仿真结果,为CPS系统设计提供了基础。 展开更多
关键词 信息物理融合系统 ptolemy 建模 仿真
下载PDF
基于Ptolemy Ⅱ的无线传感器网络自适应通信体系结构 被引量:1
3
作者 郭剑峰 陈潇君 +1 位作者 柯佳 陈祖爵 《计算机应用》 CSCD 北大核心 2011年第4期910-914,共5页
针对现有的异构无线传感器网络(WSN)体系结构中,不同的数据链路层缺乏通用架构的问题,提出在网络体系中增加"属性装配层"的概念。采用PtolemyⅡ建模仿真平台,将属性装备层与数据链路层分别建模,首先采用属性装备层中的属性工... 针对现有的异构无线传感器网络(WSN)体系结构中,不同的数据链路层缺乏通用架构的问题,提出在网络体系中增加"属性装配层"的概念。采用PtolemyⅡ建模仿真平台,将属性装备层与数据链路层分别建模,首先采用属性装备层中的属性工厂模块分类各种通信协议原型,封装上层应用程序;然后采用装配工厂模块生产数据包头,分发于不同的网络;最后形成自适应的无线传感器网络体系。该体系融合了异构网络数据链路层,兼容了现有的平台、通信协议和网络机制,适用于未来的通信协议和机制。实验结果证明,基于该体系的通信系统内存占用和时间开销相对较小,具有自适应能力。 展开更多
关键词 无线传感器网络 网络体系结构 ptolemy 自适应
下载PDF
基于Ptolemy Ⅱ的面向角色工作流建模方法研究 被引量:1
4
作者 赵欢 黄兴君 《科学技术与工程》 2007年第13期3136-3139,共4页
面向角色的建模方法不同于面向对象的方法,角色之间通过端口和参数直接进行通信,是一种真正的基于组件的设计方法。同时,它层次化的设计思想也对大型建模活动有着重要的指导意义。针对工作流的三维模型,探讨使用面向角色的思想来进行工... 面向角色的建模方法不同于面向对象的方法,角色之间通过端口和参数直接进行通信,是一种真正的基于组件的设计方法。同时,它层次化的设计思想也对大型建模活动有着重要的指导意义。针对工作流的三维模型,探讨使用面向角色的思想来进行工作流建模,并使用面向角色的建模设计工具Ptolemy II搭建工作流建模平台。 展开更多
关键词 面向角色 工作流 工作流建模 ptolemy
下载PDF
三弦定理和Ptolemy定理等价 被引量:2
5
作者 李海龙 《鞍山师范学院学报》 2000年第3期3-5,共3页
利用正弦定理极为简单地证明三弦定理和Ptolemy定理等价 ,为完整起见 。
关键词 三弦定理 正弦定律 中学 数学 ptolemy定理
下载PDF
基于Ptolemy Ⅱ的传感器网络建模与仿真
6
作者 张西红 张文学 +2 位作者 殷承浩 高彦彦 陈平 《军械工程学院学报》 2009年第1期56-59,共4页
提出了一种基于传感器网络的目标定位系统的模型,利用PtolemyⅡ建模仿真平台完成该传感器网络目标定位系统的系统级行为描述,同时对该目标定位系统进行建模与仿真,分析了传感器网络目标定位系统的诸多影响因素,并对仿真模型进行了... 提出了一种基于传感器网络的目标定位系统的模型,利用PtolemyⅡ建模仿真平台完成该传感器网络目标定位系统的系统级行为描述,同时对该目标定位系统进行建模与仿真,分析了传感器网络目标定位系统的诸多影响因素,并对仿真模型进行了命中率性能测试。测试结果表明,传感器网络目标定位系统对于传感器节点的功耗及信息时间同步窗口具有敏感性,符合传感器网络目标定位系统应用特性,Ptolemy嵌入式系统级设计方法学对指导传感器网络系统设计具有重要意义。 展开更多
关键词 传感网络仿真 ptolemy 定位
下载PDF
系统仿真软件Ptolemy的Jython调用
7
作者 李保源 《福建电脑》 2006年第9期184-184,186,共2页
本文简单介绍了嵌入式系统仿真软件Ptolemy II及其常用java类,说明了Jython调用Ptolemy II的java类的实现方法,并具体给出了一个调用实例。
关键词 Jython ptolemy 系统仿真
下载PDF
基于Ptolemy II嵌入式防火墙系统级设计与仿真研究
8
作者 郭媛妮 李仁发 +2 位作者 黄丹 欧阳辉 任小西 《系统仿真学报》 CAS CSCD 2004年第6期1361-1363,共3页
传统的防火墙难以抵御网络内部用户的攻击,而分布式防火墙又过分依赖于主机的操作系统,嵌入式防火墙研究已成为当前防火墙研究主流。本文提出了一种嵌入式防火墙的体系结构,介绍了嵌入式系统级建模仿真平台Ptolemy II,在该仿真平台上进... 传统的防火墙难以抵御网络内部用户的攻击,而分布式防火墙又过分依赖于主机的操作系统,嵌入式防火墙研究已成为当前防火墙研究主流。本文提出了一种嵌入式防火墙的体系结构,介绍了嵌入式系统级建模仿真平台Ptolemy II,在该仿真平台上进行了嵌入式防火墙的建模,并对系统模型中的RTOS实时调度和包过滤算法等主要部分进行了仿真和分析。 展开更多
关键词 嵌入式防火墙 ptolemy 系统级设计 仿真
下载PDF
Ptolemy离散事件模型形式化验证方法
9
作者 陆芝浩 王瑞 +2 位作者 孔辉 关永 施智平 《软件学报》 EI CSCD 北大核心 2021年第6期1830-1848,共19页
Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不... Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不同事件的时间戳触发组件,时间自动机模型能够表达这个特征,因此选用Uppaal作为验证工具.首先定义了离散事件模型的形式语义;其次设计了一组从离散事件模型到时间自动机的映射规则;然后在Ptolemy环境中实现了一个插件,可以自动将离散事件模型转换为时间自动机模型,并通过调用Uppaal验证内核完成验证;最后,以一个交通信号灯控制系统为例进行了成功的转换和验证,实验结果证实了该方法能够验证Ptolemy离散事件模型的正确性. 展开更多
关键词 形式化验证 ptolemy离散事件模型 模型自动转换 时间自动机
下载PDF
漫谈Ptolemy定理
10
作者 李辰旭 《中等数学》 2002年第2期11-15,共5页
掌握一个定理就是要理解并吸收其思想 ,而且能够将其加以应用 .本文笔者想谈谈Ptolemy定理的内涵与外延 .Ptolemy定理是这样叙述的 :四边形ABCD内接于一圆 ,那么 ,AB·CD +BC·AD =AC·BD .Ptolemy定理的历史 ,可追溯到公... 掌握一个定理就是要理解并吸收其思想 ,而且能够将其加以应用 .本文笔者想谈谈Ptolemy定理的内涵与外延 .Ptolemy定理是这样叙述的 :四边形ABCD内接于一圆 ,那么 ,AB·CD +BC·AD =AC·BD .Ptolemy定理的历史 ,可追溯到公元 2世纪 。 展开更多
关键词 数学 平面几何 证明 应用 ptolemy定理
下载PDF
Ptolemy定理及其推广
11
作者 徐五光 《杭州师范学院学报》 1986年第S2期55-61,共7页
本文结合中学几何教材,综述了关于Ptolemy定理的小史、证明和推广等问题,并给出了《关于Ptolemy定理的推广》一文中所提出的广义Ptolemy定理的一个浅显证明与推广,文后配有练习,可供中学数学教师课内外教学参考。
关键词 ptolemy定理 凸四边形 外接圆半径 四点共圆 对角线 内接 不等式 反演变换 赋范线性空间 已知圆
下载PDF
托勒密(Ptolemy)定理与尤拉(Euler)定理的统一
12
作者 乐嗣康 《中学教研(数学版)》 1981年第1期2-5,共4页
关键词 托勒密 EULER ptolemy 凸四边形 外接圆半径 凸六边形 石召 连乘积 展开式 西厂
下载PDF
Ptolemy定理的演变与推导
13
《钦州师专钦州教院学报》 1995年第1期33-38,共6页
本文介绍Ptolemy定理、逆定理及其推论,并把该定理从圆内接四边形推演到任意圆内接多边形;从圆内接正三角形、正方形……以至推演到圆内接正多边形的一些性质命题。这样定理运用就更广泛。更能认识定理的优越性。
关键词 ptolemy定理 内接四边形 多边形 内接正多边形
下载PDF
Ptolemy定理的应用
14
作者 李伟年 《滨州学院学报》 1994年第4期42-43,共2页
本文着重探讨初等几何中著名的Ptolemy定理在几何及代数问题中的应用。
关键词 ptolemy定理
下载PDF
圆锥曲线的Ptolemy定理 被引量:1
15
作者 徐道 《数学通报》 北大核心 2014年第5期60-61,共2页
“圆内接四边形两对角线的乘积等于两组对边乘积之和.”此结论就是著名的Ptolemy定理.众所周知,圆是圆锥曲线的一种特殊情形.圆有Ptolemy定理,那圆锥曲线是否也有与Ptolemy定理类似的结论呢?答案是:有!
关键词 ptolemy定理 圆锥曲线 圆内接四边形 对角线 乘积 类似
原文传递
绝对正规范数空间上Ptolemy常数的计算
16
作者 左占飞 《数学学报(中文版)》 SCIE CSCD 北大核心 2015年第2期337-344,共8页
本文在二维绝对正规范数空间上给出了计算Ptolemy常数的一些新条件,得到的结论不仅包含了先前的一些结果,而且在一些具体的空间上给出了Ptolemy常数的新结果.
关键词 ptolemy常数 绝对正规范数 Zbaganu常数 von Neumann-Jordan常数
原文传递
Banach空间上Ptolemy常数的计算
17
作者 左占飞 《数学学报(中文版)》 CSCD 北大核心 2018年第6期991-996,共6页
利用绝对正规范数生成凸函数的关系,给出了加权平均范数空间上Ptolemy常数的取值,解决了一些文献的遗留问题,并在一些具体的空间上给出了Ptolemy常数的新结果.
关键词 ptolemy常数 绝对正规范数 凸函数
原文传递
The Size of the Ecumene of the Mediterranean in Ancient Times 被引量:1
18
作者 Aleksandar Valjarević 《Journal of Geographical Research》 2020年第4期1-7,共7页
For the purpose of this manuscript,we used the old maps of Europe and of the ecumene,as it was known at the time,in order to establish the ecumene properties,as well as the size of the Mediterranean in the time of Pto... For the purpose of this manuscript,we used the old maps of Europe and of the ecumene,as it was known at the time,in order to establish the ecumene properties,as well as the size of the Mediterranean in the time of Ptolemy.We obtained the coordinates(geographic longitude and latitude)from Ptolemy’s map of ecumene of ancient Mediterranean settlements.According to the historical data the coordinates of the Mediterranean ecumene were studied in the 7th century,since the Mediterranean was the centre connecting the civilizations of Europe,Asia and Africa.Although longitudinal and latitudinal errors are large,these coordinates are of great importance for the studies of the past settlements.Today,these settlements are the symbol of civilisation and of human existence.Using the data from 501 settlements overall,we obtained two principal maps of the Mediterranean ecumene with the average density of settlements on the area of 2000 km2.All Ptolemy’s maps,which were used,were of great significance from the scientific point of view,since they made the description of 2000 years old civilization possible.Historically,part of these civilizations,and those formed afterwards,belonged to the Mediterranean. 展开更多
关键词 ptolemy’s ecumene map Density of settlements COORDINATES The Mediterranean ptolemy Modern and ptolemy’s coordinates
下载PDF
基于CPS的风电瓦斯闭锁系统建模仿真 被引量:5
19
作者 王志斌 孙彦景 +1 位作者 刘卫东 于满 《煤炭科学技术》 CAS 北大核心 2012年第9期80-84,共5页
为解决现有煤矿安全监控系统对基于CAN总线、RS485等不同总线协议的矿用分站节点的调度问题,提出将信息物理系统(CPS)技术引入煤矿井下,建立能够兼容工业以太网、各种现场总线分站和设备仪器的分布式混合系统模型,构建有效消除安全隐患... 为解决现有煤矿安全监控系统对基于CAN总线、RS485等不同总线协议的矿用分站节点的调度问题,提出将信息物理系统(CPS)技术引入煤矿井下,建立能够兼容工业以太网、各种现场总线分站和设备仪器的分布式混合系统模型,构建有效消除安全隐患的风电瓦斯闭锁系统。阐述了基于CPS的风电瓦斯闭锁系统的总体结构和功能设计,分析了基于时间并发性建模的方法,并使用PtolemyⅡ混合系统并发模型设计工具实现系统建模。最后,针对瓦斯喷出和瓦斯突出2种情况,使用MATLAB工具对系统性能进行仿真分析。结果表明,该模型能够应对瓦斯涌出突发事件,通过触发通风机控制系统,将矿井瓦斯浓度快速有效地调节在安全范畴。 展开更多
关键词 信息物理系统 风电瓦斯闭锁 ptolemy 物联网 通风机
下载PDF
基于信息物理融合系统的采煤机煤岩识别系统建模与仿真 被引量:2
20
作者 赵丽娟 司欢欢 +2 位作者 施磊 金鑫 张美晨 《机械强度》 CAS CSCD 北大核心 2022年第6期1402-1410,共9页
为解决煤矿综采工作面采煤机煤岩界面智能识别的问题,提出了一种基于信息物理融合系统(Cyber Physical Systems,CPS)的采煤机煤岩识别系统结构。并针对该系统进行了混合系统仿真设计,构建了基于Ptolemy II的无线传感网系统模型,完成了... 为解决煤矿综采工作面采煤机煤岩界面智能识别的问题,提出了一种基于信息物理融合系统(Cyber Physical Systems,CPS)的采煤机煤岩识别系统结构。并针对该系统进行了混合系统仿真设计,构建了基于Ptolemy II的无线传感网系统模型,完成了无线传感器节点的设计与建模。并对系统进行整体仿真,从物理样机系统中提取实验数据,基于小波包特征提取及PSO-BP神经网络算法构建了信息处理系统模型,通过Ptolemy II与Matlab联合仿真,验证了基于CPS的煤岩识别系统的可靠性。仿真结果表明:系统联合仿真的平均误差值比单一方法仿真得到的结果偏大,最大误差为0.027924,误差仍在许可范围内。通过混合系统仿真得到的结果更加真实反映了采煤机煤岩识别过程,预测精度较高,研究为CPS混合系统建模与仿真提供一定贡献。 展开更多
关键词 煤岩识别 ptolemy 系统仿真 CPS 采煤机
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部