期刊文献+
共找到12篇文章
< 1 >
每页显示 20 50 100
从一道概率测试题谈起
1
作者 任炯 《初中数学教与学》 2014年第3X期16-17,共2页
我区在2013~2014学年度九年级数学测试中有这么一道有关概率的选择题:题目某校九年级一班共有学生50人,现在对他们的生日(可以不同年)进行统计,则正确的说法是()(A)至少有两名学生生日相同(B)不可能有两名学生生日相同(C)可能有两名学... 我区在2013~2014学年度九年级数学测试中有这么一道有关概率的选择题:题目某校九年级一班共有学生50人,现在对他们的生日(可以不同年)进行统计,则正确的说法是()(A)至少有两名学生生日相同(B)不可能有两名学生生日相同(C)可能有两名学生生日相同,但可能性不大(D)可能有两名学生生日相同,且可能性很大大多教师看到这道题后,感到很吃惊和意外,并且争议很大:一是正确答案难以确定?二是此题涉及的知识内容已经严重超标了. 展开更多
关键词 概率测试 初中数学教师 陈省身 教学目标定位 做一做 《数学》 测试 北师大版 争议点 承上
原文传递
概率带测试克林代数操作语义的研究
2
作者 乔瑞 高新岩 《武汉理工大学学报(信息与管理工程版)》 CAS 2008年第4期509-513,共5页
为了增强带测试克林代数(KAT)的表达能力,提出了一种加概率的带测试克林代数(PKAT)的理论,并将其应用于对加概率正则程序的推演。将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT表达式和一个数据状态... 为了增强带测试克林代数(KAT)的表达能力,提出了一种加概率的带测试克林代数(PKAT)的理论,并将其应用于对加概率正则程序的推演。将概率格局变迁系统作为操作语义的模型,它的每个状态是一个格局,格局是由一个PKAT表达式和一个数据状态组成的序列对。为了确立模型中的关系,定义自然语义和结构操作语义,均从行为和状态两方面进行刻画,证明两者在只考虑程序正常终止的情况下是等价的。 展开更多
关键词 概率测试克林代数 概率格局变迁系统 自然语义 结构操作语义
下载PDF
概率带测试克林代数
3
作者 乔瑞 吴尽昭 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2009年第1期134-138,共5页
为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局... 为了增强可形式刻画正则程序行为的带测试克林代数(KAT)的表达能力,提出了一个加概率的带测试克林代数(PKAT)的完整理论用于对加概率正则程序的推演。提出了状态为PKAT表达式和数据状态组成的序列对的概率格局变迁系统。然后在概率格局变迁系统的基础上给出结构操作语义。并给出PKAT的基于操作语义的概率互模拟等价关系。最后证明了PKAT中等式关于互模拟等价的可靠性。 展开更多
关键词 概率测试克林代数 概率格局变迁系统 结构操作语义 互模拟等价
下载PDF
特征函数与强大数定律 被引量:1
4
作者 饶贤清 马江山 《上饶师范学院学报》 2001年第3期29-32,共4页
在特征函数性质和连续定理的基础上 ,给出特征函数在强大数定律中的应用。
关键词 特征函数 弱收敛 连续定理 控制收敛定理 紧集 概率测试 强大数定律
下载PDF
对马尔可夫测度的研究
5
作者 王美岚 《烟台师范学院学报(自然科学版)》 2002年第1期16-19,共4页
给出了马尔可夫测度定义。
关键词 马尔可夫测度 马尔可夫推移 不可约 马尔可夫过程 伯克霍夫遍历定理 概率测试
下载PDF
同步寄存器链中误码率的亚稳态分析
6
作者 王郑毅 刘文波 +2 位作者 代少飞 李开宇 朱鹏飞 《微电子学与计算机》 2021年第5期14-18,共5页
数字电路的亚稳态现象会导致数据发生误码,同步寄存器链常常被用于降低亚稳态发生的概率.为了量化由亚稳态导致的数据误码发生概率,本文从亚稳态产生的本质出发分析了亚稳态在同步寄存器链中传递的原因;推导了考虑线延迟与逻辑门延迟影... 数字电路的亚稳态现象会导致数据发生误码,同步寄存器链常常被用于降低亚稳态发生的概率.为了量化由亚稳态导致的数据误码发生概率,本文从亚稳态产生的本质出发分析了亚稳态在同步寄存器链中传递的原因;推导了考虑线延迟与逻辑门延迟影响的精确亚稳态稳定时间公式;设计了一种新亚稳态测试电路计算三种亚稳态输出结果发生的概率.在平均故障时间参数的基础上,计算了因为亚稳态而造成的同步寄存器链误码率和整个系统的误码率,给出了降低系统误码率的措施. 展开更多
关键词 亚稳态 稳定时间 亚稳态输出状态概率测试电路 同步寄存器链 误码率
下载PDF
基于序列分析的僵尸网络检测模型
7
作者 范轶彦 邬国锐 +1 位作者 陈监利 汤博 《计算机工程与设计》 CSCD 北大核心 2011年第9期2950-2952,2988,共4页
现有的IRC botnet检测技术不适合控制命令交互不频繁的botnet检测。为了实现小规模隐秘僵尸网络的检测,提出了一种基于序列分析的僵尸网络检测模型,对现有的被动检测技术进行补充。讨论了几种探测技术和检测算法,根据客户端响应类型选... 现有的IRC botnet检测技术不适合控制命令交互不频繁的botnet检测。为了实现小规模隐秘僵尸网络的检测,提出了一种基于序列分析的僵尸网络检测模型,对现有的被动检测技术进行补充。讨论了几种探测技术和检测算法,根据客户端响应类型选择检测算法,分析了平均检测轮数,只须观察少量的命令控制交互,能够对单个或多个IRC僵尸主机进行检测。实验结果表明,在保证误报率和漏报率的前提下该方法能在预定检测轮数内完成判定。 展开更多
关键词 僵尸网络 命令控制 序列概率测试 响应类型 检测轮数
下载PDF
SIFT和改进的RANSAC算法在图像配准中的应用 被引量:25
8
作者 罗文超 刘国栋 杨海燕 《计算机工程与应用》 CSCD 2013年第15期147-149,156,共4页
在机器人视觉系统中运用SIFT描述子对现实世界中的目标进行识别,这一研究已经取得了很大的进步。运用SIFT生成的图像特征向量的性能十分稳定,对旋转、缩放、平移是保持不变性的,对一定程度目标遮挡、光照变化、视点变化、杂物场景和噪... 在机器人视觉系统中运用SIFT描述子对现实世界中的目标进行识别,这一研究已经取得了很大的进步。运用SIFT生成的图像特征向量的性能十分稳定,对旋转、缩放、平移是保持不变性的,对一定程度目标遮挡、光照变化、视点变化、杂物场景和噪声等也能保持很好的不变性。RANSAC算法早就已经是计算机视觉领域常用的一个进行矫正的标准方法,在标准的RANSAC算法基础上加入了假设评价,改进为R-RANSAC(The Randomized RANSAC)算法。对这两个方面进行论述,运用SIFT(尺度不变特征变换)算法对双目机器人的两幅视觉图像进行匹配,采用带SPRT的R-RANSAC改进算法对匹配过程进行优化,尽可能在短的时间里完成匹配矫正,进而加速整个配准的时间。 展开更多
关键词 尺度不变特征变换(SIFT)描述子 图像匹配 图像配准 随机抽样一致性 顺序概率测试
下载PDF
面向IPv6移动WSNs的选择性转发攻击检测算法 被引量:1
9
作者 王继营 《中国测试》 CAS 北大核心 2018年第8期120-124,共5页
选择性转发攻击是对无线传感网络(wireless sensor networks,WSNs)最危险的攻击,特别是在移动环境的WSNs下。为此,针对基于IPv6的移动WSNs,对选择性转发攻击进行研究,并提出基于序贯概率比测试(sequential probability ratio test,SPRT... 选择性转发攻击是对无线传感网络(wireless sensor networks,WSNs)最危险的攻击,特别是在移动环境的WSNs下。为此,针对基于IPv6的移动WSNs,对选择性转发攻击进行研究,并提出基于序贯概率比测试(sequential probability ratio test,SPRT)的检测算法(SPRT-DA),该算法通过计算接受与丢失的数据包数识别恶意节点,并采用自适应的阈值机制排除恶意节点。实验数据表明,提出的SPRT-DA算法的检测率逼近100%。 展开更多
关键词 移动无线传感网络 入侵检测 选择性转发攻击 低功耗网络路由 序贯概率测试
下载PDF
Measuring Real Capital Adequacy in Extreme Economic Conditions: An Examination of the Swiss Banking Sector
10
作者 David E. Allen Robert Powell 《Journal of Modern Accounting and Auditing》 2011年第6期541-554,共14页
The global financial crisis (GFC) has placed the creditworthiness of banks under intense scrutiny. In particular, capital adequacy has been called into question. Current capital requirements make no allowance for ca... The global financial crisis (GFC) has placed the creditworthiness of banks under intense scrutiny. In particular, capital adequacy has been called into question. Current capital requirements make no allowance for capital erosion caused by movements in the market value of assets. This paper examines default probabilities of Swiss banks under extreme conditions using structural modeling techniques. Conditional Value at Risk (CVaR) and Conditional Probability of Default (CPD) techniques are used to measure capital erosion. Significant increase in Probability of Default (PD) is found during the GFC period. The market asset value based approach indicates a much higher PD than external ratings indicate. Capital adequacy recommendations are formulated which distinguish between real and nominal capital based on asset fluctuations. 展开更多
关键词 real capital financial crisis conditional value at risk credit risk BANKS probability of default capital adequacy
下载PDF
The Essence of More Nonlocality with Less Entanglement in Bell Tests
11
作者 谭勇刚 刘强 +1 位作者 胡要花 吕桦 《Communications in Theoretical Physics》 SCIE CAS CSCD 2014年第1期40-44,共5页
In this paper, we will explore the essence of the phenomenon that state with less entanglement may generate greater Bell violation in the two-qubit Bell tests with CH-type inequalities, i.e., more nonlocality with les... In this paper, we will explore the essence of the phenomenon that state with less entanglement may generate greater Bell violation in the two-qubit Bell tests with CH-type inequalities, i.e., more nonlocality with less entanglement. We will show that this interesting but counterintuitive phenomenon is caused by the rotational asymmetry of the nonmaximally entangled state in the measurement plane. This asymmetry allows the both-side detection probabilities and the one-side detection probabilities obtain their maximal values with nonmaximally entangled state. But the maximal Bell violation may not always happen on nonmaximally entangled state, because these probabilities will compete with each other, and the Bell violation behaves differently for various CH-type inequalities. 展开更多
关键词 ENTANGLEMENT NONLOCALITY Bell theorem
原文传递
Robust hypothesis testing for asymmetric nominal densities under a relative entropy tolerance
12
作者 Enbin Song Qingjiang Shi +1 位作者 Yunmin Zhu Jianxi Pan 《Science China Mathematics》 SCIE CSCD 2018年第10期1851-1880,共30页
In this paper, we address an open problem raised by Levy(2009) regarding the design of a binary minimax test without the symmetry assumption on the nominal conditional probability densities of observations. In the bin... In this paper, we address an open problem raised by Levy(2009) regarding the design of a binary minimax test without the symmetry assumption on the nominal conditional probability densities of observations. In the binary minimax test, the nominal likelihood ratio is a monotonically increasing function and the probability densities of the observations are located in neighborhoods characterized by placing a bound on the relative entropy between the actual and nominal densities. The general minimax testing problem at hand is an infinite-dimensional optimization problem, which is quite difficult to solve. In this paper, we prove that the complicated minimax testing problem can be substantially reduced to solve a nonlinear system of two equations having only two unknown variables, which provides an efficient numerical solution. 展开更多
关键词 Kullback-Leibler divergence robust hypothesis testing min-max problem least-favorable densities saddle point
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部