论文部分内容阅读
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
UML状态图到形式化B语言转换的实例研究
【摘 要】
：
使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免
【机 构】
：
扬州大学信息工程学院
【出 处】
：
科学技术与工程
【发表日期】
：
2007年24期
【基金项目】
：
江苏省自然科学基金项目（BK2004052）和扬州大学自然科学基金项目（KK0513109）资助
其他文献
【关键词】 数学教学；现状；效率；提高；策略 【中图分类号】 G633.6 【文献标识码】 A 【文章编号】 1004—0463（2016）09—0058—01 一、数学课堂教学现状及其低效原因 目前，导致初中数学课堂教学低效的原因有多种，笔者认为主要还是由教师的“教”和学生的“学”两个方面存在的一些不和谐因素所造成。 1. “教”方面存在的问题。主要包括教师对教材的整合、课堂情境设计、
建设科技创新智库,为党和政府科学决策提供有力的智力支持,是科协组织的重要职责。山东省科协坚持以服务党和政府科学决策为主线,以智库高端人才工程为抓手,以构建和合融通创
【关键词】 数学教学；高效课堂；教学模式 【中图分类号】 G633.6 【文献标识码】 A 【文章编号】 1004—0463（2016）11—0058—01 由于各学校的教学设施、教学条件不同，不同学校、不同班级的学生学习情况也不同，没有哪一种教学法能原封不动地照搬、照抄。教师应依据数学学科的特点，学校的具体教学条件、教学设施，以及学生的实际学习水平和认知规律，打造出适合自己所教学生实际，又