课程列表
主讲教师:张健 人气: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. 主讲教师:张健 人气:2303 更新时间: 2015年12月01日 摘要:WeusequantumexterioralgebrastogiveanewandelementaryformulationofquantumPfaffiansandgeneralizedquantumPfaffiansbasedonquantumPlückerrelations.Inthisapproach,thequantumPfaffiansareforanysquarematrixsatisfyingasimplequadraticrelation.Inparticular,weprovethefundamentalidentityexpressinganyquantumdeterminantasaquantumPfaffian. 共4条记录,每页显示10条,到第页 [首页] [上一页] [下一页] [尾页]
|
讲座专家
|