Abstract: During the last couple of years, the degree of dependence on IT systems has reached a dimension nobody imagined to be possible 10 years ago. The increased usage of mobile devices (e.g., smart phones), wireless sensor networks and embedded devices (Internet of Things) are only some examples of the dependency of modern societies on cyber space. At the same time, the complexity of IT applications, e.g., because of the increasing use of cloud computing, is rising continuously. Along with this, the threats to IT security have increased both quantitatively and qualitatively, as recent examples like STUXNET or the supposed cyber attack on Illinois water system are proofing impressively. Once isolated control systems are nowadays often publicly available - a fact that has never been intended by the developers. Threats to IT systems don’t care about areas of responsibility. Especially with regard to Cyber Warfare, IT threats are no longer limited to company or industry boundaries, administrative jurisdictions or state boundaries. One of the important countermeasures is increased cooperation among the participants especially in the field of Cyber Defence. Besides political and legal challenges, there are technical ones as well. A better, at least partially automated exchange of information is essential to (i) enable sophisticated situational awareness and to (ii) counter the attacker in a coordinated way. Therefore, this publication performs an evaluation of state of the art Intrusion Detection Message Exchange protocols in order to guarantee a secure information exchange between different entities.
Abstract: The wide increase and diffusion on telecommunication
technologies have caused a huge spread of electromagnetic sources
in most European Countries. Since the public is continuously being
exposed to electromagnetic radiation the possible health effects have
become the focus of population concerns. As a result, electromagnetic
field monitoring stations which control field strength in commercial
frequency bands are being placed on the flat roof of many buildings.
However there is no guidance on where to place them. This paper
presents an analysis of frequency, polarization and angles of incidence
of a plane wave which impinges on a flat roof security wall and its
dependence on electromagnetic field strength meters placement.
Abstract: Various solar energy technologies exist and they have
different application techniques in the generation of electrical power.
The widespread use of photovoltaic (PV) modules in such
technologies has been limited by relatively high costs and low
efficiencies. The efficiency of PV panels decreases as the operating
temperatures increase. This is due to the affect of solar intensity and
ambient temperature. In this work, Computational Fluid Dynamics
(CFD) was used to model the heat transfer from a standard PV panel
and thus determine the rate of dissipation of heat. To accurately
model the specific climatic conditions of the United Arab Emirates
(UAE), a case study of a new build green building in Dubai was
used. A finned heat pipe arrangement is proposed and analyzed to
determine the improved heat dissipation and thus improved
performance efficiency of the PV panel. A prototype of the
arrangement is built for experimental testing to validate the CFD
modeling and proof of concept.
Abstract: Arenga pinnata is an abundantly natural fiber that can be used for sound proof material. However, the scientific data of acoustics properties of Arenga pinnata was not available yet. In this study the sound absorption of pure arenga pinnata was measured. The thickness of Arenga pinnata was varied in 10 mm, 20 mm, 30mm, and 40mm. This work was carried out to investigate the potential of using Arenga pinnata fiber as raw material for sound absorbing material. Impedance Tube Method was used to measure sound absorption coefficient (α). The Measurements was done in accordance with ASTM E1050-98, that is the standard test method for impedance and absorption of acoustical materials using a tube, two microphones and a digital frequency analysis system . The results showed that sound absorption coefficients of Arenga pinnata were good from 2000 Hz to 5000 Hz within the range of 0.75 – 0.90. The optimum sound absorption coefficient was obtained from the thickness of 40 mm. These results indicated that Arenga pinnata fiber is promising to be used as raw material of sound absorbing material with low cost, light, and biodegradable.
Abstract: Recordings from recent earthquakes have provided evidence that ground motions in the near field of a rupturing fault differ from ordinary ground motions, as they can contain a large energy, or “directivity" pulse. This pulse can cause considerable damage during an earthquake, especially to structures with natural periods close to those of the pulse. Failures of modern engineered structures observed within the near-fault region in recent earthquakes have revealed the vulnerability of existing RC buildings against pulse-type ground motions. This may be due to the fact that these modern structures had been designed primarily using the design spectra of available standards, which have been developed using stochastic processes with relatively long duration that characterizes more distant ground motions. Many recently designed and constructed buildings may therefore require strengthening in order to perform well when subjected to near-fault ground motions. Fiber Reinforced Polymers are considered to be a viable alternative, due to their relatively easy and quick installation, low life cycle costs and zero maintenance requirements. The objective of this paper is to investigate the adequacy of Artificial Neural Networks (ANN) to determine the three dimensional dynamic response of FRP strengthened RC buildings under the near-fault ground motions. For this purpose, one ANN model is proposed to estimate the base shear force, base bending moments and roof displacement of buildings in two directions. A training set of 168 and a validation set of 21 buildings are produced from FEA analysis results of the dynamic response of RC buildings under the near-fault earthquakes. It is demonstrated that the neural network based approach is highly successful in determining the response.
Abstract: Urban water management in Australia faces increasing pressure to deal with the challenges of droughts, growing population and the climate change uncertainty. Addressing these challenges is an opportunity to incorporate the parallel goals of sustainable water management and climate change adaptation through holistic, non-technical means. This paper presents case studies from Perth and Sydney which show how despite robust adaptation plans and experience, recent efforts to 'drought proof' cities have focused on supply-side measures (i.e. desalination), rather than rethinking how water is used and managing demand. The trend towards desalination as a climate adaptation measure raises questions about the sustainability of urban water futures in Australia.
Abstract: A preliminary evaluation of the feasibility of installing small wind turbines on offshore oil and gas extraction platforms is presented. Some aerodynamic considerations are developed in order to determine the best rotor architecture to exploit the wind potential on such installations, assuming that wind conditions over the platforms are similar to those registered on the roofs of urban buildings. Economical considerations about both advantages and disadvantages of the exploitation of wind energy on offshore extraction platforms with respect to conventional offshore wind plants, is also presented. Finally, wind charts of European offshore winds are presented together with a map of the major offshore installations.
Abstract: Growing world population has fundamental impacts
and often catastrophic on natural habitat. The immethodical
consumption of energy, destruction of the forests and extinction of
plant and animal species are the consequence of this experience.
Urban sustainability and sustainable urban development, that is so
spoken these days, should be considered as a strategy, goal and
policy, beyond just considering environmental issues and protection.
The desert-s climate has made a bunch of problems for its residents.
Very hot and dry climate in summers of the Iranian desert areas,
when there was no access to modern energy source and mechanical
cooling systems in the past, made Iranian architects to design a
natural ventilation system in their buildings. The structure, like a
tower going upward the roof, besides its ornamental application and
giving a beautiful view to the building, was used as a spontaneous
ventilation system. In this paper, it has been tried to name the
problems of the area and it-s inconvenience, then some answers has
pointed out in order to solve the problems and as an alternative
solution BADGIR (wind-catcher) has been introduced as a solution
knowing that it has been playing a major role in dealing with the
problems.
Abstract: The purpose of this study is to investigate the
efficiency of a double-layer roof in collecting solar energy as an
application to the areas such as raising high-end temperature of
organic Rankine cycle (ORC). The by-product of the solar roof is to
reduce building air-conditioning loads. The experimental apparatus
are arranged to evaluate the effects of the solar roof in absorbing solar
energy. The flow channel is basically formed by an aluminum plate on
top of a plywood plate. The geometric configurations in which the
effects of absorbing energy is analyzed include: a bare uncovered
aluminum plate, a glass-covered aluminum plate, a
glass-covered/black-painted aluminum plate, a plate with variable
lengths, a flow channel with stuffed material (in an attempt on
enhancement of heat conduction), and a flow channel with variable
slanted angles. The experimental results show that the efficiency of
energy collection varies from 0.6 % to 11 % for the geometric
configurations mentioned above. An additional study is carried out
using CFD simulation to investigate the effects of fins on the
aluminum plate. It shows that due to vastly enhanced heat conduction,
the efficiency can reach ~23 % if 50 fins are installed on the aluminum
plate. The study shows that a double-layer roof can efficiently absorb
solar energy and substantially reduce building air-conditioning
loads. On the high end of an organic Rankine cycle, a solar pond is
used to replace the warm surface water of the sea as OTEC (ocean
thermal energy conversion) is the driving energy for the ORC. The
energy collected from the double-layered solar roof can be pumped
into the pond and raise the pond temperature as the pond surface area is
equivalently increased by nearly one-fourth of the total area of the
double-layer solar roof. The effect of raising solar pond temperature is
especially prominent if the double-layer solar roofs are installed in a
community area.
Abstract: This paper presents a protocol aiming at proving that an encryption system contains structural weaknesses without disclosing any information on those weaknesses. A verifier can check in a polynomial time that a given property of the cipher system output has been effectively realized. This property has been chosen by the prover in such a way that it cannot been achieved by known attacks or exhaustive search but only if the prover indeed knows some undisclosed weaknesses that may effectively endanger the cryptosystem security. This protocol has been denoted zero-knowledge-like proof of cryptanalysis. In this paper, we apply this protocol to the Bluetooth core encryption algorithm E0, used in many mobile environments and thus we suggest that its security can seriously be put into question.
Abstract: A proof of convergence of a new continuation algorithm for computing the Analytic SVD for a large sparse parameter– dependent matrix is given. The algorithm itself was developed and numerically tested in [5].
Abstract: A total of fourteen slab-edge beam-column connection specimens were tested gradually to failure under the effect of simultaneous action of shear force and moment. The objective was to investigate the influence of some parameters thought to be important on the behavior and strength of slab-column connections with edge beams encountered in flat slab flooring and roofing systems. The parameters included the existence and strength of edge beam, depth and width of edge beam, steel reinforcement ratio of slab, ratio of moment to shear force, and the existence of openings in the region next to the column.
Results obtained demonstrated the importance of the studied parameters on the strength and behavior of slab-column connections with edge beams.
Abstract: The benefits of rooftop greenery systems (such as
energy savings, reduction of greenhouse gas emission for mitigating
climate change and maintaining sustainable development, indoor
temperature control etc.) in buildings are well recognized, however
there remains very little research conducted for quantifying the
benefits in subtropical climates such as in Australia. This study
mainly focuses on measuring/determining temperature profile and air
conditioning energy savings by implementing rooftop greenery
systems in subtropical Central Queensland in Australia. An
experimental set-up was installed at Rockhampton campus of Central
Queensland University, where two standard shipping containers (6m
x 2.4m x 2.4m) were converted into small offices, one with green
roof and one without. These were used for temperature, humidity and
energy consumption data collection. The study found that an energy
savings of up to 11.70% and temperature difference of up to 4°C can
be achieved in March in subtropical Central Queensland climate in
Australia. It is expected that more energy can be saved in peak
summer days (December/February) as temperature difference
between green roof and non-green roof is higher in December-
February.
Abstract: The objective of this paper was to designing a
ventilation system to enhance the performance of roof solar collector
(RSC) for reducing heat accumulation inside the house. The RSC has
1.8 m2 surface area made of CPAC monier roof tiles on the upper part
and gypsum board on the lower part. The space between CPAC
monier and gypsum board was fixed at 14 cm.
Ventilation system of modified roof solar collector (modified
RSC) consists of 9 tubes of 0.15m diameter and installed in the
lower part of RSC. Experimental result showed that the temperature
of the room, and attic temperature. The average temperature
reduction of room of house used modified RSC is about 2oC. and the
percentage of room temperature reduction varied between 0 to 10%.
Therefore, modified RSC is an interesting option in the sense that it
promotes solar energy and conserve energy.
Abstract: In the Top Right Access point Minimum Length Corridor (TRA-MLC) problem [1], a rectangular boundary partitioned into rectilinear polygons is given and the problem is to find a corridor of least total length and it must include the top right corner of the outer rectangular boundary. A corridor is a tree containing a set of line segments lying along the outer rectangular boundary and/or on the boundary of the rectilinear polygons. The corridor must contain at least one point from the boundaries of the outer rectangle and also the rectilinear polygons. Gutierrez and Gonzalez [1] proved that the MLC problem, along with some of its restricted versions and variants, are NP-complete. In this paper, we give a shorter proof of NP-Completeness of TRA-MLC by findig the reduction in the following way.
Abstract: L-system is a tool commonly used for modeling and simulating the growth of fractal plants. The aim of this paper is to join some problems of the computational geometry with the fractal geometry by using the L-system technique to generate fractal plant in 3D. L-system constructs the fractal structure by applying rewriting rules sequentially and this technique depends on recursion process with large number of iterations to get different shapes of 3D fractal plants. Instead, it was reiterated a specific number of iterations up to three iterations. The vertices generated from the last stage of the Lsystem rewriting process are used as input to the triangulation algorithm to construct the triangulation shape of these vertices. The resulting shapes can be used as covers for the architectural objects and in different computer graphics fields. The paper presents a gallery of triangulation forms which application in architecture creates an alternative for domes and other traditional types of roofs.
Abstract: In this paper, we propose ablock-wise watermarking scheme for color image authentication to resist malicious tampering of digital media. The thresholding technique is incorporated into the scheme such that the tampered region of the color image can be recovered with high quality while the proofing result is obtained. The watermark for each block consists of its dual authentication data and the corresponding feature information. The feature information for recovery iscomputed bythe thresholding technique. In the proofing process, we propose a dual-option parity check method to proof the validity of image blocks. In the recovery process, the feature information of each block embedded into the color image is rebuilt for high quality recovery. The simulation results show that the proposed watermarking scheme can effectively proof the tempered region with high detection rate and can recover the tempered region with high quality.
Abstract: In this article, a formal specification and verification of the Rabin public-key scheme in a formal proof system is presented. The idea is to use the two views of cryptographic verification: the computational approach relying on the vocabulary of probability theory and complexity theory and the formal approach based on ideas and techniques from logic and programming languages. A major objective of this article is the presentation of the first computer-proved implementation of the Rabin public-key scheme in Isabelle/HOL. Moreover, we explicate a (computer-proven) formalization of correctness as well as a computer verification of security properties using a straight-forward computation model in Isabelle/HOL. The analysis uses a given database to prove formal properties of our implemented functions with computer support. The main task in designing a practical formalization of correctness as well as efficient computer proofs of security properties is to cope with the complexity of cryptographic proving. We reduce this complexity by exploring a light-weight formalization that enables both appropriate formal definitions as well as efficient formal proofs. Consequently, we get reliable proofs with a minimal error rate augmenting the used database, what provides a formal basis for more computer proof constructions in this area.
Abstract: A transient heat transfer mathematical model for the
prediction of temperature distribution in the car body during primer
baking has been developed by considering the thermal radiation and
convection in the furnace chamber and transient heat conduction
governing equations in the car framework. The car cockpit is
considered like a structure with six flat plates, four vertical plates
representing the car doors and the rear and front panels. The other
two flat plates are the car roof and floor. The transient heat
conduction in each flat plate is modeled by the lumped capacitance
method. Comparison with the experimental data shows that the heat
transfer model works well for the prediction of thermal behavior of
the car body in the curing furnace, with deviations below 5%.
Abstract: The group mutual exclusion (GME) problem is an
interesting generalization of the mutual exclusion problem. Several
solutions of the GME problem have been proposed for message
passing distributed systems. However, none of these solutions is
suitable for real time distributed systems. In this paper, we propose a
token-based distributed algorithms for the GME problem in soft real
time distributed systems. The algorithm uses the concepts of priority
queue, dynamic request set and the process state. The algorithm uses
first come first serve approach in selecting the next session type
between the same priority levels and satisfies the concurrent
occupancy property. The algorithm allows all n processors to be
inside their CS provided they request for the same session. The
performance analysis and correctness proof of the algorithm has also
been included in the paper.