分享 swMATH ID: 3100 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 描述： SHARPE是一种用于指定和分析性能、可靠性和可执行性模型的工具。它已在250多个站点安装。它是一个工具包，为性能、可靠性和可执行性建模的大多数常用模型类型提供了规范语言和解决方案方法。模型类型包括组合模型（如故障树和排队网络）和状态空间模型（如马尔可夫和半马尔可夫奖励模型）以及随机Petri网。可以计算稳态、瞬态和间隔测量。模型的输出度量可以用作其他模型的参数。这有助于不同模型类型的分层组合。 主页： http://sharpe.pratt.duke.edu/ 关键词： 可靠性工程;绩效评估;通信系统 相关软件： 莫比乌斯;智能_;SPNP公司;A至M3;TimeNET（时间网）;棱镜;CADP公司;溅水-2;数学软件;水肺;SPNica公司;SPSS软件;ADEPTS公司;穆瓦尔;nuXmv（数字）;数学SAT5;UCLID公司;CUDD公司;MRMC公司;自旋蛋白 引用于： 36出版物 全部的 前5名78位作者引用 11 特里维迪（Trivedi），基索尔·施里达尔巴伊（Kishor Shridharbbai） 2 陈英瑞 2 萨尔瓦多Distefano 2 卡特琳娜·戈塞瓦·波斯托亚诺娃 2 万达纳·古普塔 2 罗宾·萨纳 1 瓦尔沙阿普特 1 法哈德·阿尔巴 1 维斯瓦纳坦省阿鲁纳恰拉姆 1 杰·巴尔 1 彼得·巴赞 1 冈特·博尔赫 1 马可·波扎诺 1 陈宗民 1 亚历山德罗·西马蒂 1 赫尔曼·德·梅尔 1 库尔特·德巴蒂斯塔 1 塞尔瓦穆图·达马拉贾 1 德语，莱因哈德 1 Giannoutakis，Konstantinos M。 1 Swapna S.Gokhale。 1 安·戈登·罗斯 1 George A.Gravvanis。 1 斯特凡·格雷纳 1 迈克尔·格罗特克 1 顾保山 1 郭慧 1 斯特凡·哈勒斯特德 1 赫里斯托夫·希雷尔 1 侯赛因、法鲁克·卡迪尔 1 金东成（Kim，Dong Seong） 1 法里纳兹·库沙法尔 1 科瓦伦科、伊戈尔·米科拉·奥维奇 1 克里斯蒂安·克劳斯 1 迪内什·坎特·库马尔 1 普拉迪普·库马尔 1 库兹涅佐夫，N.Yu。 1 哈金德·辛格·拉利 1 K.C.拉鲁比亚。 1 李、蒋 1 Lee，Chong Hyung先生 1 Elias A.利皮塔基斯。 1 弗朗西斯科·隆戈 1 Pawe Majdzik 1 马尼什省马霍特拉 1 克里斯蒂安·马塔雷 1 月亮，Young-Joo 1 阿尔斯兰·穆尼尔 1 Jogesh K.穆帕拉。 1 Nam，Kyung Hyun 1 公园，东河 1 朴正洙 1 萨齐亚·帕文 1 阿加皮奥斯·普拉蒂斯。 1 格雷戈里·普罗万（Gregory M.Provan）。 1 安东尼奥·普利亚菲托 1 斯里尼瓦桑·拉马尼 1 桑杰·兰卡 1 斯特凡诺·塞巴斯蒂奥 1 洛塔尔·塞伯德 1 拉杰·库马尔·沙尔马 1 亚历山德拉·席尔瓦 1 乔恩·乔格伦（Jon A.Sjogren）。 1 拉尔夫·斯特特 1 兹比格尼乌·苏拉吉 1 巴尔·什·坦 1 唐景欣 1 童燕玲 1 瓦迪亚纳坦，卡利亚纳拉曼 1 王大志 1 王云鹏 1 王志光 1 马钦·维查克 1 C.Murray，Woodside 1 史蒂文·伍利特（Steven P.Woolet）。 1 尹晓燕 1 周，Jingli 1 阿明·齐默尔曼 全部的 前5名19篇连载文章中引用 4 计算机与数学及其应用 三 绩效评估 2 计算的形式方面 1 《计算机杂志》。A部分/B部分 1 计算机程序设计科学 1 并行与分布式计算杂志 1 运筹学年鉴 1 统计传播。理论与方法 1 欧洲运筹学杂志 1 控制论与系统分析 1 清华大学学报英文版 1 国际应用数学与计算机科学杂志 1 工程计算 1 1 JMMA公司。数学建模与算法杂志 1 计算机网络 1 国际并行、紧急和分布式系统杂志 1 浙江大学学报。科学A 1 计算机科学评论 全部的 前5名10个领域引用 23 计算机科学（68至XX） 8 运筹学、数学规划（90-XX） 7 概率论与随机过程（60-XX） 三 统计学（62-XX） 三 系统论；控制（93至XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 数值分析（65-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 可变形固体力学（74-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文