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.     

Synthesis, Characterization and Crystal Structure of Quaternary Complex of Gadolinium （Ⅲ）

Ａｎｕｍｂｅｒｏｆｌａｎｔｈａｎｉｄｅｔｅｒｎａｒｙｃｏｍｐｌｅｘｅｓｃｏｎ ｔａｉｎｉｎｇｈｅｔｅｒｏｃｙｃｌｉｃａｍｉｎｅｓｈａｖｅｂｅｅｎｒｅｐｏｒｔｅｄｓｉｎｃｅ1960 [1] .Ｉｎｒｅｃｅｎｔｙｅａｒｓｍｕｃｈａｔｔｅｎｔｉｏｎｈａｓｂｅｅｎｐａｉｄｔｏｑｕａｔｅｒｎａｒｙｃｏｍｐｌｅｘｅｓｏｆｌａｎｔｈａｎｉｄｅｓｂｅｃａｕｓｅｏｆｉｎ ｔｅｒｅｓｔｉｎｇｓｔｒｕｃｔｕｒｅ ,ｃｏｏｒｄｉｎａｔｉｏｎｍｏｄｅ ,ｃｏｍｐｅｔｉｔｉｏｎｒｅ ａｃｔｉｏｎａｎｄｐｒｏｐｅｒｔｙ[2～ 9] .ＥＳＲｃａｎｅ…     

A distributed adverse drug reaction detection system using intelligent agents with a fuzzy recognition‐primed decision model

Discovering unknown adverse drug reactions (ADRs) in postmarketing surveillance as early as possible is highly desirable. Nevertheless, current postmarketing surveillance methods largely rely on spontaneous reports that suffer from serious underreporting, latency, and inconsistent reporting. Thus these methods are not ideal for rapidly identifying rare ADRs. The multiagent systems paradigm is an emerging and effective approach to tackling distributed problems, especially when data sources and knowledge are geographically located in different places and coordination and collaboration are necessary for decision making. In this article, we propose an active, multiagent framework for early detection of ADRs by utilizing electronic patient data distributed across many different sources and locations. In this framework, intelligent agents assist a team of experts based on the well‐known human decision‐making model called Recognition‐Primed Decision (RPD). We generalize the RPD model to a fuzzy RPD model and utilize fuzzy logic technology to not only represent, interpret, and compute imprecise and subjective cues that are commonly encountered in the ADR problem but also to retrieve prior experiences by evaluating the extent of matching between the current situation and a past experience. We describe our preliminary multiagent system design and illustrate its potential benefits for assisting expert teams in early detection of previously unknown ADRs. © 2007 Wiley Periodicals, Inc. Int J Int Syst 22: 827–845, 2007.     

基于嵌入式Linux的远程数据采集系统

以嵌入式微控制器为核心,将传感器网络收集来的数据通过无线电发射机发送到远程接收机,从而实现远程数据采集.系统的优势是充分利用了短波无线链路资源,适合于工作在无人区等场合.以ARM7为控制器,功耗小,性能稳定,维护方便;通信方式采用串口通信,连接线少,实现相对简单.系统设计主要应用嵌入式μCLinux系统设计、无线电发射、调制解调器等方面的知识,文中给出了调制解调器拨号协议、系统原理和软件流程等.     

一种前馈型全摆幅恒跨导准恒增益CMOS运放设计

设计了一种适合在低电源电压下工作的前馈型输入级放大结构，在全摆幅的动态工作范围内，输入级跨导保持不变，采用负载电流补偿以保证增益近似恒定，输出采用前馈型AB类输结构，实现全摆幅输出。     

以寻呼区分析为基础的PHS网络优化方法

通过分析PHS网络中各寻呼区的统计指标,剖析指标劣化的根本原因,采取修改相应的参数配置、移站、调整天线等措施进行网络优化,优化实施后再次收集统计指标做对比分析,总结经验。     

宏蜂窝模型的传播模型校正研究

详细介绍了 宏蜂窝传播模 型校正的基本操作流程 结果分析及注意事项 对工程 ,人员了解和开展模型校正工作有一定的指导作用 。     

国内3G网络共享问题之研究

随着国内3G时代的来临，3G网络共享问题越来越受到人们的关注。本文结合国内移动通信的现状，着重分析了3G网络共享的模式及经济效益，论述了3G网络共享的相应策略。     

Analysis and comparison of two-dimensional permanent-magnet arrays for planar motor

This paper investigates three kinds of permanent-magnet arrays used in planar motors with polarity centers distributed in the lattices of a matrix. The magnetic field of every kind of magnet array is analyzed by analytical methods. First, we give a Laplace equation of magnetic scalar potential and a series of boundary conditions. Then, we derive the analytical expressions of magnet field strength and magnet flux density in the air gap of each kind of magnet array by the method of separation of variables. Finally, we compare the three types of magnet arrays on the basis of the analytical solutions.     

EPP在便携式数据采集系统中的应用

分析了并口处于EPP(增强型并行端口)模式时和单片机进行数据交换的原理.介绍了有关EPP的基本特性、信号定义、操作模式及其程序设计方法,设计了基于EPP协议的便携式数据采集系统,给出了技术解决方案,讨论了系统的硬件接口电路和软件编程.方案具有可靠性高、速度快、软硬件设计简捷等优点.