Analytical models for capacity estimation of IEEE 802.11 WLANs using DCF for internet applications

We provide analytical models for capacity evaluation of an infrastructure IEEE 802.11 based network carrying TCP controlled file downloads or full-duplex packet telephone calls. In each case the analytical models utilize the attempt probabilities from a well known fixed-point based saturation analysis. For TCP controlled file downloads, following Bruno et al. (In Networking '04, LNCS 2042, pp. 626-637), we model the number of wireless stations (STAs) with ACKs as a Markov renewal process embedded at packet success instants. In our work, analysis of the evolution between the embedded instants is done by using saturation analysis to provide state dependent attempt probabilities. We show that in spite of its simplicity, our model works well, by comparing various simulated quantities, such as collision probability, with values predicted from our model. Next we consider N constant bit rate VoIP calls terminating at N STAs. We model the number of STAs that have an up-link voice packet as a Markov renewal process embedded at so called channel slot boundaries. Analysis of the evolution over a channel slot is done using saturation analysis as before. We find that again the AP is the bottleneck, and the system can support (in the sense of a bound on the probability of delay exceeding a given value) a number of calls less than that at which the arrival rate into the AP exceeds the average service rate applied to the AP. Finally, we extend the analytical model for VoIP calls to determine the call capacity of an 802.11b WLAN in a situation where VoIP calls originate from two different types of coders. We consider N-1 calls originating from Type 1 codecs and N-2 calls originating from Type 2 codecs. For G711 and G729 voice coders, we show that the analytical model again provides accurate results in comparison with simulations.

Real Theta Characteristics And Automorphisms Of A Real Curve

Let X be a geometrically irreductble smooth projective cruve defined over R. of genus at least 2. that admits a nontrivial automorphism, sigma. Assume that X does not have any real points. Let tau be the antiholomorphic involution of the complexification lambda(C) of X. We show that if the action of sigma on the set S(X) of all real theta characteristics of X is trivial. then the order of sigma is even, say 2k and the automorphism tau o (sigma) over cap (lambda) of X-C has a fixed point, where (sigma) over cap is the automorphism of X x C-R defined by sigma We then show that there exists X with a real point and admitting a nontrivial automorphism sigma, such that the action of sigma on S(X) is trivial, while X/ not equal P-R(1) We also give an example of X with no real points and admitting a nontrivial automorphisim sigma such that the automorphism tau o (sigma) over cap (lambda) has a fixed point, the action of sigma on S(X) is trivial, and X/ not equal P-R(1)

Existence and approximations of solutions to some fractional order functional integral equations

In this paper we shall study a fractional order functional integral equation. In the first part of the paper, we proved the existence and uniqueness of mile and global solutions in a Banach space. In the second part of the paper, we used the analytic semigroups theory oflinear operators and the fixed point method to establish the existence, uniqueness and convergence of approximate solutions of the given problem in a separable Hilbert space. We also proved the existence and convergence of Faedo-Galerkin approximate solution to the given problem. Finally, we give an example.

Pelon ja toivon välissä : Pätkätyöläisen urakerronta

This study analyzes the forming of the occupational identity of the well-educated fixed-term employees. Fixed-term employment contracts amongst the well-educated labour force are exceptionally common in Finland as compared to other European countries. Two groups of modern fixed-term employees are distinguished. The first comprises well-educated women employed in the public sector whose fixed-term employment often consists of successive periods as temporary substitutes. The other group comprises well-educated, upper white-collar men aged over 40, whose fixed-term employment careers often consist of jobs of project nature or posts that are filled for a fixed period only. Method of the study For the empirical data I interviewed 35 persons (26 women and 9 men) in 33 interviews, one of which was conducted by e-mail and one was a group interview. All the interviews were electronically recorded and coded. All the interviewees have two things in common: fixed-term employment and formal high education. Thirteen (13) of them are researchers, four nurses, four midwives, four journalists, and ten project experts. I used the snowball method to get in touch the interviewees. The first interviewees were those who were recommended by the trade unions and by my personal acquaintances. These interviewees, in turn, recommended other potential interviewees. In addition, announcements on the internet pages of the trade unions were used to reach other interviewees. In analysing process I read the research material several times to find the turning points in the narrative the interviewees told. I also searched for the most meaningful stories told and the meaning the interviewees gave to these stories and to the whole narrative. In addition to that I paid attention to co-production of the narrative with the interviewees and analyzed the narrative as performance to be able to search for the preferred identities the interviewees perform. (Riesman 2001, 698-701). I do not pay much attention to the question of truth of a narrative in the sense of its correspondence with facts; rather I think a working life narrative has two tasks: On the one hand one has to tell the facts and on the other hand, he/she has to describe the meaning of these facts to herself/himself. To emphasize the double nature of the narrative about one’s working life I analyzed the empirical data both by categorizing it according to the cultural models of storytelling (heroic story, comedy, irony and tragedy) and by studying the themes most of the interviewees talked about. Ethics of the study I chose to use narrative within qualitative interviews on the grounds that in my opinion is more ethical and more empowering than the more traditional structured interview methods. During the research process I carefully followed the ethical rules of a qualitative research. The purpose of the interviews and the research was told to the interviewees by giving them a written description of the study. Oral permission to use the interview in this research was obtained from the interviewees. The names and places, which are mentioned in the study, are changed to conceal the actual identity of the interviewees. I shared the analysis with the interviewees by sending each of them the first analysis of their personal interview. This way I asked them to make sure that the identity was hidden well enough and hoped to give interviewees a chance to look at their narratives, to instigate new actions and sustain the present one (Smith 2001, 721). Also I hoped to enjoy a new possibility of joint authorship. Main results As a result of the study I introduce six models of telling a story. The four typical western cultural models that guide the telling are: heroic story, comedy, tragedy and satirical story (Hänninen 1999). In addition to these models I found two ways of telling a career filled with fixed-term employments that differ significantly from traditional career story telling. However, the story models in which the interviewees pour their experience locates the fixed term employers work career in an imagined life trajectory and reveals the meaning they give to it. I analyze the many sided heroic story that Liisa tells as an example of the strength of the fear of failing or losing the job the fixed term employee feels. By this structure it is also possible to show that success is felt to be entirely a matter of chance. Tragedy, the failure in one’s trial to get something, is a model I introduce with the help of Vilppu’s story. This narrative gets its meaning both from the sorrow of the failure in the past and the rise of something new the teller has found. Aino tells her story as a comedy. By introducing her narrative, I suggest that the purpose of the comedy, a stronger social consensus, gets deeper and darker shade by fixed-term employment: one who works as a fixed term employee has to take his/her place in his/her work community by him/herself without the support the community gives to those in permanent position. By studying the satiric model Rauno uses, I argue that using irony both turns the power structures to a carnival and builds free space to the teller of the story and to the listener. Irony also helps in building a consensus, mutual understanding, between the teller and the listener and it shows the distance the teller tells to exist between him and others. Irony, however, demands some kind of success in one’s occupational career but also at least a minor disappointment in the progress of it. Helmi tells her story merely as a detective story. By introducing Helmi’s narrative, I argue that this story model strengthens the trust in fairness of the society the teller and the listener share. The analysis also emphasizes the central position of identity work, which is caused by fixed-term employment. Most of the interviewees talked about getting along in working life. I introduced Sari’s narrative as an example of this. In both of these latter narratives one’s personal character and habits are lifted as permanent parts of the actual professional expertise, which in turn varies according to different situations. By introducing these models, I reveal that the fixed-term employees have different strategies to cope with their job situations and these strategies vary according to their personal motives and situations and the actual purpose of the interview. However, I argue that they feel the space between their hopes and fears narrow and unsecure. In the research report I also introduce pieces of the stories – themes – that the interviewees use to build these survival strategies. They use their personal curriculum vitae or portfolio, their position in work community and their work morals to build their professional identity. Professional identity is flexible and varies in time and place, but even then it offers a tool to fix one’s identity work into something. It offers a viewpoint to society and a tool to measure one’s position in surrounding social nets. As one result of the study I analyze the position the fixed-term employees share on the edge of their job communities. I summarize the hopes and fears the interviewees have concerning employers, trade unions, educational institutions and the whole society. In their opinion, the solidarity between people has been weakened by the short-sighted power of the economy. The impact the fixed-term employment has on one’s professional identity and social capital is a many-sided and versatile process. Fixed-term employment both strengthens and weakens the professional identity, social capital and the building of trust. Fixed-term employment also affects one’s day-to-day life by excluding her/him from the norm and by one’s difficulty in making long-term plans (Jokinen 2005). Regardless of the nature of the job contract, the workers themselves are experts in making the best of their sometimes less than satisfying work life and they also build their professional identity by using creatively their education, work experiences and interpersonal relations. However, a long career of short fixed-term employments may seriously change the perception of employee about his/her role. He/she may start concentrating only in coping in his/her unsatisfactory situation and leaves the active improvement of the lousy working conditions to other people. Keywords: narrative, fixed-tem employment, occupational identity, work, story model, social capital, career  

Approximation of solutions to fractional integral equation

In this paper we shall study a fractional integral equation in an arbitrary Banach space X. We used the analytic semigroups theory of linear operators and the fixed point method to establish the existence and uniqueness of solutions of the given problem. We also prove the existence of global solution. The existence and convergence of the Faedo–Galerkin solution to the given problem is also proved in a separable Hilbert space with some additional assumptions on the operator A. Finally we give an example to illustrate the applications of the abstract results.

Stochastic models of IEEE 802.11e wireless net works with multimedia applications

We provide a survey of some of our recent results ([9], [13], [4], [6], [7]) on the analytical performance modeling of IEEE 802.11 wireless local area networks (WLANs). We first present extensions of the decoupling approach of Bianchi ([1]) to the saturation analysis of IEEE 802.11e networks with multiple traffic classes. We have found that even when analysing WLANs with unsaturated nodes the following state dependent service model works well: when a certain set of nodes is nonempty, their channel attempt behaviour is obtained from the corresponding fixed point analysis of the saturated system. We will present our experiences in using this approximation to model multimedia traffic over an IEEE 802.11e network using the enhanced DCF channel access (EDCA) mechanism. We have found that we can model TCP controlled file transfers, VoIP packet telephony, and streaming video in the IEEE802.11e setting by this simple approximation.

An analytical model for the capacity estimation of combined VoIP and TCP file transfers over EDCA in an IEEE 802.11e WLAN

In this paper we develop and numerically explore the modeling heuristic of using saturation attempt probabilities as state dependent attempt probabilities in an IEEE 802.11e infrastructure network carrying packet telephone calls and TCP controlled file downloads, using Enhanced Distributed Channel Access (EDCA). We build upon the fixed point analysis and performance insights in [1]. When there are a certain number of nodes of each class contending for the channel (i.e., have nonempty queues), then their attempt probabilities are taken to be those obtained from saturation analysis for that number of nodes. Then we model the system queue dynamics at the network nodes. With the proposed heuristic, the system evolution at channel slot boundaries becomes a Markov renewal process, and regenerative analysis yields the desired performance measures.The results obtained from this approach match well with ns2 simulations. We find that, with the default IEEE 802.11e EDCA parameters for AC 1 and AC 3, the voice call capacity decreases if even one file download is initiated by some station. Subsequently, reducing the voice calls increases the file download capacity almost linearly (by 1/3 Mbps per voice call for the 11 Mbps PHY).

Effect of primary system damping on the optimum design of an untuned viscous dynamic vibration absorber

Explicit criteria for the optimum design of an untuned viscous dynamic vibration absorber are developed for the case of a viscously damped single degree of freedom springmass system. It is shown that for the particular case of an undamped main system, the results reduce to the classical ones obtained by using the concept of a fixed point on the response curve.

Neural network modeling of associative memory: Beyond the Hopfield model

A number of neural network models, in which fixed-point and limit-cycle attractors of the underlying dynamics are used to store and associatively recall information, are described. In the first class of models, a hierarchical structure is used to store an exponentially large number of strongly correlated memories. The second class of models uses limit cycles to store and retrieve individual memories. A neurobiologically plausible network that generates low-amplitude periodic variations of activity, similar to the oscillations observed in electroencephalographic recordings, is also described. Results obtained from analytic and numerical studies of the properties of these networks are discussed.

{C}^0$ penalty methods for the fully nonlinear Monge-Ampère equation

In this paper, we develop and analyze C(0) penalty methods for the fully nonlinear Monge-Ampere equation det(D(2)u) = f in two dimensions. The key idea in designing our methods is to build discretizations such that the resulting discrete linearizations are symmetric, stable, and consistent with the continuous linearization. We are then able to show the well-posedness of the penalty method as well as quasi-optimal error estimates using the Banach fixed-point theorem as our main tool. Numerical experiments are presented which support the theoretical results.

Adaptive Filtering Technique and DSP Based Implementation for High-Speed Distance Protection

The paper presents an adaptive Fourier filtering technique and a relaying scheme based on a combination of a digital band-pass filter along with a three-sample algorithm, for applications in high-speed numerical distance protection. To enhance the performance of above-mentioned technique, a high-speed fault detector has been used. MATLAB based simulation studies show that the adaptive Fourier filtering technique provides fast tripping for near faults and security for farther faults. The digital relaying scheme based on a combination of digital band-pass filter along with three-sample data window algorithm also provides accurate and high-speed detection of faults. The paper also proposes a high performance 16-bit fixed point DSP (Texas Instruments TMS320LF2407A) processor based hardware scheme suitable for implementation of the above techniques. To evaluate the performance of the proposed relaying scheme under steady state and transient conditions, PC based menu driven relay test procedures are developed using National Instruments LabVIEW software. The test signals are generated in real time using LabVIEW compatible analog output modules. The results obtained from the simulation studies as well as hardware implementations are also presented.

An analytical model for an IEEE~802.11 WLAN using DCF with two types of VoIP calls

In this paper we develop and numerically explore the modeling heuristic of using saturation attempt probabilities as state dependent attempt probabilities in an IEEE 802.11e infrastructure network carrying packet telephone calls and TCP controlled file downloads, using enhanced distributed channel access (EDCA). We build upon the fixed point analysis and performance insights. When there are a certain number of nodes of each class contending for the channel (i.e., have nonempty queues), then their attempt probabilities are taken to be those obtained from saturation analysis for that number of nodes. Then we model the system queue dynamics at the network nodes. With the proposed heuristic, the system evolution at channel slot boundaries becomes a Markov renewal process, and regenerative analysis yields the desired performance measures. The results obtained from this approach match well with ns2 simulations. We find that, with the default IEEE 802.11e EDCA parameters for AC 1 and AC 3, the voice call capacity decreases if even one file download is initiated by some station. Subsequently, reducing the voice calls increases the file download capacity almost linearly (by 1/3 Mbps per voice call for the 11 Mbps PHY)

In-situ measurements of concentration and temperature during transient solidification of aqueous solution of ammonium chloride using laser interferometry

The variation in temperature and concentration plays a crucial role in predicting the final microstructure during solidification of a binary alloy. Most of the experimental techniques used to measure concentration and temperature are intrusive in nature and affect the flow field. In this paper, the main focus is laid on in-situ, non-intrusive, transient measurement of concentration and temperature during the solidification of a binary mixture of aqueous ammonium chloride solution (a metal-analog system) in a top cooled cavity using laser based Mach-Zehnder Interferometric technique. It was found from the interferogram, that the angular deviation of fringe pattern and the total number of fringes exhibit significant sensitivity to refractive index and hence are functions of the local temperature and concentration of the NH4Cl solution inside the cavity. Using the fringe characteristics, calibration curves were established for the range of temperature and concentration levels expected during the solidification process. In the actual solidification experiment, two hypoeutectic solutions (5% and 15% NH4Cl) were chosen. The calibration curves were used to determine the temperature and concentration of the solution inside the cavity during solidification of 5% and 15% NH4Cl solution at different instants of time. The measurement was carried out at a fixed point in the cavity, and the concentration variation with time was recorded as the solid-liquid interface approached the measurement point. The measurement exhibited distinct zones of concentration distribution caused by solute rejection and Rayleigh Benard convection. Further studies involving flow visualization with laser scattering confirmed the Rayleigh Benard convection. Computational modeling was also performed, which corroborated the experimental findings. (C) 2011 Elsevier Ltd. All rights reserved.

Stability of developing film flow down an inclined surface

Film flows on inclined surfaces are often assumed to be of constant thickness, which ensures that the velocity profile is half-Poiseuille. It is shown here that by shallow water theory, only flows in a portion of Reynolds number-Froude number (Re-Fr) plane can asymptotically attain constant film thickness. In another portion on the plane, the constant thickness solution appears as an unstable fixed point, while in other regions the film thickness seems to asymptote to a positive slope. Our simulations of the Navier-Stokes equations confirm the predictions of shallow water theory at higher Froude numbers, but disagree with them at lower Froude numbers. We show that different regimes of film flow show completely different stability behaviour from that predicted earlier. Supercritical decelerating flows are shown to be always unstable, whereas accelerating flows become unstable below a certain Reynolds number for a given Froude number. Subcritical flows on the other hand are shown to be unstable above a certain Reynolds number. In some range of parameters, two solutions for the base flowexist, and the attached profile is found to be more stable. All flows except those with separation become more stable as they proceed downstream. (C) 2012 American Institute of Physics. http://dx.doi.org/10.1063/1.4758299]

Design and Analysis of an Acknowledgment-Aware Asynchronous MPR MAC Protocol for Distributed WLANs

Multi-packet reception (MPR) promises significant throughput gains in wireless local area networks (WLANs) by allowing nodes to transmit even in the presence of ongoing transmissions in the medium. However, the medium access control (MAC) layer must now be redesigned to facilitate rather than discourage - these overlapping transmissions. We investigate asynchronous MPR MAC protocols, which successfully accomplish this by controlling the node behavior based on the number of ongoing transmissions in the channel. The protocols use the backoff timer mechanism of the distributed coordination function, which makes them practically appealing. We first highlight a unique problem of acknowledgment delays, which arises in asynchronous MPR, and investigate a solution that modifies the medium access rules to reduce these delays and increase system throughput in the single receiver scenario. We develop a general renewal-theoretic fixed-point analysis that leads to expressions for the saturation throughput, packet dropping probability, and average head-of-line packet delay. We also model and analyze the practical scenario in which nodes may incorrectly estimate the number of ongoing transmissions.