基于动态Wright体系结构描述语言测试方法

软件体系结构测试是对构件功能描述和接口描述的测试，是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法，该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置，利用标号迁移系统LTS描述软件系统的状态变化及迁移信息，指导测试路径生成。     

科研进展

研制成功超高强度和塑性的金属玻璃和新型金属塑料物理研究所汤美波等人最近在前期工作的基础上,成功研制出具有超高强度和塑性的CuZr基金属玻璃材料。该材料断裂强度达2265MPa,同时具有一般非晶材料中不具备的加工硬化效应,尤其特别的是该材料具有极大的延展性(延展率为20%,而一般非晶合金材料的只有2%)。这同时也是世界上首次用一般金属材料制取塑性非晶合金材料。该材料的研制成功意味着大块非晶材料的应用范围可能大大被拓宽,可能会改变人们对非晶材料的认识。同时为设计新的具有塑性的金属玻璃材料提供了实验依据和方向。相关成果发…     

新型润滑油添加剂研发成功

南京地质古生物所研究员李保华在参与中法海上科学考察期间，利用远洋科考船提供的全球独有的海上取样尖端设备、地球物理观测系统以及海洋环境监测系统等先进“武器”，在大海中寻觅到体长不足1毫米的单细胞浮游生物“有孔虫”，而具有这种化石的沉积物样品，则可以“记录”海洋数十万年甚至数百万年前的环境信息，是地球沧海桑田变迁的“见证人”。     

公共图书馆资源供给中的政府责任

保障公共图书馆资源供给,必须科学分配各级政府的责任,促进政府职能部门各负其责.政府既要加大投资力度,又要广泛进行社会动员.政府在资源供给中,必须坚持以人为本、促进服务公平、提高资源配置效率.表1.     

大庆油田源头数据统一采集规划与实施

经过60多年开发建设,大庆油田建立了涵盖油藏动态、采油作业和地面运行的各类统建、自建应用系统,在提高工作效率的同时也给基层生产岗位带来了数据重复采集、交叉采集、主数据唯一性差等问题。大庆油田从“十三五”以来计划分三个阶段开展源头数据统一采集建设工作,目前已完成前两个阶段建设工作,实现了油气生产数据标准一致、一次采集和充分共享,一线岗位员工资料采集强度大幅降低,为发挥大庆油田数据资产价值、提升数据生产要素能力奠定了坚实基础。     

长沙市职业中学教育信息化现状分析

为了掌握长沙市职业中学教育信息化发展现状和存在的问题,抽取6个职业中学作调查。通过调查分析,了解长沙市职业中学教育信息化的发展情况,包括教育信息化的统筹规划、资源配置、教师的应用水平、信息资源和系统整合共享水平、安全保障体系等。通过分析职业中学的具体情况,提出解决方案,以促进长沙市职业中学教育信息化的发展,促进教育现代化。     

中国现当代文学教学中如何培养应用型人才

中国现当代文学教学中培养应用型人才具有重要意义,有利于推动课程教学改革创新,增强学生实践能力和就业能力,为整个社会输送更多优秀人才。但目前教学存在不足,主要体现在教学目标、教学内容和教学方法三方面。为有效培养应用型人才,改进教学中的不足,有必要准确定位教学目标,坚持以应用型人才培养为核心;优化调整教学内容,实现教学内容由封闭走向开放;创新教学方式方法,重视实践教学并提高学生综合能力。     

曾国藩科学救国思想论

曾国藩是晚清最有影响的督抚之一,为实现富国强兵的目的,他走上了科学救国的道路。曾国藩的科学救国思想是通过引进西方科技创办近代企业、广泛招揽科技人才、积极筹划派遣留学生、组织翻译西方书籍等措施来实现的。曾国藩积极践行“科学救国”思想,倡导并推动了轰轰烈烈的洋务运动,这不仅增强了清王朝的军事与财政实力,延长了清王朝寿命,更重要的是促进了中国近代科技的发展。曾国藩通过自己的努力,使更多的人了解了西方科技,逐渐放弃了走科举仕途的道路,开始学习西方科学技术,这种转变促进了中国早期的现代化。