近期论文
查看导师新发文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
2019
1.YongchunZhu,FuzhenZhuang,JindongWang,JingwuChen,ZhipingShi,WenjuanWu,QingHe.Multi-representationadaptationnetworkforcross-domainimageclassification,NEURALNETWORKS(SCIIF5.785)PubDate:2019-08-18,DOI:10.1016/j.neunet.2019.07.010.
2.JingzhiZhang,GuohuiWang*,ZhipingShi*,YongGuan,YongdongLi.FormalizationoffunctionalvariationinHOLLight.JournalofLogicalandAlgebraicMethodsinProgramming.Vol.106,August2019,Pages29-38.https://doi.org/10.1016/j.jlamp.2019.04.004.(SCI)
3.RongboZhao,ZhipingShi,YongGuan*,ZhenzhouShao*,QianyingZhang,GuohuiWangInversekinematicsolutionof6RrobotmanipulatorsbasedonscrewtheoryandthePaden–Kahansubproblem.December27,2018.InternationalJournalofAdvancedRoboticSystems.https://doi.org/10.1177/1729881418818297.(SCI)Volume:15issue:6
4.ChuanShi,ZhiqiangZhang,YugangJi,WeipengWang,PhilipS.Yu,ZhipingShi*.SemRec:apersonalizedsemanticrecommendationmethodbasedonweightedheterogeneousinformation.WorldWideWeb.Jan.2019,22(1):153–184.SCI1.405
5.LimingLi,ZhipingShi*,YongGuan,QianyingZhang,YongdongLi.FormalizationofgeometricalgebrainHOLLight.JournalofAutomatedReasoning(2018).https://doi.org/10.1007/s10817-018-9498-9.(SCI,CCFB)
2018
6.ZhipingShi,AixuanWu,XiumeiYang,YongGuan,YongdongLi,XiaoyuSong.FormalanalysisofthekinematicJacobianinscrewtheory.FormalAspectofComputing.30(6):739-757.NOV2018,(SCIHA2VL,CCFB)
7.GuohuiWang,YongGuan,ZhipingShi*,QianyingZhang,XiaojuanLiandYongdongLi.FormalizationofSymplecticGeometryinHOL-Light.ICFEM2018.LNCS11232:270-283
8.RenCE,ShiZ,DuT.DistributedObserver-BasedLeader-FollowingConsensusControlforSecond-OrderStochasticMulti-AgentSystems[J].IEEEAccess,2018,6:20077-20084.SCI
9.QingyongLi,ZhipingShi,HuayanZhang,YunqiangTan,Shengwei,Ren,PengDai,WeiyiLi.Acyber-enabledvisualinspectionsystemforrailcorrugation.FutureGenerationComputerSystems,79(1),pp374-382,February2018.FR3LO
10.KangYang,RuiWang*,YuJiang,HoubingSong,ChenxiaLuo,YongGuan*,XiaojuanLi,ZhipingShi.Sensorattackdetectionusinghistorybasedpairwiseinconsistency.FutureGenerationComputerSystems,86(2018)392–402
2017
11.ZhenzhouShao,GaoyuWu,YingQu,ZhipingShi,YongGuanandJindongTan,RobustPrincipalComponentAnalysisviaSymmetricAlternatingDirectionforMovingObjectDetection,18thPacific-RimConferenceonMultimedia,2017.(CCF-C类)
12.AixuanWu,ZhipingShi*,XiumeiYang,yongguan,Yong-DongLi,XiaoyuSong.FormalizationandAnalysisofJacobianMatrixinScrewTheoryandItsApplicationinKinematicSingularity.Proceedingon2017IEEE/RSJInternationalConferenceonIntelligentRobotsandSystems(IROS).pp2835-2842.September24–28,2017,Vancouver,BC,Canada.(CCFC类推荐)
13.YuHu,JingYe,ZhipingShi*,XiaoweiLi,LAPS:Layout-AwarePathSelectionforPost-SiliconTimingCharacterization,IEICETRANS.INF.&SYST.,100(2):323-331FEBRUARY2017(SCIE：ES2PP)
14.Zhang,Q.,Shi,Z.AnewwaytopreventUKSattacksusinghardwaresecuritychips.InternationalJournalofNetworkSecurity.19(5):823-831,2017.
2016
15.Ma,S.,Z.Shi,Z.Shao,Y.Guan,L.LiandY.Li(2016)."Higher-OrderLogicFormalizationofConformalGeometricAlgebraanditsApplicationinVerifyingaRoboticManipulationAlgorithm."AdvancesinAppliedCliffordAlgebras.2016,26(4):1305–1330.DOI:10.1007/s00006-016-0650-5.Firstonline:22March2016(SCIEB1BN，IF0.905)
16.马莎,施智平,李黎明,关永,张杰,XiaoyuSONG.几何代数的高阶逻辑形式化.软件学报,2016,27(3):497?516.http://www.jos.org.cn/1000-9825/4977.htm(EI20161902371623)
17.马莎;施智平*;关永;李黎明;邵振洲;张杰.共形几何代数与机器人运动学的形式化.小型微型计算机系统，2016,37(3).555-561
18.杨秀梅,关永*,施智平,吴爱轩,张倩颖,张杰.函数矩阵及其微积分的高阶逻辑形式化.计算机科学.2016,43(11):24-29。
19.李姗姗,赵春娜,关永,施智平,王瑞,李晓娟,叶世伟.分数阶微积分定义的一致性在HOL4中的验证[J].计算机科学,2016,43(3):23-26.
20.LiShanshan,ZhaoChunna,GuanYong,ShiZhiping,LiXiaojuan,WangRui,ZhangQianying.ResearchontheHigher-orderLogicFormalizationofFractanceElement[J].IEEE/CAAJournalofAutomaticaSinica,2016,13(9):248-256
21.杨秀梅;施智平*;吴爱轩;关永;叶世伟;张杰.串联机器人雅可比矩阵的高阶逻辑形式化，小型微型计算机系统，2016,37(4):726-731
2015
22.李志欣,施智平,张灿龙,王金艳.混合生成式和判别式模型的图像自动标注[J].中国图象图形学报，2015,20(5):0687-0699.
23.安育龙,施智平,叶世伟,李晓娟,关永,张杰,魏洪兴.GJK算法的一种特殊情形的形式化验证和应用[J].小型微型计算机系统,2015(02):365-369.
24.黎向阳,吴敏华,施智平.基于Gabor变换域的积分直方图鞋印图像检索[J].计算机应用与软件.2015,32(3):215－219
2014
25.ZhipingShi,ZhenkeLiu,YongGuan,ShiweiYe,JieZhang,andHongxingWei,“FormalizationofFunctionMatrixTheoryinHOL,”JournalofAppliedMathematics,vol.2014,ArticleID201214,10pages,2014.doi:10.1155/2014/201214(July,24)AR3AY
26.ZhipingShi,YanZhang,ZhenkeLiu,XinanKang,YongGuan,JieZhang,XiaoyuSong.FormalizationofMatrixTheoryinHOL4.AdvancesinMechanicalEngineering.vol.2014,ArticleID195276,16pages,2014.doi:10.1155/2014/195276.(Aug.28)SCI:AS4RD
27.LimingLi;ZhipingShi;YongGuan;ChunnaZhao;JieZhang;HongxingWei,Formalverificationofacollision-freealgorithmofdual-armrobotinHOL4,RoboticsandAutomation(ICRA),2014IEEEInternationalConferenceon,pp.1380-1385,May312014-June72014doi:10.1109/ICRA.2014.6907032
28.XiangyangLi,ShuqiangJiang,XinhangSong,LuisHerranz,ZhipingShi.MultipathConvolutional-RecursiveNeuralNetworksforObjectRecognition.IntelligentInformationProcessingVIIIFIPAdvancesinInformationandCommunicationTechnologyVolume432,2014,pp269-277.Hangzhou,China,October17-20,2014
29.XiangyangLi,MinhuaWu,ZhipingShi.TheRetrievalofShoeprintImagesBasedontheIntegralHistogramoftheGaborTransformDomain.IntelligentInformationProcessing2014:249-258.Hangzhou,China,October17-20,2014
30.LimingLi,ZhipingShi,YongGuan,JieZhangandHongxingWei.FormalizingtheMatrixInversionBasedontheAdjugateMatrixinHOL4.IntelligentInformationProcessingVII,IFIPAdvancesinInformationandCommunicationTechnologyVolume432,2014,pp178-186.Hangzhou,China,October17-20,2014
31.Liu,Xi;Shi,Zhi-Ping;Shi,Zhong-Zhi.Aco-boostframeworkforlearningobjectcategoriesfromGoogleImageswith1stand2ndorderfeatures.VisualComputer,30(1):5-17,January2014.EI,SCI
32.安育龙,施智平,叶世伟,李晓娟,关永,张杰,魏洪兴.一个空间线段距离算法的形式化和应用.第八届全国测试学术会议,武汉，2014年7月18-20日
33.康西楠，施智平，叶世伟，关永.矩阵变换理论在hol4中的形式化.计算机仿真.2014,31(3):289-294
2013
34.ZhipingShi,WeiqingGu,XiaojuanLi,YongGuan,ShiweiYeandJieZhang.TheGaugeIntegralTheoryinHOL4.JournalofAppliedMathematics,vol.2013,ArticleID160875,7pages,2013.doi:10.1155/2013/160875(SCIE索引144ET)
35.ZhipingShi,LimingLi,YongGuan,XiaoyuSong,MinhuaWu,JieZhang.FormalizationoftheComplexNumberTheoryinHOL4.AppliedMathematics&InformationScience.2013,7(1):279-286.
36.YupengZhang,ZhipingShi,YongGuan,XiaojuanLi,JieZhang.FormalVerificationforSpaceWireDecodingbyApplingTheoremProving.SpaceWire2013.189-192.InternationalSpaceWireConference2013,10-14June,Gothenburg.
37.张玉鹏,施智平,关永,李黎明,赵春娜,张杰.SpaceWire译码电路在HOL4中的形式化验证.小型微型计算机系统，2013,34(8):1959-1963
38.刘振科，施智平，关永，金声震，张杰，叶世伟，李晓娟。函数矩阵理论在HOL4中的形式化。小型微型计算机系统，2013,34(3):654-658
39.谷伟卿，施智平，关永，张杰，赵春娜，叶世伟。Gauge积分在HOL4中的形式化[J].计算机科学,2013,40(2):191-194.228
40.李志欣，施智平，陈宏朝，吴璟莉.基于语义学习的图像多模态检索.计算机工程.2013,39(3):258-263
2012
41.施智平，李清勇，赵晓东，何清，史忠植。基于内容图像检索中的优化鉴别特征.计算机辅助设计与图形学学报，2012,24(12):1592-1598
42.李黎明，关永，吴敏华，张杰，施智平。运用定理证明的形式化方法验证SpaceWire编码电路。小型微型计算机系统，2012,33(6):1372-1376
43.ZhipingShi,XiLiu,QingyongLi,QingHe,ZhongzhiShi.ExtractingDiscriminativeFeaturesforCBIR.Multimediatoolsandapplication.2012,61(2):263-279.doi:10.1007/s11042-011-0836-8.(SCI、EI)
2011
44.ZhipingShi,XiLiu,QingyongLi,QingHe,ZhongzhiShi.ExtractingDiscriminativeFeaturesforCBIR.Multimediatoolsandapplication.2012,61(2):263-279.doi:10.1007/s11042-011-0836-8.(SCIE、EI检索源刊)
45.ZhipingSHI,ZhiquanDAI,YongGUAN,MinhuaWU,ShengzhenJIN,JieZHANG,XiaojuanLI.SystematicVerificationofSpaceWireBuswithModelChecking.SpaceWire-2011ProceedingsofInternationalSpaceWireConference,SanAntonio,Nov.8-10,2011,ISBN:978-0-9557196-3-9,pp240-247.
46.ZhiQuanDai,YongGuan,ShengZhenJin,ZhiPingShi,XiaoJuanLi,JieZhang.SpaceWireStateMachineVerificationBasedonModelChecking.2011,AppliedMechanicsandMaterials.55-57(2011):2192-2196.
47.XiLiu,ZhipingShi,ZhongzhiShi.Modelsharedsemi-supervisedlearningformulti-labelimage.ICIP2011
48.LiZhixin,ShiZhiping,LiuXi,ShiZhongzhi.Modelingcontinuousvisualfeaturesforsemanticimageannotationandretrieval[J].PatternRecognitionLetters(PRL).32(3):516-523(2011)（SCI、EI检索）
49.李志欣，施智平,李志清,史忠植.融合语义主题的图像自动标注[J].软件学报.2011,22(4):801-812(EI)
2010
50.XiLiu,ZhipingShi,ZhixinLi,XishunWang,ZhongzhiShi.SortedLabelClassifierChainsforLearningImageswithMulti-label.ACMMM2010.951-954
51.ZhixinLi;ZhipingShi;XiLiu;ZhiqingLi;ZhongzhiShi.FusingSemanticAspectsforImageAnnotationandRetrieval.JournalofVisualCommunicationandImageRepresentation.2010,21(8):798–805(SCI、EI检索)
52.XiLiu,ZhipingShi,ZhixinLi,XishunWang,ZhongzhiShi.SortedLabelClassifierChainsforLearningImageswithMulti-label.ACMMM2010.ACCEPTED
53.ZhixinLi;ZhipingShi;XiLiu;ZhiqingLi;ZhongzhiShi.FusingSemanticAspectsforImageAnnotationandRetrieval.JournalofVisualCommunicationandImageRepresentation.2010,21(8):798–805
54.李志清,施智平,李志欣,史忠植基于结构相似度的稀疏编码模型软件学报2010,21(10):2410-2419，(EI源)。
55.李志清,施智平,李志欣,史忠植.结构相似度稀疏编码及其图像特征提取[J].模式识别与人工智能,2010,23(1):17–22
56.刘曦,史忠植,石志伟,施智平.一种基于特征捆绑计算模型的物体识别方法.软件学报,2010,21(3):452?46.(EI)
57.QingyongLi,ZhipingShi:Textureimageretrievalusingcompacttextonco-occurrencematrixdescriptor.MultimediaInformationRetrieval2010:83-90
58.ZhixinLi,ZhipingShi,XiLiu,ZhongzhiShi.AUTOMATICIMAGEANNOTATIONWITHCONTINUOUSPLSA.ICASSP2010.806–809Lecture
59.ZhiqingLi,ZhipingShi,XiLiu,ZhongzhiShi.ANOVELSPARSECODINGMODELBASEDONSTRUCTURALSIMILARITY.ICASSP2010.4170-4173.Poster
京公网安备 11010802027423号