Dissertations / Theses on the topic 'AFSCME'

International Telemetering Conference Proceedings / November 04-07, 1991 / Riviera Hotel and Convention Center, Las Vegas, Nevada
The Air Force Satellite Control Network(AFSCN) supports DoD satellite systems for C2, monitoring, as well as providing a communications path for mission data. The present ground-based system is limited in the coverage of satellites, the survivability of communications links as well as the foreign-based RTS’s. The proposed concept is to field a satellite segment to augment the AFSCN, which would provide both backup as well as new services (such as providing real-time, survivable C2 and mission data). The proposed system would maximize transparency to the existing SCN and user satellites, and could provide a “bridge” to the future capabilities of the Integrated Satellite Control System (ISCS). The objectives of the study just concluded were to define system requirements, identify and develop satellite concepts, and evaluate the feasibility and cost effectiveness of the concepts. Concepts were developed that provide varying capabilities to enhance the AFSCN. Operational concepts for this system were defined. A proof-of-concept demonstration, which is proposed for a future phase of the study, was defined, so that system and cost effectiveness of the proposed system could be further evaluated. This paper will discuss the results of study for AFSSD-XRS to provide the Air Force with data and a well defined concept to augment the SCN and provide new, innovative services to DoD satellite assets, as well as advance the introduction of the survivable C2 as defined in the Integrated Satellite Control System (ISCS). The concepts explored in this study can also be part of the larger concept to provide enduring and direct support to operational military users (TACSAT).

International Telemetering Conference Proceedings / November 04-07, 1991 / Riviera Hotel and Convention Center, Las Vegas, Nevada
The Air Force satellite control capability was started in the late 1950s to support command and control of orbiting spacecraft. A need to train and certify ground support personnel as well as to validate equipment configurations soon became evident. Ground personnel would have to know how to generate satellite contact plans, establish connectivity between the satellite and telemetry display terminals, analyze satellite telemetry data, and transmit commands to execute the contact plans. They would have to learn specific ground systems capabilities, satellite design information, and approved command and control procedures. This presentation will review the evolution of telemetry simulation systems as they apply to systems test, personnel training and evaluation. Included will be a discussion of the ground and satellite systems, and how system upgrades and changing operations concepts have fostered the development of telemetry simulators. In describing the next generation of AFSCN simulation systems, this paper will highlight the important part they play in validating system configuration and in personnel training.

International Telemetering Conference Proceedings / October 13-16, 1986 / Riviera Hotel, Las Vegas, Nevada
The Air Force Satellite Control Network (AFSCN) provides real-time telemetry, tracking and command (TT&C) services for the Department of Defense (DoD) space systems. It consists of a worldwide network of Remote Tracking Stations (RTSs), the Air Force Satellite Test Center (STC), at Sunnyvale, California, and the soon to be completed Consolidated Space Operations Center (CSOC), located near Colorado Springs, Colorado. The object of this paper is to present an overview of the wideband communications systems which provide connectivity between these elements, and the planned evolution of the communications architecture required to support future growth.

ITC/USA 2008 Conference Proceedings / The Forty-Fourth Annual International Telemetering Conference and Technical Exhibition / October 27-30, 2008 / Town and Country Resort & Convention Center, San Diego, California
Space Link Extension (SLE) is a set of Consultative Committee for Space Data Systems (CCSDS) recommended standards for extending the space link from ground stations to other spaceflight mission ground facilities over a ground network, allowing distributed access to space link telecommand and telemetry services. The currently defined and implemented SLE recommendations are oriented around a traditional CCSDS telecommand and telemetry protocol set, which uses discrete telecommand frames that are encapsulated in Communication Link Transmission Units (CLTUs) for transport over the ground segment, and telemetry data encapsulated in Transfer Frames at the spacecraft. This paper discusses several non-traditional uses of the SLE services. The applications addressed within lie outside the discrete packet telecommand/telemetry subset of the SLE recommendations that are fully defined by CCSDS. This paper will focus on the use of the currently implemented SLE model to enable the transport of other forms of data, which may be subject to various transmission constraints, across the ground segment.

Globally-Asynchronous, Locally-Synchronous (GALS) design techniques employ the finer points of synchronous and asynchronous design methods to eliminate problems arising due to clock distribution, power dissipation, and large area over head. With the recent rise in the demand for System-on-a-Chip (SoC) designs, global clock distribution and power dissipation due to clock distribution are inevitable. In order to reduce/eliminate the effects of the global clock in synchronous designs and large area overhead in asynchronous designs, an alternative approach would be to utilize GALS design techniques. Not only do GALS designs eliminate the issue of using a global clock, they also have smaller area overhead when compared to purely asynchronous designs. Among the various GALS design approaches proposed till date, this thesis focuses on the working and implementation of Asynchronous Wrapper designs proposed by Muttersbach et al., in [1, 2]. This thesis specifically addresses different approaches to incorporate the wrappers in VLSI circuits, rather than discussing the efficiency and viability of GALS design techniques over purely synchronous or asynchronous approaches. It has been proven by researchers [3] that GALS design approaches bring down power consumption due to the elimination of the global clock by small amounts, but there is also a drop in performance. Since the goal of this thesis is to introduce the reader to GALS design techniques and not prove their efficiency, it is out of the scope of this thesis to validate the results shown in [3]. In our aim to introduce the reader to GALS design techniques, we first provide a comparison of synchronous and asynchronous design approaches, and then discuss the need for GALS design approaches. We will then address issues affecting GALS such as metastability, latency, flow control, and local clock alteration. After familiarizing the reader with the issues affecting GALS, we will then discuss various GALS design techniques proposed till date. We show the use of asynchronous FIFOs and asynchronous wrappers to realize GALS modules. Two wrapper design approaches are discussed: one being the asynchronous wrapper design proposed by Carlsson et al., in [4], and the other being the asynchronous wrapper design proposed in [1, 2]. An in-depth discussion and analysis of the wrapper design approach proposed in [1, 2] is provided based on the state transition graphs (STGs) that characterize the port-controller AFSMs. Various data transfer channel configurations that incorporate the wrapper port-controllers are designed and realized through VHDL codes, with their functioning verified through simulation results. Design examples showing the working of asynchronous wrappers to achieve point-to-point, synchronous-synchronous and synchronous-asynchronous data communication are provided. Finally, a design example to achieve multi-point data communication is realized. This example incorporates a previously proposed idea. We provide a modification to this idea by designing an arbiter that arbitrates between two separate requests coming into a multi-input port. Through the above design examples, the functionality and working of GALS asynchronous wrappers are verified, and recommendations for modifications are made to achieve flexible multi-point data communication.
M.S.E.E.
Department of Electrical and Computer Engineering
Engineering and Computer Science
Electrical Engineering

International Telemetering Conference Proceedings / October 25-28, 1993 / Riviera Hotel and Convention Center, Las Vegas, Nevada
When hundreds of millions of dollars are invested in building, launching, and command/control of modern military space systems, the developers and operators need assurance that when their system achieves orbit, it will be able to "talk" with the ground network, exchanging commands, telemetry and ranging signals. Furthermore, prior to launch they need proof of compatibility with the ground data systems, showing that operational ground-based crypto keys, database parameters, and processing software are in-fact compatible with the spacecraft. This paper describes Air Force Materiel Command (AFMC), Space & Missile Center (SMC) Detachment 2's four classes of deployable test assets, emphasizing deployable's contribution to successful on-orbit performance. With not only the huge dollar investment, but even more important, the ability to execute a vital test or operational mission riding on compatibility, and launch vehicle and on-orbit test and evaluation operations the watchwords are "Don't leave the pad without it."

La Tomographie par Emission de Positons (TEP) au Fluoro-déoxyglucose marqué au Fluor 18 (¹⁸F-FDG), analogue du glucose, permet d'obtenir une image de la consommation de glucose dans l'organisme. La plupart des foyers tumoraux présentant une consommation excessive de glucose, son utilisation en oncologie permet d'améliorer la prise en charge des patients en diminuant le temps nécessaire pour évaluer l'efficacité des traitements tels que la chimiothérapie et la radiothérapie. Mon projet de recherche visait à proposer et améliorer des méthodes de quantification en TEP au ¹⁸F-FDG afin de caractériser au mieux l'évolution métabolique des volumes tumoraux.De nombreux facteurs biaisent la quantification en TEP. Parmi eux, l'Effet de Volume Partiel (EVP) reste difficile à corriger, notamment à cause de la faible résolution spatiale des images TEP. Afin de déterminer l'impact de la correction de l'EVP sur l'évaluation des réponses des tumeurs, une étude sur données simulées par Monte Carlo a tout d'abord été effectuée. Cette étude a été complétée par l'analyse de données TEP/TDM (Tomodensitométrie) acquises chez 40 patients atteints de cancers colorectaux métastatiques (CCM), traités par chimiothérapie à l'Institut Jules Bordet (Bruxelles). L'analyse de 101 tumeurs a montré que les critères tels que le SUV, n'incluant pas de correction de l'EVP, et qui reflètent alors le volume tumoral et son activité, prédisaient mieux l'évolution tumorale que les critères corrigés de l'EVP. Compte tenus des résultats prometteurs récents de méthodes de caractérisation de l'hétérogénéité de la fixation du FDG dans les tumeurs, un second volet de notre travail a consisté à étudier l'intérêt de la prise en compte de la texture dans le cadre du suivi thérapeutique. L'application de l'analyse de texture aux cas de CCM étudiés précédemment n'a pas permis de démontrer une valeur ajoutée des indices de texture par rapport aux index quantitatifs couramment employés en clinique. Nous avons montré que cette conclusion s'expliquait en partie par la non-robustesse des indices de texture vis-à-vis des paramètres impliqués dans leur mesure. Nous avons enfin cherché à évaluer une méthode d'Analyse Factorielle de Séquences d'Images Médicales (AFSIM), appliquée au contexte du suivi thérapeutique, pour caractériser l'évolution tumorale tout au long du traitement. Cette étude a porté sur 9 séries de 4 à 6 examens TEP/TDM de patients traités par radiothérapie au Centre Hospitalier Universitaire Henri Becquerel de Rouen. Outre l'information visuelle globale apportée par cette méthode, l'analyse quantitative des résultats obtenus a permis de caractériser l'hétérogénéité de la réponse vue par l'AFSIM. L'échec des index classiques, provenant entre autres de leur incapacité à distinguer les processus inflammatoires de l'activité métabolique tumorale, a permis de monter la valeur ajoutée de l'AFSIM par rapport aux index tels que le SUV maximal ou moyen.

This project addresses the contemporary and competing non-state governmentalities in the Gaza Strip through an analysis of the 1948-1967 period. During this period the American Friends Service Committee (AFSC), the United Nations Relief and Works Agency (UNRWA), and the Young Men's Christian Association (YMCA) constructed early notions of non-state 'governance' and quasi-citizenship in Gaza. The majority of this research focuses on these organizations in the 1948-1967 period, however, there is a case study that addresses the way in which these competing models of non-sovereign administration impacted the approaches used since 2007 by Hamas. The distinct histories and experiences of administration under each organization has created competing notions of what components constitute an assembled notion of citizenship in Gaza. Specifically, the bureaucratic categorization preferred by UNRWA conflicts with Hamas' focus on individualized service based on the tradition of shura (consultation) and youth training, in particular. Several approaches to governance in Gaza are common to the three major faith-based organizations discussed here (the AFSC, the YMCA, and the Hamas). Notably, these organizations create sacred spaces and processes as a mechanism of governance, allowing them to exert control over the population. In particular, the manner in which two distinct international organizations – UNRWA and Hamas – came to operate parallel state structures in the Gaza Strip, and the way that these two organizations imbue citizenship like rights and responsibilities on the populations that they serve is of particular interest. In this way governance in the Gaza Strip has completed a circuit: from the faith-based Friends to the faith-based Hamas, with UNRWA as the constant secular parallel authority. Through an examination of organizational archives, memoirs, and interviews this project links these events, arguing that the institutional records of these organizations provide an illuminating path to better understand the situation of governance in Gaza today.

碩士
國立臺灣藝術大學
書畫系造形藝術碩士班
106
Sheng Mao, courtesy name Zi Zhao, was an artist born in Jiaxing in the Yuan dynasty. The years of his birth and death were not clearly stated in any of the historical records, but he was probably active in the same time period as the other painter Wu Chen. As a professional but not a literati painter, Sheng was not well-recognized by art historians of his time. They praised Wu and criticized Sheng’s works for “not being delicate enough and excessively focused on the techniques”. This thesis is an analysis on all of the currently remained artworks of Sheng Mao. While noting the development of the Blue and Green Landscape painting, it looks deeply into his works after an introductory discussion on his personal and educational backgrounds as well as records that mentions about him. Then it compares Sheng’s works against those of Wu Chen and other notable painters of his time, so to really understand Sheng’s style and his influence to later artists. As painters from the Ming and Qing dynasties, particularly Dong Qichang, have widely discussed about Yuan paintings, this thesis intends to properly appraise Sheng’s works and his achievements through a comprehensive analysis. This thesis concludes that even though Sheng’s artistic achievements as well as his influence to later artists may make him not being on par with the Four Masters of the Yuan dynasty, his talent in both professional painting and literati painting definitely had made him one of the prominent artists in the Yuan period.

碩士
國立中央大學
照明與顯示科技研究所
107
Currently, gallium nitride thin films were mainly grown by metal organic chemical vapor deposition (MOCVD) or molecular beam epitaxy (MBE), with the disadvantages of high process temperature and high cost. In this research the sputterring method , was applied with low cost and which is low-cost and fabricating in large area.can be made in large area, to replace MOCVD and MBE growing gallium nitride thin films. The c axis(0002) gallium nitride thin films were successfully grown on the sapphire with AlN buffer layer by dc pulse magnetron sputtering with a bias applied on the substrate holder. In this study, the mechanism of the applied bias is the positive and negative bias would attract electrons and Ar+ to bombard the film , respectively. The positive applied bias on the substrate can optimize the crystallization quality of the film. And the negative applied bias on the substrate can improve the uniforming and reduce the surface roughness. The lattice structure and bonding can be determined by X-ray diffraction (XRD) measurement and Raman spectra , respectively. The surface morphology and roughness can be obtained from the measurement of atomic force microscope (AFM) and scanning electron microscope (SEM). Finally , the C axis (0002)gallium nitride thin film was successfully by dc pulse magnetron sputtering , with the root mean square roughness 0.354nm and the FWHM 0.241 degrees.

碩士
國立清華大學
電機工程學系
90
Abstract An active three-phase boost rectifier can easily be designed to achieve high power factor and low input current distortion. Hence, it has been widely applied in the industry, such as in rapid transit systems, arc furnaces, and as a dc-link of an ac/ac converter. Analyses and LC parameters design of the boost rectifier to fulfill proper performance requirements have been detailed in a previous thesis of a graduate of this lab. However, how to design a feedback controller to further improve the dynamic performance of the rectifier has not been finished yet. In view of these, this thesis is aimed at the design of high performance dynamic controller. First, by using the derived DC model of the rectifier, the author proposes a feedforward control by using the concept of conservation of energy to achieve a fast response due to a step load change. Then, by using the derived small signal model, the author adapts the fixed structure sliding mode control (FSSMC) of a previous dissertation of a graduate of this lab to achieve the robust control as well as eliminating the chattering phenomenon. Due to the change of the operating point of the rectifier, the originally designed FSSMC designed may not be able to maintain the nice performance for all loading conditions. Hence, the author further proposes an adaptive FSSMC to achieve better performance. Detailed theoretical basis is given in the context. Finally, a prototype is also constructed to verify the feasibility of the proposed control. The proposed controller is implemented fully digitally with a DSP to reduce hardware components, the volume and to simplify the maintenance problems.

碩士
國立交通大學
資訊科學與工程研究所
94
In this thesis, we develop a method to apply formal verification of Temporal Logic onto an autonomous robot system controlled by Rodney Brooks’ Augmented Finite State Machine model. This method uses some approaches to reduce the complexity of an AFSM-based reactive robot control system (RRCS), so that verification of AFSM-based RRCS can become applicable. These approaches applied onto verification include：(1) State Space Discretization――It is not feasible to verify a system on continuous space-time domain. Therefore, before constructing an AFSM-based RRCS we must transform the system and environment from continuous space domain to discrete space domain. (2) External function――By exporting internal states and kinematic computation of the robot from the model checker using the external function provided by OMocha temporal logic model checker. (3) Elimination of some checking cases――Based on the properties we want to check, we can eliminate some unnecessary checking cases which will never violate the properties. After using above-mentioned approaches, the results show that the number of all reachable states checked by OMocha and checking time improve greatly. In this thesis, we reach some accomplishments listed below： (1) Check the Behaviors of the AFSM-based RRCS by Model Checker――After constructing the AFSM-based RRCS, we describe the “No Collision” property by Temporal Logic, and prove that the robot controlled by the RRCS will never collide with obstacles in two-dimensional environment. (2) Improve the Performance of Checking Procedure――After reducing the checking time by the three approaches, the best results show that the checking procedure can be completed in reasonable time. According to the accomplishments, we can prove that it’s applicable to apply verification onto an AFSM-based RRCS.