MDA框架中CIM业务流模型与PIM工作流模型的一致性验证

对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。

“1+X”证书制度下高职课程体系构建研究——以护理专业“1+X”(老年照护)为例

随着我国经济的快速发展和人口老龄化的加剧,老年人的照护需求成为了备受社会关注的话题。在社会养老服务日益完善的同时,护理专业的毕业生也面临着就业市场的巨大挑战。为了适应社会的需求,提高护理专业人才培养质量,促进护理专业与实际工作相结合,本文主要从“1+X”证书制度的角度出发,探讨如何建立符合市场需求、培养学生综合能力的护理专业课程体系。

郁金防治急性缺氧小鼠脑损伤的机制

目的探讨郁金对急性缺氧小鼠脑损伤的保护作用及其机制。方法用郁金水煎剂低、中、高剂量(10、20、40 g/kg)连续灌胃6 d,利用常压密闭耐缺氧和断头实验复制小鼠急性缺氧模型,检测脑组织超氧化物歧化酶(SOD)活性、丙二醛(MDA)及一氧化氮(NO)含量;利用bcl-2、caspase-3抗体进行脑组织免疫组化染色。结果与模型组比较,各剂量组均能不同程度地提高缺氧小鼠脑组织SOD活性,减少其MDA和NO含量,使caspase-3蛋白表达下调而bcl-2表达上调。结论郁金水煎剂减轻急性缺氧小鼠脑组织损伤的机制可能与其减轻氧化应激损伤及抑制脑细胞凋亡有关。

郁金对低张性缺氧小鼠脑功能的影响

目的观察郁金对低张性缺氧小鼠脑功能的影响。方法利用常压密闭耐缺氧实验和断头实验复制小鼠急性缺氧模型，用郁金低、中、高剂量（10g／kg、20g／kg、40g／kg）连续灌胃6d。采用低张性缺氧模型观察各组小鼠存活时间；通过断头实验观察各组小鼠张口次数和喘吸时间；检测脑组织超氧化物岐化酶（SOD）活性和丙二醛（MDA）含量；镜下观察脑组织形态变化。结果郁金高、中剂量组小鼠急性缺氧条件下的存活时间显著延长（P〈0．001），各郁金剂量组小鼠断头喘息时间、断头后张口次数均增加（P〈0．05～0．001），脑组织SOD活性显著提高（P〈0．001），MDA含量明显下降（P〈0．01～0．001）；镜下可见模型组小鼠脑组织有明显的嗜神经现象、血管周围炎性水肿和脑膜下出血，而郁金治疗组小鼠脑组织除偶见脑膜血管扩张外未见其他异常。结论郁金对低张性缺氧小鼠脑组织有一定的保护作用。

CIM建模及模型形式化方法研究综述

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案。

基于元胞自动机的洪泽湖洪水蔓延模型研究

分析了元胞自动机的基本原理和构成,利用元胞自动机原理建立了洪泽湖洪水蔓延模型。模型以栅格空间数据结构作为基础,采用二维元胞自动机模型,确定了元胞空间和元胞状态,建立了洪泽湖洪水蔓延的规则,并根据规则以9邻域方式进行元胞状态的更新。选择性地测试了洪水蔓延模型的计算结果,模型计算数据与实际数据的比较表明,二维元胞自动机模型能够更为简单、快速地模拟洪泽湖洪水的蔓延。

网络课程泛能化设计探讨

网络课程的教学设计不同于传统课程的教学设计。为提高网络课程的教学效果,该文提出了一种新的设计方法,并着重探讨了网络课程泛能化设计的具体策略。

软件工程课程教学设计与实践举措分析

软件工程课程的实践环节已经成为该课程教学改革的重点,针对软件工程课程的培养目标,提出该课程的理论教学设计思路和理论知识与实践相结合的举措。在理论教学环节中,突出以案例教学为导向和不断更新课程内容;在实践教学环节中,突出按照软件项目开发模式,结合理论知识与实践知识,采用CASE工具集完成小组项目开发,并对小组成员的考核方式进行了改革,以便更好地培养学生的团队开发软件的能力。

基于扩展Petri网模型的BPMN形式化

BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。

业务目标模型与业务场景模型的语义一致性分析

多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。

洪泽湖流域洪涝灾害预警系统的构建

以洪泽湖流域洪涝灾害为研究对象,构建了洪泽湖流域洪涝灾害预警系统的基本框架,分析了系统的基本功能模块。预警系统采用三层次模型,包括数据库子系统、仿真模拟子系统和辅助决策子系统三大模块。对各子系统,重点探讨了数据库系统的建立、洪水蔓延演进模拟的算法、灾情信息的提取、灾情等级评估以及最佳紧急转移路径的选择等功能模块的设计。

以护理技能大赛引领《综合实训》教学改革

《护理综合实训》课程是指学生在完成主要专业课程的理论学习和各专项技能训练后,综合运用所学的专业知识和专项技能,在校内集中进行的综合性、系统化训练。这种训练是以职业要求为背景,以就业为导向,以提高学生从业能力为目标,为学生进入医院顶岗实习做前期准备,最大限度地提高学生的岗位适应能力。全国职业院校护理技能大赛已形成常态化,通过培训和参加省市及全国护理技能大赛,指导教师既开阔了眼界,更新职业教育教学理念,同时也更好地服务于护理实践教学,参赛同学和指导教师把经验带回学校,融入《护理综合实训》教学中,进一步促进了实训教学的改革,最终实现以赛促教、以赛促改的效果。

基于XML Schema的轻量级异构数据集成方法

针对数据仓库和联邦数据库解决数据集成的复杂性和成本过高的特点,设计一种轻量级的基于XML Schema数据集成方法。该方法由应用服务层、数据服务接口层、数据集成层和数据库系统层组成。介绍数据源对象信息描述模块、全局数据对象描述模块、数据查询语义表达和接收模块、数据服务接口模块的设计过程。最后演示了数据集成方法的实现。

高职高专护理专业现代学徒制人才培养模式研究

现代学徒制将学校教育与传统学徒制融合在一起,并且被认为是培养高技能人才和完善高职教育职能的有效渠道。单位与医疗机构共同联手制定了"现代学徒制"试点计划越来越常见,并对培养方案、实践课程、实习内容以及毕业考核等做出了详细规划。首先对现代学徒制的概念、要素做出了介绍,然后论述了本单位现代学徒制的实施状况,最后阐述了自己的见解。

高职高专护理专业现代学徒制实施与体会

现代学徒制是将传统学徒制融入了学校教育因素而形成的一种职业教育,是实现高职教育功能定位和高技能人才培养目标的有效途径。我校与吉大一院、吉大一院二部、吉大二院、吉大三院、长春妇产医院五所综合性三级医疗单位进行全面合作,共同开展护理专业"现代学徒制"试点研究,制定了完善的人才培养计划,联合创建了实践课程体系,设计并制定了专业基本技能操作及考核方案,以及生产实习大纲和毕业考核方案。

基于范畴论的业务目标模型形式化

面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。

基于OBE的软件工程课程目标达成度评价分析

依据软件工程课程的特点和课程目标,按照OBE理念对知识、能力和素质的要求,构建软件工程课程目标与人才培养方案中毕业要求之间的对应关系,设计软件工程课程的教学内容和考核方式,分析软件工程课程的教学目标达成度,最后依据达成度评价结果提出持续改进的措施。可见,课程的教学目标和任务的达成情况直接决定着毕业要求指标的完成情况,对软件工程课程的达成度分析,可有效地提高计算机科学与技术专业人才培养的质量。

利用扩展的Petri网模型形式化业务场景模型

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.

网络在翻译教学中的应用价值

网络作为现代教学中不可缺少的媒体和手段,正冲击着传统翻译教学。探讨网络在翻译教学中的应用价值。

高职护理技能大赛促进护理专业建设与改革的实践研究

参加护理技能大赛是提高学生实践技能最好的方式,也是护理教育教学改革的风向标和助推剂。依托大赛成果,优化教学资源,以赛促建;总结参赛经验,进行课程体系和实践教学模式改革,以赛促改,不断推进护理专业建设与改革。