Comparison of the identification performance of conventional FEM updating and integrated DIC

Full‐field identification methods are increasingly used to adequately identify constitutive parameters to describe the mechanical behavior of materials. This paper investigates the more recently introduced one‐step method of integrated digital image correlation (IDIC) with respect to the most commonly used two‐step method of finite element model updating (FEMU), which uses a subset‐based DIC algorithm. To make the comparison as objective as possible, both methods are implemented in the most equivalent manner and use the same FE model. Various virtual test cases are studied to assess the performance of both methods when subjected to different error sources: (1) systematic errors, (2) poor initial guesses for the constitutive parameters, (3) image noise, (4) constitutive model errors, and (5) experimental errors. Results show that, despite the mathematical similarity of both methods, IDIC produces less erroneous and more reliable results than FEMU, particularly for more challenging test cases exhibiting small displacements, complex kinematics, misalignment of the specimen, and image noise. Copyright © 2015 John Wiley & Sons, Ltd.     

The Effects of Initial Conditions on Photoacoustic Waveforms Generated by a Gaussian Heating Source Moving in One Dimension

Although the photoacoustic effect is almost universally generated by radiation whose intensity is varied in time either by amplitude modulation of a continuous optical source or through the use of pulsed irradiation, it is possible to produce sound by movement of a continuous source in space. Here, the characteristics of sound production by movement of a light source in one dimension are discussed by solution to the wave equation for pressure. Solutions to the wave equation for the velocity potential, from which the acoustic pressure can be determined, are found using the D’Alembert integral and by Fourier transformation of the wave equation. The characteristics of the waveform generated by a Gaussian heat source moving uniformly in space are found to depend on the initial conditions for movement of the source.     

Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)

Abstract

Real-time finite-state systems may be specified in linear logic by means of linear implications between conjunctions of fixed finite length. In this setting, where time is treated as a dense linear ordering, safety properties may be expressed as certain provability problems. These provability problems are shown to be in pspace. They are solvable, with some guidance, by finite proof search in concurrent logic programming environments based on linear logic and acting as sort of model-checkers. One advantage of our approach is that either it provides unsafe runs or it actually establishes safety.     

A test of the fail-safe N for self-help programs.

A meta-analysis of published studies on the clinical efficacy of selected self-help programs (F. Scogin et al; see record 1990-15222-001) indicated that such conditions were more effective than no-treatment controls. Calculation of a fail-safe N showed that 53 nonsignificant studies would have to exist to render the conclusions of the meta-analysis invalid. Results indicate that unpublished research is unlikely to threaten the validity of the original meta-analysis. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Hypercube sandwich approach to conferencing

This paper presents a novel cascaded conference network that provides distributed processing and signal transmission among members of disjoint sets of generic send/receive devices called conferees. It assumes an online request model in which idle groups of conferees may request the formation of a conference interconnection. Once a conference is established, all conferees remain connected until the entire conference is dissolved. The Hypercube Sandwich Network (HSN) consists of two components. A bidirectional permutation network is used for routing purposes to and from a hypercube of special processing elements for the purpose of conference formation. The HSN achieves strictly nonblocking performance for N conferees using O(Nlog N) processing elements, and this is shown to be tight to within a log ^1/4 N factor. Previous constructions required a quadratic number of processing elements for strictly nonblocking performance or could only provide wide-sense nonblocking conferencing. If the stronger requirement is made that the communication delay is logarithmic in the conference size, a simple algorithm is presented for wide-sense nonblocking conferencing in an HSN with O(N log N) processing elements.An earlier version of this paper was presented at the 1995 International Conference on Parallel Processing Techniques and Applications.     

Free-living inferential modeling of blood glucose level using only noninvasive inputs

The goal of this work is to present a causation modeling methodology with the ability to accurately infer blood glucose levels using a large set of highly correlated noninvasive input variables over an extended period of time. These models can provide insight to improve glucose monitoring, and glucose regulation through advanced model-based control technologies. The efficacy of this approach is demonstrated using real data from a type 2 diabetic (T2D) subject collected under free-living conditions over a period of 25 consecutive days. The model was identified and tested using eleven variables that included three food variables as well as several activity and stress variables. The model was trained using 20 days of data and validated using 5 days of data. This gave a fitted correlation coefficient of 0.70 and an average absolute error (AAE) (i.e., the average of the absolute values for the measured glucose concentration minus modeled glucose concentration) of 13.3 mg/dL for the validation data. This AAE result was significantly better than the subject’s personal glucose meter AAE of 15.3 mg/dL for replicated measurements.     

Nonlinear ceramics for tunable microwave devices

The research on materials and systems for tunable microwave devices has gained attraction within the last years. The radio frequency characterization and the component design of tunable microwave components based on dielectric ceramics especially barium-strontium-titanate (BST) are presented in this second part, whereas the basic material properties are discussed in detail in the first part. After a short introduction to the processing technology used for the fabrication of tunable components based on a BST thick film, the relations between microwave properties and material properties as well as the microstructure are presented in detail. The design process for tunable microwave components based on BST thick films is described. Especially the considerations related to micro- and macrostructure and their connection are highlighted. The paper closes with two different application examples: a reconfigurable array antenna for satellite communication and varactors for high power applications.     

PaaSword: A Holistic Data Privacy and Security by Design Framework for Cloud Services

Enterprises increasingly recognize the compelling economic and operational benefits from virtualizing and pooling IT resources in the cloud. Nevertheless, the significant and valuable transformation of organizations that adopt cloud computing is accompanied by a number of security threats that should be considered. In this paper, we outline significant security challenges presented when migrating to a cloud environment and propose PaaSword – a novel holistic framework that aspires to alleviate these challenges. Specifically, the proposed framework involves a context-aware security model, the necessary policies enforcement mechanism along with a physical distribution, encryption and query middleware.     

A new dynamic hydrogen reference electrode for applications in thin-film sensor systems

The realization and applicability of a new dynamic hydrogen reference electrode (DHRE) within an electrochemical microcell for sensor applications is reported. The electrodes are fabricated in thin-film technology and fixed within a flow-through device. An experimental setup for accurate electrochemical potential measurements is described. Smooth platinum, platinized platinum and pHEMA coated electrodes are investigated with regard to their initialization behavior, stability, reproducibility and interference with electrolytes. It is found that platinized platinum DHREs show excellent stability and reproducibility. For uncoated electrodes, the electrochemical potential is established within seconds. The potential is independent of the pH value within the range of pH 4–10. Interference with sulfate and phosphate is observed. Thus, the platinized platinum DHRE is well suited for bioanalytical sensor applications, where the pH value is buffered and the concentrations of the disturbing anions are constant or very low.     

Characterization of virus replication

New viruses spread faster than ever and current signature based detection do not protect against these unknown viruses. Behavior based detection is the currently preferred defense against unknown viruses. The drawback of behavior based detection is the ability only to detect specific classes of viruses or have successful detection under certain conditions plus false positives. This paper presents a characterization of virus replication which is the only virus characteristic guaranteed to be consistently present in all viruses. Two detection models based on virus replication are developed, one using operation sequence matching and the other using frequency measures. Regression analysis was generated for both models. A safe list is used to minimize false positives. In our testing using operation sequence matching, over 250 viruses were detected with 43 subsequences. There were minimal false negatives. The replication sequence of just one virus detected 130 viruses, 45% of all tested viruses. Our testing using frequency measures detected all test viruses with no false negatives. The paper shows that virus replication can be identified and used to detect known and unknown viruses.