an analysis for understanding software security requirement methodologies

IEEE Reliabil Soc, Shanghai Jiao Tong Univ

a requirement traceability refinement method based on relevance feedback

Knowledge Systems Institute Graduate School

Method for calculating ecological water storage and ecological water requirement of marsh

As one of the most typical wetlands, marsh plays an important role in hydrological and economic aspects, especially in keeping biological diversity. In this study, the definition and connotation of the ecological water storage of marsh is discussed for the first time, and its distinction and relationship with ecological water requirement are also analyzed. Furthermore, the gist and method of calculating ecological water storage and ecological water requirement have been provided, and Momoge wetland has been given as an example of calculation of the two variables. Ecological water use of marsh can be ascertained according to ecological water storage and ecological water requirement. For reasonably spatial and temporal variation of water storage and rational water resources planning, the suitable quantity of water supply to marsh can be calculated according to the hydrological conditions, ecological demand and actual water resources.

Boundary knot method for 2D and 3D Helmholtz and convection-diffusion problems under complicated geometry

The boundary knot method (BKM) of very recent origin is an inherently meshless, integration-free, boundary-type, radial basis function collocation technique for the numerical discretization of general partial differential equation systems. Unlike the method of fundamental solutions, the use of non-singular general solution in the BKM avoids the unnecessary requirement of constructing a controversial artificial boundary outside the physical domain. The purpose of this paper is to extend the BKM to solve 2D Helmholtz and convection-diffusion problems under rather complicated irregular geometry. The method is also first applied to 3D problems. Numerical experiments validate that the BKM can produce highly accurate solutions using a relatively small number of knots. For inhomogeneous cases, some inner knots are found necessary to guarantee accuracy and stability. The stability and convergence of the BKM are numerically illustrated and the completeness issue is also discussed.

Electromechanical Model of RF MEMS Switches

With the recent rapid growth of Radio Frequency Micro-Electro-Mechanical Systems (RF MEMS) switches, there has developed an emergent requirement for more accurate theoretical models to predict their electromechanical behaviors. Many parameters exist in the analysis of the behavior of the switch, and it is inconvenient for further study. In this paper, an improved model is introduced, considering simultaneously axial stress, residual stress, and fringing-field effect of the fixed-fixed bridge structure. To avoid any unnecessary repetitive model tests and numerical simulation for RF MEMS switches, some dimensionless numbers are derived by making governing equation dimensionless. The electromechanical behavior of the fixed-fixed bridge structure of RF MEMS switches is totally determined by these dimensionless numbers.

Large Eddy Simulation of Complex Turbulent Flows: Physical Aspects and Research Trends

In the current paper, we have primarily addressed one powerful simulation tool developed during the last decades-Large Eddy Simulation (LES), which is most suitable for unsteady three-dimensional complex turbulent flows in industry and natural environment. The main point in LES is that the large-scale motion is resolved while the small-scale motion is modeled or, in geophysical terminology, parameterized. With a view to devising a subgrid-scale(SGS) model of high quality, we have highlighted analyzing physical aspects in scale interaction and-energy transfer such as dissipation, backscatter, local and non-local interaction, anisotropy and resolution requirement. They are the factors responsible for where the advantages and disadvantages in existing SGS models come from. A case study on LES of turbulence in vegetative canopy is presented to illustrate that LES model is more based on physical arguments. Then, varieties of challenging complex turbulent flows in both industry and geophysical fields in the near future-are presented. In conclusion; we may say with confidence that new century shall see the flourish in the research of turbulence with the aid of LES combined with other approaches.

Preliminary Investigations on Low-Pressure Laminar Plasma Spray Processing

The usual plasma spraying methods often involve entrainment of the surrounding air into the turbulent plasma core and result in coated materials having relatively high porosity and low adhesive strength. Therefore, exploration of new plasma spraying methods for fabricating high quality coatings to meet the requirement of special applications will be quite important. In this study, an alternative plasma spraying method, i.e. the low-pressure laminar plasma spraying process, is investigated and used in an attempt for spraying thermal barrier coatings (TBCs). Investigations on the characteristics of the laminar plasma jets, feeding methods for the ceramic powder and the formation process of the individual quenched splats have been carried out. The properties of the TBCs sprayed by laminar plasma jet process, such as the adhesive strength at the interface of the ceramic coating/bond coat, the surface roughness and microstructure, are examined by tensile tests and scanning electron microscope (SEM) observations.

Kinetic measurements of cell surface E-selectin/carbohydrate ligand interactions

Selectin/ligand interactions initiate the multistep adhesion and signaling cascades in the recruitment of leukocytes from circulation to inflamed tissues and may also play a role in tumor metastasis. Kinetic properties of these interactions are essential determinants governing blood-borne cells' tethering to and rolling on the vessel wall. Extending our recently developed micropipette method, we have measured the kinetic rates of E-selectin/ligand interactions. Red cells coated with an E-selectin construct were allowed to bind HL-60 or Colo-205 cells bearing carbohydrate ligands. Specific adhesions were observed to occur at isolated points, the frequency of which followed a Poisson distribution. These point attachments were formed at the same rate with both the HL-60 and Colo-205 cells (0.14 +/- 0.04 and 0.13 +/- 0.03 mum(2) s(-1) per unit density of E-selectin, respectively) but dissociated from the former at a rate twice as fast as did from the latter (0.92 +/- 0.23 and 0.44 +/- 0.10 s(-1), respectively). The reverse rates agree well with those measured by the flow chamber. The forward rates are orders of magnitude higher than those of Fc gamma receptors interacting with IgG measured under similar conditions, consistent with the rapid kinetics requirement for the function of E-selectin/ligand binding, which is to capture leukocytes on endothelial surfaces from flow.

A Novel Inverse Method For Determining The Refractive Indices Of Medium And Dispersed Particles Simultaneously By Turbidity Measurement

The refractive indices of particles and dispersion medium are important parameters in many colloidal experiments using optical techniques, such as turbidity and light scattering measurements. These data are in general wavelength-dependent and may not be available at some wavelengths fitting to the experimental requirement. in this Study we present a novel approach to inversely determine the refractive indices of particles and dispersion medium by examining the consistency of measured extinction cross sections of particles with their theoretical values using a series of trial values of the refractive indices. The colloidal suspension of polystyrene particles dispersed in water was used as an example to demonstrate how this approach works and the data obtained via such a method are compared with those reported in literature, showing a good agreement between both. Furthermore, the factors that affect the accuracy of measurements are discussed. We also present some data of the refractive indices of polystyrene over a range of wavelengths smaller than 400 nm that have been not reported in the available literature. (C) 2008 Elsevier Inc. All rights reserved.

表面等离子体激元共振与生物分子相互作用分析

对表面等离子体激元共振(surface plasmon resonance, SPR)的原理和在生物学研究方面的应用进行了综述。这种技术可以直接原位、实时地跟踪生物学实验研究系统, 而不需要附加参数如进行标记等手段, 具有高敏感性, 也可以连续监测吸附或解吸附过程。目前有关的应用涉及到生物学结合分析、动力学及亲和力测定、免疫识别研究、结构与活性研究和核酸研究等多个领域。

Adiabatic shear localization: occurrence, theories, and applications

Numerical investigation on a transition prediction model

A new transition prediction model is introduced, which couples the intermittency effect into the turbulence transport equations and takes the characteristics of fluid transition into consideration to mimic the exact process of transition. Test cases include a two-dimensional incompressible plate and a two-dimensional NACA0012 airfoil. Performance of this transition model for incompressible flows is studied, with numerical results consistent to experimental data. The requirement of grid resolution for this transition model is also studied.

Phase variations and phase shift in a TE011 mode microwave cavity used for in a miniature Rb fountain frequency standard

It is the first time in China that the phase variations and phase shift of microwave cavity in a miniature Rb fountain frequency standard are studied, considering the effect of imperfect metallic walls. Wall losses in the microwave cavity lead to small traveling wave components that deliver power from the cavity feed to the walls of cavity. The small traveling wave components produce a microradian distribution of phase throughout the cavity ity, and therefore distributed cavity phase shifts need to be considered. The microwave cavity is a TE011 circular cylinder copper cavity, with round cut-hole of end plates (14mm in diameter) for access for the atomic flux and two small apertures in the center of the side wall for coupling in microwave power. After attenuation alpha is calculated, field variations in cavity are solved. The field variations of the cavity are given. At the same time, the influences of loaded quality factor QL and diameter/height (2a/d) of the microwave cavity on the phase variations and phase shift are considered. According to the phase variation and phase shift of microwave cavity we select the parameters of cavity, diameter 2a = 69.2mm, height d = 34.6mm, QL = 5000, which will result in an uncertainty delta(Delta f / f0 ) < 4.7 x 10(-17) and meets the requirement for the miniature Rb fountain frequency standard with accuracy 10(-15).

Small-dynamic-angle measurement using tangent relationship and phase-modulating technique

A method using two prisms for measurement of small dynamic angles is proposed in which the measurement is based on a simple tangent equation and a phase-modulating interferometer with a laser diode to measure dynamic optical path differences with higher accuracy. Owing to the simple tangent equation, the symmetry requirement on the two prisms in the optical configuration is eliminated, and easy measurement of the separations between two parallel beams with a position-sensitive detector is achieved. Small-dynamic-angle measurements are experimentally demonstrated with high accuracy. (C) 2007 Society of Photo-Optical Instrumentation Engineers.

Cascaded Fresnel digital hologram and its application to watermarking

A cascaded Fresnel digital hologram (CFDH) is proposed, together with its mathematical derivation. Its application to watermarking has been demonstrated by a simulation procedure, in which the watermark image to be hidden is encoded into the phase of the host image. The watermark image can be deciphered by the CFDH setup, the reconstructed image shows good quality and the error is almost close to zero. Compared with previous technique, this is a lensless architecture which minimizes the hardware requirement, and it is used for the encryption of digital image.