基于UML活动图的测试用例生成

本文首先给出了形式化的UML活动图生成测试场景的覆盖准则,然后依据覆盖准则提出UML活动图转化测试场景的算法(ATOS)将活动图转化为测试场景,最后使用算法(STOT)将测试场景转化为测试用例,有效地解决了UML活动图到测试用例的自动生成,减少了编写测试用例的时间。     

牢固确立人性理念 把好安全生产命脉

安全无小事，事事人命关天。“关爱生命、确保安全”是民心所向、民愿所求。党中央、国务院非常重视安全生产工作，中共中央《关于构建社会主义和谐社会若干重大问题的决定》强调，必须坚持安全发展的科学理念。落实这一科学理念，就是要坚持“以人为本、生命第一”的思想，在生产经营活动中牢固确立人性理念，实行人性化管理，切实维护广大人民群众的生命财产安全。     

怀化市：“安全生产月”注重特色 讲求实效

怀化市被评为2007年全国安全生产月活动优秀单位和全省安全文化建设先进单位。安全生产工作能取得可嘉成绩与全市上下齐抓共管安全生产是分不开的。怀化市“安全生产月”活动紧紧围绕“综合治理，保障平安”的主题，结合实际，注重特色，精心组织，注重实效，广泛深入地开展全方位、多层次、多渠道、多形式的安全生产月活动，在怀化市各级各部门各生产经营单位的大力支持、积极配合和踊跃参与下，活动取得了良好效果，为树立安全理念、传播安全知识、[第一段]     

高职体育教学促进大学生心理健康发展的对策

随着市场经济的不断发展,社会竞争日益激烈,高职学生面对的学习和工作压力越来愈大,很多高职学生存在不同程度的心理问题,甚至产生一些心理障碍和疾病。作为高等教育的重要组成部分,体育教学具有健身、健心的功能,在高职学生心理健康教育中发挥着重要作用。因此,高职体育教学中要把提高大学生的身心健康水平作为主要的教学任务。本文立足高职学生的特点,分析了体育对高职学生心理健康的作用,并提出了在体育教学中进行心理健康教育的对策,希望对同行有所裨益。     

二值无线传感网络下异常活动的分布式检测

针对无线传感网络下的异常活动检测问题,提出了异常活动分布式检测方法(distributed abnormal activity detection approach,DetectingAct). DetectingAct将活动的定义从轨迹扩展到轨迹和持续时间的组合,将异常活动定义为在数据分布上与正常活动,即数据中反复出现的活动,偏差较大的活动,利用节点自身计算资源和存储资源进行检测. DetectingAct采用时间相关的频繁项集挖掘算法(duration-dependent frequent pattern mining algorithm,DFPMA )从数据中挖掘正常活动. 算法采用了非监督学习方法,避免了监督学习需要大量标记数据的缺点;按分布式存储机制(distributed knowledge storage mechanism,DKSM)将正常活动模式存入各节点;用分布式检测算法(distributed abnormal activity detection algorithm,DAADA )检测活动. 理论分析和实验结果表明,分布式检测方法相比传统的活动检测算法,实时性更强,平均检测长度为轨迹的78.2%,精度更高,准确率达到96.9%.      

新时期我国技术市场发展的历史机遇--兼谈对当前我国技术市场工作的忧虑

科学技术是生产力．技术市场作为科学技术转化为生产力过程中的一种活动．是科学技术为人类发展服务的重要生产要素市场．也是我国诸多社会主义生产要素市场中起先导性作用的重要市场。它的发育、发展与繁荣，直接影响一个国家和地区的综合实力．影响人类的生存质量，影响着人类社会发展的可持续性与和谐度。     

C4ISR体系结构的可执行模型生成方法研究

对如何获得C^4ISR体系结构的可执行模型进行了研究,也就是,如何将C^4ISR体系结构描述的多个模型转换成可执行模型．从活动模型中获得可执行模型的结构信息,从规则模型中获得可执行模型的约束信息,从数据模型中获得模型的数据域信息．在研究IDEF0模型图元分类及其矩阵构成的基础上,分析了两种获得可执行模型结构的方法．     

五大战略助推常州创业中心

常州高新技术创业服务中心成立于1994年，中心成立以来以促进科技成果转化，扶持中小型科技企业成长，培育科技企业和企业家为己任，经过十年的努力，已构建了以创业服务为核心，大学科技园、留学生创业园、软件开发园、“三药”研发公用平台、博士后科研工作站等为载体的科技企业孵化网络。十年来，创业中心服务环境得到了极大改善，中心孵化面积由过去的35200平方米增加到目前的61000平方米，累计孵化企业324家，毕业企业70家，为社会提供了5000多个就业机会。在2003年的纪念火炬计划15周年活动中，被国家科技部授予“先进高新技术创业服务中心”称号。     

兰州地区科技产出情况简析

本文依据2007、2008、2009年兰州地区科技统计资料及甘肃年鉴、甘肃科技统计年鉴、兰州年鉴的部分科技统计数据,通过对兰州地区专利的申请量和授权量、科技成果情况、技术市场交易量几方面的科技产出进行了对比分析,为促进地区发展提出一些建议.     

应急知识宣传进学校

为广泛、深入地做好5.12全国防灾减灾日宣传及应急管理知识普及教育,切实提高社会公众的应急意识和应对突发事件的能力,冷水江市布溪街道办事处根据省、市应急办的统一安排部署于5月13日在辖区内开展以学习