云南高校图书馆联盟文献共享服务平台- PTOLEMY

PTOLEMY: 作品数：35被引量：49H指数：4; 导出分析报告; 相关领域：自动化与计算机技术文化科学更多>>; 相关作者：李仁发关永王瑞施智平凌纯清更多>>; 相关机构：湖南大学昆明理工大学首都师范大学中国科学院更多>>; 相关期刊：《计算技术与自动化》《科学技术与工程》《军械工程学院学报》《机械强度》更多>>; 相关基金：国家自然科学基金国家科技重大专项国家高技术研究发展计划国家高技术产业发展项目计划更多>>

基于信息物理融合系统的采煤机煤岩识别系统建模与仿真被引量：2: 《机械强度》2022年第6期1402-1410,共9页赵丽娟司欢欢施磊金鑫张美晨; 国家自然科学基金项目(51674134);教育部科技发展中心教育技术研究基金(2018A04025)资助。; 为解决煤矿综采工作面采煤机煤岩界面智能识别的问题,提出了一种基于信息物理融合系统(Cyber Physical Systems,CPS)的采煤机煤岩识别系统结构。并针对该系统进行了混合系统仿真设计,构建了基于Ptolemy II的无线传感网系统模型,完成了...; 关键词：煤岩识别 PtolemyⅡ 系统仿真 CPS 采煤机

Decision Tree Based Key Management for Secure Group Communication被引量：1: 《Computer Systems Science & Engineering》2022年第8期561-575,共15页P.Parthasarathi S.Shankar; Group communication is widely used by most of the emerging network applications like telecommunication,video conferencing,simulation applications,distributed and other interactive systems.Secured group communication p...; 关键词：Key generation adaptive Ptolemy decision tree cost reduction secure group communication

Ptolemy离散事件模型形式化验证方法: 《软件学报》2021年第6期1830-1848,共19页陆芝浩王瑞孔辉关永施智平; 国家自然科学基金(61877040,61876111);首都师范大学交叉研究院项目(19530012005)。; Ptolemy是一个广泛应用于信息物理融合系统的建模和仿真工具包,主要通过仿真的方式保证所建模型的正确性.形式化方法是保证系统正确性的重要方法之一.提出了一种基于形式模型转换的方法来验证离散事件模型的正确性.离散事件模型根据不...; 关键词：形式化验证 Ptolemy离散事件模型模型自动转换时间自动机

The Size of the Ecumene of the Mediterranean in Ancient Times被引量：1: 《Journal of Geographical Research》2020年第4期1-7,共7页Aleksandar Valjarević; The authors are very grateful to the Serbian National Library for providing data,as well as to the Serbian Ministry of Education and Science that supported this work within the project No.III 044006.; 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...; 关键词：Ptolemy’s ecumene map Density of settlements COORDINATES The Mediterranean PTOLEMY Modern and Ptolemy’s coordinates

Banach空间上Ptolemy常数的计算: 《数学学报（中文版）》2018年第6期991-996,共6页左占飞; 2018年度重庆市教委科学技术研究计划项目;重庆市高校市级重点实验室资助项目([2017]3);重庆市科技新星培育工程(KJXX2017012);重庆三峡学院重大培育项目(16PY11);重庆三峡学院非线性科学与系统结构重点实验室面上项目; 利用绝对正规范数生成凸函数的关系,给出了加权平均范数空间上Ptolemy常数的取值,解决了一些文献的遗留问题,并在一些具体的空间上给出了Ptolemy常数的新结果.; 关键词：Ptolemy常数绝对正规范数凸函数

希捷宣布Collective Health荣获2018年Ptolemy数据科学奖: 《数码影像时代》2018年第10期9-9,共1页; 中国,北京,2018年10月8日——全球领先的存储解决方案提供商希捷科技公司(NASDAQ:STX)日前宣布Collective Health斩获本年度托勒密(Ptolemy)数据科学奖,以表彰其在健康服务方面所做出的贡献——利用数据帮助雇主掌握健康状况并最终提升...; 关键词：希捷科技公司科学奖存储解决方案健康状况提供商托勒密

On the Asymptotically PT-1 Spaces: 《Acta Mathematica Sinica,English Series》2017年第10期1421-1430,共10页Xin LUO Ying Qing XIAO Yue Ping JIANG; supported by National Natural Science Foundation of China(Grant Nos.11301165,11371126 and 11571099); In this note, first, we show that the asymptotic subcone, the ultralimit, the completion of an asymptotically PT-1 space are still an asymptotically PT-1 space. Secondly, we consider two kinds of metric spaces, which ...; 关键词：Gromov hyperbolic space asymptotically PT-i space Ptolemy space asymptotic sub-cone

基于Ptolemy的自适应巡航系统建模与仿真被引量：3: 《计算机工程》2015年第6期28-32,共5页徐洪智李仁发曾理宁; 国家自然科学基金资助项目(60873047;61173036);"核高基"重大专项(2009ZX01038-001); 信息物理融合系统(CPS)是计算、通信与控制技术的融合,汽车自适应巡航控制系统是一种典型的CPS,具有广泛的应用前景。通过建立汽车纵向行驶的数学模型,并基于CPS给出自适应巡航控制系统的结构,设计系统的状态机模型。基于Ptolemy分别设...; 关键词：信息物理融合系统自适应巡航控制系统建模层次模型模态模式

绝对正规范数空间上Ptolemy常数的计算: 《数学学报（中文版）》2015年第2期337-344,共8页左占飞; 重庆市基础与前沿研究计划项目(cstc2014jcyjA00022);重庆三峡学院科学研究项目(14ZD09); 本文在二维绝对正规范数空间上给出了计算Ptolemy常数的一些新条件,得到的结论不仅包含了先前的一些结果,而且在一些具体的空间上给出了Ptolemy常数的新结果.; 关键词：Ptolemy常数绝对正规范数 Zbaganu常数 von Neumann-Jordan常数

与广义Ptolemy定理媲美的四边形新命题: 《数学通讯（学生阅读）》2014年第11期117-117,共1页牛超凡唐钰; 暑假期间,我全面温习了高一学年的功课,在研读普高数学教科书（人教A版,必修4）第二章＂平面向量＂时,其中一个例题使我兴趣盎然,浮想联翩.题目大意是,用向量方法证明：平行四边形两条对角线的平方和等于两条邻边平方和的2倍（即四边的...; 关键词：PTOLEMY 平面向量普高邻边当且仅当育英三式证法指导教师浅显易懂

PTOLEMY