TEABr directed synthesis of ZSM-12 and its NMR characterization

Synthesis of ZSM-12 using tetraethylammonium bromide (TEABr) as the template was investigated. Among the various parameters that affect the crystallization of ZSM-12, aluminum content of the gel, OH⁻/SiO₂ and TEA/SiO₂ ratios were the important determinants. Systematic variations of these parameters revealed that the TEABr-assisted synthesis had many similarities to the synthesis using TEAOH template reported earlier, with the exception that the OH⁻/SiO₂ ratios had to be maintained at lower values. Furthermore, the OH⁻/SiO₂ ratios favorable for ZSM-12 formation lie in a very narrow range. The source of alkalinity also affected the rate of crystallization and the composition of the product. The crystallization was found to be faster and better incorporation of aluminum in the zeolite framework was obtained when NaOH was used to provide alkalinity rather than KOH. Successful synthesis of highly crystalline ZSM-12 samples with Si/Al ratio around 30 was achieved using a minimal amount of relatively inexpensive TEABr (TEA/SiO₂=0.125).

Aluminum-27 NMR spectroscopy unambiguously revealed that all aluminum atoms are incorporated in the zeolite framework in tetrahedral coordination. The NMR line-widths of aluminum signals of the calcined samples were significantly larger than those with template incorporated samples. Spin-lattice relaxation times, conventional and rotating frame, as well as magic angle spinning (MAS) cross-polarization data with variable contact time support that there is a significant proton reservoir in the aluminum framework. The NMR data indicate that many distorted tetrahedral sites are formed upon removal of the template and some of these sites contain Al–OH moieties.     

Exploring the intra-frame energy conservation capabilities of the horizontal simple packing algorithm in IEEE 802.16e networks: an analytical approach

The power saving capabilities of the mobile devices in broadband wireless networks constitute a challenging research topic that has attracted the attention of researchers recently, while it needs to be addressed at multiple layers. This work provides a novel analysis of the intra-frame energy conservation potentials of the IEEE 802.16e network. Specifically, the power saving capabilities of the worldwide interoperability for microwave access downlink sub-frame are thoroughly studied, employing the well-known simple packing algorithm as the mapping technique of the data requests. The accurate mathematical model, cross-validated via simulation, reveals the significant ability to conserve energy in this intra-frame fashion under different scenarios. To the best of our knowledge, this is the first work providing intra-frame power-saving potentials of IEEE 802.16 networks. Additionally, this is the first study following an analytic approach.     

Enforcing Effective Rates for Packet-Level QoS Control in IP Networks: Theory and Validation Based on Real Traffic Data

This paper presents experimental results aiming at underpinning a traffic engineering framework for traffic control and resource management in IP-based networks, which has significant theoretical qualities. Initially, the paper reviews the major components of a packet level traffic control framework: (a) a general traffic shaping algorithm for effective rate enforcement (b) mechanisms for aggregating, splitting and policing streams shaped with this algorithm, and (c) a calculus for quantitative end-to-end QoS. Following the illustration of the theoretical concepts the paper focuses on aspects pertaining to the applicability of the framework. Specifically, we study the impact of the shaping delay and we provide insight into the issue of enforcing effective rates to traffic streams. These studies take into account results from simulating the shaping algorithm, which are based on analyzing, processing and simulating real traffic traces collected from an HTTP server. Moreover, traffic modeling conclusions related to the proposed shaping algorithm, are derived and presented.     

Multiresolution Motion Planning for Autonomous Agents via Wavelet-Based Cell Decompositions

We present a path- and motion-planning scheme that is "multiresolution" both in the sense of representing the environment with high accuracy only locally and in the sense of addressing the vehicle kinematic and dynamic constraints only locally. The proposed scheme uses rectangular multiresolution cell decompositions, efficiently generated using the wavelet transform. The wavelet transform is widely used in signal and image processing, with emerging applications in autonomous sensing and perception systems. The proposed motion planner enables the simultaneous use of the wavelet transform in both the perception and in the motion-planning layers of vehicle autonomy, thus potentially reducing online computations. We rigorously prove the completeness of the proposed path-planning scheme, and we provide numerical simulation results to illustrate its efficacy.     

E-commerce transactions in a virtual environment: virtual transactions

E-commerce is a fundamental method of doing business, such that for a firm to say it is trading at all in the modern market-place it must have some element of on-line presence. Coupled with this is the explosion of the “population” of Massively Multiplayer On-line Role Playing Games and other shared virtual environments. Many suggest this will lead to a further dimension of commerce: virtual commerce. We discuss here the issues, current roadblocks and present state of an e-commerce transaction carried out completely within a virtual environment; a virtual transaction. Although technically such transactions are in a sense trivial, they raise many other issues in complex ways thus making V-transactions a highly interesting cross-disciplinary issue. We also discuss the social, ethical and regulatory implications for the virtual communities in these environments of such v-transactions, how their implementation affects the nature and management of a virtual environment, and how they represent a fundamental merging of the real and virtual worlds for the purpose of commerce. We highlight the minimal set of features a v-transaction capable virtual environment requires and suggest a model of how in the medium term they could be carried out via a methodology we call click-through, and that the developers of such environments will need to take on the multi-modal behavior of their users, as well as elements of the economic and political sciences in order to fully realize the commercial potential of the v-transaction.     

Formal analysis for robust anti-SPIT protection using model checking

Anti-SPIT policies counter the SPam over Internet Telephony (SPIT) by distinguishing bots launching unsolicited bulks of VoIP calls from human beings. We propose an Anti-SPIT Policy Management mechanism (aSPM) that detects spam calls and prevents VoIP session establishment by the Session Initiation Protocol (SIP). The SPIN model checker is used to formally model and analyze the robustness of the aSPM mechanism in execution scenarios with parallel SIP sessions. In case of a possible design flaw, the model checker provides a trace of the caught unexpected behavior (counterexample), that can be used for the revision of the mechanism’s design. Our SPIN model is parameterized, based on measurements from experiments with VoIP users. Non-determinism plays a key role in representing all possible anti-SPIT policy decisions, in terms of the SIP messages that may be exchanged. The model checking results provide evidence for the timeliness of the parallel SIP sessions, the absence of deadlocks or livelocks, and the fairness for the VoIP service users. These findings ensure robust anti-SPIT protection, meaning that the aSPM mechanism operates as expected, despite the occurrence of random SPIT calls and communication error messages. To the best of our knowledge, this is the first analysis for exhaustively searching security policy flaws, due to complex interactions between anti-SPIT measures and the SIP protocol services.     

Robust detection of intermittent multiplicative sensor fault

In this paper, the detection problem of intermittent multiplicative sensor fault is investigated for stochastic uncertain systems. A robust optimal filter is designed according to the criterion of minimum estimation error covariance. Then, based on this, a residual generator is constructed, and the quantitative effect of the fault on it is discussed in detail. After that we design the evaluation function and detection threshold to achieve intermittent fault detection. Our proposed strategy has a recursive form and only includes simple arithmetic operations, thus it is suitable for real‐time online applications. Finally, a simulation example is given to demonstrate the effectiveness of the proposed strategy.     

Output feedback control of nonlinear systems subject to sensor data losses

In this work, we focus on output feedback control of nonlinear systems subject to sensor data losses. We initially construct an output feedback controller based on a combination of a Lyapunov-based controller with a high-gain observer. We then study the stability and robustness properties of the closed-loop system in the presence of sensor data losses for both the continuous and sampled-data systems. We state a set of sufficient conditions under which the closed-loop system is guaranteed to be practically stable. The theoretical results are demonstrated using a chemical process example.     

Dynamic modeling and control of supply chain systems: A review

Supply chains are complicated dynamical systems triggered by customer demands. Proper selection of equipment, machinery, buildings and transportation fleets is a key component for the success of such systems. However, efficiency of supply chains mostly depends on management decisions, which are often based on intuition and experience. Due to the increasing complexity of supply chain systems (which is the result of changes in customer preferences, the globalization of the economy and the stringy competition among companies), these decisions are often far from optimum. Another factor that causes difficulties in decision making is that different stages in supply chains are often supervised by different groups of people with different managing philosophies. From the early 1950s it became evident that a rigorous framework for analyzing the dynamics of supply chains and taking proper decisions could improve substantially the performance of the systems. Due to the resemblance of supply chains to engineering dynamical systems, control theory has provided a solid background for building such a framework. During the last half century many mathematical tools emerging from the control literature have been applied to the supply chain management problem. These tools vary from classical transfer function analysis to highly sophisticated control methodologies, such as model predictive control (MPC) and neuro-dynamic programming. The aim of this paper is to provide a review of this effort. The reader will find representative references of many alternative control philosophies and identify the advantages, weaknesses and complexities of each one. The bottom line of this review is that a joint co-operation between control experts and supply chain managers has the potential to introduce more realism to the dynamical models and develop improved supply chain management policies.     

Global stabilization of the Kuramoto–Sivashinsky equation via distributed output feedback control

This work addresses the problem of global exponential stabilization of the Kuramoto–Sivashinsky equation (KSE) subject to periodic boundary conditions via distributed static output feedback control. Under the assumption that the number of measurements is equal to the total number of unstable and critically stable eigenvalues of the KSE and a necessary and sufficient stability condition is satisfied, linear static output feedback controllers are designed that globally exponentially stabilize the zero solution of the KSE. The controllers are designed on the basis of finite-dimensional approximations of the KSE which are obtained through Galerkin's method. The theoretical results are confirmed by computer simulations of the closed-loop system.