殷明浩

 

 

 

 

Minghao Yin

 

 

 

Now I am the Dean of

Department of Computer Science, College of Computer Science, Northeast Normal  University, Changchun, China

 

 

 

 

 

 

 


[Interest] [Education] [Research] [Institute of Algorithm and Big Data Analysis]


Interest

My current research interests mainly include automated planning, automated reasoning, semantic web and approximate reasoning.

Education

Bachelor

Department of Computer Science & Technology, Northeast Normal  University , China

Sept. 1997- Jul. 2001

Master
(Directed by Professor Gu Wenxiang )

Department of Computer Science & Technology, Northeast Normal  University , China

Sept.. 2001 - Jul. 2004

PhD
(Directed by Professor Sun Jigui)

College of Computer Science & Technology , Jilin University, China

Sept. 2004 -  Jul.2008.

Courses

Formal Language and Automated Machine          形式语言与自动机                         (For Graduate Students, each spring)                                        

      Automated Plan and Plan Recognition            (智能规划与规划识别)                             (For Graduate students, 2006-2008) 

      Complexity Theory                             (可计算性与计算复杂性)                        (For Graduate Students, each autumn) 

Computer Culture                             (计算机基础)                                        (For College student)   

 

News:

Our planner LMTD ranked 5th in the Temporal Satisfying Track in IPC 2011. The source code of the planner will be distributed soon!

Our solver OXCoDE ranked 6th in CEC 2011 competition! The source code of the solver will be distributed soon!

 

Publications recently (Selection).

Conference and Workshop Paper

1.      F. Ma, X. Gao, M. Yin, L. Pan, J. Jin, H. Liu, J. Zhang, Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search, Proceedings of CP-16, 2016 [dataset]

2.      Y Wang, S Wei, M. Yin, Two Efficient Local Search Algorithms for Maximum Weight Clique Problem, Proceedings of AAAI-16, 2016.  

3.      D. Cai , Y. Hu, M. Yin*, SatPlanLM and SatPlanLM-c: Using Landmarks and Their Orderings as Constraints, Proceedings of International planning competition 2011 (IPC-11).

4.      Y. Hu, D. Cai, M. Yin*, The LMTD Planner:On the Discovery and Utility of Precedence Constraints in Temporal Planning, Proceedings of International planning competition 2011(IPC-11). (This planner ranks 5th in Temporal Satisfying Track in IPC 2011 )

5.      J. Gao, M. Yin, J. Zhou, hybrid tractable classes of binary quantified constraint satisfaction problems, proceedings of AAAI-11, 2011. (extended abstract, see full version in ACM CoRR abs/1104.4910)

6.      Y. Hu, M. Yin*, D. Cai, On the Discovery and Utility of Precedence Constraints in Temporal Planning, proceedings of AAAI-11, 2011. (extended abstract, corresponding author)

7.      P. Huang, M. Yin*, K. Xu*, Exact phase transition and approximate algorithm for #CSP, proceedings of AAAI-11, 2011 (extended abstract, corresponding author, see full version in ACM CoRR abs/1104.4922)

8.      J. Gao, M. Yin*, K. Xu*, Phase Transitions in Knowledge Compilation: an Experimental Study, proceedings of SAT-11, 2011. (corresponding author, see full version in ACM CoRR abs/1104.0843)

9.      J. Zhou, M. Yin*, C. Zhou, New Worst-Case Upper Bound for #2-SAT and #3-SAT with the Number of Clauses as Parameter, Proceedings of AAAI-10, AAAI press, 2010, 217-222. (corresponding author, see old version ACM CoRR abs/1006.1537, 2010)

10.  X. Li, J. Wang, J. Zhou, M. Yin*, An effective GSA based memetic algorithm for permutation flow shop scheduling. IEEE Congress on Evolutionary Computation 2010 CEC-10: 1-6

11.  D. Cai, M. Yin*, J. Wang, Improving relaxed-plan-based heuristics via simulated execution of relaxed-plans, Proceedings of ICAPS WK on HDP09, 2009, AAAI press. (corresponding author)

12.  D. Cai, J. Sun, M. Yin, Conformant Planning Heuristics Based on Plan Reuse in Belief States, Proceedings of AAAI08, AAAI press, 2008. 

13.  M. Yin, H. Lin, J. Sun, Counting models using Extension Rules, Proceedings of AAAI07, 2007, AAAI press.

14.  M. YinJ. Sun, S. Lu, D. Cai. A novel framework for Plan recognition: Graphplan as a basis, In: Proceedings of the 7th IJCAI WK on NRAC, AAAI press, 2007, 472-476. 

15.  M. Yin, J. Sun, “Extension or Resolution: A novel approach for reasoning in possibilistic logic” Proceedings of IFSA-07, Advances in Soft Computing, 2007, 41, 600-607.

16.  D. Cai, J. Sun, M. Yin, “Making FF faster in ADL domains” Proceedings of Third International Conference on Natural Computation, ICNC 2007, LNCS 160-164.

17.  S. Cui, J. Sun, M. Yin, S. Lu, Solving uncertain Markov decision problems: An interval-based method, Proceedings of ICNC 2006, LNCS 4222, 948-957. (SCI index)

18.  X. Wu, J. Sun, S. Lu, Y. Li, W. Meng, M. Yin, Improved propositional extension rule, Proceedings of RSKT 2006, LNCS 4062, 592-597.(SCI index)

19.  M. Yin, W. Gu, Y. Lu, Flexible goal recognition via graph construction and analysis Proceedings of FSKD 2005, LNAI 3614, 1118-1127. (SCI index)

 

International Journal Paper

1.  Y. Wang, R. Li, Y. Zhou, M. Yin, A path cost-based GRASP for minimum independent dominating set problem, Neural Computing and Applications, DOI: 10.1007/s00521-016-2324-6.

2.   Wang, Y., Yin, M., Ouyang, D., & Zhang, L. (2016). A novel local search algorithm with configuration checking and scoring mechanism for the set kcovering problem. International Transactions in Operational Research, DOI: 10.1111/itor.12280.

3.  R. Li, S. Hu, J. Gao, Y. Zhou, Y. Wang, M. Yin, GRASP for connected dominating set problems, Neural Computing and Applications, DOI: 10.1007/s00521-016-2429-y

4.  Wang, J., Yin, M., & Wu, J. (2016). Two approximate algorithms for model counting. Theoretical Computer Science, doi:10.1016/j.tcs.2016.04.047

5.    R Li, S. Hu, Y. Wang, M. Yin*, A local search algorithm with tabu strategy and perturbation mechanism for generalized vertex cover problem, Neural Computing and Applications, DOI: 10.1007/s00521-015-2172-9.

6.  Wang Y., Ouyang D., Zhang L, M Yin*, A novel local search for unicost set covering problem using hyperedge configuration checking and weight diversity. SCIENCE CHINA Information Sciences. DOI: 10.1007/s11432-015-5377-8.

7.  Li X, Yin M. A particle swarm inspired cuckoo search algorithm for real parameter optimization. Soft Computing, 2016, 20(4): 1389-1413.

8.      Gao, J., Wang, J., Yin, M. Experimental analyses on phase transitions in compiling satisfiability problems. Science China Information Sciences, 1-11, 2015

9.      X. Li, M. Yin, Modified Cuckoo search algorithm with self adaptive parameter method, Information Sciences, doi. 10.1016/j.ins.2014.11.042, 2015. .

10.  X. Li, M. Yin, Modified Differential Evolution with Self-adaptive Parameters Method, Journal of Combinatorial Optimization, Doi. 10.1007/s10878-014-9773-6, 2015.

11.  P. Huang, M. Yin. "An upper (lower) bound for Max (Min) CSP. Science China Information Sciences (2014): 1-9.

12.  X. Li, M. Yin, Parameter estimation for chaotic systems by hybrid differential evolution algorithm and artificial bee colony algorithm, Nonlinear Dynamics, 77(2014) 61-71.

13.  Li X, Zhang J, Yin M. Animal migration optimization: an optimization algorithm inspired by animal migration behavior. Neural Computing and Applications, 2014, 24(7-8): 1867-1877. [code]

14.  Li X, Wang J, Yin M. Enhancing the performance of cuckoo search algorithm using orthogonal learning method. Neural Computing and Applications, 2014, 24(6): 1233-1247.

15.  X. Li, M. Yin, Self adaptive constrained Artificial Bee Colony for constrained numerical optimization, Neural Computing and Applications, 2014, 24(3-4): 723-734.

16.  X. Li, M. Yin, Multiobjective Binary Biogeography based Optimization based Feature Selection for Gene Expression Data, IEEE Transactions on NanoBioscience, 12 (4) (2013): 343 -353.

17.  X. Li, M. Yin, An Opposition-Based Differential Evolution Algorithm for Permutation Flow shop Scheduling Based on Diversity Measure, Advances in Engineering Software. 55(2013)10-31.

18.  Li X, Yin M. A hybrid cuckoo search via lévy flights for the permutation flow shop scheduling problem. International Journal of Production Research, 2013, 51(16): 4732-4754.

19.  Wang J, Yin M, Gu W. Fuzzy multiset finite automata and their languages. Soft Computing, 2013, 17(3): 381-390.

20.  X. Li, M. Yin, Application of Differential Evolution Algorithm on Self-potential Data, PLOS ONE. Doi. 10.1371/journal.pone.0051199

21.  X. Zhao, W. Zhang, X. Xu, Z. Ma, M. Yin, Prediction of Protein Phosphorylation Sites by Using the Composition of k-Spaced Amino Acid Pairs, PLOS ONE.

22.  X. Li, M. Yin, Multi-operator based Biogeography based Optimization with Mutation for Global Numerical Optimization, Computers and Mathematics with Applications, 64(9)(2012) 2833-2844.

23.  D. Cai, M. Yin: On the utility of landmarks in SAT based planning. Knowledge Based System. 36: 146-154, 2012

24.  X. Zhao, Z. Ma, M. Yin*, Predicting Protein-Protein Interactions by Combing Various Sequence-Derived Features into the General Form of Chou's Pseudo Amino Acid Composition, Protein peptide letter, Accepted.

25.  X. Li, M. Yin*, Hybrid Differential Evolution with Biogeography based Optimization for Design of a Reconfigurable Antenna Array with Discrete Phase Shifters International Journal of Antennas and Propagation. Accepted.

26.  J. Zhou, M. Yin*Phase Transitions of EXPSPACE-complete problems: A further step, International Journal of Foundation of Computer Science, (see old version in ACM CoRR abs/1012.2713, 2011.

27.  X. Li, J. Wang, J. Zhou, M. Yin*,A perturb biogeography based optimization with mutation for global numerical optimization, Applied Mathematics and Computation, 218(2), 207-650.

28.  M. Yin, Y. Hu, F. Yang, X. Li, W. Gu, A Novel Hybrid K-harmonic Means and Gravitational Search Algorithm Approach for Clustering, Expert systems with Applications, cleardoi:10.1016/j.eswa.2011.01.018.

29.  M. Yin, J. Zhang, H. Sun, W. Gu: Multi-cue-based camshift guided particle filter tracking. Expert Systems with Applications, 2011, 38(5): 6313-6318.

30.  Y. Hu, M. Yin*, X. Li, A novel objective function for job-shop scheduling problem with fuzzy processing time and fuzzy duedate using differential evolution algorithm, International Journal of Advanced Manufacturing Technology, doi 10.1007/s00170- 011-3244-3.

31.  X. Li and M. Yin*, "Design of a reconfigurable antenna array with discrete phase shifters using differential evolution algorithm," Progress In Electromagnetics Research B, 2011, 31:29-43.

32.  J. Zhou, P. Huang, M. Yin*, Chunguang Zhou, Phase Transition of EXPSPACE-complete Problems, International Journal of Foundation of Computer Science, 2010, 21(6): 1073-1088.

33.  M. Yin, T. Zou, W. Gu, Reverse Bridge Theorem under Constraint Partition, Mathematics Problems in Engineering, 2010.

34.M. Yin, T. Zou, W. Gu, J. Wang, Product structure of the fuzzy n-ary factor group, Computer and mathematics with applications, 2010, 59(8): 2734-2742.

35.L. Shi, J. Sun, S. Lu, M. Yin*, Flexible Planning Using Fuzzy Description Logics: Theory and Application, Applied soft computing, 2009, 9(1): 142-148.

36.J. Sun, M. Yin*, Recognizing agent's intention incrementally: Graphplan as a basis, Frontiers of Computer Science in China, Springer press, 2007, 1(1): 26-36. (invited paper)

 

Native Journal Paper

1.      谷文祥、王金艳、殷明浩*基于MCNMO启发式策略的扩展规则知识编译方法,计算机研究与发展,已录用(通讯作者)。

2.      周俊萍, 殷明浩,周春光,翟彦东,王康平.最坏情况下#3-SAT问题最小上界,计算机研究与发展,已录用。

3.      殷明浩、周俊萍、谷文祥、孙吉贵,求解QBF问题的启发式调查传播算法,软件学报2011,22(7):1538-1550.

4.      魏唯、欧阳丹彤、吕帅、殷明浩,结合增量与启发式搜索的多目标问题处理方法,计算机研究与发展201047(11)1954-1961
(W. Wei , D. Ouyang, S. Lu, M. Yin
. An Incremental heuristic method to solve multi-objective problems. Journal of Computer Research and Development, 2010, 47(11):1954-1961)

5.      殷明浩、孙吉贵、林海、吴瑕,基于可能性扩展规则的推理和知识编译,软件学报201021(11)2826-2837
(
  Minghao Yin, Sun Jigui , Xia Wu, Possibilistic Extension Rules for Reasoning and Knowledge Compilation , Journal of Software, 2010, 21(11): 2826-2837)

6.      谷文祥、李淑霞、殷明浩隐蔽集的研究与发展计算机科学201037(3)11-16
(W. Gu, S. Li, M. Yin. A Survey of Backdoor Set. Journal of Computer Science, 2010, 37(3): 11-16)

7.      谷文祥、赵晓威、殷明浩知识编译研究计算机科学201037(7)20-26
(W. Gu, X. Zhao, M. Yin, A Survey of Knowledge Compilation, Journal of Computer Science, 2010, 37(7), 20-26.)

8.      殷明浩、林海、孙吉贵,JLU-ERWMC:基于扩展规则的#SAT求解系统,软件学报200946(7)1714-1725
(M. Yin, H. Lin, J. Sun, JLU-ERWMC: Solving #SAT using Extension Rules. Journal of Software, 2009, 20(7): 1714-1725)

9.      孙吉贵、殷明浩*、吕帅,JLU-RLAO and JLU-QLAO:两个不确定规划求解器,计算机研究与发展200946(4)667-675(通讯作者)
(J. Sun, M. Yin, S. Lu, JLU-RLAO and JLU-QLAO: Two Non-Deterministic Planners. Journal of Computer Research and Development,2009,46(4): 667-675)

10.  周俊萍、殷明浩*、谷文祥、孙吉贵,部分可观察强规划中约减观察变量的研究,软件学报200920(2)290-304(通讯作者)
(J. Zhou, M. Yin, W. Gu, J. Sun,
Research on Decreasing Observation Variables for Strong Planning under Partial Observation, Journal of Software, 2009,20(2):290-304)

11.  谷文祥、王改革、殷明浩、孙焱,图规划框架下的启发式搜索的研究与发展,计算机科学200936(11)1-9
(W. Gu, G. Wang, M. Yin, Y. Sun,
A Survey of Planning graph Based on Heuristic State Search, Journal of Computer Science, 2009,36(11): 1-9).

12.  蔡敦波、殷明浩、谷文祥、孙吉贵,基于延迟部分推理的快速前向规划系统,计算机学报200831(5)793-802
(
D. Cai, , M. Yin, J. Sun, W. Gu, Fast Forward Planning System Based on Delayed Partly Reasoning, Chinese Journal of Computers, 2008, 31(5): 793-802.)

13.闫书亚, 谷文祥, 殷明浩,概率规划研究进展,智能系统学报, 2008, 3(1): 9-22
(S. Yan, W. Gu, M. Yin, A survey of probabilistic planning, CAAI Transactions on Intelligent systems,2008, 3(1): 9-22.)

 

  

Research Projects

      

2014-2017  National Natrual Science Foundation of China (Grant No. 61370156) “Phase Transition of #CSP”

2014-2016  Program for New Century Excellent Talents in University (Grant No. NCET-13-0724) “Phase Transition of Planning and Reasoning”

2010-2011  Open Fundation of Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education (Jilin University), “The research of phase transitions and structure of solutions in intelligent planning and automated resoning”(PI), 20,000 RMB.

2009-2011  National Natrual Science Young Foundation of China (Grant No. 60803102), “Research of opened planning”(PI), 190,000 RMB.

2007-2008  Young Foundation of Northeast Normal University, “Research of conformant planning” (PI), 30,000 RMB, (Excellent award).

2005-2006  Young Foundation of Northeast Normal University, “Research of intelligent planning based on fuzzy knowledge” (PI), 25,000 RMB

2008-2010  National Natrual Science Foundation of China (Grant No. 60773097, PI: Jigui Sun), “Research of automated reasoning based on extension rule”

2006-2008  National Natrual Science Foundation of China (Grant No. 60573067), “Research of Graphplan with variable object sets and its mathematical models” PI: Gu Wenxiang)

2006-2008  Specialized Research Fund for the Doctoral Program of Higher Education of Ministry of Education of China (Grant No. 20050183065), “Theory and method for non-deterministic intelligent planning” (PI: Jigui Sun).

2004-2008  National Natural Science Foundation of China (Grant No. 60473042), “Research of oppositional planning” PI: Gu Wenxiang)


Last Modified: May 20, 2010