论文部分内容阅读
他对科研的态度是严谨治学、打牢根基。他创新的“形式化验证”是一种从理论上进行测试的全新方法,被形象地称作为“穷尽式数学技术”,其原理是利用数学和逻辑的方法来证明计算机系统的正确性。
扎实打根基创新展宏图——记上海交通大学电子信息与电气工程学院特别副研究员符鸿飞
【摘 要】
：
他对科研的态度是严谨治学、打牢根基。他创新的“形式化验证”是一种从理论上进行测试的全新方法,被形象地称作为“穷尽式数学技术”,其原理是利用数学和逻辑的方法来证明计
【机 构】
：
不详
【出 处】
：
中国科技产业
【发表日期】
：
2018年12期
其他文献
摘 要：人教版的新版初中道德与法治教材更加注重素质教育，要求教师在课堂上以激发学生的学习欲望为主，强调探究式学习，倡导教师创新教学方式。文章以互动教学为例，主要针对初中道德与法治课的互动教学方式进行详细研究。 关键词：初中;道德与法治课;互动教学 中图分类号：G633.2 文献标识码：A 在道德与法治课堂教学的过程中，教师需要认识到互动教学方式的必要性，并将其灵活地运用到初中道德与法治课程的
2017,是一个重要的年份。中国的全面深化改革不断向纵深推进。对于新疆成立最早的国家级高新技术产业开发区——乌鲁木齐高新区（新市区）,这一年更为关键。新疆特殊的区情,让乌
当今的中国是世界舞台上的中国，在世界文化丛林中树立起中国文化形象对中国走向世界、世界了解中国、世界认可中国至关重要。其中，加强对外政治话语体系、古典文学作品以及传统民俗节日的传播是重要途径。正如上海交通大学王宁教授所提出的，翻译在当今时代的一个重要作用就是对全球化时代的不同文化进行重新定位[1]。翻译的重点应转为中译外，从而使翻译以一种积极的姿态“重新定位”全球文化，使中国文化能够真正屹立于世界各
摘 要：广西壮族自治区桂林市临桂区居民对内主要讲平话，东西南北四片平话内部差异性较大，互相之间很难对话。通过田野调查和查阅相关文献，文章作者归纳整理出四片效摄字的读音，分析概括四片效摄字的主要规律。临桂区内四片效摄字读音存在一致性和差异性，处于同一片内两点的效摄字读音也有差别。 关键词：临桂区;桂北平话;效摄;读音 中图分类号：H179文献标识码：A收稿日期：2018-09-21 临桂区是目
8月15日,上海化工研究院有限公司与上海稷业（集团）有限公司达成共识并签署战略合作协议,双方将在新材料项目领域展开进一步合作,优势互补,强强联合,整合资源,共享共赢,以期获得
摘 要：大数据给高校创新创业教育带来新的机遇与挑战，文章主要分析了大数时代的创新创业教育特点，总结当前高等院校实施创新创业教育的弊端，在大数据的理念下提出高等院校开展创新创业教育的策略和方法。 关键词：大数据；创新创业；教育模式 一、大数据与大学生創新创业关系 1.大数据对创新创业教育的价值 当今社会已经进入大数据时代，只有借助大数据充分挖掘用户信息，才能更好地满足客户的个性化需求。首先，
习近平总书记在党的十九大报告中指出,我国经济已由高速增长阶段转向高质量发展阶段。李克强总理在刚刚闭幕的全国两会上强调,按照高质量发展要求,统筹推进＂五位一体＂总体布局
佛山高新技术产业开发区（以下简称＂佛山高新区＂）,是1992年经国务院批准建设的国家级高新区。佛山高新区今年在全国综合排名前进至29名,提前实现了进入30强的目标,比2012年核心园
改革开放以来，我国社会主义建设取得了举世瞩目的成就。近年来，随着经济的发展和时代的进步，我国确立了全面建成小康社会的社会主义新目标，小康社会的建成需要全社会共同的努力，精
摘 要：后现代语境又名后现代主义，它是产生于20世纪60年代末70年代初的文化思潮，在哲学、宗教、建筑、文学中均有充分的反映，它源于现代主义但又反叛现代主义。文章分析了后现代主义的含义、特点，以及后现代语境下的产品设计的特点。 关键词：后现代主义；产品设计；设计特点 一、后现代主义的含义及特点 在人文思潮方面，后现代主义是一种对现代表达方式甚至思维方式以及价值观的颠覆和反叛。所谓现代表达方式