On Randomizing Hash Functions to Strengthen the Security of Digital Signatures

Halevi and Krawczyk proposed a message randomization algorithm called RMX as a front-end tool to the hash-then-sign digital signature schemes such as DSS and RSA in order to free their reliance on the collision resistance property of the hash functions. They have shown that to forge a RMX-hash-then-sign signature scheme, one has to solve a cryptanalytical task which is related to finding second preimages for the hash function. In this article, we will show how to use Dean’s method of finding expandable messages for finding a second preimage in the Merkle-Damgård hash function to existentially forge a signature scheme based on a t-bit RMX-hash function which uses the Davies-Meyer compression functions (e.g., MD4, MD5, SHA family) in 2 t/2 chosen messages plus 2 t/2 + 1 off-line operations of the compression function and similar amount of memory. This forgery attack also works on the signature schemes that use Davies-Meyer schemes and a variant of RMX published by NIST in its Draft Special Publication (SP) 800-106. We discuss some important applications of our attack.

Tracking control of a class of Hamiltonian mechanical systems with disturbances

This paper presents a trajectory-tracking control strategy for a class of mechanical systems in Hamiltonian form. The class is characterised by a simplectic interconnection arising from the use of generalised coordinates and full actuation. The tracking error dynamic is modelled as a port-Hamiltonian Systems (PHS). The control action is designed to take the error dynamics into a desired closed-loop PHS characterised by a constant mass matrix and a potential energy with a minimum at the origin. A transformation of the momentum and a feedback control is exploited to obtain a constant generalised mass matrix in closed loop. The stability of the close-loop system is shown using the close-loop Hamiltonian as a Lyapunov function. The paper also considers the addition of integral action to design a robust controller that ensures tracking in spite of disturbances. As a case study, the proposed control design methodology is applied to a fully actuated robotic manipulator.

Catalytic activity evaluation of industrial Pd/C catalyst via gray-box dynamic modeling and simulation of hydropurification reactor

In this paper, dynamic modeling and simulation of the hydropurification reactor in a purified terephthalic acid production plant has been investigated by gray-box technique to evaluate the catalytic activity of palladium supported on carbon (0.5 wt.% Pd/C) catalyst. The reaction kinetics and catalyst deactivation trend have been modeled by employing artificial neural network (ANN). The network output has been incorporated with the reactor first principle model (FPM). The simulation results reveal that the gray-box model (FPM and ANN) is about 32 percent more accurate than FPM. The model demonstrates that the catalyst is deactivated after eleven months. Moreover, the catalyst lifetime decreases about two and half months in case of 7 percent increase of reactor feed flowrate. It is predicted that 10 percent enhancement of hydrogen flowrate promotes catalyst lifetime at the amount of one month. Additionally, the enhancement of 4-carboxybenzaldehyde concentration in the reactor feed improves CO and benzoic acid synthesis. CO is a poison to the catalyst, and benzoic acid might affect the product quality. The model can be applied into actual working plants to analyze the Pd/C catalyst efficient functioning and the catalytic reactor performance.

Visualization of complex biological systems: An immune response model using OpenGL

In this paper we present an update on our novel visualization technologies based on cellular immune interaction from both large-scale spatial and temporal perspectives. We do so with a primary motive: to present a visually and behaviourally realistic environment to the community of experimental biologists and physicians such that their knowledge and expertise may be more readily integrated into the model creation and calibration process. Visualization aids understanding as we rely on visual perception to make crucial decisions. For example, with our initial model, we can visualize the dynamics of an idealized lymphatic compartment, with antigen presenting cells (APC) and cytotoxic T lymphocyte (CTL) cells. The visualization technology presented here offers the researcher the ability to start, pause, zoom-in, zoom-out and navigate in 3-dimensions through an idealised lymphatic compartment.

Behaviour of LSF floor systems with improved joist sections under fire conditions

Fire safety design of buildings is essential to safeguard lives and minimize the loss of damage to properties. Light-weight cold-formed steel channel sections along with fire resistive plasterboards are used to construct light gauge steel frame floor systems to provide the required fire resistance rating. However, simply adding more plasterboard layers is not an efficient method to increase FRR. Hence this research focuses on using joists with improved joist section profiles such as hollow flange sections to increase the structural capacity of floor systems under fire conditions and thus their FRR. In this research, the structural and thermal behaviour of LSF floor systems made of LiteSteel Beams with different plasterboard and insulation configurations was investigated using four full scale tests under standard fires. Based on the ultimate failure load of the floor joist at ambient temperature, transient state fire tests were conducted for different Load Ratios. These fire tests showed that the new LSF floor system has improved the FRR well above that of those made of lipped channel sections. The joist failure was predominantly due to local buckling of LSB compression flanges near mid-span with severe yielding of tension flanges. Fire tests have provided valuable structural and thermal performance data of tested floor systems that included time-temperature profiles, and failure times and temperatures. Average failure temperatures of LSB joists and reduced yield strengths were used to predict their ultimate moment capacities, which were compared with corresponding test capacities. This allowed an assessment in relation to the accuracy of current design rules for steel joists at elevated temperatures. This paper presents the details of full scale fire tests of LSF floor systems made of LSB joists with different plasterboard and insulation configurations and their results along with some important findings.

Numerical simulation of railway track supporting system using finite-infinite and thin layer elements under impulsive loads

The present study deals with two dimensional, numerical simulation of railway track supporting system subjected to dynamic excitation force. Under plane strain condition, the coupled finite-infinite elements to represent the near and far field stress distribution and thin layer interface element was employed to model the interfacial behavior between sleepers and ballast. To account for the relative debonding, slipping and crushing that could take place in the contact area between the sleepers and ballast, modified Mohr-Coulomb criterion was adopted. Furthermore an attempt has been made to consider the elasto-plastic material non-linearity of the railway track supporting media by employing different constitutive models to represent steel, concrete and supporting materials. Based on the proposed physical and constitutive modeling a code has been developed for dynamic loads. The applicability of the developed F.E code has been demonstrated by analyzing a real railway supporting structure.

Agent-based modelling and simulation of airplane boarding processes

Passenger flow simulations are an important tool for designing and managing airports. This thesis examines the different boarding strategies for the Boeing 777 and Airbus 380 aircraft in order to investigate their current performance and to determine minimum boarding times. The most optimal strategies have been discovered and new strategies that are more efficient are proposed. The methods presented offer reduced aircraft boarding times which plays an important role for reducing the overall aircraft Turn Time for an airline.

Identifying satisfaction factors in tertiary education: The case of an information systems program

This paper introduces a modified Kano approach to analysing and classifying quality attributes that drive student satisfaction in tertiary education. The approach provides several benefits over the traditional Kano approach. Firstly, it uses existing student evaluations of subjects in the educational institution instead of purpose-built surveys as the data source. Secondly, since the data source includes qualitative comments and feedback, it has the exploratory capability to identify emerging and unique attributes. Finally, since the quality attributes identified could be tied directly to students’ detailed feedback, the approach enables practitioners to easily translate the results into concrete action plans. In this paper, the approach is applied to analysing 26 subjects in the information systems school of an Australia university. The approach has enabled the school to uncover new quality attributes and paves the way for other institutions to use their student evaluations to continually understand and addressed students’ changing needs.

The organisational context of nursing care in stroke units: A case study approach

Background Internationally the stroke unit is recognised as the evidence-based model for patient management, although clarity about the effective components of stroke units is lacking. Whilst skilled nursing care has been proposed as one component, the theoretical and empirical basis for stroke nursing is limited. We attempted to explore the organisational context of stroke unit nursing, to determine those features that staff perceived to be important in facilitating high quality care. Design A case study approach was used, that included interviews with nurses and members of the multidisciplinary teams in two Canadian acute stroke units. A total of 20 interviews were completed, transcribed and analysed thematically using the Framework Approach. Trustworthiness was established through the review of themes and their interpretation by members of the stroke units. Findings Nine themes that comprised an organisational context that supported the delivery of high quality nursing care in acute stroke units were identified, and provide a framework for organisational development. The study highlighted the importance of an overarching service model to guide the organisation of care and the development of specialist and advanced nursing roles. Whilst multidisciplinary working appears to be a key component of stroke unit nursing, various organisational challenges to its successful implementation were highlighted. In particular the consequence of differences in the therapeutic approach of nurses and therapy staff needs to be explored in greater depth. Successful teamwork appears to depend on opportunities for the development of relationships between team members as much as the use of formal communication systems and structures. A co-ordinated approach to education and training, clinical leadership, a commitment to research, and opportunities for role and practice development also appear to be key organisational features of stroke unit nursing. Recommendations for the development of stroke nursing leadership and future research into teamwork in stroke settings are made.

Analysis of complex molecular systems: The impact of multivariate analysis for resolving the interactions of small molecules with biopolymers - a review

This review is focused on the impact of chemometrics for resolving data sets collected from investigations of the interactions of small molecules with biopolymers. These samples have been analyzed with various instrumental techniques, such as fluorescence, ultraviolet–visible spectroscopy, and voltammetry. The impact of two powerful and demonstrably useful multivariate methods for resolution of complex data—multivariate curve resolution–alternating least squares (MCR–ALS) and parallel factor analysis (PARAFAC)—is highlighted through analysis of applications involving the interactions of small molecules with the biopolymers, serum albumin, and deoxyribonucleic acid. The outcomes illustrated that significant information extracted by the chemometric methods was unattainable by simple, univariate data analysis. In addition, although the techniques used to collect data were confined to ultraviolet–visible spectroscopy, fluorescence spectroscopy, circular dichroism, and voltammetry, data profiles produced by other techniques may also be processed. Topics considered including binding sites and modes, cooperative and competitive small molecule binding, kinetics, and thermodynamics of ligand binding, and the folding and unfolding of biopolymers. Applications of the MCR–ALS and PARAFAC methods reviewed were primarily published between 2008 and 2013.

Impacts of wind power integration on small signal stability and low frequency oscillation characteristics of interconnected power systems

为研究风电并网对互联系统低频振荡的影响,基于完整的双馈风电机组模型,定性分析了两区域互联系统在风电机组并网前后阻尼特性的变化情况.从双馈风电机组并网输送距离、并网容量、互联系统联络线传送功率、是否加装电力系统稳定器等多个方面,多角度分析了风电场并网对互联系统小干扰稳定及低频振荡特性的影响.之后,以两个包括两个区域的电力系统为例,进行了系统的计算分析和比较.结果表明,有双馈风电机组接入的互联电力系统,在不同运行模式下,双馈风电机组的并网输送距离、出力水平、联络线传送功率对低频振荡模式的影响在趋势和程度上均有显著差异,这样在对风电场进行入网规划、设计和运行时就需要综合考虑这些因素的影响.

The role of digital screens in urban life: New opportunities for placemaking

Large digital screens are becoming prevalent across today’s cities dispersing into everyday urban spaces such as public squares and cultural precincts. Examples, such as Federation Square, demonstrate the opportunities for using digital screens to create a sense of place and to add long-term social, cultural and economic value for citizens, who live and work in those precincts. However, the challenge of implementing digital screens in new urban developments is to ensure they respond appropriately to the physical and sociocultural environment in which they are placed. Considering the increasing rate at which digital screens are being embedded into public spaces, it is surprising that the programs running on these screens still seem to be stuck in the cinematic model. The availability of advanced networking and interaction technologies offers opportunities for information access that goes beyond free-to-air television and advertising. This chapter revisits the history and current state of digital screens in urban life and discusses a series of research studies that involve digital screens as interface between citizens and the city. Instead of focusing on technological concerns, the chapter presents a holistic analysis of these studies, with the aim to move towards a more comprehensive understanding of the sociocultural potential of this new media platform, and how the digital content is linked with the spatial quality of the physical space, as well as the place and role of digital screens within the smart city movement.