A framework to integrate software behavior into dynamic probabilistic risk assessment

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.     

抗窄带干扰宽带中频数字接收机的设计与实现

讨论了存在强干扰条件下MSK中频数字接收机的频域窄带干扰抑制、伪码快速捕获、MSK相干解调等实现方法。具体实现中提出了基于功率估计的码捕获门限实时调整方案，解决了动态干扰条件下的快速码捕获问题。基于FPGA DSP硬件设计和软件可编程数字信号处理算法，接收机具有较强的适应性和稳定性。     

Time and cost securing in complex large-scale projects

Meeting time and cost objectives in complex projects involves specific problems and risks. An attempt is made to analyse the components of total cost increase of a project caused by time delay. An outline is given as to how these considerations can be used to estimate cost increases in investors' decision situations as well as to ascertain fair contractual penalties and claims for compensation and for the evaluation of justified project acceleration costs.     

Youth gambling behaviors: An examination of the role of resilience.

The study of resilient children has overturned many deficit-focused models concerning the ontogenesis of children raised in adversity. This study explored the relationship between risk and protective factors, resilience, and youth gambling behavior. More specifically, this study examined the relative contribution of various risk and protective domains in relation to problem gambling behavior and examined whether youth identified as resilient (high risk exposure- high internalized protection) were as likely as those identified as vulnerable (high risk exposure-low internalized protection) to engage in excessive gambling behavior. The sample consisted of 1,273 students ages 12 to 19. The findings demonstrated that risk and protective factors each provide a unique contribution to the prediction model of gambling problems. Resilient and vulnerable youth differed significantly in their self-reported gambling severity. As well, resilient youth were not statistically distinguishable from low-risk exposure groups in terms of their gambling severity. Findings are interpreted with respect to resilience and prevention research. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

TiAl基合金表面改性对高温抗氧化性的影响

研究了渗碳处理ＴｉＡｌ基合金试样的高温氧化行为，发现渗碳处理可以在ＴｉＡｌ基合金试样表层形成致密的多层结构的渗碳层，并发生表层Ａｌ、Ｔｉ重新分配。致密的渗碳层具有良好的高温抗氧化性和高温热稳定性，同时，Ｔｉ、Ａｌ重新分配形成的富Ａｌ最外层也能进一步提高合金的抗氧化性。     

用于高压电容器的SrTiO3基陶瓷

报道ＳｒＴｉＯ３基陶瓷的制备方法和介电性质，给出了用此种陶瓷制成的高压电容器的试验结果，并对它位进行了讨论。     

蒸汽发生器二次侧清洁度的视频检查

立式平管板Ｕ形管束的压水堆核电站蒸汽发生器安装至瞬变工况期间，管板上表面的铁基金属残余物的堆积和外来物的存在，以及商业运行后管板、传热管、管子支撑板等的低流速区域里沉积物的堆积要求进行蒸汽发生器的清洁度检查。介绍了蒸汽发生器二次侧清洁度的视频检查技术。该技术适用于蒸汽发生器安装至瞬变工况和投入商业运行后可能发生污染的各阶段的清洁度检查。     

知识驱动的UG中的产品开发

重点论述了UG中的KBE即KF模块的知识驱动产品开发设计过程及其关键技术，介绍了知识驱动自动化过程，实例剖析了UG中的KF在产品开发设计过程中的应用。     

Enhanced Image Detection on an ARM based Embedded System

This paper presents a new technique for thedetection of Integrated Circuits within images of Printed Circuit Boards autonomouslyand without the need to be assisted by CAD data. The technique is a key partof a suite of algorithms targeted for an embedded System On Chip architecturebased on the ARM7 platform for real time detection of PCB images for diagnosticpurposes. The technique has a significant reduction in complexity when comparedto conventional approaches such as the Hough Transform. The reduction in complexitymakes the approach ideal for an embedded vision application suchas the one described in this paper. This paper presents the technique, thetarget embedded architecture and results showing the reduction in complexitywhen compared to a Hough Transform.