Software evolution refers to continuous change that a software system endures from inception to retirement. Each change must be efficiently and tractably propagated across models representing the system at different levels of abstraction. Model synchronization activities needed to support the systematic specification and analysis of evolution activities are still not adequately identified and formally defined. In our research, we first introduce a formal notation for the representation of domain models and model instances to form the theoretical basis for the proposed model synchronization framework. Besides conforming to a generic MOF metamodel, we consider that each software model also relates to an application domain context (e.g., operating systems, web services). Therefore, we are addressing the problems of model synchronization by focusing on domain-specific contexts. Secondly, we identify and formally define model dependencies that are needed to trace and propagate changes across system models at different levels of abstraction, such as from design to source code. The approach for extraction of these dependencies is based on Formal Concept Analysis (FCA) algorithms. We further model identified dependencies using Unified Modeling Language (UML) profiles and constraints, and utilize the extracted dependency relations in the context of coarse-grained model synchronization. Thirdly, we introduce modeling semantics that allow for more complex profile-based dependencies using Triple Graph Grammar (TGG) rules with corresponding Object Constraint Language (OCL) constraints. The TGG semantics provide for fine-grained model synchronization, and enable compliance with the Query/View/Transformation (QVT) standards. The introduced framework is assessed on a large, industrial case study of the IBM Commerce system. The dependency extraction framework is applied to repositories of business process models and related source code. The extracted dependencies were evaluated by IBM developers, and the corresponding precision and recall values calculated with results that match the scope and goals of the research. The grammar-based model synchronization and dependency modelling using profiles has also been applied to the IBM Commerce system, and evaluated by the developers and architects involved in development of the system. The results of this experiment have been found to be valuable by stakeholders, and a patent codifying the results has been filed by the IBM organization and has been granted. Finally, the results of this experiment have been formalized as TGG rules, and used in the context of fine-grained model synchronization.

Changing artifacts is intrinsic to the development and maintenance of software projects. The changes made to one artifact, however, do not come about in isolation. Software models are often vastly entangled. As such, a minuscule modification in one ripples in- consistency through several others. The primary goal of the this thesis is to investigate techniques and processes for the synchronization of artifacts in model driven development environments in which projects comprise manifold interdependent models, each being a live document that is continuously altered and evolved. The co-evolution of these artifacts demands an efficient mechanism to keep them consistent in such dynamic environments. To achieve this consistency, we intend to explore methods and algorithms for impact anal- ysis and the propagation of modifications across heterogenous interdependent models. In particular, we consider large scale models that are generated from other models by complex artifact generators. After creation, both the generated artifacts, and also the ones they are generated from, are subject to evolutionary changes throughout which their mutual consistency should be maintained. In such situations, the model transformation is the pri- mary benchmark of consistency rules between source and target models. But the rules are often implanted inside the implementation of artifact generators and hence unavailable. Trivially, the artifacts can be synchronized by regeneration. More often than not however, regeneration of such artifacts from scratch tends to be unwieldy due to their massive size. This thesis is a summary of research on effective change management methodologies in the context of model driven development. In particular, it presents two methods of in- crementally synchronizing software models related by existing model transformations, so that the synchronization time is proportional to the magnitude of change and not to the size of models. The first approach treats model transformations as black-boxes and adds to it incremental synchronization by a technique called conceptualization. The black-box is distinguished from other undertakings in that it does not require the extraction, re- engineering and re-implementation of consistency rules embedded inside transformations. The second approach is a white-box approach that uses static analysis to automatically transform the source code of the transformation into an incremental one. In particular it uses partial evaluation to derive a specialized, incremental transformation from the exist- ing one. These two approaches are complementary and together support a comprehensive range of model transformations.

Video transmission over noisy wireless channels leads to errors on video, which degrades the visual quality notably and makes error concealment an indispensable job. In the literature, there are several error concealment techniques based on estimating the lost parts of the video from the available data. Utilization of data hiding for this problem, which seems to be an alternative of predicting the lost data, provides a reserve information about the video to the receiver while unchanging the transmitted bit-stream syntax / hence, improves the reconstruction video quality without significant extra channel utilization. A complete error resilient video transmission codec is proposed, utilizing imperceptible embedded information for combined detecting, resynchronization and reconstruction of the errors and lost data. The data, which is imperceptibly embedded into the video itself at the encoder, is extracted from the video at the decoder side to be utilized in error concealment. A spatial domain error recovery technique, which hides edge orientation information of a block, and a resynchronization technique, which embeds bit length of a block into other blocks are combined, as well as some parity information about the hidden data, to conceal channel errors on intra-coded frames of a video sequence. The errors on inter-coded frames are basically recovered by hiding motion vector information along with a checksum into the next frames. The simulation results show that the proposed approach performs superior to conventional approaches for concealing the errors in binary symmetric channels, especially for higher bit rates and error rates.

In this thesis, we considered the problem of frame synchronization and channel estimation in Orthogonal Frequency Division Multiplexing (OFDM) systems. Since framing error may cause severe ISI and may disturb the orthogonality of the subcarriers, frame synchronization must be accomplished at the OFDM receiver. Furthermore, the effects of channel must be compensated to obtain the symbols accurately. We investigated several frame synchronization algorithms including a maximum likelihood (ML) synchronizer which relies on the periodicity induced in the OFDM structure, and a robust synchronizer which uses a special training symbol. These algorithms are evaluated in AWGN and Rayleigh fading multipath channels and performances are compared in terms of percentage of ISI-free synchronization, mean squared error and symbol error rate. The IEEE 802.11a framework is used to compare these algorithms with the standard system which utilizes training symbols dedicated for synchronization. It is shown that an adjustment for the frame start estimates must be done to avoid the effects of the channel delay spread. It is also pointed that ideal synchronization is not necessary unless symbol boundaries are detected inside an ISI-free region and the error aroused in ISI-free synchronization can be compensated by applying channel estimation and equalization regarding the same symbol boundaries.

Diss. Stockholm : Handelshögskolan i Stockholm, 2008

Les oscil·lacions d'activitat neuronal són un fenomen omnipresent a l'escorça cerebral. La funció d'aquestes oscil·lacions, però, no està clara. ¿Són només un epifenomen de les elevades taxes de descàrrega de potencials d'acció, o representen un procés fonamental? Per tal d'aclarir aquesta qüestió, en aquest treball hem aplicat models computacionals basats en xarxes neurobiològicament plausibles per tal d'investigar alguns dels resultats experimentals recents més rellevants. Primerament, estudiem la rellevància de les oscil·lacions en processos d'atenció i després en un context més general de teoria d'informació. Els resultats donen suport a la idea que les oscil·lacions representen un mecanisme independent. Demostrem que l'atenció modula les oscil·lacions gamma de manera independent de la taxa de descàrrega de potencials d'acció. També es mostra que la transmissió d'informació entre àrees corticals depèn tant de la fase com de la potència espectral de les oscil·lacions. A més, la velocitat amb què es produeix aquesta transmissió d'informació augmenta en funció de la potència espectral en bandes de freqüències específiques. Aquests resultats suggereixen que les oscil·lacions representen un mecanisme biològicament plausible per mitjançar les interaccions entre àrees cerebrals i, per tant, per establir un vincle entre activitat neuronal i comportament. / Oscillatory neuronal activity is an omnipresent phenomenon in the cerebral cortex. However, the actual function of these oscillations remains unclear. Are they just an epiphenomenon of elevated firing rates or do they represent a fundamental process on their own? Based on experimental work, we apply computational modeling to address this question. We first study the role of oscillations in attentional processes and then in a more general, information theoretical context. Our results support the idea that oscillations represent an independent mechanism. In particular, we show that attention modulates gamma oscillations independently of rates and that the flow of information between brain areas depends both on the phase and on the spectral power of oscillations. Moreover, we show that the speed of information exchange increases as a function of spectral power in specific frequency bands. Taken together, these results suggest that oscillations are a mechanism employed by the brain to control actual interactions between brain areas and thus likely have a link to behavior.

Thesis (M.E.E.)--University of Delaware, 2008. / Principal faculty advisor: Guang R. Gao, Dept. of Electrical and Computer Engineering. Includes bibliographical references.

Thesis (M. S.)--Electrical and Computer Engineering, Georgia Institute of Technology, 2008. / Committee Chair: Lee, Hsien-Hsin; Committee Member: Blough, Douglas; Committee Member: Yalamanchili, Sudhakar.

Thesis (Ph. D.)--University of California, San Diego, 2008. / Title from first page of PDF file (viewed September 22, 2008). Available via ProQuest Digital Dissertations. Vita. Includes bibliographical references (p. 202-225).

Project (M.Eng.) - Simon Fraser University, 2004. / Theses (School of Engineering Science) / Simon Fraser University. Also available on the World Wide Web.