概率系统相关论文
基于测度论在Isabelle/HOL/Isar中形式化了概率论,给出了概率空间在Isabelle/HOL中的形式化定义,形式化验证了概率测度的主要性质......
现将第十一届国际选矿会议上宣读并讨论的53篇主要论文分类摘要如后。破碎和团矿 1.“关于在不同类型负荷下单粒碎矿的结果比较”......
概率模型检查在分析系统的可靠性、可用性等方面有非常重要的作用。在一些嵌入式控制系统或自适应系统中，运行环境是经常变化的。这......
一、前言借助于系统识别技术,开发一种利用结构振动测量值的结构整体安全检测方法,已越来越受到人们的关注(Natke andYao, 1988; ......
放废物处置库性能评价是处置库选址乃至废物安全处置中的重要研究内容。针对这一研究内容，核工业北京地质研究院于1998年5月11日邀......
带数据约束的概率系统是指一种既带有概率约束,又带有数据变量约束的计算系统,应用非常广泛.对这类系统而言,确保其正确性和可靠性......
【正】 我已在其他地方相当详尽地讨论了心理期待倾向的引发和随后的抑制在音乐经验的形成中所具有的重要性质。在对音乐经验作了......
探索偶然性柳延延自１９世纪中叶概率统计的思想和方法向生物学、物理学渗透以来，努力把握这种认识方法去探索一个又一个新的科学领域，已......
为了实现概率信息的安全降密和信道控制等重要安全策略，将可信域的概念引人概率安全进程代数，并以此为工具将非传递无干扰信息流安全......
