oalib

Publish in OALib Journal

ISSN: 2333-9721

APC: Only $99

Submit

Any time

2019 ( 4 )

2018 ( 85 )

2017 ( 77 )

2016 ( 66 )

Custom range...

Search Results: 1 - 10 of 3229 matches for " 房丙午 "
All listed articles are free for downloading (OA Articles)
Page 1 /3229
Display every page Item
基于隐马尔科夫模型的随机系统运行时安全性验证
丙午,黄志球,李勇,王勇
- , 2018, DOI: 10.15961/j.jsuese.201800596
Abstract: 中文摘要: 随机系统运行时验证中,由于可靠地传感系统运行状态的成本非常高以及一些事件的监控严重影响系统时间相关的行为,因此,复杂随机系统在运行时其状态是难以观测的。为了对该类系统进行运行时验证,提出了状态不可观测的随机系统运行时安全性验证方法。首先,给出了随机系统安全性验证框架,框架使用隐马尔科夫模型建模运行时系统,使用确定性有限自动机规约系统安全属性,使用两者的乘积自动机作为属性验证器。然后,提出了属性验证器的构造算法,该算法消除了从初始状态不可达的状态以及与验证属性关的组合状态,约简了验证器的规模。最后,基于验证器,提出增量迭代安全性验证算法,该算法接收到一个新的观测值,立即计算已观测到的整个有穷序列的监控结论,不需要保存当前观测值之前的有穷观测序列。实验仿真结果表明该方法能有效性地在线验证状态不可观测的随机系统安全性。
Abstract:The state of a complex stochastic system for verification is difficult to be observed at runtime, since the cost of reliably sensing the operating state of the system is very high and the monitoring of some events can seriously affect time-related behaviors of the system. In order to perform runtime verification on such a system, a method for verifying runtime safety of a stochastic system with unobservable state was proposed. First, a runtime safety verification framework of stochastic system was constructed, in which the system model was represented by the hidden Markov model (HMM), and the negation of safety property was specified by deterministic finite automaton (DFA). Then, the product automata of DFA and HMM was used as a property verifier. Second, a construction algorithm of the verifier was proposed, which reduces the size of the verifier by eliminating the unreachable state starting from the initial state and the combined state independent of the verification property. Finally, an incremental iterative safety verification algorithm based on the verifier was proposed. Once a new observation value was received, the monitoring conclusions of the observed whole finite sequence without saving the sequence were immediately calculated. Experimental simulation results showed that the proposed method can effectively online verify the safety of stochastic systems with unobservable states.
未来的航天遥感手段
丙午
遥感技术与应用 , 1991,
Abstract: 综述了NOAA卫星和陆地卫星传感器的改进。介绍了综合性遥感平台——空间站的发展情况,以及90年代中期将要发射的新型空间站的基本构造。重点介绍了美、英、法、德、加、澳、意、日等国为未来空间站研制的20种传感器,列出了这些传感器的主要性能。
未来的航天遥感手段
丙午
遥感技术与研究 , 1991,
Abstract: 综述了noaa卫星和陆地卫星传感器的改进。介绍了综合性遥感平台—空间站的发展情况,以及90年代中期将要发射的新型空间站的基本构造。重点介绍了美、英、法、德、加、澳、意、日等国为未来空间站研制的20种传感器,列出了这也传感器的主要性能。
成都地区的冰雹和雹云回波特征
丙午
气象 , 1978, DOI: 10.7519/j.issn.1000-0526.1978.05.020
Abstract:
Design and Implementation of Transaction Framework for Web Services Composition
一种Web服务组合事务框架的设计与实现

FANG Bing-Wu,LIU Li,ZHANG Chen-Shu,
丙午
,刘力,张成叔

计算机系统应用 , 2010,
Abstract: Web Services Composition(WSC) is becoming an important approach to EAI and its reliability needs to be guaranteed by introducing the transaction mechanism. WSC transactions differ from traditional transactions in that they execute over long periods and cross multiple loosely-coupled organizations, so traditional transaction processing mechanism is inappropriate for them. This paper summarizes the characteristics of WSC transaction and presents its multilayer framework, and then analyses the coordination procedure of WSC transaction in the framework, and finally gives its coordination protocol and designs a prototype system for WSC transaction.
基于LS-SVM的模式判别技术在边坡稳定性分析中的应用
刘俊娥, 曾凡雷, 林大超, 郭章林,丙午
金属矿山 , 2011,
Abstract: 由于边坡外部影响因素与内部力学性质的复杂性,边坡稳定性与各影响因素间具有高度的非线性关系,很难构建出一种普适性模型来描述边坡稳定性变化的过程。SVM(支持向量机)是一种智能化的经验学习算法,在处理非线性问题中表现出极大的优势。利用支持向量机对边坡各影响因素的数据进行分析,对边坡稳定性状态与影响因素的对应关系进行经验学习,根据学习的经验知识,利用模态判别方法对边坡的稳定性状态进行判断。试验结果表明:所提出的边坡稳定性判别方法具有很好的应用效果,可以满足工程应用的实际需求。?
矿井提升机盘闸制动系统安全在线监控
刘俊娥, 安凤平, 郭章林, 周宣赤,丙午
金属矿山 , 2010,
Abstract: 就矿井提升机盘闸制动系统的功能、结构、制动要求以及在提升系统中所处的地位和国内外研究现状进行了相关介绍与说明,运用故障树分析讨论了影响提升机制动系统性能的各种因素,对其安全监控系统技术进行了研究。根据故障树分析的结果,结合实际情况得出对应状态下可监测的物理量,运用现代控制方法建立系统在线监测的模型。最后通过工控软件MCGS完成整个监测系统,实现各项监测数据在线显示,某些物理量的监测与报警,重要参数的存储与调取,运行故障的记忆与查询等功能,以实现制动系统安全的在线监控。
一种P2P网络信任模型METrust
于真,申贵成,丙午,李京春,王少杰
电子学报 , 2010,
Abstract: Peer-to-Peer(P2P)网络的异构性、匿名性、自治性等特点导致了一些安全问题,比如伪造、诋毁、协同作弊等,影响了服务质量.提出了一种基于推荐的P2P网络信任模型METrust,节点在网络中拥有唯一的推荐可信度,引入了更新幅度和更新力度两个参数来更新推荐可信度.给出了节点推荐可信度的更新算法;节点根据评价标准的相似程度选择推荐,其中节点的评价标准通过AHP(AnalyticHierarchyProcess)方法确定.仿真实验表明,METrust信任模型可以识别恶意节点,有效提高P2P网络的服务质量.
溶液结构的同步辐射反射法研究——径向分布函数解析
A Synchrotron Radiation Reflection Study of the Solution Structure—Analysis the Radial Distribution Function
 [PDF]

朱发岩, 毅卓, 周永全, 徐继香, , 春晖
Modern Physics (MP) , 2011, DOI: 10.12677/mp.2011.13008
Abstract: 本文报道用北京同步辐射装置4W1C光束线Huber五圆测角仪同步辐射散射法精确测定和数据校正获得硫酸钠水溶液径向分布函数的结构解析方法。结构参数最小二乘法精修结果表明,溶液中水合Na+有2个水合层,第1水合层Na+-OH2 (I)距离为0.243 nm,配位数6.0;第2水合层距离为0.448 nm,配位数为13.3; 存在第一水合层, -H2O距离为0.374 nm,配位数为9.1;水合硫酸根原子团中氧原子与水分子的作用距离和配位数分别为OS-W(1),OS-W(2),OS-W(3),OS-W(4)距离依次为0.283,0.322,0.375和0.486 nm,配位数除OS-W(2)为12.9,其余都在8左右;除此之外溶液中还存在 接触离子对,Na-S距离为0.348 nm,配位数0.20,与晶体结构比较证实 以单齿形式配位到Na+;水共享离子对Na+-W- 中Na-S距离精修为0.491 nm,配位数0.62。精修的R因子为0.16,表明获得了很好的精修结果。
A structure analysis method is reported in this paper. The accurate measurement and data correction of sodium sulfate liquid structure to obtain the radial distribution function by X-ray scattering with a five-circle goniometer in of the 4W1C beam line of Beijing Synchrotron Radiation Facility(BSRF I). The least squares refinement of structural parameters results show that the first hydration shell distance of Na+-OH2(I) is 0.243 nm, the hydration number is 6.0. The second hydration distance is 0.448 nm and the hydration number is 13.3. Sulfate ion has the first hydration layer, the hydration distance of -H2O is 0.374 nm, the coordination number (CN) is 9.1. The distance and CN of oxygens in with H2O, OS-W(1), OS-W(2), OS-W(3), OS-W(4), are 0.283, 0.322, 0.375 and 0.486 nm, respectively. Their CN 8.0 except the CN of OS-W(2) 12.9. Contact ion pairs also exist in the solution, the Na-S distance is 0.348 nm, and the CN is 0.20. We compared the structure with the crystal structure and confirmed that anion coordinated with Na+ ions in the mono-dentate form. The Na-S distance of water sharing ions Na+-W- is 0.491 nm, CN is 0.62. The R factor of the refinement 0.16 demonstrates a satisfactory calculation results.
关于发酵饲料发展问题的商榷
司铎
微生物学通报 , 1979,
Abstract: 本期“问题讨论”栏内发表了两篇文章。一篇是房司铎同志写的“关于发酵饲料发展问题的商榷”。文中所提出的问题,应该引起关注。发酵饲料的工作已开展多年,今后应如何发展和提高?有待深入探讨。希望读者阅读本文时参考同期发表的李万年等同志的文章,踊跃发表意见。另一篇是,徐国萍等同志根据自己工作实践中的体会,写出的赞同幸兴球和谢强江两同志对苏芸金杆菌分类的看法(见本刊5卷1期)的文章。我们希望从事分类工作的同志充分展开讨论。
Page 1 /3229
Display every page Item


Home
Copyright © 2008-2017 Open Access Library. All rights reserved.