Resource allocation in multi-user telecommunication networks

This dissertation discussed resource allocation mechanisms in several network topologies including infrastructure wireless network, non-infrastructure wireless network and wire-cum-wireless network. Different networks may have different resource constrains. Based on actual technologies and implementation models, utility function, game theory and a modern control algorithm have been introduced to balance power, bandwidth and customers' satisfaction in the system. ^ In infrastructure wireless networks, utility function was used in the Third Generation (3G) cellular network and the network was trying to maximize the total utility. In this dissertation, revenue maximization was set as an objective. Compared with the previous work on utility maximization, it is more practical to implement revenue maximization by the cellular network operators. The pricing strategies were studied and the algorithms were given to find the optimal price combination of power and rate to maximize the profit without degrading the Quality of Service (QoS) performance. ^ In non-infrastructure wireless networks, power capacity is limited by the small size of the nodes. In such a network, nodes need to transmit traffic not only for themselves but also for their neighbors, so power management become the most important issue for the network overall performance. Our innovative routing algorithm based on utility function, sets up a flexible framework for different users with different concerns in the same network. This algorithm allows users to make trade offs between multiple resource parameters. Its flexibility makes it a suitable solution for the large scale non-infrastructure network. This dissertation also covers non-cooperation problems. Through combining game theory and utility function, equilibrium points could be found among rational users which can enhance the cooperation in the network. ^ Finally, a wire-cum-wireless network architecture was introduced. This network architecture can support multiple services over multiple networks with smart resource allocation methods. Although a SONET-to-WiMAX case was used for the analysis, the mathematic procedure and resource allocation scheme could be universal solutions for all infrastructure, non-infrastructure and combined networks. ^

Understanding the dynamics of information technology implementation: The case of clinical information systems

The ultimate intent of this dissertation was to broaden and strengthen our understanding of IT implementation by emphasizing research efforts on the dynamic nature of the implementation process. More specifically, efforts were directed toward opening the "black box" and providing the story that explains how and why contextual conditions and implementation tactics interact to produce project outcomes. In pursuit of this objective, the dissertation was aimed at theory building and adopted a case study methodology combining qualitative and quantitative evidence. Precisely, it examined the implementation process, use and consequences of three clinical information systems at Jackson Memorial Hospital, a large tertiary care teaching hospital.^ As a preliminary step toward the development of a more realistic model of system implementation, the study proposes a new set of research propositions reflecting the dynamic nature of the implementation process.^ Findings clearly reveal that successful implementation projects are likely to be those where key actors envision end goals, anticipate challenges ahead, and recognize the presence of and seize opportunities. It was also found that IT implementation is characterized by the systems theory of equifinality, that is, there are likely several equally effective ways to achieve a given end goal. The selection of a particular implementation strategy appears to be a rational process where actions and decisions are largely influenced by the degree to which key actors recognize the mediating role of each tactic and are motivated to action. The nature of the implementation process is also characterized by the concept of "duality of structure," that is, context and actions mutually influence each other. Another key finding suggests that there is no underlying program that regulates the process of change and moves it form one given point toward a subsequent and already prefigured end. For this reason, the implementation process cannot be thought of as a series of activities performed in a sequential manner such as conceived in stage models. Finally, it was found that IT implementation is punctuated by a certain indeterminacy. Results suggest that only when substantial efforts are focused on what to look for and think about, it is less likely that unfavorable and undesirable consequences will occur. ^

The eye of the beholder: The impact of a district implementation plan of state mandates as perceived by the implementers

The purpose of this inquiry was to investigate the impact of a large, urban school district's experience in implementing a mandated school improvement plan and to examine how that plan was perceived, interpreted, and executed by those charged with the task. The research addressed the following questions: First, by whom was the district implementation plan designed, and what factors were considered in its construction? Second, what impact did the district implementation plan have on those charged with its implementation? Third, what impact did the district plan have on the teaching and learning practices of a particular school? Fourth, what aspects of the implemention plan were perceived as most and least helpful by school personnel in achieving stated goals? Last, what were the intended and unintended consequences of an externally mandated and directed plan for improving student achievement? The implementation process was measured against Fullan's model as expounded upon in The Meaning of Educational Change (1982) and The New Meaning of Educational Change (1990). The Banya implementation model (1993), because it added a dimension not adequately addressed by Fullan, was also considered.^ A case study was used as the methodological framework of this qualitative study. Sources of data used in this inquiry included document analysis, participant observations in situ, follow-up interviews, the "long" interview, and triangulation. The study was conducted over a twelve-month period. Findings were obtained from the content analysis of interview transcripts of multiple participants. Results were described and interpreted using the Fullan and Banya models as the descriptive framework. A cross-case comparison of the multiple perspectives of the same phenomena by various participants was constructed.^ The study concluded that the school district's implementation plan to improve student achievement was closely aligned to Fullan's model, although not intentionally. The research also showed that where there was common understanding at all levels of the organization as to the expectations for teachers, level of support to be provided, and availability of resources, successful implementation occured. The areas where successful implementation did not occur were those where the complexity of the changes were underestimated and processes for dealing with unintended consequences were not considered or adequately addressed. The unique perspectives of the various participants, from the superintendent to the classroom teacher, are described. Finally, recommendations for enhancement of implementation are offered and possible topics for further research studies are postulated. ^

Profile of planning: A study of a three-year project on the implementation of collaborative library media programs

The implementation of collaborative planning and teaching models in ten flexibly scheduled elementary and middle school library media centers was studied to determine which factors facilitated the collaborative planning process and to learn what occurs when library media specialists (LMSs) and classroom teachers (CTs) plan together. In this qualitative study, 61 principals, CTs, and LMSs were interviewed on a range of topics including the principal's role, school climate, the value of team planning, the importance of information literacy instruction, and the ideal learning environment. Other data sources were observations, videotapes of planning sessions, and documents. This three-year school reform effort was funded by the Library Power Project to improve library programs, to encourage collaborative planning, and to increase curricular integration of information literacy skills instruction. ^ The findings included a description of typical planning sessions and the identification of several major factors which impacted the success of collaborative planning: the individuals involved, school climate, time for planning, the organization of the school, the facility and collection, and training. Of these factors, the characteristics and actions of the people involved were most critical to the implementation of the innovation. The LMS was the pivotal player and, in the views of CTs, principals, and LMSs themselves, must be knowledgeable about curriculum, the library collection, and instructional design and delivery; must be open and welcoming to CTs and use good interpersonal skills; and must be committed to information literacy instruction and willing to act as a change agent. The support of the principal was vital; in schools with successful programs, the principal served as an advocate for collaborative planning and information literacy instruction, provided financial support for the library program including clerical staff, and arranged for LMSs and CTs to have time during the school day to plan together. ^ CTs involved in positive planning partnerships with LMSs were flexible, were open to change, used a variety of instructional materials, expected students to be actively involved in their own learning, and were willing to team teach with LMSs. Most CTs planning with LMSs made lesson plans in advance and preferred to plan with others. Also, most CTs in this study planned with grade level or departmental groups, which expedited the delivery of information literacy instruction and the effective use of planning time. ^ Implications of the findings of this research project were discussed for individual schools, for school districts, and for colleges and universities training LMSs, CTs, and administrators. Suggestions for additional research were also included. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic.^ This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.^

A study of the implementation of junior college *evaluation system in Taiwan

Since the establishment of the evaluation system in 1975, the junior colleges in the Republic of China (Taiwan), have gone through six formal evaluations. We know that evaluation in schooling, like quality control in businesses, should be a systematic, formal, and a continual process. It can doubtless serve as a strategy to refine the quality of education. The purpose of this research is to explore the current practice of junior college evaluation in Taiwan. This provides insight into the development of and quality of the current evaluation system. Moreover, this study also identified the source of problems with the current evaluation system and provided suggestion for improvements.^ In order to attain the above purposes, this research was undertaken in both theoretical and practical ways. First, theoretically, on the basis of a literature review, the theories of educational evaluation and, according to the course and principles of development, a view of the current practice in Taiwan. Secondly, in practice, by means of questionnaires, an analysis of the views of evaluation committeemen, junior college presidents, and administrators were obtained on evaluation models, methods, contents, organization, functions, criteria, grades reports, and others with suggestions for improvement. The summary of findings concludes that most evaluators and evaluatees think the purpose of evaluation can help the colleges explore their difficulties and problems. In addition, it was found that there is significant difference between the two groups regarding the evaluation methods, contents, organization, functions, criteria, grades reports and others, while analyzing these objective data forms the basis for an improved method of evaluation for Junior Colleges in Taiwan. ^

Formal verification and testing of software architectural models

Ensuring the correctness of software has been the major motivation in software research, constituting a Grand Challenge. Due to its impact in the final implementation, one critical aspect of software is its architectural design. By guaranteeing a correct architectural design, major and costly flaws can be caught early on in the development cycle. Software architecture design has received a lot of attention in the past years, with several methods, techniques and tools developed. However, there is still more to be done, such as providing adequate formal analysis of software architectures. On these regards, a framework to ensure system dependability from design to implementation has been developed at FIU (Florida International University). This framework is based on SAM (Software Architecture Model), an ADL (Architecture Description Language), that allows hierarchical compositions of components and connectors, defines an architectural modeling language for the behavior of components and connectors, and provides a specification language for the behavioral properties. The behavioral model of a SAM model is expressed in the form of Petri nets and the properties in first order linear temporal logic. This dissertation presents a formal verification and testing approach to guarantee the correctness of Software Architectures. The Software Architectures studied are expressed in SAM. For the formal verification approach, the technique applied was model checking and the model checker of choice was Spin. As part of the approach, a SAM model is formally translated to a model in the input language of Spin and verified for its correctness with respect to temporal properties. In terms of testing, a testing approach for SAM architectures was defined which includes the evaluation of test cases based on Petri net testing theory to be used in the testing process at the design level. Additionally, the information at the design level is used to derive test cases for the implementation level. Finally, a modeling and analysis tool (SAM tool) was implemented to help support the design and analysis of SAM models. The results show the applicability of the approach to testing and verification of SAM models with the aid of the SAM tool.

Implementation of X-ray diffraction in the measurement of residual thermal strains

Microelectronic systems are multi-material, multi-layer structures, fabricated and exposed to environmental stresses over a wide range of temperatures. Thermal and residual stresses created by thermal mismatches in films and interconnections are a major cause of failure in microelectronic devices. Due to new device materials, increasing die size and the introduction of new materials for enhanced thermal management, differences in thermal expansions of various packaging materials have become exceedingly important and can no longer be neglected. X-ray diffraction is an analytical method using a monochromatic characteristic X-ray beam to characterize the crystal structure of various materials, by measuring the distances between planes in atomic crystalline lattice structures. As a material is strained, this interplanar spacing is correspondingly altered, and this microscopic strain is used to determine the macroscopic strain. This thesis investigates and describes the theory and implementation of X-ray diffraction in the measurement of residual thermal strains. The design of a computer controlled stress attachment stage fully compatible with an Anton Paar heat stage will be detailed. The stress determined by the diffraction method will be compared with bimetallic strip theory and finite element models.