依恋直播app下载iOS
课程名称: 教师:
当前位置:
 >> 
课程列表  
主讲教师:张健 人气:860 更新时间: 2019年11月14日
科大84级少年班校友、国家杰青、中科院软件所张健研究员回科大,给王小谟网络空间科技英才班的学生们开讲,时间:11月12日下午3:55,题目是:软件缺陷及软件质量保障。报告人简介:张健,中国科学院软件研究所研究员。主要研究兴趣包括:自动推理、约束求解、软件测试与分析、形式化方法等。在一阶逻辑公式可满足性判定、软件测试数据自动生成、基于符号执行的程序分析等方面取得了-系列重要成果。曾获得中创软件人才奖、国家杰出青年科学基金、国务院政府特殊津贴。目前担任《中国科学:信息科学》,《计算机学报》,JCST,FrontiersofCS,IEEETrans.onReliabilit,《计算机科学与探索》编委。曾任国家自然科学基金委员会“可信软件基础研究”重大研究计划的指导专家组成员。报告摘要:本报告将简要介绍几种程序缺陷和漏洞,然后介绍提高软件质量的多种手段(包括程序分析、验证与测试)以及相关的软件开发标准。其中,将提及我们在程序分析和测试方面的若干研究内容及成果。
主讲教师:张健 人气:2744 更新时间: 2017年10月24日
张健,博士、副教授。现就职于澳大利亚悉尼科技大学。1999年自澳大利亚新南威尔士大学获得博士学位。他的研究兴趣包括多媒体信号处理、计算机视觉、模式识别、视觉信息挖掘、人机交互等。学术兼职包括TCSVT、TMM等期刊编委、ICME2012大会主席等.Countingpedestriansandmeasuringcrowddensityplayanessentialroleforcrowdmonitoringapplicationsincludingphysicalsecurity,publicspacemanagement,andretailspacedesign.Forthepopulardensity-map-estimationbasedcountingframework,therearemainlytwoquestionsinvolvedforaccuratecountingresult:i).accuraterecognitionoftargetobjectandbackground;ii).preciseestimationofdensityvaluesoftargetobjects.Thistalkfirstbeginswithaliteraturereviewofcrowdcountingalgorithms:includingtraditionalhand-craftedfeaturebasedmethodstothenewlyemergingdeeplearningbasedcrowdcountingmethods,andthenwepresentourworktowardsthetwofatalproblemsmentionedabove.
主讲教师:张健 人气:3213 更新时间: 2017年04月27日
中科院软件研究所张健研究员学术报告会题目:程序分析时间:2017年4月24日10:00地点:西区电三楼632学术报告厅
主讲教师:张健 人气:2303 更新时间: 2015年12月01日
摘要:WeusequantumexterioralgebrastogiveanewandelementaryformulationofquantumPfaffiansandgeneralizedquantumPfaffiansbasedonquantumPlückerrelations.Inthisapproach,thequantumPfaffiansareforanysquarematrixsatisfyingasimplequadraticrelation.Inparticular,weprovethefundamentalidentityexpressinganyquantumdeterminantasaquantumPfaffian.
共4条记录,每页显示10条,到第页 [首页] [上一页] [下一页] [尾页]
课程搜索
类  型:
学科方向:
学科分类:
院  系:
内  容:
教  师:
讲座专家
Aranda Pino
Profesor of Department of Algebra, Geometry and Topology Science Faculty, University of Málaga, Spain. Research Interests: Leavitt path
Nikos Hadjichristidis
Prof. Nikos Hadjichristidis, Department of Chemistry, University of Athens.
蔡荣根
中国科学院理论物理所研究员,博士生导师。中国引力和相对论天体物理学会副理事长(2008-) 中国科学技术大学交叉学科理论研究中心兼职教授
欧阳钟灿
欧阳钟灿,中国科学院院士。1968年清华大学自控系毕业,1981年清华大学物理系固体物理专业获硕士学位,1984年获光学专业理学博士学位。1985-1986年在理论物理所
Manuela M. Veloso
Manuela M. Veloso教授是国际人工智能和自主机器人领域的主要学界领导人和学术带头人之一,取得了一系列杰出成就,其中部分成果产生了深远的影响。
庄小威
庄小威,华裔美籍生物物理学家,美国国家科学院院士, 哈佛大学化学与化学生物、物理学教授,创办有庄小威实验室。
课件总访问人次:21910772
中国科学技术大学研究生网络课堂试运行版,版权属于中国科学技术大学研究生院。
本网站所有内容属于中国科学技术大学,未经允许不得下载传播。
地址:安徽省合肥市金寨路96号;邮编:230026。TEL:+86-551-63602929;E-mail:wlkt@ustc.edu.cn。

扫一扫,手机版