Probabilistic analysis of a static frame model

This paper describes our efforts during our participation in the Sandia Validation Workshop. The focus of the paper is the calibration of material models and simulation of random fields to characterize the variations of material properties across spatial field. Both parametric and non-parametric methods were used to represent uncertainty. Part of the challenge of this problem is the small amount of data that is available for the necessary probabilistic analyses in support of calibration, validation, accreditation and prediction activities. The analysis methods and corresponding results are described.     

Protoplast from <Emphasis Type="Italic">β</Emphasis>-carotene-producing fungus <Emphasis Type="Italic">Blakeslea trispora</Emphasis>: Preparation,regeneration and validation

The effects of key parameters on the preparation and regeneration of protoplast from the β-carotene-producing fungus Blakeslea trispora were discussed in this paper, including the combination of various enzymes, mycelial age, digesting time and temperature, pH value, osmotic stabilizers, pretreatment, culture medium and culture method. Under the condition of mixed enzymes in osmotic stabilizer (0.6 M NaCl) combined with 2% lysozyme, 3% cellulase and 3% snailase, the highest protoplast yield, as high as 7.48×106 protoplasts/mL, was obtained when mycelial age was 60 h at pH 5.0–6.0 with digesting for 14–16 h at 28 °C. After purification of the obtained protoplasts, they were regenerated in PDA regenerative medium using bilayer plate culture method. To validate the usability of the protoplasts, a novel plasmid with green fluorescent protein (GFP) was used in transformation for easy visual observation. The results showed that the protoplasts prepared by the optimized method were active and applicable in further gene manipulation experiments. This work was presented at 13 ^th YABEC symposium held at Seoul, Korea, October 20–22, 2007.     

数据的VV&C研究

数据的可信性是建模与仿真领域中一个重要的问题。该文首先介绍了数据校核、验证与证明 (VV&C)的基本概念。然后确定了数据VV&C评估的主要策略 :过程模型以及支持数据质量的元数据模板等几方面内容。接着对数据的VV&C和建模与仿真的VV&A的关系作了简要比较。最后举出了一个综合环境评估和检查工具的例子。     

Formal methods: The next generation of system design tools

Because of the growing demand for increasingly complex computer-based systems there is now an urgent need to provide tools to assist during the design of such systems. Formal specifications and formal methods provide such assistance but their widespread adoption has been hindered by the so-called ‘math fear’ and the perception that the tools are too difficult, too time consuming and too costly to use in a commercial environment. The aim of this article is to dispel the mystery surrounding the topic and to explain what formal methods are, how and why they are used, the benefits that accrue and why the technology should be accepted on a broader front. The application of formal methods to the design of computer-based systems will be discussed without resorting to jargon or mathematics. The discussion will concentrate more on the software content of systems but the arguments apply equally well to hardware. Some of the available tools will also be introduced.     

Validation of a Three-Dimensional Computational Fluid Dynamics Model of a Contact Tank

A three-dimensional (3D) computational fluid dynamics (CFD) model of a contact tank is presented in this paper. The model results are compared against 3D velocities and flow through curve (FTC) data, representing a tracer concentration profile, from a 1:8 scale physical model. The objective is to demonstrate that CFD models can simulate both the FTC and the 3D velocity field quite well. Simultaneous validation of velocities and FTC is important in ascertaining the predictive capabilities of CFD models, as physical model studies indicate that different baffle arrangements can lead to similar FTCs. Therefore, a good prediction of only FTC, as presented in previous 3D CFD model studies, does not necessarily imply a correct simulation of the flow field.     

Preliminary results of ENVISAT RA-2-derived water levels validation over the Amazon basin

Since the launch of the ENVISAT satellite in 2002, the Radar Altimetry Mission provides systematic observations of the Earth topography. Among the different goals of the ENVISAT Mission, one directly concerns land hydrology: the monitoring of the water levels of lakes, wetlands, and rivers. The ENVISAT Geophysical Data Records products contain, over different type of surfaces, altimeter ranges derived from four specialized algorithms or retrackers. However, none of the retrackers are intended to the processing of the radar echoes over continental waters. A validation study is necessary to assess the performances of the different ENVISAT-derived water levels to monitor inland waters. We have selected four test-zones over the Amazon basin to achieve this validation study. We compare first the performances of these retracking algorithms to deliver reliable water levels for land hydrology. Comparisons with in-situ gauge stations showed that Ice-1 algorithm, based on the Offset Centre of Gravity technique, provides the more accurate water stages. Second, we examine the potentiality to combine water levels derived from different sensors (Topex/Poseidon, ERS-1 and -2, GFO).     

An illustration of verification and validation in the modelling phase of KBS development

Reliability has become a key factor in KBS development. For this reason, it has been suggested that verification and validation (V&V) should become an integrated part of activities throughout the whole KBS development cycle. In this paper, it will be illustrated how the PROLOGA workbench integrates V&V aspects into its modelling environment, such that these techniques can be of assistance in the process of knowledge acquisition and representation. To this end, verification has to be performed incrementally and can no longer be delayed until after the system has been completed. It will be shown how this objective can be realised through an approach that uses the decision table formalism as a modelling instrument.     

OPEN XML文档数字签名的C#实现

针对电子文档的安全性问题,分析了文档的各种数字签名情况,设计了一种能够完成多种签名方法,且能全面验证签名的文档签名系统。系统采用C#编程,从而提高了电子文档的安全性。     

Boosting performance of transactional memory through O-GEHL predictors

Time-based Software Transactional Memory (STM) exploits a global clock to validate transactional data and guarantee consistency of transactions. While this method is simple to implement it results in contentions over the clock if transactions commit simultaneously. The alternative method is thread local clock (TLC) which exploits local variables to maintain consistency of transactions. However, TLC may increase false aborts and degrade performance of STMs. In this paper, we analyze global clock and TLC in the context of STM systems, highlighting both the implementation trade-offs and the performance implications of the two techniques. We demonstrate that neither global clock nor TLC is optimum across applications. To counter this challenge, we introduce two optimization techniques: The first optimization technique is Adaptive Clock (AC) which dynamically selects one of the two validation techniques based on probability of conflicts. AC is a speculative approach and relies on software O-GEHL predictors to speculate future conflicts. The second optimization technique is AC+ which reduces timing overhead of O-GEHL predictors by implementing the predictors in hardware. In addition, we exploit information theory to eliminate unnecessary computational resources and reduce storage requirements of the O-GEHL predictors. Our evaluation with TL2 and Stamp benchmark suite reveals that AC is effective and improves execution time of transactional applications up to 65%.     

Network views for personalized medicine

Clinical Proteomics has traveled a long way pinpointing potential biomarkers for a variety of diseases. However, the absence of clinical implementation of proteomics findings has led to a frank evaluation and reconsideration of applied practices in biomarker discovery, recruitment of technological tools for biomarker verification and generation of new guidelines for data reporting. Nevertheless, considering the need for vast clinical resources for biomarker validation, the frequent lack of clear definitions of contexts of use, in combination to the biomarker “high offer,” progress toward biomarker implementation will even more require the adoption of an extensive open-minded approach: disease-focused networks are needed to ensure rapid exchange of information, initiation of appropriate studies, parallel validation of multiple biomarkers and sharing of valuable clinical resources. This viewpoint article targets to reflect on these issues and advocates the added value of multidisciplinary networks in biomarker development using bladder cancer as a paradigm.