Sustainable vegetable crop supply problem

We consider an agricultural production problem, in which one must meet a known demand of crops while respecting ecologically-based production constraints. The problem is twofold: in order to meet the demand, one must determine the division of the available heterogeneous arable areas in plots and, for each plot, obtain an appropriate crop rotation schedule. Rotation plans must respect ecologically-based constraints such as the interdiction of certain crop successions, and the regular insertion of fallows and green manures. We propose a linear formulation for this problem, in which each variable is associated with a crop rotation schedule. The model may include a large number of variables and it is, therefore, solved by means of a column-generation approach. We also discuss some extensions to the model, in order to incorporate additional characteristics found in field conditions. A set of computational tests using instances based on real-world data confirms the efficacy of the proposed methodology. (C) 2009 Elsevier B.V. All rights reserved.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

QoS evaluation of bandwidth schedulersin IPTV networks offered SRD fluidvideo traffic: a simulation study

IPTV is now offered by several operators in Europe, US and Asia using broadcast video over private IP networks that are isolated from Internet. IPTV services rely ontransmission of live (real-time) video and/or stored video. Video on Demand (VoD)and Time-shifted TV are implemented by IP unicast and Broadcast TV (BTV) and Near video on demand are implemented by IP multicast. IPTV services require QoS guarantees and can tolerate no more than 10-6 packet loss probability, 200 ms delay, and 50 ms jitter. Low delay is essential for satisfactory trick mode performance(pause, resume,fast forward) for VoD, and fast channel change time for BTV. Internet Traffic Engineering (TE) is defined in RFC 3272 and involves both capacity management and traffic management. Capacity management includes capacityplanning, routing control, and resource management. Traffic management includes (1)nodal traffic control functions such as traffic conditioning, queue management, scheduling, and (2) other functions that regulate traffic flow through the network orthat arbitrate access to network resources. An IPTV network architecture includes multiple networks (core network, metronetwork, access network and home network) that connects devices (super head-end, video hub office, video serving office, home gateway, set-top box). Each IP router in the core and metro networks implements some queueing and packet scheduling mechanism at the output link controller. Popular schedulers in IP networks include Priority Queueing (PQ), Class-Based Weighted Fair Queueing (CBWFQ), and Low Latency Queueing (LLQ) which combines PQ and CBWFQ.The thesis analyzes several Packet Scheduling algorithms that can optimize the tradeoff between system capacity and end user performance for the traffic classes. Before in the simulator FIFO,PQ,GPS queueing methods were implemented inside. This thesis aims to implement the LLQ scheduler inside the simulator and to evaluate the performance of these packet schedulers. The simulator is provided by ErnstNordström and Simulator was built in Visual C++ 2008 environmentand tested and analyzed in MatLab 7.0 under windows VISTA.

Energieffektivisering av klimatskal med hänsyn till kulturhistorisk värdering : Fallstudier av tre befintliga småhus från 1900-talet ur bevarandesynpunkt

Allt hårdare lagkrav gör att det är svårt att energieffektivisera befintliga byggnader utan att förändra deras utseende. Syftet med examensarbetet är att utreda hur stor energieffektivisering, för tre befintliga småhus uppförda under 1900-talet, som är möjlig att uppnå genom förbättring av byggnadernas klimatskal, det vill säga tak, väggar, golv, fönster och dörrar, utan att förvanska byggnadernas utseende och samtidigt bevara deras kulturhistoriska värden. Arbetet bestod av en förstudie där tre byggnader identifierades, ett undersökningsskede där information om byggnaderna togs fram och ett slutsatsskede där energibesparande åtgärdsförslag togs fram och utvärderades. Byggnader som var goda representanter för sin tid och stil söktes. Byggnader från 1910-talet, 1930-talet och 1970-talet, lokaliserades. Sedan gjordes det fallstudier med intervjuer och inventeringar. För att utreda byggnadens klimatskal utfördes u-värdesberäkningar och energiberäkningar av befintliga byggander och byggnader baserade på föreslagna åtgärdsförslag. Ingen av byggnaderna nådde efter föreslagna åtgärder ner till passivhuskravet 59 kWh/år/m2 Atemp eller BBR-kravet 110 kWh/år/m2 Atemp för en byggnads specifika energianvändning. Den största möjliga energieffektivisering för de tre byggnaderna uppförda under 1900-talet, som är möjlig att uppnå utan att förvanska byggnadernas utseende och samtidigt bevara deras kulturhistoriska värden är 13,0 kWh/år/m2 Atemp, 49,7 kWh/år/m2 Atemp respektive 64,8 kWh/år/m2 Atemp. Slutsatser från arbetet är att byggnader från 1910-tal kan åtgärdas genom att isolera fönstren, sätta dit en extra dörr på insidan av ytterdörren samt tilläggsisolera snedtaket. Byggnader från 1930-tal kan åtgärdas genom att isolera fönstren med en isolerruta på insidan av fönstret och dörrarna med en extra dörr på insidan av ytterdörren. Byggnader från 1970-tal kan åtgärda fönstren genom att byta ut dem till energifönster, ingen åtgärd för golvet men fasaden isoleras utvändigt med vakuumisolering. Byggnaden från 1970-talet klarade sig bäst i jämförelsen eftersom den var i autentiskt skick från början vilket gjorde att förbättringen blev större än för till exempel byggnaden från 1910-talet som redan var ombyggd innan åtgärder föreslogs.

Testing of combined heating systems for small houses: Improved procedures for whole system test methods : Deliverable 2.3

Dynamic system test methods for heating systems were developed and applied by the institutes SERC and SP from Sweden, INES from France and SPF from Switzerland already before the MacSheep project started. These test methods followed the same principle: a complete heating system – including heat generators, storage, control etc., is installed on the test rig; the test rig software and hardware simulates and emulates the heat load for space heating and domestic hot water of a single family house, while the unit under test has to act autonomously to cover the heat demand during a representative test cycle. Within the work package 2 of the MacSheep project these similar – but different – test methods were harmonized and improved. The work undertaken includes:  • Harmonization of the physical boundaries of the unit under test. • Harmonization of the boundary conditions of climate and load. • Definition of an approach to reach identical space heat load in combination with an autonomous control of the space heat distribution by the unit under test. • Derivation and validation of new six day and a twelve day test profiles for direct extrapolation of test results.   The new harmonized test method combines the advantages of the different methods that existed before the MacSheep project. The new method is a benchmark test, which means that the load for space heating and domestic hot water preparation will be identical for all tested systems, and that the result is representative for the performance of the system over a whole year. Thus, no modelling and simulation of the tested system is needed in order to obtain the benchmark results for a yearly cycle. The method is thus also applicable to products for which simulation models are not available yet. Some of the advantages of the new whole system test method and performance rating compared to the testing and energy rating of single components are:  • Interaction between the different components of a heating system, e.g. storage, solar collector circuit, heat pump, control, etc. are included and evaluated in this test. • Dynamic effects are included and influence the result just as they influence the annual performance in the field. • Heat losses are influencing the results in a more realistic way, since they are evaluated under "real installed" and representative part-load conditions rather than under single component steady state conditions.   The described method is also suited for the development process of new systems, where it replaces time-consuming and costly field testing with the advantage of a higher accuracy of the measured data (compared to the typically used measurement equipment in field tests) and identical, thus comparable boundary conditions. Thus, the method can be used for system optimization in the test bench under realistic operative conditions, i.e. under relevant operating environment in the lab.   This report describes the physical boundaries of the tested systems, as well as the test procedures and the requirements for both the unit under test and the test facility. The new six day and twelve day test profiles are also described as are the validation results.

Ukrainas konstitutionella sicksackande : Regimförändring och partiutveckling under semipresidentialism

Ukraine has repeatedly shifted between the two sub-types of semi-presidentialism, i.e. between premier-presidentialism and president-parliamentarism. The aim of this article is to discuss to what extent theoretical arguments against premier-presidential and president-parliamentary systems are relevant for understanding the shifting directions of the Ukrainian regime. As a point of departure, I formulate three main claims from the literature: 1) “President-parliamentarism is less conducive to democratization than premier-presidentialism.”; 2) “Semi-presidentialism in both its variants have built-in incitements for intra-executive conflict between the president and the prime minister.”; 3) “Semi-presidentialism in general, and president-parliamentarism in particular, encourages presidentialization of political parties.” I conclude from the study’s empirical overview that the president-parliamentary system– the constitutional arrangement with the most dismal record of democratization – has been instrumental in strengthening presidential dominance and authoritarian tendencies. The premier-presidential period 2006–2010 was by no means smooth and stable, but the presidential dominance weakened and the survival of the government was firmly anchored in the parliament. During this period, there were also indications of a gradual strengthening of institutional capacity among the main political parties and the parliament began to emerge as a significant political arena.

Data based Calibration System for Radar used by Vehicle Activated Signs

The accurate measurement of a vehicle’s velocity is an essential feature in adaptive vehicle activated sign systems. Since the velocities of the vehicles are acquired from a continuous wave Doppler radar, the data collection becomes challenging. Data accuracy is sensitive to the calibration of the radar on the road. However, clear methodologies for in-field calibration have not been carefully established. The signs are often installed by subjective judgment which results in measurement errors. This paper develops a calibration method based on mining the data collected and matching individual vehicles travelling between two radars. The data was cleaned and prepared in two ways: cleaning and reconstructing. The results showed that the proposed correction factor derived from the cleaned data corresponded well with the experimental factor done on site. In addition, this proposed factor showed superior performance to the one derived from the reconstructed data.