【摘 要】
：
针对系统建模语言（systems modeling language,SysML）活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器（PRISM）对SysML活动
论文部分内容阅读
针对系统建模语言（systems modeling language,SysML）活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器（PRISM）对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则。利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证。实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持。
其他文献
摘 要 目的：检测本地区患病婴幼儿的凝血酶原时间(PT)、凝血酶时间(TT)、部分凝血活酶时间(ATPP)及纖维蛋白原(FIB)的水平，探讨凝血初筛试验的优点。方法：用凝血初筛试验对163例婴幼儿的凝血常规指标进行检测，并随机抽取同等数目正常体检儿童的测定结果作为对照。结果：163例PT、TT、FIB和APTT的测定结果与正常对照差异显著(P＜0.05)。结论：凝血初筛试验具有敏感性高，与反应被子
为实现云工作流调度的多目标最优化,提出一种协同进化多群体优化调度算法。以执行跨度、代价和能耗同步最优化为目标,建立基于激素的协同进化多群体优化模型;通过多群体方式,
妇科门诊手术室是妇科门诊患者实施手术的场所，是感染的高危科室之一，它担负对病人进行手术和急危重病人的抢救任务，是医院感染控制的重要科室，其工作质量直接影响患者的预后及医
132021吉化集团公司总医院 (北华大学第二临床医院药剂科) 摘 要 目的：了解药品说明书存在的问题。方法：随机抽取临床应用的药品说明书192份进行内容考察。结果：多数药品说明书符合标准，部分药品说明书基本项目缺失、内容不完整。结论：应加强对药品说明书的监督管理。 关键词 药品说明书 存在问题 存在的问题 依据《药品说明书和标签管理规定》对我院临床常用的药品
为从用户浏览网页中发现用户兴趣,提高用户兴趣的准确性,更好地为用户提供个性化服务,提出一种基于混和度量方法的用户兴趣模型。使用信息增益和互信息两种度量方法进行特征降维,采用先分类后聚类的方法对浏览内容进行分析,从中发现用户兴趣。实验结果表明,该方法能够有效发现用户兴趣,先分类后聚类的效果评估值达到80%以上。
提到初中英语学科的教学,一般最为主要的就是语言能力,英语思维品质,文化意识以及学生的学习能力这几个部分,他们也是培养初中英语学科核心素养的重要部分。而在英语教学当中
记者近日从福州市卫生局获悉，该市将新建5个乡镇卫生院和2家社区卫生服务中心。届时，全市将实现每个乡镇至少有1家卫生院，每个街道至少1家社区卫生服务中心。
摘 要 临床实习阶段是理论与实践相结合,全面訓练医学生临床能力的关键期,也是教学医院对医学生在实习阶段教育的一项重要课题,因此抓好实习阶段的教育,完成相应的教学任务,不仅可提高医学生了解和掌握各种理论知识及临床实践操作技能,而且还可培养其独立分析问题与解决问题的能力。 关键词 医学生 临床实习 能力培养
美国研究人员日前宣布，一种新的减肥药可能会对幼年小鼠的大脑发育产生影响。这使人们开始担心儿童服用这种药物可能引起的后果。
目的：探讨产后出血发生的原因和危险因素及防治措施。方法：对2006年1月-2008年12月收治产后出血130例患者的临床资料进行回顾性分析。结果：产后出血的主要原因为产妇宫缩乏力，其