In the last few decades, academic and institutions advanced in coastal research in Europe and America have rigorously engaged in developing numerical models for coastal wave hydrodynamic simulations. The notable products include MIKE21 from DHI in Denmark, CEDAS (with GENESIS and SBEACH) from Veri-Tech in the United States, and the SMC from University of Cantabria in Spain. Among them, the Spanish Coastal Modeling System (SMC) is the only integrated package for coastal planning and modeling. With a unique preprocess module which pre-stores the bathymetry and wave data, the SMC provides a user-friendly interface directly using the screen display for a series of coastal planning and design applications which comprise artificial nourishment with headland-bay beach, breakwater construction and extension, and dredging of navigation channel etc., as well as the usual wave-current simulation for countermeasures in coastal protection and disaster mitigation. Despite the availability of several numerical programs for wave-current simulations and beach changes that have been developed by the coastal professional in Taiwan, and the continuous effort of the Water Resources Agency, Ministry of Economic Affairs to establish a national coastal database, it is imperative to develop/setup an integrated bathymetry-hydrodynamics-protection system, such as the Spanish SMC, as the key element in the national platform for coastal planning and modeling. This dissertation first describes the coastal environment in Taiwan, major causes for shoreline evolution and then reviews the history of shore protection since 1970s, together with the current prospective for coastal environment and strategies to sustain the natural shoreline ratio. To accomplish these goals, the Water Resources Agency has endeavored to implement artificial nourishment with headland-bay beaches, in order to raise the ratio of natural shoreline, in addition to establish a national coastal planning and simulation platform. As a response to this call for eco-engineering approach, we recommend that headland-bay beach in static equilibrium be adopted for mitigating coastal erosion, beach restoration and creation of recreational beaches, which can be designed directly on the screen using the empirical bay shape equation in conjunction with the SMC. Based on the framework of the Spanish SMC, this writer has successfully attempted the preliminary pre-process module of Baco (bathymetry) and Odin (wave climate) for Taiwan, using data from digitized nautical charts, nearshore depth surveys, and long-term wave observation results around Taiwan from the International Comprehensive Ocean-Atmosphere Data Set (ICOADS). The effort generates the first version of SMC in Taiwan. Having pre-stored the bathymetry and wave data for Dapeng bay in Pingtung County and Sizihwan Bay in Kaohsiung City, a series of coastal planning and modeling procedures for these two model sites are demonstrated in this dissertation, including a series of calculations of wave-current distribution for monsoon and storm waves, as well as planning of bay beach using artificial nourishment. Upon executing the Taiwanese version of SMC introduced in this dissertation, the modeling results can be applied to assist the planners and decision makers in comprehending the coastal environment, devising a feasible shore protection strategy, and promoting an earlier accomplishment of the so-called ¡ugeo-engineering ¡u in our country. Finally, the writer also wishes the outcome of this study could help relevant government agency to accomplish the prospective of sustainable coastal development upon implementing the strategies of establishing an appropriate coastal planning platform and promoting a systematic approach for coastal planning and design, as revealed in the "Sustainable Regeneration of Coastal Environment Project (98 ~ 103 fiscal year)".

In this study, the mechanical properties of Cu-Zr binary bulk metallic glasses (BMG) were investigated at the nano-scale. The stable amorphous structures and corresponding energies of BMG structures are performed by density functional theory (DFT) calculation as reference data. This study will combine the Force-Matching (FM) method and Basin-Hopping (BH) method to develop a new method for fitting the Cu-Zr Tight-binding (TB) potential parameters. Moreover, the Bulk modulus, Shear modulus, Young's modulus and Poisson ratio of Cu46Zr54, Cu50Zr50 and Cu64Zr36 structures are calculated with the fitting TB parameters. In addition, the compression process of BMG materials is simulated by the Molecular Statics. The stress and strain are obtained to investigate the deformation mechanism of CuZr/Zr/CuZr nanolaminates at 0 and 45 inclined degree. Finally, we investigate the angle in the deformation process under different strain in the shear band, shear transformation zones (STZs) and force caused by the slip of the atomic distribution of TFMGs layer.

In this study steel framing systems are investigated with regards to their lateral load carrying capacity and in this context seismic response modification factors of individual systems are analyzed. Numerous load resisting layouts, such as different bracing systems and un-braced moment resisting frames with various bay and story configurations are designed and evaluated in a parametric fashion. Three types of beam to column connection conditions are incorporated in evaluation process. Frames, designed according to Turkish seismic code, are investigated by nonlinear static analysis with the guidance of previous studies and recent provisions of FEMA. Method of analysis, design and evaluation data are presented in detail. Previous studies in literature, history and the theory of response modification phenomenon is presented. Results are summarized, main weaknesses and ambiguities introduced to design by the use of &ldquo / R&rdquo / factors are stated depending on the observed behavior.

In this thesis, we present a simple and efficient automated analysis tool called DoSSO that detects shared objects in multithreaded Java programs. DoSSO reports only the shared objects that are modified by at least one thread. Based on this tool, we propose a new approach in developing concurrent software where programmers implement the system without considering synchronization issues first and then use appropriate locking mechanism only for the objects reported by DoSSO. To evaluate the applicability of DoSSO, we have conducted a case study on a distributed and concurrent system with graphical user interfaces. Case study results showed that DoSSO is able to identify objects that become shared among explicitly defined threads and event threads, and objects that become shared through RMI.

Real-time system refers to the computing, communication, and information system with deadline requirements. To meet these deadline requirements, most systems use a mechanism known as the schedulability test which determines whether each of the admitted tasks can meet its deadline. A new task will not be admitted unless it passes the schedulability test. Schedulability tests can be either direct or indirect. The utilization based schedulability test is the most common schedulability test approach, in which a task can be admitted only if the total system utilization is lower than a pre-derived bound. While the utilization bound based schedulability test is simple and effective, it is often difficult to derive the bound. For its analytical complexity, utilization bound results are usually obtained on a case-by-case basis. In this dissertation, we develop a general framework that allows effective derivation of schedulability bounds for different workload patterns and schedulers. We introduce an analytical model that is capable of describing a wide range of tasks' and schedulers'€™ behaviors. We propose a new definition of utilization, called workload rate. While similar to utilization, workload rate enables flexible representation of different scheduling and workload scenarios and leads to uniform proof of schedulability bounds. We introduce two types of workload constraint functions, s-shaped and r-shaped, for flexible and accurate characterization of the task workloads. We derive parameterized schedulability bounds for arbitrary static priority schedulers, weighted round robin schedulers, and timed token ring schedulers. Existing utilization bounds for these schedulers are obtained from the closed-form formula by direct assignment of proper parameters. Some of these results are applied to a cluster computing environment. The results developed in this dissertation will help future schedulability bound analysis by supplying a unified modeling framework and will ease the implementation practical real-time systems by providing a set of ready to use bound results.

The static synchronous series compensator (SSSC) is a series controller of Flexible AC Transmission Systems (FACTS). It can be controlled by Thyristors, it also has the ability of fast control adjustments and high frequency operation. Through impedance compensation, it is able to control the magnitude and directions of the real power flow in the transmission system. In order to achieve a fast and steady response for real power control in power systems, this thesis proposed a unified intelligent controller, which consists of RBFNN and GA for the SSSC to provide better control features for real power control in the dynamic operations of power systems. Finally, the simulation results of the proposed controllers is compared with the conventional proportional plus integral (PI) controllers to demonstrate the superiority and effectiveness of the unified intelligent controller.

<p>The main concern of this work is the development of methodsfor automatic condition monitoring of control loops withapplication to the process industry. By condition monitoringboth detection and diagnosis of malfunctioning control loops isunderstood, using normal operating data and a minimum amount ofprocess knowledge.</p><p>The use of indices for quantifying loop performance is dealtwith in the first part of the thesis. The starting point is anindex proposed by Harris (1989). This index has been modifiedin order to cover a larger range of processes. The same conceptis then used to assess the sampling rate in control loops.Other index-based monitoring methods where some amount ofprocess knowledge is available are discussed.</p><p>The evaluation of the performance indices discussed requiresknowledge of the process dead-time. Therefore a concept calledevent-triggered estimation is introduced in the second part ofthe thesis. Both automatic data selection and dead-timeestimation methods are proposed and conditions for successfulestimation are discussed.</p><p>The last part of the thesis deals with the diagnosis ofoscillations. A method to automatically diagnose staticfriction (stiction) in the actuator is presented. Furthermore,two methods are proposed which allow automatic distinction ofexternally and internally generated oscillations. All describedmethods have been implemented in a MATLAB-based graphical userinterface which is briefly described.</p>

<p>At every joint there is a redundant set of muscle activated during movement or loading of the system. Optimization techniques are needed to evaluate individual forces in every muscle. The objective in this thesis was to use static optimization techniques to calculate individual muscle forces in the human extremities.</p><p>A cost function based on a performance criterion of the involved muscular forces was set to be minimized together with constraints on the muscle forces, restraining negative and excessive values. Load-sharing, load capacity and optimal forces of a system can be evaluated, based on a description of the muscle architectural properties, such as moment arm, physiological cross-sectional area, and peak isometric force.</p><p>The upper and lower extremities were modelled in two separate studies. The upper extremity was modelled as a two link-segment with fixed configurations. Load-sharing properties in a simplified model were analyzed. In a more complex model of the elbow and shoulder joint system of muscular forces, the overall total loading capacity was evaluated.</p><p>A lower limb model was then used and optimal forces during gait were evaluated. Gait analysis was performed with simultaneous electromyography (EMG). Gait kinematics and kinetics were used in the static optimization to evaluate of optimal individual muscle forces. EMG recordings measure muscle activation. The raw EMG data was processed and a linear envelope of the signal was used to view the activation profile. A method described as the EMG-to-force method which scales and transforms subject specific EMG data is used to compare the evaluated optimal forces.</p><p>Reasonably good correlation between calculated muscle forces from static optimization and EMG profiles was shown. Also, the possibility to view load-sharing properties of a musculoskeletal system demonstrate a promising complement to traditional motion analysis techniques. However, validation of the accurate muscular forces are needed but not possible.</p><p>Future work is focused on adding more accurate settings in the muscle architectural properties such as moment arms and physiological cross-sectional areas. Further perspectives with this mathematic modelling technique include analyzing pathological movement, such as cerebral palsy and rheumatoid arthritis where muscular weakness, pain and joint deformities are common. In these, better understanding of muscular action and function are needed for better treatment.</p>

<p>The X-ray absorption spectrum of silicon in of SiCl4 has been calculated for the LIII and LII edges. The resulting spectrum has been vibrationally resolved by considering the symmetric stretch vibrational mode and the results has been compared to experiment [4]. One peak from the experiment was found to be missing in the calculated vibrationally resolved spectrum. The other calculated peaks could be matched to the corresponding experimental peaks although significant basis set effects are present. An investigation of one peak beyond the Franck–Condon principle shows it to be a good approximation in the case of the studied system.</p>

<p>Points-to analysis is a static program analysis that computes reference informationfor a given input program. It serves as input to many client applicationsin optimizing compilers and software engineering tools. Unfortunately, the Gold Standard – i.e., the exact reference information for a given program– is impossible to compute automatically for all but trivial cases, and thus, little can been said about the accuracy of points-to analysis.</p><p>This thesis aims at paving the way towards a Gold Standard for points-to analysis. For this, we discuss theoretical implications and practical challenges that occur when comparing results obtained by different points-to analyses. We also show ways to improve points-to analysis by different means, e.g., combining different analysis implementations, and a novel approach to path sensitivity.</p><p>We support our theories with a number of experiments.</p>