基本信息
吴尽昭 男 博导 成都计算机应用研究所
电子邮件:himrwujzh@aliyun.com
通信地址:四川省成都市人民南路四段9号
邮政编码:610041

招生信息

   
招生专业
083500-软件工程
081202-计算机软件与理论
070104-应用数学
招生方向
程序设计验证
形式化方法
符号计算与自动推理

教育背景

1991-09--1994-07 中科院系统科学研究所 博士学位

工作经历

   
工作简历
2001-03~现在, 中科院成都计算机应用研究所, 研究员/博士生导师
1997-01~2005-12,德国Max-Planck计算机科学研究所/Mannheim大学, 研究员
1994-08~1996-12,北京大学数学科学学院, 博士后/副教授
社会兼职
2011-01--今 四川省专家评议委员会,委员
2011-01--今 中国数学会计算机代数专业委员会,委员

教授课程

进程代数、 计算机科学中的逻辑、 模型检测方法、 代数符号计算、 自动推理技术、 人工智能

专利与奖励

   
奖励信息
(1) 德国马普学会奖学金,其他级,1997
专利成果
( 1 ) 企业多遗留系统的基础数据交换验证平台, 发明, 2008, 第 1 作者, 专利号: 200810045874.3
( 2 ) 企业应用集成平台构建方法和体系结构, 发明, 2008, 第 2 作者, 专利号: 200810045875.8
( 3 ) 基于交互式马尔可夫链模型检测的嵌入式系统性能评价技术方案, 发明, 2009, 第 1 作者, 专利号: 200910059677.1
( 4 ) 基于无人机和无线传感器网络的监控系统, 实用新型, 2015, 第 1 作者, 专利号: 201420824592.4
( 5 ) 基于FPGA的SAT自动一体化求解器, 发明, 2015, 第 2 作者, 专利号: 201410748527.2
( 6 ) 一种基于异步数据通路的RSA算法, 发明, 2017, 第 1 作者, 专利号: 201710523078.5
( 7 ) 一种基于FPGA的64位异步乘法器, 发明, 2017, 第 2 作者, 专利号: 201710214226.5
( 8 ) 一种基于异步数据通路的密码芯片, 发明, 2017, 第 2 作者, 专利号: 201710523868.3
( 9 ) 一种基于FPGA的高频异步随机数发生器, 发明, 2017, 第 2 作者, 专利号: 201711080455.9
( 10 ) 一种基于矩阵等价的布尔函数仿射等价判定方法, 发明, 2019, 第 1 作者, 专利号: 201910885406.5
( 11 ) 一种船只捕鱼行为预测方法, 发明, 2021, 第 1 作者, 专利号: 202110659998.6
( 12 ) 一种数据挖掘算法受控切换信息的传输方法及系统, 发明, 2020, 第 2 作者, 专利号: 202010237799.1
( 13 ) 基于多种通信方式的船联网多传感器节点控制器及其系统, 实用新型, 2020, 第 3 作者, 专利号: 202020084744.7

出版信息

   
发表论文
(1) Transferable face image privacy protection based on federated learning and ensemble models, Complex & Intelligent Systems, 2021, 通讯作者
(2) One-round semi-quantum-honest key agreement scheme in MSTSA structure without entanglement, Quantum Information Processing, 2021, 第 3 作者
(3) Video-based person re-identification by intra-frame and inter-frame graph neural network, Image and Vision Computing, 2021, 通讯作者
(4) 异构复杂信息网络敏感数据流动态挖掘, 计算机工程与科学, 2020, 第 2 作者
(5) Construction of Approximate Reasoning Model for Dynamic CPS Network and System Parameter Identification, Computer Communications, 2020, 第 2 作者
(6) Construction of information network vulnerability threat assessment model for CPS risk assessment, Computer Communications, 2020, 第 2 作者
(7) Robust Semi-Supervised Traffic Sign Recognition via Self-Training and Weakly-Supervised Learning, Sensors, 2020, 第 4 作者
(8) Convolutional Neural Network Based on Differential Privacy in Exponential Attenuation Mode for Image Classification, IET Image Processing, 2020, 通讯作者
(9) Some prospective criteria for non-unique solutions of ordinary differential equations, Systems Science and Control Engineering, 2019, 第 2 作者
(10) Formal verification and quantitative metrics of MPSoC data dynamics, Formal Aspects of Computing, 2017, 第 2 作者
(11) A Canonical-based NPN Boolean Matching Algorithm Utilizing Boolean Difference and Cofactor Signature, IEEE Access, 2017, 第 3 作者
(12) Cofactor-based NPN boolean matching algorithm, International Conference on Information Management, 2017, 第 3 作者
(13) Anomaly Detection for Categorical Observations Using Latent Gaussian Process, International Conference on Neural Information Processing, 2017, 第 3 作者
(14) 基于异步NOC机制的Booth乘法器设计, 内蒙古大学学报, 2017, 第 3 作者
(15) An Innovative Implementation of Asynchronous For-loop Circuit with Click Micropipeline, International Conference on Integrated Circuits and Microsystems, 2017, 第 3 作者
(16) 负载自适应的异构 MPSoC 任务调度算法研究, 工程科学与技术, 2017, 第 2 作者
(17) 一种负载感知的异构 MPSoC 任务调度算法, 电 子科技大学学报(自科版), 2017, 第 2 作者
(18) Safety Verification of Finite Real-Time Nonlinear Hybrid Systems using Enhanced Group Preserving Scheme, Cluster Computing, 2016, 通讯作者
(19) Rough Data-Deduction based on the Upper Approximation, Information Sciences, 2016, 第 3 作者
(20) Preservation of Dynamic Behaviours in a Hierarchical Event Structure, Journal of Software, 2016, 通讯作者
(21) Approximate Reachability and Bisimulation Equivalences for Transition Systems, Transactions of Tianjin University, 2016, 通讯作者
(22) Approximate Trace and Singleton Failures Equivalences for Transition Systems, Journal of Systems Engineering and Electronics, 2015, 通讯作者
(23) Quantitative Specification of Semi-algebraic Transition Systems with Metrics, Journal of Information and Computational Science, 2015, 通讯作者
(24) Specifying Safety and Liveness of Semi-algebraic Transition Systems, Journal of Computational Information Systems, 2015, 通讯作者
(25) Quantitative Models for Complex Physical Systems, Advanced Materials Research, 2015, 通讯作者
(26) A deductive approach towards reasoning about algebraic transition systems, Mathematical Problems in Engineering, 2015, 通讯作者
(27) Revised singleton failures equivalence for labelled transition systems, Chinese Journal of Electronics, 2015, 通讯作者
(28) Approximate Bisimulation Equivalence and Variable Refinement, Applied Mathematics and Information Sciences, 2014, 第 2 作者
(29) Interleaving Semantics and Action Refinement in Event Structures, Computer Modeling and New Technologies, 2014, 通讯作者
(30) On Fuzzy Rough Sets and Their Topological Structures, Mathematicial Problems in Engineering, 2014, 通讯作者
(31) Approximate Trace Equivalence of Real-time Linear Algebraic Transition Systems, Computer Modeling and New Technologies, 2014, 通讯作者
(32) Approximate Equivalence of the Hybrid Automata with Taylor Theory, Journal of Applied Mathematics, 2014, 第 2 作者
(33) Semantic Consistency Checking in Building Ontology From Heterogeneous Sources , Journal of Applied Mathematics, 2014, 通讯作者
(34) Approximate Bisimualtion and Optimization of Software Programs Based on Symbolic-Numeric Computation, Mathematical Problems in Engineering, 2013, 通讯作者
(35) Approximate Bisimulation for High-level Datapaths in Intelligent Trtation Systems, Advances in Mechnical Engineering, 2013, 通讯作者
(36) Wus Characteristic Set Method for SystemVerilog Assertions Verification, Journal of Applied Mathematics, 2013, 第 2 作者
(37) Approximate Completed Trace Equivalence of Three Dimensional t Model Nonlinear Algebraic Hybrid Systems, Applied Mathematics and Information Sciences, 2013, 通讯作者
(38) Consistency Verification between Goal Model and Process Model in Requirement Analysis of Networked Software, Journal of Computational and Theoretical Nanoscience, 2013, 通讯作者
(39) Dynamic Evolution of Requirements Process Model Deployed on Network Environment with PZN, Journal of Computational Information Systems, 2013, 通讯作者
(40) Dynamic Evolution of Requirements Goal Deployed on Network Environment, International Journal of Innovations in Information Technology, 2013, 通讯作者
(41) Automata-Based Analysis of Stage Suspended Boom Systems, Journal of Applied Mathematics, 2013, 通讯作者
(42) Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches, Journal of Applied Mathematics, 2013, 第 2 作者
(43) Implementation Error Detection Method for Software Validation, Journal of Applied Mathematics, 2013, 第 3 作者
(44) Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling, Journal of Computers, 2013, 第 2 作者
(45) Approximate Bisimulation and Its Applications for Polynomial Algebraic System Based on Symbolic and Numerical Calculation, Journal of Information and Computational Science, 2012, 通讯作者
(46) Approximate Completed Trace Equivalence of Inhomogeneous Linear Transition Systems, International Journal of Advancements in Computing Technology, 2012, 通讯作者
(47) A Clustering Analysis Method Based on Population Migration Algorithm, Journal of Computational Information Systems, 2012, 通讯作者
(48) Applying Wu’s Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking, Journal of Convergence Information Technology, 2012, 第 3 作者
(49) Requirement Verification of Networked Software Goals with Multi-valued Logic, International Journal of Advancements in Computing Technology, 2012, 通讯作者
(50) Mathematical Analysis of Stage-Based Programmable Logic Controller, Computers and Mathematics with Applications, 2012, 第 4 作者
(51) Approximate Equivalence and Optimization for High-level Datapath, Journal of Computational Information Systems, 2011, 通讯作者
(52) Stochastic Process Algebra with Value-Passing and Weak Time Restrictions, Journal of Software, 2011, 第 2 作者
(53) Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm for Fixed Point Equation, Journal of Information and Computational Science, 2011, 第 2 作者
(54) Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm with Simplex Search Method for System of Nonlinear Equations, Journal of Information , 2011, 第 3 作者
(55) Runtime Verification with Multi-valued Formula Rewriting, TASE 2010, 2010, 第 3 作者
(56) Process Algebra Approach to Verifying Safety Specification of Hybrid Systems, ICCSN 2009, 2009, 第 2 作者
(57) Probabilistic Modal Kleene Algebra and Hoare-Style Logic, ICNC 2008, 2008, 第 2 作者
(58) Multi-Valued Model Checking via Groebner Basis Approach, TASE 2007, 2007, 第 2 作者
(59) Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity, Acta Informatica, 2006, 第 2 作者
(60) Action Refinement for Real-Time Concurrent Processes with Urgency, J Computer Sci and Technol, 2005, 第 2 作者
(61) Symmetric Structure in Logic Programming, J Computer Sci and Technol, 2004, 第 1 作者
(62) Towards Action Refinement for True Concurrent Real Time, Acta Informatica, 2003, 第 2 作者
(63) Bundle Event Structures: A Revised Cpo Approach, Information Processing Letters, 2002, 第 3 作者
(64) CWA Formalizations in Multi-Valued Logics, J Computer Sci and Technol, 2001, 第 1 作者
(65) First-Order Polynomial Based Theorem Proving, Mathematics Mechanization and Applications, 2000, 第 1 作者
(66) Symmetry and Logic Programming, Proc. 11th Nordic Workshop on Programming Theory, 1999, 第 1 作者
(67) Well-Behaved Inference Rules for First-Order Theorem Proving, J Automated Reasoning, 1998, 第 1 作者
(68)  Mechanical Geometry Theorem Proving Based on Groebner Bases, J Computer Sci and Technol, 1997, 第 1 作者
(69) On Theorem Proving Using Generalized Odd-Superposition II, Sci. China, 1996, 第 1 作者
(70) Remainder Method for the First-Order Theorem Proving, ASCM 1995, Scientists Incorporated, Japan, 1995, 第 1 作者
(71) An Algebraic Method to Decide the Deduction Problem in Propositional Many-Valued Logics, ISMVL 1994, 1994, 第 1 作者
(72) Green Equivalences and Regular Problem for Special Monoids, ISSAC 1993, 1993, 第 1 作者
发表著作
(1) 交互式马尔科夫链-并发系统的设计、验证与评估, Interactive Markov Chains-Design, Verification and Evaluation of Concurrent Systems, 科学出版社, 2007-07, 第 1 作者
(2) 进程代数-对称与动作细化, Process Algebra-Symmetry and Action Refinement, 科学出版社, 2007-07, 第 2 作者
(3) 模型检测, Model Checking, 电子工业出版社, 2018-11, 第 1 作者

科研活动

   
科研项目
( 1 ) 近似形式化方法—实微分多项式进程代数研究, 主持, 国家级, 2014-01--2017-12
( 2 ) 半代数混杂系统形式化分析与验证的例证法研究, 主持, 国家级, 2015-01--2018-12
( 3 ) IC验证平台的设计、分析与测试, 主持, 市地级, 2012-09--2013-12
( 4 ) 片上多核处理器高层次架构设计的验证理论与关键技术, 主持, 省级, 2012-04--2016-03
( 5 ) 面向东南亚的汉语学习MOOC平台关键问题研究及其示范应用, 主持, 省级, 2016-05--2019-05
( 6 ) 半代数模型检测方法的误差分析与控制, 主持, 国家级, 2018-01--2021-12
参与会议
(1) Approximation to Linear Algebraic Transition System. Eighth International Conference on Emerging Intelligent Computing Technology and Applications,2012-10,Zhiwei Zhang, Jinzhao Wu, Hao Yang
(2) Generating Non-Linear Invariant for Polynomial Transition System,2010-12,N. Zhou, J. Wu
(3) Timed CSP for Safety Specification of Hybrid Systems,2008-08,J Wu, S. Yang

指导学生

已指导学生

陈冬火  博士研究生  081202-计算机软件与理论  

覃广平  博士研究生  081202-计算机软件与理论  

闫炜  博士研究生  081202-计算机软件与理论  

高新岩  博士研究生  081202-计算机软件与理论  

蒋建民  博士研究生  081202-计算机软件与理论  

曾琼  硕士研究生  081202-计算机软件与理论  

张登先  硕士研究生  081203-计算机应用技术  

杨世瀚  博士研究生  081202-计算机软件与理论  

陈剑锋  博士研究生  081202-计算机软件与理论  

周瑾  硕士研究生  081202-计算机软件与理论  

许振兴  硕士研究生  081203-计算机应用技术  

杨建书  硕士研究生  081202-计算机软件与理论  

陆翔升  硕士研究生  081203-计算机应用技术  

廖紫骅  硕士研究生  081203-计算机应用技术  

唐勇  硕士研究生  081203-计算机应用技术  

侯辉  硕士研究生  081203-计算机应用技术  

刘洋  博士研究生  081202-计算机软件与理论  

张廷招  硕士研究生  070104-应用数学  

张飞虎  硕士研究生  081203-计算机应用技术  

康青杨  硕士研究生  081203-计算机应用技术  

刘绍海  博士研究生  081202-计算机软件与理论  

刘白  博士研究生  081202-计算机软件与理论  

汤卫东  博士研究生  081202-计算机软件与理论  

杨浩  博士研究生  081202-计算机软件与理论  

冉俊轶  硕士研究生  081202-计算机软件与理论  

张志伟  博士研究生  081202-计算机软件与理论  

田瑞琴  硕士研究生  081202-计算机软件与理论  

汤琳  博士研究生  081202-计算机软件与理论  

张晖  博士研究生  081202-计算机软件与理论  

谢盈  博士研究生  081202-计算机软件与理论  

匡鹏  硕士研究生  070104-应用数学  

何洪辉  博士研究生  081202-计算机软件与理论  

熊菊霞  博士研究生  081202-计算机软件与理论  

曹俊月  博士研究生  083500-软件工程  

现指导学生

许振兴  博士研究生  081202-计算机软件与理论  

杨晶晶  博士研究生  081202-计算机软件与理论  

刘桂青  博士研究生  081202-计算机软件与理论