A network forensics tool for precise data packet capture and replay in cyber-physical systems

Network data packet capture and replay capabilities are basic requirements for forensic analysis of faults and security-related anomalies, as well as for testing and development. Cyber-physical networks, in which data packets are used to monitor and control physical devices, must operate within strict timing constraints, in order to match the hardware devices' characteristics. Standard network monitoring tools are unsuitable for such systems because they cannot guarantee to capture all data packets, may introduce their own traffic into the network, and cannot reliably reproduce the original timing of data packets. Here we present a high-speed network forensics tool specifically designed for capturing and replaying data traffic in Supervisory Control and Data Acquisition systems. Unlike general-purpose "packet capture" tools it does not affect the observed network's data traffic and guarantees that the original packet ordering is preserved. Most importantly, it allows replay of network traffic precisely matching its original timing. The tool was implemented by developing novel user interface and back-end software for a special-purpose network interface card. Experimental results show a clear improvement in data capture and replay capabilities over standard network monitoring methods and general-purpose forensics solutions.

Structural and Functional Studies on Trimeric Autotransporters

Trimeric autotransporters are a family of secreted outer membrane proteins in Gram-negative bacteria. These obligate homotrimeric proteins share a conserved C-terminal region, termed the translocation unit. This domain consists of an integral membrane β-barrel anchor and associated α-helices which pass through the pore of the barrel. The α-helices link to the extracellular portion of the protein, the passenger domain. Autotransportation refers to the way in which the passenger domain is secreted into the extracellular space. It appears that the translocation unit mediates the transport of the passenger domain across the outer membrane, and no external factors, such as ATP, ion gradients nor other proteins, are required. The passenger domain of autotransporters contains the specific activities of each protein. These are usually related to virulence. In trimeric autotransporters, the main function of the proteins is to act as adhesins. One such protein is the Yersinia adhesin YadA, found in enteropathogenic species of Yersinia. The main activity of YadA from Y. enterocolitica is to bind collagen, and it also mediates adhesion to other molecules of the extracellular matrix. In addition, YadA is involved in serum resistance, phagocytosis resistance, binding to epithelial cells and autoagglutination. YadA is an essential virulence factor of Y. enterocolitica, and removal of this protein from the bacteria leads to avirulence. In this study, I investigated the YadA-collagen interaction by studying the binding of YadA to collagen-mimicking peptides by several biochemical and biophysical methods. YadA bound as tightly to the triple-helical model peptide (Pro-Hyp-Gly)10 as to native collagen type I. However, YadA failed to bind a similar peptide that does not form a collagenous triple helix. As (Pro-Hyp-Gly)10 does not contain a specific sequence, we concluded that a triple-helical conformation is necessary for YadA binding, but no specific sequence is required. To further investigate binding determinants for YadA in collagens, I examined the binding of YadA to a library of collagen-mimicking peptides that span the entire triple-helical sequences of human collagens type II and type III. YadA bound promiscuously to many but not all peptides, indicating that a triple-helical conformation alone is not sufficient for binding. The high-binding peptides did not share a clear binding motif, but these peptides were rich in hydroxyproline residues and contained a low number of charged residues. YadA thus binds collagens without sequence specificity. This strategy of promiscuous binding may be advantageous for pathogenic bacteria. The Eib proteins from Escherichia coli are immunoglobulin (Ig)-binding homologues of YadA. I showed conclusively that recombinant EibA, EibC, EibD and EibF bind to IgG Fc. I crystallised a fragment of the passenger domain of EibD, which binds IgA in addition to IgG. The structure has a YadA-like head domain and an extended coiled-coil stalk. The top half of the coiled-coil is right-handed with hendecad periodicity, whereas the lower half is a canonical left-handed coiled-coil. At the transition from right- to left-handedness, a small β-sheet protrudes from each monomer. I was able to map the binding regions for IgG and IgA using truncations and site-directed mutagenesis to the coiled-coil stalk and identified residues critical for Ig binding.

Stationary processes for object detection and non-rigid structure-from-motion

Stationary processes are random variables whose value is a signal and whose distribution is invariant to translation in the domain of the signal. They are intimately connected to convolution, and therefore to the Fourier transform, since the covariance matrix of a stationary process is a Toeplitz matrix, and Toeplitz matrices are the expression of convolution as a linear operator. This thesis utilises this connection in the study of i) efficient training algorithms for object detection and ii) trajectory-based non-rigid structure-from-motion.

Facile one-pot synthesis of thio and selenourea derivatives: A new class of potent urease inhibitors

A facile, one-pot synthesis of thio and selenourea derivatives from amines using tetrathiomolybdate 1 and tetraseleno-tungstate 2 as sulfur and selenium transfer reagents, respectively, is reported. The compounds were tested for their activity as urease inhibitors and some of the compounds showed potent activity in the nanomolar range towards jack bean urease. (C) 2007 Elsevier Ltd. All rights reserved.

Conformationally locked thiosugars alpha-mannosidase inhibitors: Synthesis, and docking studies as potent biochemical

series of thiosugar derivatives (thiolevomannosans) derived from mannose were synthesized and their inhibitory activity was tested against alpha-mannosidase (jack bean). These inhibitors were found to be more potent than the well-known inhibitors like kifunensine and deoxymannojirimycin based on docking and biochemical studies. The sulfone derivative 10 was shown to be the best inhibitor of alpha-mannosidase with the K-i value of 350 nM. (c) 2007 Elsevier Ltd. All rights reserved.

The Problem of Implementation and its Relation to the Philosophy of Cognitive Science

According to certain arguments, computation is observer-relative either in the sense that many physical systems implement many computations (Hilary Putnam), or in the sense that almost all physical systems implement all computations (John Searle). If sound, these arguments have a potentially devastating consequence for the computational theory of mind: if arbitrary physical systems can be seen to implement arbitrary computations, the notion of computation seems to lose all explanatory power as far as brains and minds are concerned. David Chalmers and B. Jack Copeland have attempted to counter these relativist arguments by placing certain constraints on the definition of implementation. In this thesis, I examine their proposals and find both wanting in some respects. During the course of this examination, I give a formal definition of the class of combinatorial-state automata , upon which Chalmers s account of implementation is based. I show that this definition implies two theorems (one an observation due to Curtis Brown) concerning the computational power of combinatorial-state automata, theorems which speak against founding the theory of implementation upon this formalism. Toward the end of the thesis, I sketch a definition of the implementation of Turing machines in dynamical systems, and offer this as an alternative to Chalmers s and Copeland s accounts of implementation. I demonstrate that the definition does not imply Searle s claim for the universal implementation of computations. However, the definition may support claims that are weaker than Searle s, yet still troubling to the computationalist. There remains a kernel of relativity in implementation at any rate, since the interpretation of physical systems seems itself to be an observer-relative matter, to some degree at least. This observation helps clarify the role the notion of computation can play in cognitive science. Specifically, I will argue that the notion should be conceived as an instrumental rather than as a fundamental or foundational one.

Adnominal Person in the Morphological System of Erzya : Adnominaalinen persoona ersän kielen morfologisessa järjestelmässä

This dissertation is a synchronic description of adnominal person in the highly synthetic morphological system of Erzya as attested in extensive Erzya-language written-text corpora consisting of nearly 140 publications with over 4.5 million words and over 285,000 unique lexical items. Insight for this description have been obtained from several source grammars in German, Russian, Erzya, Finnish, Estonian and Hungarian, as well as bounteous discussions in the understanding of the language with native speakers and grammarians 1993 2010. Introductory information includes the discussion of the status of Erzya as a lan- guage, the enumeration of phonemes generally used in the transliteration of texts and an in-depth description of adnominal morphology. The reader is then made aware of typological and Erzya-specifc work in the study of adnominal-type person. Methods of description draw upon the prerequisite information required in the development of a two-level morphological analyzer, as can be obtained in the typological description of allomorphic variation in the target language. Indication of original author or dialect background is considered important in the attestation of linguistic phenomena, such that variation might be plotted for a synchronic description of the language. The phonological description includes the establishment of a 6-vowel, 29-consonant phoneme system for use in the transliteration of annotated texts, i.e. two phonemes more than are generally recognized, and numerous rules governing allophonic variation in the language. Erzya adnominal morphology is demonstrated to have a three-way split in stem types and a three-layer system of non-derivative affixation. The adnominal-affixation layers are broken into (a) declension (the categories of case, number and deictic marking); (b) nominal conjugation (non-verb grammatical and oblique-case items can be conjugated), and (c) clitic marking. Each layer is given statistical detail with regard to concatenability. Finally, individual subsections are dedicated to the matters of: possessive declension compatibility in the distinction of sublexica; genitive and dative-case paradigmatic defectivity in the possessive declension, where it is demonstrated to be parametrically diverse, and secondary declension, a proposed typology modifiers without nouns , as compatible with adnominal person.

Kymmenen koirarodun perinnöllinen monimuotoisuus

Tämän tutkimuksen tavoitteena oli selvittää koirarotujen sisäistä ja välistä perinnöllistä muuntelua ja populaatioiden rakenteita. Tutkimuksessa käytettiin Finnzymes Oy:ltä saatua koirien mikrosatelliittimerkkeihin perustuvaa genotyypitysaineistoa. Lopullisessa aineistossa oli 395 koiraa kymmenestä keskenään varsin erilaisesta rodusta. Koirien määrä rotua kohti vaihteli 31:stä 53:een. Tutkimuksessa käytettiin 18 mikrosatelliittilokusta. Alleelirikkaus vaihteli mikrosatelliittilokuksissa välillä 2,0 – 9,9. Kaikkein muuntelevin lokus oli AHT137 ja vähiten muunteleva AHTk211. Jackrussellinterrierin alleelirikkaus oli yli kaikkien lokusten tarkasteltuna suurinta ja cavalier kingcharlesinspanielin pienintä. Eniten Hardy-Weinbergin tasapainosta poikkeavia mikrosatelliittilokuksia oli schipperke- rodulla. Coton de tulearin, saksanpaimenkoiran ja suomenlapinkoiran kaikki mikrosatelliittilokukset olivat Hardy-Weinbergin tasapainossa. Cavalier kingcharlesinspanielin havaittu heterotsygotia-aste oli matalin kaikkien lokusten yli tarkasteltuna (0,50) ja suomenlapinkoiran korkein (0,73). Ainoat tilastollisesti merkitsevät FIS-arvot olivat schipperken lokuksessa INU030 (0,39) ja kaikkien lokusten yli tarkasteltuna (0,11). Eniten populaatioiden välisiin eroihin perustuvaa muuntelua oli cavalier kingcharlesinspanielin ja pitkäkarvaisen collien välillä (FST = 0,34) ja vähiten chihuahuan ja coton de tulearin välillä (FST = 0,07). Koko aineistossa noin 17,7 % populaatioiden välisestä geneettisestä muuntelusta johtui populaatioiden välisistä eroista. Rodut ovat tulosten perusteella selvästi erillisiä populaatioita. Coton de tulearin alleeliparit olivat selvästi eniten kytkentäepätasapainossa keskenään (94) ja tiibetinspanielin vähiten (15). Pitkäkarvaisen collien tehollinen populaatiokoko oli pienin (35) ja chihuahuan suurin (86). U seiden populaatiogeneettisten tunnuslukujen perusteella nousivat esiin cavalier kingcharlesinspanieli, pitkäkarvainen collie ja schipperke perinnöllisen muuntelun vähäisyyden perusteella ja chihuahua, jackrussellinterrieri ja suomenlapinkoira keskimääräistä suuremman perinnöllisen muuntelun perusteella. Selityksiä geneettisen monimuotoisuuden vaihteluun näillä roduilla löytyy rotujen historiasta.

Saccharide binding to three Gal/GalNAc specific lectins: Fluorescence, spectroscopic and stopped-flow kinetic studies

Fluorescence and stopped-flow spectrophotometric studies on three plant lectins fromPsophocarpus tetragonolobus (winged bean),Glycine max (soybean) andArtocarpus integrifolia (jack fruit) have been studied usingN-dansylgalactosamine as a fluorescent ligand. The best monosaccharide for the winged bean agglutinin I (WBA I) and soybean (SBA) is Me-agrGalNAc and for jack fruit agglutinin (JFA) is Me-agrGal. Examination of the percentage enhancement and association constants (1.51×106, 6.56×106 and 4.17×105 M–1 for SBA, WBA I and JFA, respectively) suggests that the combining regions of the lectins SBA and WBA I are apolar whereas that of JFA is polar. Thermodynamic parameters obtained for the binding of several monosaccharides to these lectins are enthalpically favourable. The binding of monosaccharides to these lectins suggests that the-OH groups at C-1, C-2, C-4 and C-6 in thed-galactose configuration are important loci for interaction with these lectins. An important finding is that the JFA binds specifically to Galß1-3GaINAc with much higher affinity than the other disaccharides which are structurally and topographically similar.The results of stopped-flow spectrometry on the binding ofN-dansylgalactosamine to these lectins are consistent with a bimolecular single step mechanism. The association rate constants (2.4×105, 1.3×104, and 11.7×105 M–1 sec–1 for SBA, WBA I and JFA, respectively) obtained are several orders of magnitude slower than the ones expected for diffusion controlled reactions. The dissociation rate constants (0.2, 3.2×10–2, 83.3 sec–1 for SBA, WBA I and JFA, respectively) obtained for the dissociation ofN-dansylgalactosamine from its lectin complex are slowest for SBA and WBA I when compared with any other lectin-ligand dissociation process.

A hypothesis on a specific sequence-dependent conformation of DNA and its relation to the binding of the lac-repressor protein

The structure and properties of the double-helical form of the alternating copolymer poly(dA-dT) are considered. Different lines of evidence are interpreted in terms of a structure in which every second phosphate-diester linkage has a conformation different from that of the normal B form. A rationale for this “alternating-B” structure is given which provides an explanation for the effects of chemical modifications of the T residues on the binding of the poly(dA-dT)· poly(dA-dT) to the lac repressor of Escherichia coli.

Työntekijän näkökulmat ja oppiminen ulkoistusprojektissa : "Aluks pelkää muutosta ja sit pelkää, ettei mikään muutukaan."

The aim of this master s thesis was to clarify employees views on outsourcing. The main questions of the study were 1) How the employees dealt with the change created by outsourcing and what things they felt important when implementing the change? 2) What kind of organizational questions the employees paid attention to when moving from one organization to another? 3) What kind of management issues the employees brought up in the outsourcing process? and 4) How the employees reflected change while experienced outsourcing? The theoretical foundations of the study were Jack Mezirow s theory of transformational learning and Yrjö Engeström s theory of expansive learning. The management of outsourcing was viewed by John P. Kotter s change management model. Research casted light on transformation and learning on four levels of analysis: on individual, organizational and management levels and on the level of reflection. The target of the study were the outsourced employees, who were moved from a Finnish public corporation to a private ITC organization along with the services they produce. The study material was eleven interviews from the outsourced employees. The study was implemented by fenomenographical theme analysis. The analysis revealed results in all four levels. On the individual level the main results were the importance of systematic and open information, meaning of social and technical integration and the feeling of employee s own control. On the organizational level the move from the public sector to private and all the changes in organizational culture and in fringe benefitswere fundamental. Organizational learning was analyzed with expansive learning theory. Expanding was perceived in four dimensions: temporal dimension, spatial dimension, responsibility-moral dimension and developmental dimension. On the management level the actions of one s closest manager was vital, as was the upper management s clear engagement and a shared view of the necessity of a change. In the data was found employees reflective talking, which was indicating the meaning of the change and which was interpreted from the learning point of view. According to this study, it is possible to identify and analyze reflective talk and that way have information about employees learning in an organizational change. It was prominent to notice how reflection in the process of outsourcing is extremely versatile and extensive.

Coulomb-hole summations and energies for GW calculations with limited number of empty orbitals: a modified static remainder approach

Ab initio GW calculations are a standard method for computing the spectroscopic properties of many materials. The most computationally expensive part in conventional implementations of the method is the generation and summation over the large number of empty orbitals required to converge the electron self-energy. We propose a scheme to reduce the summation over empty states by the use of a modified static remainder approximation, which is simple to implement and yields accurate self-energies for both bulk and molecular systems requiring a small fraction of the typical number of empty orbitals.

EFFECT OF OFF-STOICHIOMETRY AND TERNARY ADDITIONS ON PLANAR FAULT ENERGIES IN Ni3Al

First principles calculations were done to evaluate the lattice parameter, cohesive energy and stacking fault energies of ordered gamma' (Ll(2)) precipitates in superalloys as a function of composition. It was found that addition of Ti and Ta lead to an increase in lattice parameter and decrease in cohesive energy, while Ni antisites had the opposite effect. Ta and Ti addition to stoichiometric Ni3Al resulted in an initial increase in the energies of APB((111)), CSF(111), APB((001)) and SISF(111). However, at higher concentrations, the fault energies decreased. Addition of Ni antisites decreased the energy of all four faults monotonically. A model based on nearest neighbor bonding was used for Ni-3(Al, Ta), Ni-3(Al, Ti) and Ni-3(Al, Ni) pseudo-binary systems and extended to pseudo- ternary Ni-3(Al, Ta, Ni) and Ni-3(Al, Ti, Ni) systems. Recipes were developed for predicting lattice parameters, cohesive energies and fault energies in pseudo- ternary systems on the basis of coefficients derived from simpler pseudobinary systems. The model predictions were found to be in good agreement with first principles calculations for lattice parameters, cohesive energies, and energies of APB((111)) and CSF(111).