|
|
 電資通光 -
顏嗣鈞
|
|
專業技術：
自動機理論與正規語言; 圖形繪製與資訊視覺化; 正規驗證 |
| 研究介紹 |
| |
◎研究領域摘要 |
| |
--- [Graph Drawing and Information Visualization]
As graphs are known to be one of the most important abstract models in various scientific and engineering areas, graph drawing (or information visualization in a broader sense) has naturally emerged as a fast growing research topic in computer science. Our research focuses on algorithmic aspects of graph drawing, including (1) designing algorithms for drawing a wide class of graphs meeting certain aesthetic criteria, (2) analyzing complexities of various graph drawing problems, (3) applying graph drawing techniques to real-world applications including VLSI floor-planning, boundary labeling, visualization of hierarchical structures, text annotations, ... and more.
-- [Petri Net Theory]
Petri nets, introduced by C. A Petri in 1962, provide an elegant and useful mathematical formalism for modelling concurrent systems and their behaviors. In many applications, however, modelling by itself is of limited practical use if one cannot analyze the modelled system. As a means of gaining a better understanding of the Petri net model, the decidability and computational complexity of typical automata theoretic problems concerning Petri nets have been extensively investigated in the literature in the past four decades. Our research on Petri nets focuses on decidability/complexity analysis of various problems associated with Petri nets (equivalently, vector addition systems, vector replacement systems, and vector addition systems with states).
-- [Membrane computing]
Membrane computing (MC) identifies an unconventional computing model from natural phenomena of cell evolutions and chemical reactions. MC has a great potential for implementing massively parallel systems in an efficient way that would allow us to solve currently intractable problems once future bio-technology (or silicon-technology) gives way to a practical bio-realization (or chip-realization). In our study, we investigate various computational issues related to MC, establishing the following results:
‧nonuniversality of deterministic catalytic systems
‧model-checking of signaling membrane systems
‧identifying computational power of membrane systems w.r.t. various notions of parallelism... |
| |
|
| |
|
| 專利授權區 |
|
| |
|
| |
|
| 可交易技術 |
|
| |
|
|
專利行銷平台