中国老科学技术工作者协会 举力推进“现代节水灌溉示范区”建设——“建设现代节水灌溉示范区”专题座谈会纪实

<正>3月25日,中国老科协"建设现代节水灌溉示范区"专题座谈会在北京中国灌溉排水发展中心隆重举行。中国老科学技术工作者协会程连昌会长、中国老科协常务副会长张春园、水利部原副部长李昌凡、中国农业节水和农村供水技术协会常务副会长李代鑫、国际灌排委员会副主席蔡林根、中国灌溉排水发展中心李仰斌主任、水利部农水司原司长冯广志、水利部农水司巡视员姜开鹏、原国土资源管理局副局     

中老年人视力保健不容忽视

<正> 人是要老的,而且先从眼睛老起,所以中老年人的眼睛保健,就显得非常重要。事实上,许多疾病与老化有十分密切相关,而且许多眼疾可以运早期发现、治疗,而得以避免与减轻。一般中老年人最常见的眼睛疾病主要包括以下四种:1、白内障白内障是目前影响老年人视力最常见的眼病。在人的眼球内,正对黑眼珠的中央,有一个透明的凸透镜一样的物体,叫作晶     

基于大数据应用的直观想象素养的评价实践

通过对直观想象素养的评价水平的分析,以大数据为依托,思考大规模考试下学生素养水平的客观性评价办法.每个数学问题的解决都依托多种的核心素养,且具体素养在问题的解决过程中的地位与作用也有所不同.研究关联度较高的直观想象素养与数学抽象素养,通过分析具体数学问题的解决过程中所涉及的核心素养情况,设定相应权重,这样就可以相对客观地检测出一个地区、一所学校或一个人的数学核心素养的情况.     

实时互斥协议的形式化建模与自动验证

实时互斥协议是一类重要且复杂的系统协议,其性质分析工作通常是通过数学方法来进行,不利于使用与推广。针对这一问题,提出基于形式化方法的实时互斥协议验证技术。采用时间自动机对一个典型的实时互斥协议进行建模,并定义了它的语义。同时,分析了该协议所应具有的性质并转化为形式化公式。最后,使用模型检测工具UPPAAL对协议性质进行了自动验证。验证结果表明,该协议虽然满足互斥与无死锁两个基本性质,但无法保证进程活性。该方法具有自动化程度高、验证速度快的特点,易于运用与推广。     

新生代农民工市民化探析

新生代农民工与第一代农民工相比呈现＂三高三低＂的特点。当前,新生代农民工仍是处于城市制度之外的社会群体,其社会地位边缘化、居住边缘化、就业边缘化、经济地位边缘化,仍是极其显著的。政府应把解决新生代农民工市民化问题真正摆上议事日程,给予特殊关注,采取多种途径解决这一关系国家未来的大事。