摘要：针对带有复杂参数特征的信息系统性质验证需求,提出一种作用于连续概率奖励模型的稳态公式性质验证分析方法。使用具有综合特征表示能力的连续时间马尔可夫决策过程作为系统定量分析模型,采用连续随机奖励逻辑描述系统的性质,通过不确定性消解、离散化处理、状态消去等方法,实现了原模型中稳态概率的近似求解。理论分析及实例结果表明了该方法的可行性和有效性。

摘要：针对复杂随机系统模型检测过程中的状态空间爆炸问题,提出一种用于支持迁移回报特征描述的概率模型对称约减方法。通过引入状态集等价关系唯一表示函数,约减了原模型中的状态集尺寸;通过加入回报特征描述,改进了传统的多终端二元决策图,用于表示概率回报模型中的迁移关系;基于迁移矩阵,提出了一种高效的对称约减算法,完成了迁移关系的约简。实验结果表明了该方法的可行性与有效性。

摘要：如何有效地融合SPOC与传统课堂是当前教育教学研究的重要问题。文章从我国高校教学现状出发,基于建构学习规律,设计了一种新的基于SPOC与传统课堂的混合教学模式,并详细阐述了它的总体框架、教学设计和实施策略等。为验证其合理性和有效性,作者将该教学模式应用于《生产与运作管理》课程教学实践,并深入分析实施效果。结果证明,新的混合教学模式突破了传统课堂的时空限制,极大地拓展了课程容量,通过自主——协作——探究——个性化拓展的进阶模式较好地提升了课程教学质量,具有较好的实践性和可操作性。

摘要：目的建立可用于快速筛查孕妇B族链球菌(GBS)的等温扩增法。方法培养GBS并提取基因组DNA。根据其cfb基因设计LAMP(环介导等温扩增)和RPA(重组酶聚合酶扩增)反应引物,进行目的基因扩增。采集临床标本50份,同时用两种方法进行检测,评价方法的特异性和敏感性。结果 LAMP可在45min完成基因扩增,RPA法可在15min完成目的基因的扩增。二者均具有高度敏感性和特异性,最低检出浓度均为0.01ng DNA/μl。检测50份临床标本LAMP法4份阳性,RRP法5份阳性(其中1份假阳性)。结论 LAMP和RPA均不依赖特定仪器,在恒温条件下即可完成目的基因扩增,以LAMP方法操作更简单、快速,特异性更高,可用于女性孕期GBS感染筛查。