基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

当花儿迟迟不开时

小泰是三年前到我班来的一名学生，那时上四年级，在学校就已很“有名”了。他随意，上课感兴趣的就听，也能积极回答老师的问题，参与课堂活动：不感兴趣的就不听，有时看画书，有时下座位捣乱，有时拿镜子照影子，有时用玩具枪瞄准同学做出射击的样子。课间操想做就做，不想做就不做，做错了事也若无其事，心不在焉，理所当然；他懒惰，很少写作业，好做的、     

百色学院喜获2007年度全国大中专学生志愿者暑期“三下乡”社会实践活动先进单位

2007年12月，中宣部、中央文明办、教育部、共青团中央、全国学联联合对2007年度全国大中专学生志愿者暑期社会实践活动先进集体和先进个人进行表彰，百色学院被授予“2007年全国大中专学生志愿者暑期‘三下乡’社会实践活动先进单位”荣誉称号。这是百色学院成立以来获得的第二项国家级荣誉称号。     

一举多得的历史遗存调查活动

《普通高中历史课程标准（实验）》在“基本理念”中提出：要为学生创设“、多样化、开放式的学习环境”。为了落实这一要求，全面贯彻新课改精神，我们经过认真研究，决定利用国庆节假期在高一全体学生中开展一次“安仁历史遗存调查”活动。这次活动效果之好、收获之多，远远超出了我们的预料。     

对现象学意向性理论进程的分析

文章通过对意向性理论的渊源及背景的分析,力求清楚地勾画出主体哲学逐渐脱离困境并日趋成熟的脉络;通过对意向性理论的形成与特征的研究,力求明晰地表明胡塞尔从表象进入意识领域的路径;通过对意向性理论的发展及影响的阐述,力求详尽地说明胡塞尔思想在西方哲学中的地位和作用.意向性理论作为胡塞尔现象学的核心或全部,为解决现象与本质的关系提供了崭新思路.     

论少数民族丧葬文化的社会功能

少数民族丧葬活动不是一个单纯的事像,不仅仅是助生送死的问题,而是集多种社会功能为一体的综合性活动.普洱地区少数民族丧葬文化的社会功能主要体现在社会教化、文化传承、历史教育、群体凝聚、人生教育等诸多方面.     

灾难面前不低头 人生从此更精彩——康宝莱公益慈善活动回放

康宝莱进入中国七年以来，事业逐渐攀升，特别是在获得直销牌照后，公司业绩更是飞速增长。除了耕耘业绩，康宝莱对于公益以及慈善事业都不遗余力，在全国各地都能看到康宝莱的慈善身影。     

Learning activity sequencing in personalized education system

Personalized education provides an open learning environment which enriches the advanced technologies to establish a paradigm shift, active and dynamic teaching and learning patterns. E-learning has a various established approaches to the creation and sequencing of content-based, single learner, and self-paced learning objects. However, there is little understanding of how to create sequences of learning activities which involve groups of learners interacting within a structured set of collaborative environments. In this paper, we present an approach for learning activity sequencing based on ontology and activity graph in personalized education system. Modeling and management of learning activity and learner are depicted, and an algorithm is proposed to realize learning activity sequencing and learner ontology dynamically updating.     

基于ASP的WEB数据库设计

介绍了当前网络数据库开发中较为新颖、易用的ASP解决方案及其内置对象的重要属性和方法，讨论了利用ADO实现访问WEB数据库的方法。并给出了ASP连接数据库的实例。     

体育课中准备活动的重要性

准备活动是体育教学中必不可少的重要环节,正确地认识准备活动的作用,有效地选择准备活动的内容与组织形式,合理地安排好准备活动的时间、负荷以及与正式练习之间的间隔,是体育教师都应重视的问题。