A gantry-based tri-modality system for bioluminescence tomography

A gantry-based tri-modality system that combines bioluminescence (BLT), diffuse optical (DOT), and x-ray computed tomography (XCT) into the same setting is presented here. The purpose of this system is to perform bioluminescence tomography using a multi-modality imaging approach. As parts of this hybrid system, XCT and DOT provide anatomical information and background optical property maps. This structural and functional a priori information is used to guide and restrain bioluminescence reconstruction algorithm and ultimately improve the BLT results. The performance of the combined system is evaluated using multi-modality phantoms. In particular, a cylindrical heterogeneous multi-modality phantom that contains regions with higher optical absorption and x-ray attenuation is constructed. We showed that a 1.5 mm diameter bioluminescence inclusion can be localized accurately with the functional a priori information while its source strength can be recovered more accurately using both structural and the functional a priori information.     

Coordinating metaheuristic agents with swarm intelligence

Coordination of multi agent systems remains as a problem since there is no prominent method suggests any universal solution. Metaheuristic agents are specific implementations of multi-agent systems, which imposes working together to solve optimisation problems using metaheuristic algorithms. An idea for coordinating metaheuristic agents borrowed from swarm intelligence is introduced in this paper. This swarm intelligence-based coordination framework has been implemented as swarms of simulated annealing agents collaborated with particle swarm optimization for multidimensional knapsack problem. A comparative performance analysis is also reported highlighting that the implementation has produced much better results than the previous works.     

A stochastic neighborhood search approach for airport gate assignment problem

An appropriate and efficient gate assignment is of great importance in airports since it plays a major role in the revenue obtained from the airport operations. In this study, we have focused mainly on maximum gate employment, or in other words minimize the total duration of un-gated flights. Here, we propose a method that combines the benefits of heuristic approaches with some stochastic approach instead of using a purely probabilistic approach to top-down solution of the problem. The heuristic approaches are usually used in order to provide a fast solution of the problem and later stochastic searches are used in order to ameliorate the previous results of the heuristic approach whenever possible. The proposed method generates an assignment order for the whole planes that corresponds to assignment priority. The ordering process is followed by the allocation step. Since, in practice, each airport has its own physical architecture, there have been arisen many constraints mainly concerning airplane types and parking lots in this step. Sequentially handling the plane ordering and allocation phases provides us great modularity in handling the constraints. The effectiveness of the proposed methodology has been tried to be illustrated firstly on fictively generated flight schedule data and secondly on the real world data obtained from a real world application developed for ?stanbul Atatürk Airport.     

Towards quality requirements via animated formal specifications

Assuring a high quality requirements specification document involves both an early validation process and an increased level of participation. An approach and its supporting environment which combines the benefits of a formal system specification and its subsequent execution via a rapid prototype is reported. The environment assists in the construction, clarification, validation and visualisation of a formal specification. An illustrative case study demonstrates the consequences of assertions about system properties at this early stage of software development. Our approach involves the pragmatic combination of technical benefits of formal systems engineering based techniques with the context‐sensitive notions of increased participation of both developer and user stakeholders to move us closer towards a quality requirements specification document.     

A numerical analysis of sheet metal formability for automotive stamping applications

A theoretical failure model is presented for the numerical prediction of the forming limit strains of automotive sheets. The model uses the Swift’s diffuse necking and Hill’s localized necking concepts in describing tearing-type sheet metal failures and a computational scheme is proposed in which the failure conditions are expressed in incremental forms. The Bauschinger effect is included properly in the deformation modeling using an additive backstress form of the nonlinear-kinematic hardening rule. The necking conditions and plasticity model are transformed into a set of algebraic equations that may be applied both for proportional and non-proportional strain-controlled loadings. An iterative approach is employed in the incremental solution of algebraic equations. The formability analyses are conducted using the proposed theoretical model and the forming limit strains of two new generation auto sheets (Trip600 1.4 mm, DP980 1.15 mm) are estimated. The numerically generated FLC are compared with the experimental data and the FLC calculated with the Keeler–Brazier equation. For both steels, the model produced conservative plain–strain intercept values, FLC₀, when compared with the predictions of Keeler–Brazier equation. Also the negative minor strain part of the experimental FLD’s is estimated with sufficient accuracy. For the positive minor strain side, however, the predictions are lower than both the experimental fit and the standard curve.     

Realization of reconfigurable filtering horn antennas using active frequency selective surfaces for GSM and LTE signal filtering

Herein, it is aimed to design an Active Frequency Selective Surface (AFSS) based high performance reconfigurable filtering antenna (Filtenna). The proposed AFSS unit element is consist of a single PIN diode with a simple microstrip patch design which performance characteristics are varies with the state of the diodes. The proposed unit elements have been used to form an array that is placed at the aperture of a double ridge horn antenna. With the variation in state of diodes, the antenna acts as a Filtenna module to filtering the incoming electromagnetic waves in frequency band of 1.8 to 2.8 GHz. From the experimental results, it is shown that the proposed Filtenna achieves a signal attenuation of 7.3 dBi at 2.1 GHz.     

低噪声APD偏置电路

１ＡＰＤ的特性雪崩光电检测器 (ＡＰＤ)和ＰＩＮ二极管通常被作为接收器用于光通信中。其中ＡＰＤ适合于高灵敏度和高带宽的光接收电路。但这种器件在工作时需要施加一个反向结压 ,这样 ,当接收到射线时产生的电子空穴对会被外加电场收集并转换为电流 ,其电流强度正比于射线强度。另外 ,工作时施加在器件上的反向偏置电压会引发雪崩效应 ,其雪崩增益可通过改变偏压来进行调节。这就有可能对光纤接收器的增益进行优化。然而 ,要得到满意的雪崩增益 ,就必须给ＡＰＤ提供一个比较高的反向偏压。很多ＡＰＤ需要４０Ｖ～６０Ｖ的偏压 ,有些器件…     

Preparation and characterization of conductive polypyrrole/kaolinite composites

Conductive polypyrrole (PPy)/kaolinite clay composites were prepared by in situ chemical polymerization of pyrrole in the presence of kaolinite using FeCl₃ as oxidant. The PPy content and conductivity of the composites reached 32.8% and 8.3×10^?2 S/cm at HCl concentrations of 1.5 M and 0.5 M, respectively. The microhardness of the composites containing different amounts of PPy was higher than that of the PPy and kaolinite components. The highest microhardness observed was 30.17 kg/mm² for the composite containing 9.6% PPy. The electrical resistance of the composites was monitored during heating–cooling cycles over the range 5–120 °C. The change in resistance with temperature was more repeatable for the composite than for PPy. The composites were characterized by Fourier-transform infrared spectroscopy (FTIR), X-ray diffraction (XRD), thermogravimetric analysis (TGA) and scanning electron microscopy (SEM). The humidity-sensing properties were also examined.     

A Planning Framework for Non-Prehensile Manipulation under Clutter and Uncertainty

Robotic manipulation systems suffer from two main problems in unstructured human environments: uncertainty and clutter. We introduce a planning framework addressing these two issues. The framework plans rearrangement of clutter using non-prehensile actions, such as pushing. Pushing actions are also used to manipulate object pose uncertainty. The framework uses an action library that is derived analytically from the mechanics of pushing and is provably conservative. The framework reduces the problem to one of combinatorial search, and demonstrates planning times on the order of seconds. With the extra functionality, our planner succeeds where traditional grasp planners fail, and works under high uncertainty by utilizing the funneling effect of pushing. We demonstrate our results with experiments in simulation and on HERB, a robotic platform developed at the Personal Robotics Lab at Carnegie Mellon University.     

A robust weakly compressible SPH method and its comparison with an incompressible SPH

This paper presents a comparative study for the weakly compressible (WCSPH) and incompressible (ISPH) smoothed particle hydrodynamics methods by providing numerical solutions for fluid flows over an airfoil and a square obstacle. Improved WCSPH and ISPH techniques are used to solve these two bluff body flow problems. It is shown that both approaches can handle complex geometries using the multiple boundary tangents (MBT) method, and eliminate particle clustering‐induced instabilities with the implementation of a particle fracture repair procedure as well as the corrected SPH discretization scheme. WCSPH and ISPH simulation results are compared and validated with those of a finite element method (FEM). The quantitative comparisons of WCSPH, ISPH and FEM results in terms of Strouhal number for the square obstacle test case, and the pressure envelope, surface traction forces, and velocity gradients on the airfoil boundaries as well as the lift and drag values for the airfoil geometry indicate that the WCSPH method with the suggested implementation produces numerical results as accurate and reliable as those of the ISPH and FEM methods. Copyright © 2011 John Wiley & Sons, Ltd.