买球新万博-买球万博-买球网站manbetx

代表性的学术论文

2012年05月18日 18:46  点击:[]


序号

成果名称

作者

发表刊物名称/年份

 

1

Quasi-Classical Description Logics and Paraconsistent Tabbleau Calculus for Reasoning with Acyclic Tbox

吴尽昭

Journal University of Electronic Science & Technology Of China/2009

 

2

Process Algebra with Chaos Executing Policy for Unhealthy Systems

吴尽昭

Journal of Computers/2009

 

3

Real Time Process Algebra with Urgency Executing Policy

吴尽昭

Journal of Software/2009

 

4

Ontology Reasoning and Services Composition Verification towards O-RGPS Requirement Meta-Model

吴尽昭

The 3rd International Conference on Advanced Computer Theory and Engineering /2010

 

5

Approximate Equivalence and Optimization for High-level Datapath

吴尽昭

Journal of Computational Information Systems/2011

 

6

Hybrid Coevolutionary Glowworm Swarm Optimization Algorithm for Fixed Point Equation

吴尽昭

Journal of Information and Computational Science/2011

 

7

Stochastic Process Algebra with Value-Passing and Weak Time Restrictions

吴尽昭

Journal of Software/2011

 

8

A Novel Numerical Computation Method Based on Particle Swarm Optimization Algorithm

周永权

Journal of Computers/2010

 

9

Population Migration Algorithm Description Method and Application Based on Unified Framework of Swarm Intelligence

周永权

Journal of Networks/2010

 

10

An artificial glowworm swarm optimization algorithm based on Powell local optimization method

周永权

Pattern Recognition and Artificial Intelligence/2011

[1] [2] [3] [4] [5] [6] 下一页

关闭