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系统设计、无线电发射、调制解调器等方面的知识,文中给出了调制解调器拨号协议、系统原理和软件流程等.     

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

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

国内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协议的便携式数据采集系统,给出了技术解决方案,讨论了系统的硬件接口电路和软件编程.方案具有可靠性高、速度快、软硬件设计简捷等优点.     

碳纤维复合材料柔性连续抽油杆开发及应用

碳纤维柔性连续抽油杆选用高性能碳纤维 ,以环氧树脂胶液为基体材料 ,添加一定配比的固化剂、促进剂和脱模剂 ,采用拉挤成型工艺制成 ,其开发的关键技术是连续成型、连接接头和安全保险装置。现场应用试验表明 ,TXC— 1、TXC— 2、TXC— 3三种规格的碳纤维柔性连续抽油杆能可靠应用于泵挂深度分别为 12 0 0、 180 0、 30 0 0m的直井和斜井中 ,实测比钢抽油杆节电 ,日产油量提高 。节能增产效果显著。     

芳烃抽提装置技术改造

由于中国石化锦西石化分公司600kt／a连续重整装置的建设，芳烃抽提装置的原料由原来的脱戊烷油变为Ce组分。为此，对抽余油水洗塔和芳烃分离部分的苯塔塔盘，以及苯塔塔顶和塔底抽出部分进行了改造，更换部分机泵和增加变频泵，并将常规仪表改为DCS控制。改造后装置实现一次开车成功，生产出合格产品。抽余油中总芳烃含量小于0．1％，苯回收率达到99%以上。