Graphical simulation of Petri Nets

An interactive graphics package for modeling with Petri Nets has been implemented. It uses the VT-11 graphics terminal supported on the PDP-11/35 computer to draw, execute, analyze, edit and redraw a Petri Net. Each of the above mentioned tasks can be performed by selecting appropriate items from a menu displayed on the screen. Petri Nets with a reasonably large number of nodes can be created and analyzed using this package. The number of nodes supported may be increased by making simple changes in the program. Being interactive, the program seeks information from the user after displaying appropriate messages on the terminal. After completing the Petri Net, it may be executed step by step and the changes in the number of tokens may be observed on the screen, at each place. Some properties of Petri Nets like safety, boundedness, conservation and redundancy can be checked using this package. This package can be used very effectively for modeling asynchronous (concurrent) systems with Petri Nets and simulating the model by “graphical execution.”

Role of information and communication in redefining unmanned aerial vehicle autonomous control levels

Autonomous mission control, unlike automatic mission control which is generally pre-programmed to execute an intended mission, is guided by the philosophy of carrying out a complete mission on its own through online sensing, information processing, and control reconfiguration. A crucial cornerstone of this philosophy is the capability of intelligence and of information sharing between unmanned aerial vehicles (UAVs) or with a central controller through secured communication links. Though several mission control algorithms, for single and multiple UAVs, have been discussed in the literature, they lack a clear definition of the various autonomous mission control levels. In the conventional system, the ground pilot issues the flight and mission control command to a UAV through a command data link and the UAV transmits intelligence information, back to the ground pilot through a communication link. Thus, the success of the mission depends entirely on the information flow through a secured communication link between ground pilot and the UAV In the past, mission success depended on the continuous interaction of ground pilot with a single UAV, while present day applications are attempting to define mission success through efficient interaction of ground pilot with multiple UAVs. However, the current trend in UAV applications is expected to lead to a futuristic scenario where mission success would depend only on interaction among UAV groups with no interaction with any ground entity. However, to reach this capability level, it is necessary to first understand the various levels of autonomy and the crucial role that information and communication plays in making these autonomy levels possible. This article presents a detailed framework of UAV autonomous mission control levels in the context of information flow and communication between UAVs and UAV groups for each level of autonomy.

Muuttoliike ja vetovoimatekijät Helsingissä : - Kyselyaineiston analyysi

This thesis explores migration and the attractiveness of urban living in the Greater Helsinki region. The aim of the thesis is to explore the attractiveness of the city of Helsinki in terms of regional migration and to identify what characterizes migration to Helsinki. The study focuses in particular on housing, which is a key factor influencing migration decisions in the region. Other central themes in the study are housing policy and regional competition among municipalities. This study focuses solely on households moving within Finnish borders excluding international migration. Migration is examined by comparing in- and out-migration in Helsinki, as well as studying migration to the city s inner and outer areas. The primary research material in the study is a questionnaire data collected by the National Consumer Research Centre. In this thesis the data is used for studying migrants aged 25 45. The main research method is analyzing the data statistically using the SPSS software. Methods include frequency analysis, cross tabulation, factor analysis and descriptive analysis. Additionally, statistical data is used to complement the questionnaire data. The research results indicate that Helsinki s in- and out-migration differs both in terms of the type of households that migrate as well as in the reasons why they migrate. Furthermore, differences can also be detected between migration to the inner and outer parts of Helsinki. According to the research results, a household s current phase of life is crucial in determining where and why they move within the Greater Helsinki region. A household s set of values on the other hand, seems to have a lesser impact on migration within the region, even though households moving to Helsinki seem to value a somewhat more urban lifestyle than the ones moving out of the city. The research also shows a direct correlation between the values of migrants and their current phase of life. Decisions of migrating are heavily influenced by wider societal issues. In the Greater Helsinki region the labor and housing market appear to have a great influence on the direction of migration streams. According to the results, households move to and from Helsinki for different reasons. The primary reasons for moving to Helsinki are related to the city s diverse labor market and to the working careers of households. Issues related to urban living and an urban lifestyle seem to be relevant although not the main reason why people move to Helsinki. The research material indicates that Helsinki s urban environment is both a pull and a push factor affecting the decisions of migrants. The city attracts those seeking urban living, but on the contrary does not appeal to households seeking more space and wishing to live closer to nature. According to the research, Helsinki with its densely built urban environment mainly attracts singles and childless couples, whereas the city region s other municipalities are more attractive for families with children. Housing policy is one of the main reasons determining where people move within the Helsinki region. As for the city of Helsinki, improving the city s attractiveness seems to be closely linked to how well the city manages to execute its future housing policies and how well alternative living preferences can be taken into account in planning.

An auction algorithm for procuring wireless channel in a heterogenous wireless network

In this paper, we develop a novel auction algorithm for procuring wireless channel by a wireless node in a heterogeneous wireless network. We assume that the service providers of the heterogeneous wireless network are selfish and non-cooperative in the sense that they are only interested in maximizing their own utilities. The wireless user needs to procure wireless channels to execute multiple tasks. To solve the problem of the wireless user, we propose a reverse optimal (REVOPT) auction and derive an expression for the expected payment by the wireless user. The proposed auction mechanism REVOPT satisfies important game theoretic properties such as Bayesian incentive compatibility and individual rationality.

An SIMD machine for low-level vision

This paper presents an SIMD machine which has been tuned to execute low-level vision algorithms employing the relaxation labeling paradigm. Novel features of the design include: 1. (1) a communication scheme capable of window accessing under a single instruction. 2. (2) flexible I/O instructions to load overlapped data segments; and 3. (3) data-conditional instructions which can be nested to an arbitrary degree. A time analysis of the stereo correspondence problem, as implemented on a simulated version of the machine using the probabilistic relaxation technique, shows a speed up of almost N2 for an N × N array of PEs.

The Mechanics and Statistics of Active Matter

Active particles contain internal degrees of freedom with the ability to take in and dissipate energy and, in the process, execute systematic movement. Examples include all living organisms and their motile constituents such as molecular motors. This article reviews recent progress in applying the principles of nonequilibrium statistical mechanics and hydrodynamics to form a systematic theory of the behavior of collections of active particles-active matter-with only minimal regard to microscopic details. A unified view of the many kinds of active matter is presented, encompassing not only living systems but inanimate analogs. Theory and experiment are discussed side by side.

Aluekehittämisverkostojen arviointi : Verkostotoimijanäkökulma MAL- ja hyvinvointiverkostoihin aluekehittämisen välineinä

The Finnish regional development system has gone through structural reforms from state centered governed system to multi-actor governance, based on negotiation and cooperation. One of the reforms has been the regional cohesion and competitiveness program (COCO) established in 2010. The aim of the program is to increase competitiveness through all the regions and balance the regional development by supporting networking. The main focus of the program is to improve the methods and tools for regional development. In the program there are seven thematic networks founded around topics seen important national wide. This thesis explores regional development networks and their evaluation COCO:s two thematic networks, Wellbeing and Land use, housing and transportation as examples. The aim of the thesis is to explore the network actors understanding of thematic networks as tools for regional development. In particular, the study focuses on how the actors see the possible network level outcomes and wider effects of the networking activity. In addition, the central themes of the study are the prerequisite for successful network processes and improvement of the network process effectiveness by evaluation. The research material in this study consist the interviews of the network coordinators and national and regional actors participating in the network activities. The interviews were conducted in spring 2011. Based on the research results, the networks act on national regional and network level and across them. The cooperation is based on official and unofficial relations. The structure of the networks seemed to be self-organizing and controlled at the same time. The structural elements were found to set the framework for the network process and evaluation. According to the results, the networks enabled the more effective operation of the national development system, support of the regions and political lobbying. For the regions the networks offered support for areal development, new resources and possibility to influence national discourse. As conclusion, the role of the network was to disseminate information, create possibilities for collaboration and execute projects and studies and to effect on national policy making. These factors determined the effectiveness of the networks. However, because different regions were satisfied with different network level outcomes, the utilization of the networks in the regions should be evaluated by their own objectives. Resources, motivation, competence and perceptions of the effects were found to affect the successful implementation of the network process and cooperation in networks. Some network level obstacles could be overcome with coordination, but the challenge was the ability and motivation of the areas to utilize the networks as resources and see them as part of the comprehensive development agenda. Thus, the development should focus on how to increase awareness on how to improve regional cooperation processes and how multiple regional actors could enhance their working by utilizing the networks.

Energy-Efficient Fault Tolerance in Chip Multiprocessors Using Critical Value Forwarding

Relentless CMOS scaling coupled with lower design tolerances is making ICs increasingly susceptible to wear-out related permanent faults and transient faults, necessitating on-chip fault tolerance in future chip microprocessors (CMPs). In this paper we introduce a new energy-efficient fault-tolerant CMP architecture known as Redundant Execution using Critical Value Forwarding (RECVF). RECVF is based on two observations: (i) forwarding critical instruction results from the leading to the trailing core enables the latter to execute faster, and (ii) this speedup can be exploited to reduce energy consumption by operating the trailing core at a lower voltage-frequency level. Our evaluation shows that RECVF consumes 37% less energy than conventional dual modular redundant (DMR) execution of a program. It consumes only 1.26 times the energy of a non-fault-tolerant baseline and has a performance overhead of just 1.2%.

Intracellular Pathogen Sensor NOD2 Programs Macrophages to Trigger Notch1 Activation

Intracellular pathogen sensor, NOD2, has been implicated in regulation of wide range of anti-inflammatory responses critical during development of a diverse array of inflammatory diseases; however, underlying molecular details are still imprecisely understood. In this study, we demonstrate that NOD2 programs macrophages to trigger Notch1 signaling. Signaling perturbations or genetic approaches suggest signaling integration through cross-talk between Notch1-PI3K during the NOD2-triggered expression of a multitude of immunological parameters including COX-2/PGE(2) and IL-10. NOD2 stimulation enhanced active recruitment of CSL/RBP-Jk on the COX-2 promoter in vivo. Intriguingly, nitric oxide assumes critical importance in NOD2-mediated activation of Notch1 signaling as iNOS(-/-) macrophages exhibited compromised ability to execute NOD2-triggered Notch1 signaling responses. Correlative evidence demonstrates that this mechanism operates in vivo in brain and splenocytes derived from wild type, but not from iNOS(-/-) mice. Importantly, NOD2-driven activation of the Notch1-PI3K signaling axis contributes to its capacity to impart survival of macrophages against TNF-alpha or IFN-gamma-mediated apoptosis and resolution of inflammation. Current investigation identifies Notch1-PI3K as signaling cohorts involved in the NOD2-triggered expression of a battery of genes associated with anti-inflammatory functions. These findings serve as a paradigm to understand the pathogenesis of NOD2-associated inflammatory diseases and clearly pave a way toward development of novel therapeutics.

Strategies for Rescheduling Tightly-Coupled Parallel Applications in Multi-Cluster Grids

As computational Grids are increasingly used for executing long running multi-phase parallel applications, it is important to develop efficient rescheduling frameworks that adapt application execution in response to resource and application dynamics. In this paper, three strategies or algorithms have been developed for deciding when and where to reschedule parallel applications that execute on multi-cluster Grids. The algorithms derive rescheduling plans that consist of potential points in application execution for rescheduling and schedules of resources for application execution between two consecutive rescheduling points. Using large number of simulations, it is shown that the rescheduling plans developed by the algorithms can lead to large decrease in application execution times when compared to executions without rescheduling on dynamic Grid resources. The rescheduling plans generated by the algorithms are also shown to be competitive when compared to the near-optimal plans generated by brute-force methods. Of the algorithms, genetic algorithm yielded the most efficient rescheduling plans with 9-12% smaller average execution times than the other algorithms.

Efficient Algorithms for Combinatorial Auctions with Volume Discounts Arising in Web Service Composition

Web services are now a key ingredient of software services offered by software enterprises. Many standardized web services are now available as commodity offerings from web service providers. An important problem for a web service requester is the web service composition problem which involves selecting the right mix of web service offerings to execute an end-to-end business process. Web service offerings are now available in bundled form as composite web services and more recently, volume discounts are also on offer, based on the number of executions of web services requested. In this paper, we develop efficient algorithms for the web service composition problem in the presence of composite web service offerings and volume discounts. We model this problem as a combinatorial auction with volume discounts. We first develop efficient polynomial time algorithms when the end-to-end service involves a linear workflow of web services. Next we develop efficient polynomial time algorithms when the end-to-end service involves a tree workflow of web services.

Wireless sensor networks forhuman intruder detection

In this paper we report on the outcomes of a research and demonstration project on human intrusion detection in a large secure space using an ad hoc wireless sensor network. This project has been a unique experience in collaborative research, involving ten investigators (with expertise in areas such as sensors, circuits, computer systems,communication and networking, signal processing and security) to execute a large funded project that spanned three to four years. In this paper we report on the specific engineering solution that was developed: the various architectural choices and the associated specific designs. In addition to developing a demonstrable system, the various problems that arose have given rise to a large amount of basic research in areas such as geographical packet routing, distributed statistical detection, sensors and associated circuits, a low power adaptive micro-radio, and power optimising embedded systems software. We provide an overview of the research results obtained.

Non-destructive evaluation of porosity and its effect on mechanical properties of carbon fiber reinforced polymer composite materials

Structural adhesive bonding is widely used to execute assemblies in automobile and aerospace structures. The quality and reliability of these bonded joints must be ensured during service. In this context non destructive evaluation of these bonded structures play an important role. Evaluation of adhesively bonded composite single lap shear joints has been attempted through experimental approach. Series of tests, non-destructive as well as destructive were performed on different sets of carbon fiber reinforced polymer (CFRP) composite lap joint specimens with varied bond quality. Details of the experimental investigations carried out and the outcome are presented in this paper.

AdFT: An Adaptive Framework for Fault Tolerance on Large Scale Systems using Application Malleability

Exascale systems of the future are predicted to have mean time between failures (MTBF) of less than one hour. Malleable applications, where the number of processors on which the applications execute can be changed during executions, can make use of their malleability to better tolerate high failure rates. We present AdFT, an adaptive fault tolerance framework for long running malleable applications to maximize application performance in the presence of failures. AdFT framework includes cost models for evaluating the benefits of various fault tolerance actions including checkpointing, live-migration and rescheduling, and runtime decisions for dynamically selecting the fault tolerance actions at different points of application execution to maximize performance. Simulations with real and synthetic failure traces show that our approach outperforms existing fault tolerance mechanisms for malleable applications yielding up to 23% improvement in application performance, and is effective even for petascale systems and beyond.

Mechanism design for time critical and cost critical task execution via crowdsourcing

An exciting application of crowdsourcing is to use social networks in complex task execution. In this paper, we address the problem of a planner who needs to incentivize agents within a network in order to seek their help in executing an atomic task as well as in recruiting other agents to execute the task. We study this mechanism design problem under two natural resource optimization settings: (1) cost critical tasks, where the planner's goal is to minimize the total cost, and (2) time critical tasks, where the goal is to minimize the total time elapsed before the task is executed. We identify a set of desirable properties that should ideally be satisfied by a crowdsourcing mechanism. In particular, sybil-proofness and collapse-proofness are two complementary properties in our desiderata. We prove that no mechanism can satisfy all the desirable properties simultaneously. This leads us naturally to explore approximate versions of the critical properties. We focus our attention on approximate sybil-proofness and our exploration leads to a parametrized family of payment mechanisms which satisfy collapse-proofness. We characterize the approximate versions of the desirable properties in cost critical and time critical domain.