2006 Graduate Catalog and 2005 Annual R & D Report - Sirindhorn ...

2006 Graduate Catalog and 2005 Annual R & D Report
Sirindhorn International Institute of Technology (SIIT)
Equivalent-Transformation Computation Model
In declarative paradigms, a declarative description
plays the role of a precise specification, and, at the
same time, operates as a program. A number of
works on amalgamation and generalization of
declarative languages have been proposed. Most of
them have been driven mainly by computationoriented
requirements, e.g., enhancement of
operational semantics and integration of computation
models; other important related concepts such as
program synthesis and program transformation are
investigated only afterwards and not inherent in their
designs. By contrast, the equivalent transformation
(ET) paradigm takes a program-synthesis-oriented
approach, i.e., effective generation of efficient and
correct programs from specifications is its underlying
design motivation. Theoretical investigation of the ET
computation model is in progress.
A Theoretical Framework for Comparing
Computation Models
Systematic generation of programs relies on some
specific practically-determined correctness relations,
which associate with each specification a number of
cost-effectively-derivable correct programs with
respect to it. Between two such correctness
relations, if one is more expressive than the other, the
former is preferable, i.e., it determines a larger space
of derivable correct programs. Program generation in
different computation paradigms, e.g., logic
programming (LP), constraint logic programming
(CLP), functional programming (FP), functional logic
programming (FLP), and equivalent transformation
(ET), employs different correctness relations, and the
expressiveness thereof cannot be compared directly
due to the discrepancy in the forms of specifications,
programs and computations. The need arises for a
means of comparing the expressiveness of
correctness relations across computation frameworks.
Dr. Komwut Wipusitwarakun
Assistant Professor
B.S. (2 nd Class Honors) in Electrical Engineering, Chulalongkorn University, Thailand
M.S. in Communication Engineering, Osaka University, Osaka, Japan
Ph.D. in Communication Engineering, Osaka University, Osaka, Japan
Areas of Specialization: Broadband communication networks, Network reliability analysis, Self-healing network
design, ATM and TCP/IP technologies, Congestion control technologies.
Research Interests:
Highly Reliable Wide Area Network Design
In the coming “Information Age”, business and daily
life will be highly reliant on telecommunication
services. All organizations, companies and ordinary
homes will be connected together by the Wide Area
Communication Networks (WAN) so that various
kinds of services, provided at anywhere, can be
accessible from everywhere at anytime. Network
reliability will become a vital concern since the failure
of network functionality will result in a significant
impact on a wide-range of users both in tangible and
intangible forms. Thus, technologies for designing
and assuring the high reliability of WAN are needed.
These include, for example, theory and tools to
analyze the reliability-level of networks, automatic rerouting
algorithms (self-healing algorithm) design,
reliability-level based traffic prioritizing scheme,
working and spare capacity design and plans to
upgrade reliability-level of existing networks, etc.
Virtual Private Network
The Virtual Private Network (VPN) is technology to
enhance the utilization of an unreliable connection
traversing through public networks (either circuitswitching-based
or IP (Internet Protocol)-based
network) and sharing bandwidths with other users to
create a reliable/secured connection (virtual private
connection) like a conventional leased circuit, but with
much lower costs. The IP-based VPN is promising
since IP-based applications are widely used in all
communities. The IP-based VPN technology involves
designing a security scheme to protect transferred
data from other users, a bandwidth management
scheme to retain the acceptable bandwidth-level of
the connection and a parallel data-transferring
scheme to create a virtual high-bandwidth connection
from a group of low-bandwidth connections.
Dr. Mud-Armeen Munlin
Assistant Professor
B.Sc. in Physics, Prince of Songkhla University, Thailand
Ph.D. in Computer Science, School of Computer Studies, The University of Leeds, UK
Areas of Specialization: CAD/CAM, CNC 5-Axis Simulation, Solid modelling, Virtual environment.
Research Interests:
CAD/CAM/CNC Simulation/Optimization
Simulation and Optimization of cutting operations is
an active area of research in CNC-based
manufacturing. The limited capabilities of the current
CAD/CAM systems require new software based on
rigorous mathematical analysis verified by practical
machining. This research aims to enhance the
24