广西混杂计算与集成电路设计分析重点实验室

 首页  实验室概况  科学研究  学术委员会  科研平台  研发中心  人才培养 
站内搜索:
研究成果

 科研项目 
 研究成果 
 论文专著 
 学术交流 
 学术梯队 





研究成果

发表论著一览表
获奖项目
申请与授权发明专利

新闻动态

MACIS 2013 - Fifth International ...
第九届国际智能计算学术会议(ICIC20...
实验室成员参加自治区知识产权培训
实验室成员赴桂林参加中日信息科学...
意大利比萨大学法布里齐奥·卢西奥教...
实验室成员将赴桂林参加中日信息科...
2012年度实验室喜获3项广西自然科学...

研究成果
您的位置: 首页>>科学研究>>研究成果>>正文
发表论著一览表
2014-07-07   审核人:

论文或专著名称

作者

刊物(出版社)或会议名称

年、卷、期、页

A Algorithm based on the Local Module Degree for Community Detection in Complex Networks

吴尽昭

2012 IEEE International Conference On Computer Science and Automation Engineering

2012-5:Vol. 1:232-236.

A Clustering Analysis Method Based on Population Migration Algorithm

吴尽昭

Journal of Computational Information Systems

Vol. 8(No. 9): 3947-3953.

Applying Wu's Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking

吴尽昭

Journal of Convergence Information Technology

2012, Vol. 7(No. 4):272-279.

Approximate Bisimulation and Its Applications for Polynomial Algebraic System based on Symbolic and Numerical Calculation

吴尽昭

Journal of Information and Computational Science

2012, Vol. 9(No. 11):3123-3133.

Approximate Completed Trace Equivalence of Inhomogeneous Linear Transition Systems

吴尽昭

International Journal of Advancements in Computing Technology

2012, Vol. 4(No. 8):58-66.

Polynomial Process Algebra

吴尽昭

Proceedings of the 10th World Congress on Intelligent

2012-7:3004-3007.

基于吴方法的不变式生成算法

吴尽昭

北京交通大学学报

2012. Vol. 36(2):1-7.

Approximate Equivalence and Optimization for High-level Datapath

吴尽昭

Journal of Information & Computational Science

2011, 8(16):4131-4142.

Approximation to Linear Algebraic Transition System

吴尽昭

Emerging Intelligent Computing Technology and Applications

Vol. 304: 336-343

Generating Invariants for Polynomial Transition System

吴尽昭

Energy Procedia

2011, 13, 7171-7175.

On Approximate Bisimulation for Polynomial Algebraic Transition Systems

吴尽昭

2011 International Conference on Energy Systems and Electrical Power

(ESEP 2011).

Requirement Verification of Networked Software Goals with Multi-valued Logic

吴尽昭

International Journal of Advancements in Computing Technology

Vol. 4(No. 20):301–309.

Stochastic Process Algebra with Value-Passingand Weak Time Restrictions

吴尽昭

Journal of Software

2011, 6(5):769-782.

并发系统的动作细化理论

吴尽昭

电子科技大学出版社

2011.

Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches.

吴尽昭

Journal of Applied Mathematics

Volume 2013(2013), Article ID 272781.(SCI)

Wu's Characteristic Set Method for System Verilog Assertions Verification

吴尽昭

Journal of Applied Mathematics

Volume 2013(2013), Article ID 740194. (SCI)

A Novel Hybrid Cuckoo Search Algorithm Based on Simplex Operator

周永权

International Journal of Digital Content Technology and its Applications

6(13):45-52.

A Discrete Cuckoo Search Algorithm for Solving Knapsack Problems

周永权

Advances in Information Sciences and Service Sciences

4(18):331-339.

A Glowworm Swarm Optimization Algorithm Based on Metropolis Criterion

周永权

International Journal of Advancements in Computing Technology

4(3):149-155.

A Glowworm Swarm Optimization Algorithm Based Tribes

周永权

Applied Mathematics & Information Sciences

2012, 7(S3):965-970.

A Hybrid Glowworm Swarm Optimization Algorithm for Solving Matrix Eigenvalues

周永权

Information

2011, 14(3):999-1004.

A Hybrid Optimization Algorithm Based on Cultural Algorithm and Glowworm Swarm Optimization

周永权

Journal of Convergence Information Technology

7(10):239-247.

A Mean Particle Swarm Optimization Algorithm Based on Coordinate Rotation Angle

周永权

Advance Science Letters

2012, 5(2):737-740.

A Novel Cuckoo Search Optimization Algorithm Base on Gauss Distribution

周永权

Journal of Computational Information Systems

8(10):4193-4200.

A Novel Disturbance Parameters PSO Algorithm for Functions Optimization

周永权

Advances in Information Sciences and Service Sciences

4(4):51-57.

A Novel K-means Image Clustering Algorithm Based on Glowworm Swarm Optimization

周永权

Electrical Review

2012,88(8):266-270.

A Pruning Algorithm Based on The Complexity of Functional Network

周永权

International Journal of Digital Content Technology and its Applications

6(20):510-517.

Hybrid Optimization Algorithm Based on Mean Particle Swarm and Artificial Fish Swarm

周永权

Information

15(2):763-778.

Leader Glowworm Swarm Optimization Algorithm for Solving Nonlinear Equations Systems

周永权

Electrical Review

2012, 88(1):101-106.

Population migration algorithm description method and application based on unified framework of swarm intelligence

周永权

Journal of Networks

1164-1170.

The Glowworm Swarm Optimization Algorithm with Local Search Operator

周永权

Journal of information and computation science

9(5):1299-1308.

Further results on iterative methods for computing generalized inverses

刘晓冀

Journal of Computational and Applied Mathematics

2011. 11.

Nonsingularity of combinations of two group invertible matrices and two tripotent matrices

刘晓冀

Linear and multilinear algabra

2011, 217:3152-3161.

The spectrum of matrices depending on two idempotents

刘晓冀

Applied Mathematics Letters

2011, 59(1):101-115.

Quartic spline methods for solving one-dimensional telegraphic equations

刘焕文

Applied Mathematics and Computation

2012, 60(1):111-125.

A class of BVPs for nonlinear fractional differential equations with p-Laplacian operator

刘振海

E. J. Qualitative Theory of Diff. Equ.

2012, 70:1-16.

Analytical solutions of a class of inverse coefficient problems

刘振海

Applied Mathematics Letters

2012, 25:2391-2395.

Boundary value problems for second order impulsive functional differential equations

刘振海

Dynamic Systems and Applications

2011, 20(1):369-382.

Integral boundary value problems for first order integro-differential equations with impulsive integral conditions

刘振海

Computers and Mathematics with Applications

2011, 61(7): 3035-3043.

Inverse coefficient problems for parabolic hemivariational inequalities

刘振海

Acta Mathematica Scientia

2011, 31(4):1318 -1326.

Nonlinear boundary value problems of fractional differential systems

刘振海

Computers and Mathematics with Applications

2012, 64(4): 463-475.

On boundary variational–hemivariational inequalities of elliptic type

刘振海

Proceedings of the Royal Society of Edinburgh: Section A Mathematics

2010, 140(2): 419-434.

Derivation of OWL Ontology from XML Documents by Formal Semantic Modeling[J]

杨世瀚

Journal of Computers (Finland)

vol. 8, no. 2, pp. 372-379, 2013.

Automatically Transforming Legacy XML Documents into OWL Ontology

杨世瀚

Applied Mechanics and Materials

vol. 241-244, pp. 2638-2644, 2013

Extracting Semantic Information from Chinese Language Patent Claims

杨世瀚

Advances in Intelligent Systems and Computing

vol. 180 AISC, pp. 547-556, 2013.

Color-based road detection in night scenes

杨世瀚

International Journal of Digital Content Technology and its Applications

vol. 7, no. 5, pp. 795-803, 2013.

Validating Programmable Logic Controllers with Duration Calculus

何安平

International Journal of Innovative Computing

2013.

Automata Based Analysis of Stage Suspended Boom Systems

何安平

Journal of Applied Mathematics

vol. 2013, Article ID 739253, 7 pages, 2013.

Formal Analysis of Stage Suspended Boom Systems with Extended Duration Calculus

何安平

the 7th Proceedings of International Conference on Computing and Convergence Technology

pp 1426-1429, 2012.

A Mathematical Characterization of System Design and Modeling

何安平

Applied Mathematics & Information Sciences

2012, 6: 345-356.

Non-Sampling Contourlet Based “Consistency Verification” Method of Image Fusion

宣士斌

Advanced Intelligent Computing. Springer Berlin Heidelberg

2012: 342-349.

Application of Particle Swarm Optimization in Figuring out Non-differentiable Point of Function

莫愿斌

Journal of computers

2012, 7(10): 2542-2548.

Particle Swarm optimization foe Cylinder helical Gear Multi-objective Design problems

莫愿斌

Applied Mechanics and Materials

2012, 109:216-221.

Artificial Glowworm Swarm Optimization Algorithm for Solving Multi-objective Constrained Optimization

罗淇方

Applied Mechanics and Materials

2012, 220:2393-2397.

Spectrum sensing for cognitive radio networks with correlated multiple antennas

罗丽平

Electronics Letters

2011, 47(23): 1297-1298.

Research for Chinese Spam Filtering Based on GPU

刘勇

Journal of Computational Information Systems

2012, 8(21): 8929-8936.

L-fuzzy soft sets based on complete Boolean lattices

李招文

Computers & Mathematics with Applications

2012.

Soft rough sets and topologies

李招文

Lecture Notes in Computer Science

2012: 103-110.

Topological structure of generalized rough sets

李招文

Computers & Mathematics with Applications

2012, 63(6): 1066-1071.

Weak-open images of locally separable metric spaces

李招文

Studia Scientiarum Mathematicarum Hungarica

2011, 48(2): 145-159.

Liner Model of Two-stage Server Numbers and Load Throughputs

黄珍生

Applied Mechanics and Materials

2012, 182: 1303-1307.

Analysis for Probabilistic and Timed Intransitive Information Flow Security Properties

黄勇

Journal of Convergence Information Technology

2011, 6838:342-349.

The Research on Definition of Multilevel Security Based on the Construction of Covert Channels

黄勇

Communications in Computer and Information Science

2011: 157-162.

An approximate factorization of multiveariate polynomials using improved PSO

谢宁新

Computer Science and Information Processing (CSIP)

2012: 1159-1162.

A Study of mobile node localization algorithm based on Ranging MCL for WSN

汤卫东

Applied Mechanics and Materials

2012, 182.

Hybrid Particle Swarm Optimization Algorithm for Aggregation of Interval Numbers in Group Decision

曲良东

Journal of Information and Computational Science

2012.

A Novel Approach to Identifying Global Exceptional Patterns in Distributed Data Mining

刘美玲

American Journal of Engineering and Technology Research

2012, 182: 1972-1977.

已是首条
下一条:获奖项目

广西混杂计算与集成电路设计分析重点实验室  地址:广西南宁市大学东路188号
邮编:530006

[登录]