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

2007 Graduate Catalog and 2006 Annual R & D Report
Sirindhorn International Institute of Technology (SIIT)
Research Interests:
Software for Optimization of the Tool-Path of
Industrial Milling Robots
Innovations in the field of mechanical engineering
have enhanced the involvement of milling robots in
various manufacturing processes. Nowadays,
computer guided milling machines are employed to
produce free-shape surfaces in mass manufacturing
industries such as automobile, airplane, ship-building,
etc. However, several physical phenomena, such as
machine kinematics, thermal effects, static and
dynamic loading, and common-cause failures often
affect the quality of the desired surface. Although
recent research papers have displayed a number of
advanced methods to improve the characteristics of
machining, a robust algorithm to generate the optimal
tool-path for geometrically complex workpieces is still
an open problem.
Image/Signal Reconstruction
Image processing and restoration has revolutionized
the fields of medicine, space exploration, geology,
and oceanography. A fundamental issue of image
restoration is identification of the distortion in the
presence of observation noise. However, it is well
known that small variations of the initial data could
lead to solutions far from a correct one. Moreover, the
performance of the identification procedures critically
depends on the assumptions regarding the size and
the shape of the distortion. Therefore, an efficient
procedure should be smart enough to perform an
appropriate regularization and to recognize the size
and the pattern of the distortion. These features are
particularly important in the case of multi band
wavelet based schemes since the procedure can not
be decomposed with regard to filtered components of
the image. The up-to-date Literature on Image
Processing clearly indicates the need for further
research.
Grid Generation Technologies
Grid generation techniques emerged as a subdiscipline
of Computational Fluid Dynamics in the
early seventies. Nowadays grid generators are
among the major components employed by versatile
codes in Geometrical Modeling, Computer Graphics,
CAD/CAM, Structural Analysis, Aerodynamics and
Computational Fluid Dynamics. However, in spite of
considerable efforts and a long time spent on
curvilinear and moving grid generation, the theoretical
principles have not been yet established. Grid
generation today is still much more of an art than a
science. Since many different approaches exist and
are being used, creative craftsmen are needed to
operate the various packages. Therefore, from an
industrial point of view, issues surrounding efficient
implementation, interactive, graphical user interface,
visualization and software engineering in grid
generation are of paramount importance.
Dr. Steven Gordon
Assistant Professor (Joined SIIT in October 2006)
B.Eng. in Computer Systems Engineering, University of South Australia, Australia
Ph.D. in Telecommunications, University of South Australia, Australia
Areas of Specialization: Telecommunications, Internet and Computer Networking including: Wireless
Networks, Satellite Internet, Wireless security, Distributed computing and middleware, Formal methods and
Petri Nets, System protocol design and analysis.
Research Interests:
Mobile Peer-to-Peer Networking
Low-cost wireless networking devices, such as Wi-Fi
enabled laptops and mobile phones, has allowed
mobile Internet access to flourish. Future advances in
wireless networking, such as Mobile Ad Hoc
Networks, Mesh Networks and Sensor Networks, will
enable mobile Internet applications to be used in a
more distributed manner, in particular Mobile Peer-to-
Peer applications. To make Mobile P2P feasible,
many networking challenges must be overcome,
including: maintaining network performance in
presence of voice and video applications; providing
fair and/or prioritised allocation of resources to users
(e.g. Quality of Service control); detecting, and
preferably avoiding Denial-of-Service security attacks;
and allowing users to seamlessly move between
networks, while maintaining their application
sessions.
Formal Design of Protocols
Communication protocols (such as TCP/IP, IEEE
802.11, GSM, P2P protocols) are a core part of
technologies we use everyday: the Internet, mobile
and landline phones, transport systems, home
entertainment and so on. Hence, it is vital that these
protocols operate in a correct, efficient and secure
manner. The design and analysis of communication
protocols has been a subject of research and
engineering practice for years. However, with the
ever-increasing release of new protocols, especially
for the Internet and wireless networks, tools and
techniques are needed to verify the design of
common protocol mechanisms, rather than analysing
every protocol individually. Two promising areas of
research are: creating and verifying formal Petri net
models of mechanisms that are applicable to a range
of protocols; and integrating techniques for formal,
performance and security analysis (e.g. combining
Petri nets with simulation tools like NS2 and OPNET;
using formal models for security proofs).
26