队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介Myresearchinterestsincludeformalmethodsandsoftwarereliability(logic,formallanguages,theoremproving,modelchecking,corr ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介研究方向：数据挖掘，形式化方法（招收数据挖掘，语义Web研究博士后）主要研究数据挖掘（如Association,Classification,Clustering和RelationalDataMining），人工智能（如Bayesia ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介目前主要研究方向为软件设计与分析方法，数据、计算模型与应用；研究方向简介：面向网络及未来应用，以提高软件开发的生产率、可靠性为目标，研究软件的设计、分析中需要的理论、方法和技术。三、学习经历1984.9-1989.7中国科技大学计算机 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介计算理论三、学习经历1980-1984BA,DepartmentofMathematics,YUNNANNormalUniversity,CHINA1985-1988M.Sc.,DepartmentofMathematics,YUNN ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介λ演算、类型论、证明论和程序设计语义学三、学习经历博士后Logiqueetfondementdel’Informatique(逻辑与计算机科学基础)，法国巴黎第七大学数学系―法国国家科研中心753实验室，1996―1997Comput ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介Petri网理论与应用并发，实时系统的形式验证三、学习经历1985年于北京师范大学数学系获理学学士学位。1992年于贵州大学计算机系获理学硕士学位。2001年于中国科学院数学与系统科学研究院获工学博士学位。四、工作经历1985年8月- ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介高阶并发进程的理论三、学习经历1980-1985中国科技大学，1985-1988中科院软件所，1988-1992丹麦Aalborg大学四、工作经历1992-1994英国Sussex大学研究职位，1994-1996英国Warwick大学 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介实时系统的形式验证、时序逻辑、形式化方法三、学习经历1．1978.10-1980.10咸阳师专数学系2．1985.9-1987.7陕西教育学院数学系3．1987.9-1990.7贵州大学数学系硕士研究生4．1998.3-2001.6中 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介计算机科学理论和软件理论三、学习经历博士:1998.3-------2001.3上海交通大学计算机科学与工程系计算机软件与理论专业硕士：1995.9——1998.3上海大学计算机科学与工程系计算机软件与理论专业本科：1991.9——1 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介实时和混成系统、并发计算模型、程序验证三、学习经历1997．9—2000．9，中科院软件所和联合国大学国际软件技术研究所，攻读博士学位；1993．9—1996．7，南京大学计算机系，攻读硕士学位；1989．9—1993。7，南京大学数 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职functionescapeTrs(str){//转义trs关键字vararr=newArray("\\\\","!","@","#","\\$","\%","\\^","\&","\\*","\\(","\\)","\\_","\\+","\-","\=", ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介大规模科学与工程计算中的并行处理算法线性方程组的求解方法与预处理算法非线性方程组的高效求解技术以大规模油藏数值模拟为主要背景的Terascale高性能计算软件技术针对Simbest-II商业软件的高效并行处理技术和非线性问题并行求解器 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介并行算法与并行软件三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职functionescapeTrs(str){//转义trs关键字vararr=newArray("\\\\","!","@","#","\\$","\%","\\^","\&","\\*","\\(","\\)","\\_","\\+","\-","\=", ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介操作系统安全、可信计算技术、虚拟机安全、隐私保护三、学习经历1978.2-1982.2，兰州大学数学系基础数学专业，本科；1982.9-1985.9，兰州大学数学系基础数学专业，硕士；1996.9-1999.8，南京航空航天大学导航、 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要研究方向为数据库与知识库系统、移动计算、时空数据库与数据挖掘、信息检索等。三、学习经历1985.9～1989.7武汉大学计算机信息检索专业（理学学士）方向：全文数据库、计算机信息处理、信息检索1993.9～1996.4北京工业大学 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介虚拟化技术、隐蔽信道、网络技术、软件工程、实时系统、人工智能、数据挖掘三、学习经历1992.2--1995.7，英国爱丁堡大学（EdinburghUniversity），博士；1980.9--1987.7，北京航空航天大学，硕士&学士 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介1、编译技术及应用2、软件测试方法和工具三、学习经历四、工作经历1992.7-2001.7软件所计算机科学开放实验室实习研究员、助研、副研2001.7-2003.12软件所科技处处长、业务部主任、副研2004.1-软件所业务部主任、研 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介系统软件与中文信息处理三、学习经历1980年9月~1984年7月在北京信息工程学院计算机软件专业学习，获学士学位1997年9月~1998年7月在中国科学技术大学北京研究生院进修硕士院研究生课程，已修完35学分，并完成了硕士论文研究工作 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要研究方向：下一代文本信息检索模型、辅助机器翻译算法、跨语言信息检索、文本分类、汉语语义理解模型等。目前在研课题：国家自然科学基金项目2项，国家863项目2项，国家语委项目1项。在研项目简介：自然科学基金重点项目（与哈工大、清华合作 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介可信计算与基础软件三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介以过程为中心的软件质量管理技术、建模技术、知识管理技术和软件协同工作技术三、学习经历四、工作经历1、1988-1996年：北京系统工程研究所，技术工程师。2、1996-1998年：中科院软件所系统集成部副主任，副研究员。3、1999- ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介实时系统、智能软件三、学习经历1998.3~2001.7，中科院等离子体物理所/中科院合肥智能机械所，获博士学位。1995.9~1998.3，太原理工大学自动化系，获硕士学位。1991.9~1995.7，太原工业大学自动化系，获学士学 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介软件工程和方法学软件工程环境和软件生产自动化对象技术分布式计算三、学习经历83年9月～88年7月中国科技大学计算机系学士88年9月～91年1月中国科技大学计算机系硕士91年3月～94年6月中国科技大学计算机系博士92年3月～93年1月 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介软件工程和网络分布式计算，重点是面向中间件的分布式软件工程。研究兴趣包括：高可信、可重配和可管理软件中间件技术，面向服务计算，分布式软件开发方法和工具，以及形式化建模与分析技术。三、学习经历88年～92年武汉大学计算机科学系计算机科学 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络分布计算与软件工程三、学习经历1.1989年9月－1993年7月，华中理工大学计算机系，计算机软件专业，学士学位2.1993年7月－1996年3月，中科院软件所，计算机软件专业，硕士学位3.1996年3月－1999年7月，中科院软 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介研究领域为分布式计算和软件工程技术，近年来的研究兴趣集中在中间件、分布式系统、移动和普适计算三、学习经历1989年获得清华大学计算机系学士学位，1992年获得中科院软件所硕士学位，1999年获得中科院软件所博士学位四、工作经历从199 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络分布计算和软件工程、软件开发环境与开发技术、计算机信息管理系统三、学习经历1979.9-1983.7大连理工大学计算机科学与工程系计算机工程学士四、工作经历1983.8-1987.6中国国际航空公司培训中心飞行模拟器/计算机应用系 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介应用集成技术、网络分布式计算、软件工程、系统集成总体技术、企业管理与决策支持三、学习经历1989-1993哈尔滨工业大学计算机系本科1993-1996哈尔滨工业大学计算机系硕士1996-2000哈尔滨工业大学计算机系博士四、工作经历2 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络分布计算和软件工程三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要从事的专业研究领域:虚拟现实(VirtualReality)、真实感图形生成(RealisticImageSynthesis)、科学计算可视化(VisualizationinScientificComputing)、基于物理的建模 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要从事计算机图形学、可视化技术、虚拟现实等方面的研究工作，探讨图形成象及应用的各种高效方法和技术。目前，在数据场的体绘制、大规模模型的简化和压缩、基于图象的绘制、可见性计算、反走样、真实感成象、以及一些图形学的经典问题等方面取得了一 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介大规模场景的快速成像技术、基于图像的建模技术三、学习经历1987.9-1991.7湘潭大学计算机科学系本科/学士学位罗铸凯教授1991.1-1994.7湘潭大学/计算机科学系罗铸揩教授中科院计算所研究生/硕士学位李锦涛研究员1994. ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介戴国忠同志是我国著名的中年计算机软件专家，从事软件工程和计算机图形学工程的研究与开发。七十年代他先后负责三台国产计算机的系统软件的研制，得到了很好的应用，推动了我国计算机技术的发展。八十年代初开始从事图形标准化软件的研制和用户界面的开 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介1）实时智能：研究实时问题求解理论与方法，重点探讨流程企业生产过程数据实时挖掘与集成优化；2）自然人机交互：结合认知科学理论，研究以人为中心的交互理论与交互技术。三、学习经历1963年5月生于江西省南昌市。1978年参加国高等院校统一 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介人机交互技术三、学习经历2000年9月-2003年7月1，中国科学院软件研究所，计算机应用技术，博士1997年9月-2000年7月，西北大学计算机科学系，计算机软件，硕士1993年9月-1997年7月，西北大学计算机科学系，计算机应用 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介人机交互、可用性、儿童交互技术与益智软件、复杂系统三、学习经历1999年2月北京航空航天大学博士毕业2001年2月中科院自动化所博士后出站四、工作经历五、社会兼职1.系统仿真学会数字娱乐专业委员会委员2.计算机学会高级会员六、研究成果 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介以制造业信息化为应用领域，面向信息利用层面研究开发基于交互式可视化技术的智能仪表盘。目前的研究兴趣为：制造业商务智能，信息可视化技术。三、学习经历2001.12清华大学获博士学位四、工作经历2002.1-至今,中国科学院软件所从事博士 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介虚拟现实、人机交互、CAD/CAM技术三、学习经历1996-1999哈尔滨工业大学机械制造及其自动化专业攻读博士学位1993-1996哈尔滨理工大学机械制造及其自动化专业攻读硕士学位1989-1993燕山大学锻压工艺及其设备专业攻读学 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介人机交互技术、软件工程三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介三、学习经历2000-2003中国科学院软件研究所博士1997-2000山东大学计算机科学与技术系硕士1993-1997山东大学计算机科学与技术系学士四、工作经历2005-2006美国国家科学院海军研究生院(NPS,Californi ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介主要研究方向：信息系统集成与仿真技术。（1）系统仿真技术，包括分布式仿真技术、模型重组技术和想定处理技术等。应用目标是分析体系结构、进行方案设计，以及对总体技术和指标等进行研究；（2）综合信息系统与集成技术。主要包括综合信息系统的体系 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介信息处理与集成、人工智能、计算机仿真三、学习经历2003.10-2005.5中国科学院软件研究所博士后1999.9-2003.9华中科技大学图像识别与人工智能研究所工学博士1996.9-1998.10华中理工大学经济学院经济学硕士19 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介综合信息处理与集成：(1)图像处理与理解，包括图像及视频的预处理、目标检测、目标识别等；（2）模式识别与机器学习，包括特征提取，分类器设计等；（3）信息融合，包括多源多层信息的融合处理算法设计及系统集成。三、学习经历北京理工大学计算机 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介地形分析，大地形可视化，虚拟现实。三、学习经历四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著"地形可视性分析"系统仿真学报，2005.8八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介网络及其通信技术、网络计算技术三、学习经历2002/7毕业于上海交通大学，获得博士学位四、工作经历2003/2-2005/2中科院软件所博士后2005/3-至今中科院软件所综合信息系统国家重点实验室五、社会兼职六、研究成果与获奖情况主 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网通信；网络信息安全；网络控制网络控制系统分析与设计;网络安全与信息安全;网络系统管理;混杂系统分析、控制和优化;故障诊断与容错控制;计算机仿真。与管理。三、学习经历2001.9——2004.7，中国科学院自动化研究所，控制理论 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介卫星组网与信息安全三、学习经历1991－1995武汉治金科技大学自动化系工学学士学位 计算机应用1995－1997武汉科技大学自动化系工学硕士学位 计算机应用1997－2001中国科学院软件研究所工学博士学位 计算机应用技术四、工作经 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28队伍建设百人计划杰出青年人才招聘科技副职二、目前主要研究方向及简介空间综合电子信息系统三、学习经历1996年国防科技大学电子学与信息系统工学学士；1999年国防科技大学信息与通信工程工学硕士；哈尔滨工业大学信息与通信工程博士生。四、工作经历五、社会兼职六、研究成果与获奖情况七、代表论著八、承担项目 ...
中科院软件研究所 软件研究所 免费考研网 2013-11-28
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
平常需要几十块钱一本的电子书，开了VIP会员任您畅读。VIP会员均可免费使用本站在售的万余种考研考证基础类产品（电子书、题库、视频课程、全套资料等）。万种考研考证电子书、题库、视频随便看，每本不到一分钱。产品涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...半年VIP购买 本站小编 Free壹佰分学习网 2022-09-19
