【摘 要】
:
针对系统建模语言(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%以上。
摘 要 临床实习阶段是理论与实践相结合,全面訓练医学生临床能力的关键期,也是教学医院对医学生在实习阶段教育的一项重要课题,因此抓好实习阶段的教育,完成相应的教学任务,不仅可提高医学生了解和掌握各种理论知识及临床实践操作技能,而且还可培养其独立分析问题与解决问题的能力。 关键词 医学生 临床实习 能力培养