Hydrodynamic characteristics of a FCC regenerator

The hydrodynamic and gas mixing characteristics have been determined in a FCC regenerator (0.48 m I.D.x3.4 m high) with FCC particles. Solids holdup in the dense bed decreases with increasing gas velocity, but it increases in the freeboard region. The bubble/void fraction increases with an increase along the bed height at a given gas velocity and increases with increasing gas velocity at a constant bed height. Backmixed tracer gas at the wall region is higher than that at the center region of the bed. The gas backmixing coefficient decreases with increasing gas velocity.     

A kinetic model for polystyrene (PS) pyrolysis reaction

A mathematical model for the pyrolysis reaction of polystyrene (PS) in a semi-batch reactor has been presented. The thermal degradation of PS was flexibly modeled by a combination of random and specific chain-end scissions. Numerical simulation was used to investigate the effect of operating conditions on the PS products spectrum, the results of which were validated by the experimental data. It was found that as the reaction temperature increased (decreased), the monomer fraction in the products became lower (higher) while the trimer higher (lower). No significant variation in the product composition was, however, observed while constant temperature was maintained. These results indicate the reaction temperature is an effective manipulated variable for the control of products composition of PS pyrolysis. The calculation of the optimum temperature trajectories through the optimization study can thus be of interest for achieving productivity enhancement in plastics pyrolysis processes. This paper is dedicated to Professor Dong Sup Doh on the occasion of his retirement from Korea University.     

Efficient verifiably encrypted signatures from lattices

Verifiably encrypted signature schemes can convince a verifier that a given ciphertext is an encryption of an ordinary signature on a given message and the ordinary signature can be recovered by the third party, called adjudicator. In 2010, Rückert et al. proposed a general construction for the verifiably encrypted signatures, and then, they also showed that there exist the lattice-based verifiably encrypted signature schemes. Their constructions are very insightful, but their schemes need an extra adjudication setup phase and Merkle trees, so they have large parameters and keys, that is, they are inefficient. Also, their schemes provide only the limited signature capacity because the signing keys should be reissued after generating \(k\) th verifiably encrypted signatures. To overcome the weaknesses of Rückert et al.’s scheme, we construct a verifiably encrypted signature scheme based on the hard lattice problems. Our scheme provides the full functionality, i.e., the signatures can be generated without any limitations and does not need any extra adjudication setup phases. Moreover, the size of the secret keys in our scheme is constant. Our scheme provides unforgeability, opacity, extractability, and abuse-freeness in the random oracle model.     

Temperature effect on the permeation through poly(2-hydroxyethyl methacrylate) membrane

The temperature dependence of permeability through highly syndiotactic poly(2-hydroxyethyl methacrylate) [P(HEMA)] membrane is reported for highly polar organic solutes such as ureas, methyl substituted ureas and amides, and for NaCl and Na₂SO₄. The membranes used were equilibrated in distilled water at each temperature before measurements. From the linear correlationship between the excess heat capacities, ?C_p^o(excess) in aqueous solution at infinite dilution and the permeability parameter PM^1/3, it is found that the water structure perturbing capability of the polar organic solutes is a controlling factor in the permeation mechanism at relatively low temperature, where P(HEMA) membrane has higher water content and more structured water. In addition, it is found that the poor separation for urea of cellulose acetate membrane in the reverse osmosis practice is due to the higher water structure-breaking capability of urea.     

Inertial effects on cylindrical particle migration in linear shear flow near a wall

Micro-/nanoparticle-based systems are regarded as one of the possible candidates due to the engineerability and multifunctionality to maximize the accumulation of the nano-/microparticle-based drug delivery system on the target. Recent advances in nanotechnology enable the fabrication of diverse particle shapes from simple spherical particles to more complex shapes. The particle dynamics in blood flow and endocytosis characteristics of non-spherical particles change as the non-sphericity effect increases. We used a numerical approach to investigate the particle dynamics in linear shear flow near a wall. We examined the dynamics of slender cylindrical particles with aspect ratio γ = 5.0 in terms of particle trajectory, velocity, and force variation for different Stokes numbers over time. We identified the rotating inertia of particle near a wall as the source of inertial migration toward the wall. The drift velocity of slender cylindrical particles is comparable to that of discoidal particles. We discuss the possibilities and limitations of using slender cylindrical particles as a drug delivery system.     

Formation stabilization and resizing based on the control of inter‐agent distances

We propose a control strategy that could steer the group of mobile agents in the plane to achieve a specified formation. The control law could be implemented in a fully decentralized manner so that each agent moves on their own local reference frame. Under the acyclic minimally persistent graph topology, each agent measures the relative displacements of neighboring agents and then adjusts the distances between them to achieve the desired formation. As well as achieving a fixed formation, we could resize the formation only by changing the leader edge, which connects the leader with the first‐follower in acyclic minimally persistent graph, without changing the structures of the control law. Copyright © 2014 John Wiley & Sons, Ltd.     

Observer‐based decentralized adaptive control for large‐scale pure‐feedback systems with unknown time‐delayed nonlinear interactions

This paper presents an approximation design for a decentralized adaptive output‐feedback control of large‐scale pure‐feedback nonlinear systems with unknown time‐varying delayed interconnections. The interaction terms are bounded by unknown nonlinear bounding functions including unmeasurable state variables of subsystems. These bounding functions together with the algebraic loop problem of virtual and actual control inputs in the pure‐feedback form make the output‐feedback controller design difficult and challenging. To overcome the design difficulties, the observer‐based dynamic surface memoryless local controller for each subsystem is designed using appropriate Lyapunov‐Krasovskii functionals, the function approximation technique based on neural networks, and the additional first‐order low‐pass filter for the actual control input. It is shown that all signals in the total controlled closed‐loop system are semiglobally uniformly bounded and control errors converge to an adjustable neighborhood of the origin. Finally, simulation examples are provided to illustrate the effectiveness of the proposed decentralized control scheme. Copyright © 2013 John Wiley & Sons, Ltd.     

Data generation and representation method for 3D video conferencing using programming by demonstration

Video conferencing provides an environment for multiple users linked on a network to have meetings. Since a large quantity of audio and video data are transferred to multiple users in real time, research into reducing the quantity of data to be transferred has been drawing attention. Such methods extract and transfer only the features of a user from video data and then reconstruct a video conference using virtual humans. The disadvantage of such an approach is that only the positions and features of hands and heads are extracted and reconstructed, whilst the other virtual body parts do not follow the user. In order to enable a virtual human to accurately mimic the entire body of the user in a 3D virtual conference, we examined what features should be extracted to express a user more clearly and how they can be reproduced by a virtual human. This 3D video conferencing estimates the user’s pose by comparing predefined images with a photographed user’s image and generates a virtual human that takes the estimated pose. However, this requires predefining a diverse set of images for pose estimation and, moreover, it is difficult to define behaviors that can express poses correctly. This paper proposes a framework to automatically generate the pose-images used to estimate a user’s pose and the behaviors required to present a user using a virtual human in a 3D video conference. The method for applying this framework to a 3D video conference on the basis of the automatically generated data is also described. In the experiment, the framework proposed in this paper was implemented in a mobile device. The generation process of poses and behaviors of virtual human was verified. Finally, by applying programming by demonstration, we developed a system that can automatically collect the various data necessary for a video conference directly without any prior knowledge of the video conference system.     

An object-based middleware supporting efficient interoperability on a smart home network

This paper proposes a novel object-based home network middleware for supporting the interoperability among home devices and smart grid devices. This middleware provides various types of abstract objects for flexible representation of heterogeneous home devices, which are classified based on their characteristics. It is also flexible enough to allow addition of new protocols and message conversion between different protocols through an abstraction layer, which are not supported by existing home network middlewares so that various protocols can be supported. As a result, it can be utilized to provide the interoperability among a variety of devices from sensors to typical home appliances as well as smart grid devices such as a home electric generator and a battery, which adopt different protocols. In order to demonstrate that home devices and smart grid devices are interoperable through the proposed middleware, we implement applications based on the middleware on a target platform consisting of embedded boards, sensors and laptops for emulation purposes of a home network. According to our emulation, this middleware can provide efficient interoperability among home devices and smart grid devices for future energy efficient home.