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.     

0.25μm CMOS千兆以太网发送器设计

分析了千兆以太网体系结构,给出了符合IEEE 802.3z标准中1000BASE-X规范的发送器电路结构,并采用TSMC 0.25 μm CMOS 混合信号工艺设计了符合该规范的高速复接电路和锁相环时钟倍频电路.芯片核心电路面积分别为(0.3×0.26)mm2和(0.22×0.12)mm2.工作电压2.5 V时,芯片核心电路功耗分别为120 mW和100 mW.时钟倍频电路的10倍频输出时钟信号频率为1.25 GHz,其偏离中心频率1MHz处的单边带相位噪声仅为-109.7 dBc/Hz.在驱动50 Ω输出负载的条件下,1.25 Gbit/s的高速输出数据信号摆幅可达到410 mV.     

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

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

3G认证和密钥分配协议的形式化分析及改进

介绍了第三代移动通信系统所采用的认证和密钥分配(AKA)协议,网络归属位置寄存器/访问位置寄存器(HLR/VLR)对用户UE(用户设备)的认证过程和用户UE对网络HLR/VLR的认证过程分别采用了两种不同的认证方式,前者采用基于"询问-应答"式的认证过程,后者采用基于"知识证明"式的认证过程.使用BAN形式化逻辑分析方法分别对这两种认证过程进行了分析,指出在假定HLR与VLR之间系统安全的前提下,基于"知识证明"式的认证过程仍然存在安全漏洞.3GPP采取基于顺序号的补充措施;同时,文中指出了另一种改进方案.     

基于西门子楼宇自控系统的中央空调计费系统

介绍了基于西门子楼宇自控系统的空调计费系统的软硬件设计和具体实现.该系统的特点是借助西门子S600系统强大的数据处理和控制能力,采用时间记录和能量测量相结合的方法进行计费,具有实时监测和定时输出报表功能.该系统计量准确、计费合理、安全可靠、性价比高,满足了现代物业管理的需要.     

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

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

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

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