Thesis (Ph.D)--Stanford University, 1999. / Title from pdf t.p. (viewed April 3, 2002). "March 1999." "Adminitrivia V1/Prg/19990407"--Metadata.

Autonomic computing holds great promise for software systems of the future, but at the same time poses great challenges for Software Engineering. Autonomic computing research aims to design software systems that self-configure, self-repair, self-optimize and self-protect, so as to reduce software maintenance cost while improving performance. The aim of our research is to develop tool-supported methodologies for designing and operating autonomic systems. Like other researchers in this area, we assume that autonomic system architectures consist of monitoring, analysis/diagnosis, planning, and execution components that define a feedback loop and serve as the basis for system self-management. This thesis proposes an autonomic framework founded on models of requirements and design. This framework defines the normal operation of a software system in terms of models of its requirements (goal models) and/or operation (statechart models). These models determine what to monitor and how to interpret log data in order to diagnose failures. The monitoring component collects and manages log data. The diagnostic component analyzes log data, identifies failures, and pinpoints problematic components. We transform the diagnostic problem into a propositional satisfiability (SAT) problem solvable by off-the-shelf SAT solvers. Log data are preprocessed into a compact propositional encoding that scales well with growing problem size. For repair, our compensation component executes compensation actions to restore the system to an earlier consistent state. The framework repairs failures through reconfiguration when monitoring and diagnosis use requirements. The reconfiguration component selects a best system reconfiguration that contributes most positively to the system's non-functional requirements. It selects a reconfiguration that achieves this while reconfiguring the system minimally. The framework does not currently offer a repair mechanism when monitoring and diagnosis use statecharts. We illustrate our framework with two medium-sized, publicly-available case studies. We evaluate the framework's performance through a series of experiments on randomly generated and progressively larger specifications. The results demonstrate that our approach scales well with problem size, and can be applied to industrial sized software applications.

Autonomic computing holds great promise for software systems of the future, but at the same time poses great challenges for Software Engineering. Autonomic computing research aims to design software systems that self-configure, self-repair, self-optimize and self-protect, so as to reduce software maintenance cost while improving performance. The aim of our research is to develop tool-supported methodologies for designing and operating autonomic systems. Like other researchers in this area, we assume that autonomic system architectures consist of monitoring, analysis/diagnosis, planning, and execution components that define a feedback loop and serve as the basis for system self-management. This thesis proposes an autonomic framework founded on models of requirements and design. This framework defines the normal operation of a software system in terms of models of its requirements (goal models) and/or operation (statechart models). These models determine what to monitor and how to interpret log data in order to diagnose failures. The monitoring component collects and manages log data. The diagnostic component analyzes log data, identifies failures, and pinpoints problematic components. We transform the diagnostic problem into a propositional satisfiability (SAT) problem solvable by off-the-shelf SAT solvers. Log data are preprocessed into a compact propositional encoding that scales well with growing problem size. For repair, our compensation component executes compensation actions to restore the system to an earlier consistent state. The framework repairs failures through reconfiguration when monitoring and diagnosis use requirements. The reconfiguration component selects a best system reconfiguration that contributes most positively to the system's non-functional requirements. It selects a reconfiguration that achieves this while reconfiguring the system minimally. The framework does not currently offer a repair mechanism when monitoring and diagnosis use statecharts. We illustrate our framework with two medium-sized, publicly-available case studies. We evaluate the framework's performance through a series of experiments on randomly generated and progressively larger specifications. The results demonstrate that our approach scales well with problem size, and can be applied to industrial sized software applications.

Radiation portal monitors are being deployed at border crossings throughout the world to prevent the smuggling of nuclear and radiological materials; however, a tension exists between security and the free-flow of commerce. Delays at ports-of-entry have major economic implications, so it is imperative to minimize portal monitor screening time. We have developed an algorithm to locate a radioactive source using a distributed array of detectors, specifically for use at border crossings. To locate the source, we formulated an optimization problem where the objective function describes the least-squares difference between the actual and predicted detector measurements. The predicted measurements are calculated by solving the 3-D deterministic neutron transport equation given an estimated source position. The source position is updated using the steepest descent method, where the gradient of the objective function with respect to the source position is calculated using adjoint transport calculations. If the objective function is smaller than a predetermined convergence criterion, then the source position has been identified. To test the algorithm, we first verified that the 3-D forward transport solver was working correctly by comparing to the code PARTISN (Parallel Time-Dependent SN). Then, we developed a baseline scenario to represent a typical border crossing. Test cases were run for various source positions within each vehicle and convergence criteria, which showed that the algorithm performed well in situations where we have perfect knowledge of parameters such as the material properties of the vehicles. We also ran a sensitivity analysis to determine how uncertainty in various parameters-the optical thickness of the vehicles, the fill level in the gas tank, the physical size of the vehicles, and the detector efficiencies-affects the results. We found that algorithm is most sensitive to the optical thickness of the vehicles. Finally, we tested the simplifying assumption of one energy group by using measurements obtained from MCNPX (Monte Carlo N-Particle Extended). These results showed that the one-energy-group assumption will not be sufficient if the code is deployed in a real-world scenario. While this work describes the application of the algorithm to a land border crossing, it has potential for use in a wide array of nuclear security problems.

According to Japan Mitsubishi Research Forecast, 2005 worldwide TFT LCD sale amount will reach 45.5 BillionsUSD. Display Research indicates 2004 Q3 TFT LCD display sales volume will exceed CRT Monitor sales volume and the growth of TFT LCD will be 50% per year. Taiwan TFT LCD sales amount exceeded Japan in 2001 Q4 and became the 2nd biggest TFT LCD manufacturing country in the world. Worldwide market share reached 36.6% in Q1 2003 for Taiwan. Comparing with 40.6% market share of Korea, it is 4 % difference less. In 2004, Taiwan market demands are expected to exceed Korea market demands, becoming the number 1 manufacturing country of TFT-LCD manufacturing. The TFT-LCD industry is the newly arisen one after semi-conductor industry in Taiwan and government has considered TFT-LCD as the core advantage industrial and expect to create 1 trillion NT dollars business in 2006 to become worldwide FDP research and development country.Under the current all TFT LCD panel makers for vertical & horiozon integration with key upstream component, Taiwan panel makers componet localization are expected to reach to 60%, which is going to fully integrate TFT LCD upstream and down stream together. Upstrem and down stream integration is the key strength of AMLCD. So to understand upstream and down stream is the most important subject for us. However, LCD module process is labor intensive business.All Taiwan panel makers moved LCD Module fab to Mainland to compete with competitors.Labor cost consisit of 6-8% of overall LCD manufacturing cost. Module is the most high labor cost process of LCF processes. That is the main strategy of Taiwan investor to set up module fab in Mainland China in the very beginning. As to Array and Cell process due to government policy, in near future there is no possibility to move to Mainland China, but in recent May 2004, Taiwan Government release the constraint investment of smaller size TFT LCD maker in Mainland Chian. Possibility of bigger size LCD investment in Mainland China will gradually increase given the more and more Taiwan makers of Monitor and Laptop manufacturing move to facitlies to mainland China. We foresee that Taiwan Panel Makers should consider global positioning and new business model as more global competion and Mainland China market emerging.How Taiwan maker can compete with japan and Korea? What is the next step for Taiwan LCD makers. We need to consider Taiwan Strait collaboration of TFT LCD business model and provide information for companies reference and suggestions.

Leisure travel has become an important activity in Taiwan. According to the statistical data of Tourism Bureau, R.O.C., people in Taiwan spent about 280.5 billions on oversea¡¦s traveling in 2003. The number of outbound travelers has grown 40.77% compare with last February. It is obvious that the market of outbound travel is getting bigger year by year. The past research on the subject of travel behavior put emphasis on behavior aspect or satisfaction, there is little research discuss the effect of psychological aspect on purchase decisions. Some foreign research verify that the effect of self-concept congruence on product preference, brand preference, and purchase intension (Sirgy, 1982; 2000). They also extend their research to the area of traveling and discuss how the self-image congruity affects post travel satisfaction (Chon 1992), pre-travel purchase intension, or purchase possibility (Surgy and Su, 2000; Litvin and Goh, 2002; 2003). Based on the self-image congruence theory proposed by Sirgy (1982), and the integrated framework of self-image congruence with travel behavior constructed by Sirgy & Su¡]2000¡^, this research try to analyze if the level of real/ideal self-image congruence relate to the purchase intension of destination choice on four destinations with difference characteristics. The results show that outbound-travel decision makings of natives are affected by the inside congruence coordination of the psychological mechanism. Relationship between self-image congruence and tourists¡¦ purchase intention exists not only in western countries but also in Taiwan. Results also show that self-image congruence is related to purchase intention whether tourists are students or social workers. And toward the four totally different cities, New York, Bali, Rome, and Hokkaido, tourists¡¦s purchase intention is still affected by self-image congruence.

none

Three different topics associated with their respective applications are proposed in this thesis. The first application is the implementation of a fast tagged sorter. A novel and high-speed realization of the tagged sorting algorithm is presented. Meanwhile, the problems to detect whether the queue is empty or full is also resolved without increasing any hardware cost. The second topic is focused on the implementation of a fast dynamic 64-bit comparator with small transistor count. The entire 64-bit comparator is composed of equality comparators and zero/one detectors, which are proposed by C.-F. Wu. The problem to handle a large fan-in requirement is also resolved in our design. The third topic is to carry out a power demand monitor system for factories. Not only can it monitor the factory¡¦s power network with a graphical user interface, but also can turn off the unessential equipments automatically when the total power consumed by the factory is larger than what was expected.

none

Abstract Graphic-Monitor software on market emphasize to have vivid Man-Machine-Interface, irresistible Network-Communication and to communicate with related Database etc. three functions, so through a perfectly planed graphic-monitor software, factory of any production equipments of motion conditions, production capability, good percentage and product conditions etc. information all through it to reach action of integration and management. In this research, to achieve a set of integrated supervisory system which has graphic monitor, image inspection, motion control etc. three function modules. And through the integration of among modules, to achieve four common factory automation examples that are remote-monitor factory locality data collection system, remote-monitor factory motor position control system, remote-monitor factory image inspection system, remote-control factory automation inspection system. Finally, the above development of the integrated supervisory control system is verified by the experimental results.