Fitting Square Pegs into Round Holes

By nature, cryptographers tend to be extremely cautious and conservative. From their perspective, spending time getting people to use a new cryptographic algorithm is roughly on par with getting involved in a land war in Asia. In some cases, however, the difficulty involved in developing a new algorithm is worth the effort. This is the case with identity-based encryption (IBE), a new type of public-key algorithm     

The influence of the fabrication process on the buckling of thin-walled steel box sections

Steel box sections are usually fabricated from flat plates which are welded at the corners. The welding process can introduce residual stresses and geometric imperfections into the sections which can influence their strength. For some thin-walled sections, large periodic geometric imperfections have been observed in manufactured sections. Subsequent investigations have indicated that the imperfections are in fact buckling deformations i.e. the box section has buckled due to welding residual stresses prior to any application of external load. The welding procedure and the behaviour of the box sections under load has been modelled using a finite element analysis that accounts for both geometric and material non-linearities. Tests have been carried out on box sections with a range of width to thickness ratios for the plate elements. Modelling has been shown to give good correlation with the test results. The conditions for buckling to take place as a result of the welding process have been established. A design method has been proposed.     

Dynamical considerations of network properties

Elasticity is discussed as an aspect of viscoelasticity, which is described by the tube model. The effects of both crosslinks and entanglements contribute to this model and a discussion of how these effects can be quantified is given. At high enough concentration, entanglements ensure the existence of elastic effects even without crosslinks, and a theory is presented on how this dynamical phase change comes about.     

Bandwidth Adaptation Algorithms for Adaptive Multimedia Services in Mobile Cellular Networks

The fluctuation of available link bandwidth in mobilecellular networks motivates the study of adaptive multimediaservices, where the bandwidth of an ongoing multimedia call can bedynamically adjusted. We analyze the diverse objectives of theadaptive multimedia framework and propose two bandwidth adaptationalgorithms (BAAs) that can satisfy these objectives. The firstalgorithm, BAA-RA, takes into consideration revenue and``anti-adaptation' where anti-adaptation means that a user feelsuncomfortable whenever the bandwidth of the user's call ischanged. This algorithm achieves near-optimal total revenue withmuch less complexity compared to an optimal BAA. The secondalgorithm, BAA-RF, considers revenue and fairness, and aims at themaximum revenue generation while satisfying the fairnessconstraint defined herein. Comprehensive simulation experimentsshow that the difference of the total revenue of BAA-RA and thatof an optimal BAA is negligible. Also, numerical results revealthat there is a conflicting relationship between anti-adaptationand fairness.     

The onset of vortex instability in laminar forced convection flow through a horizontal porous channel

The onset of convective instability in a fluid-saturated porous layer between the two horizontal plates heated isothermally from below has been analyzed theoretically by using propagation theory. In the analysis the thermal dispersion coefficient is assumed to be proportional to the streamwise velocity. The results show that both inertia and thermal dispersion stabilize the system.     

On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems

The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by new developers to understand legacy systems. High-level structural information helps maintainers navigate through the numerous low-level components and relations present in the source code. Modularization tools can be used to produce subsystem decompositions from the source code but do not typically produce high-level architectural relations between the newly found subsystems. Controlling subsystem interactions is one important way in which the overall complexity of software maintenance can be reduced.We have developed a tool, called ARIS (Architecture Relation Inference System), that enables software engineers to define rules and relations for regulating subsystem interactions. These rules and relations are called Interconnection Styles and are definedusing a visual notation. The style definition is used by our tool to infer subsystem-level relations in designs being reverse engineered from source code.In this paper we describe our tool and its underlying techniques and algorithms. Using a case study, we describe how ARIS is used to reverse engineer high-level structural information from a real application.