Load Balanced Scalable Byzantine Agreement through Quorum Building, with Full Information

We address the problem of designing distributed algorithms for large scale networks that are robust to Byzantine faults. We consider a message passing, full information model: the adversary is malicious, controls a constant fraction of processors, and can view all messages in a round before sending out its own messages for that round. Furthermore, each bad processor may send an unlimited number of messages. The only constraint on the adversary is that it must choose its corrupt processors at the start, without knowledge of the processors’ private random bits.

A good quorum is a set of O(logn) processors, which contains a majority of good processors. In this paper, we give a synchronous algorithm which uses polylogarithmic time and Õ(vn) bits of communication per processor to bring all processors to agreement on a collection of n good quorums, solving Byzantine agreement as well. The collection is balanced in that no processor is in more than O(logn) quorums. This yields the first solution to Byzantine agreement which is both scalable and load-balanced in the full information model.

The technique which involves going from situation where slightly more than 1/2 fraction of processors are good and and agree on a short string with a constant fraction of random bits to a situation where all good processors agree on n good quorums can be done in a fully asynchronous model as well, providing an approach for extending the Byzantine agreement result to this model.

Integration Of Strength and Process Modelling of Friction-Stir-Welded Fuselage Panels

In order to reduce potential uncertainties and conservatism in welded panel analysis procedures, understanding of the relationships between welding process parameters and static strength is required. The aim of this study is to determine and characterize the key process induced properties of advanced welding assembly methods on stiffened panel local buckling and collapse performance. To this end, an in-depth experimental and computational study of the static strength of a friction stir welded fuselage skin-stiffener panel subjected to compression loading has been undertaken. Four welding process effects, viz. the weld joint width, the width of the weld Heat Affected Zone, the strength of material within the weld Heat Affected Zone and the magnitude of welding induced residual stress, are investigated. A fractional factorial experiment design method (Taguchi) has been applied to identify the relative importance of each welding process effect and investigate effect interactions on both local skin buckling and crippling collapse performance. For the identified dominant welding process effects, parametric studies have been undertaken to identify critical welding process effect magnitudes and boundaries. The studies have shown that local skin buckling is principally influenced by the magnitude of welding induced residual stress and that the strength of material in the Heat Affected Zone and the magnitude of the welding induced residual stress have the greatest influence on crippling collapse behavior.


--------------------------------------------------------------------------------

Reaxys Database Information
|

Modelling relative motion to facilitate intra-limb coordination

The importance of relative motion information when modelling a novel motor skill was examined. Participants were assigned to one of four groups. Groups 1 and 2 viewed demonstrations of a skilled cricket bowler presented in either video or point light format. Group 3 observed a single point of light pertaining to the wrist of the skilled bowler only. Participants in Group 4 did not receive a demonstration and acted as controls. During 60 acquisition trials, participants in the demonstration groups viewed a model five times before each 10-trial block. Retention was examined the following day. Intra-limb coordination was assessed for the right elbow relative to the wrist in comparison to the model. The demonstration groups showed greater concordance with the model than the control group. However, the wrist group performed less like the model than the point light and video groups, who did not differ from each other. These effects were maintained in retention. Relative motion information aided the acquisition of intra-limb coordination, while making this information more salient (through point lights) provided no additional benefit. The motion of the models bowling arm was replicated more closely than the non-bowling arm, suggesting that information from the end-effector is prioritized during observation for later reproduction.

Client's assessment of architects' performance in building delivery process: Evidence from Nigeria

The overall intent of this research is to provide architects with information that can be used to improve their performance so as to optimally satisfy the client's requirements and achieve high-quality overall project performance in Nigerian construction industry. Architect performance criteria were identified based on literature within the domain of architect responsibilities. The assessment of architects’ performance was carried out through a questionnaire survey of clients of recently completed building projects in Nigeria. Analysis of data includes comparison of criteria using importance–performance index analysis. Factor analysis was carried out on criteria where architects are falling below average, to group and explore the latent structure of the criteria in the data. The results showed that the architect needs to focus on management skills and ability, buildability, design quality, project communication, project integration and client focus. These results would encourage architects to perform better within their full responsibilities in the building delivery process and deliver high-quality projects within Nigerian construction industry.

Analysing spatio-temporal change by use of national historical Geographical Information Systems: Population change during and after the Great Irish Famine

Several countries have made large investments in building historical Geographical Information Systems (GIS) databases containing census and other quantitative statistics over long periods of time. Making good use of these databases requires approaches that explore spatial and temporal change.

Modelling of aircraft manufacturing cost at the concept stage

The work presented is concerned with the estimation of manufacturing cost at the concept design stage, when little technical information is readily available. The work focuses on the nose cowl sections of a wide range of engine nacelles built at Bombardier Aerospace Shorts of Belfast. A core methodology is presented that: defines manufacturing cost elements that are prominent; utilises technical parameters that are highly influential in generating those costs; establishes the linkage between these two; and builds the associated cost estimating relations into models. The methodology is readily adapted to deal with both the early and more mature conceptual design phases, which thereby highlights the generic, flexible and fundamental nature of the method. The early concept cost model simplifies cost as a cumulative element that can be estimated using higher level complexity ratings, while the mature concept cost model breaks manufacturing cost down into a number of constituents that are each driven by their own specific drivers. Both methodologies have an average error of less that ten percent when correlated with actual findings, thus achieving an acceptable level of accuracy. By way of validity and application, the research is firmly based on industrial case studies and practice and addresses the integration of design and manufacture through cost. The main contribution of the paper is the cost modelling methodology. The elemental modelling of the cost breakdown structure through materials, part fabrication, assembly and their associated drivers is relevant to the analytical design procedure, as it utilises design definition and complexity that is understood by engineers.

Human information retrieval

Information retrieval in the age of Internet search engines has become part of ordinary discourse and everyday practice: "Google" is a verb in common usage. Thus far, more attention has been given to practical understanding of information retrieval than to a full theoretical account. In Human Information Retrieval, Julian Warner offers a comprehensive overview of information retrieval, synthesizing theories from different disciplines (information and computer science, librarianship and indexing, and information society discourse) and incorporating such disparate systems as WorldCat and Google into a single, robust theoretical framework. There is a need for such a theoretical treatment, he argues, one that reveals the structure and underlying patterns of this complex field while remaining congruent with everyday practice. Warner presents a labor theoretic approach to information retrieval, building on his previously formulated distinction between semantic and syntactic mental labor, arguing that the description and search labor of information retrieval can be understood as both semantic and syntactic in character. Warner's information science approach is rooted in the humanities and the social sciences but informed by an understanding of information technology and information theory. The chapters offer a progressive exposition of the topic, with illustrative examples to explain the concepts presented. Neither narrowly practical nor largely speculative, Human Information Retrieval meets the contemporary need for a broader treatment of information and information systems.

Cyanopolyynes in hot cores: modelling G305.2+0.2

We present results from a time-dependent gas-phase chemical model of a hot core based on the physical conditions of G305.2+0.2. While the cyanopolyyne HC3N has been observed in hot cores, the longer chained species, HC5N, HC7N and HC9N, have not been considered as the typical hot-core species. We present results which show that these species can be formed under hot core conditions. We discuss the important chemical reactions in this process and, in particular, show that their abundances are linked to the parent species acetylene which is evaporated from icy grain mantles. The cyanopolyynes show promise as ‘chemical clocks’ which may aid future observations in determining the age of hot core sources. The abundance of the larger cyanopolyynes increases and decreases over relatively short time-scales, ~10^2.5 yr. We present results from a non-local thermodynamic equilibrium statistical equilibrium excitation model as a series of density, temperature and column density dependent contour plots which show both the line intensities and several line ratios. These aid in the interpretation of spectral-line data, even when there is limited line information available. In particular, non-detections of HC5N and HC7N in Walsh et al. are analysed and discussed.

TDM modelling and evaluation of different domain transforms for LSI

Latent semantic indexing (LSI) is a popular technique used in information retrieval (IR) applications. This paper presents a novel evaluation strategy based on the use of image processing tools. The authors evaluate the use of the discrete cosine transform (DCT) and Cohen Daubechies Feauveau 9/7 (CDF 9/7) wavelet transform as a pre-processing step for the singular value decomposition (SVD) step of the LSI system. In addition, the effect of different threshold types on the search results is examined. The results show that accuracy can be increased by applying both transforms as a pre-processing step, with better performance for the hard-threshold function. The choice of the best threshold value is a key factor in the transform process. This paper also describes the most effective structure for the database to facilitate efficient searching in the LSI system.

Modelling of deuterium chemistry and its application to molecular clouds

We have developed new models of the chemistry of deuterium for investigating fractionation in interstellar molecular clouds. We have incorporated the latest information on reactions which affect deuteration, extended previous models to include S-D bonds for the first time and included the gasphase chemistry of some doubly-deuterated species. We present models for a wide range of physical parameters, including density, temperature, elemental abundances, and the freeze out of molecules on to dust grains. We discuss the detailed fractionation of particular species and show how fractionation can be used to probe the history of interstellar matter. The freeze out of molecules onto dust leads to significant enhancement in fractionation ratios and, in particular, to large fractionation in doubly-deuterated species.

Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains

Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in particular supports automated many-step model transformation chains. It can happen that information defined at some point, using an embedded DSML, is not required in the next immediate transformation step, but in a later one. We propose a new approach of model annotation enabling flexible many-step transformation chains. The approach utilizes a combination of embedded DSMLs, trace models and a megamodel. We demonstrate our approach based on an example MDE process and an industrial case study.