期刊文献+
共找到118篇文章
< 1 2 6 >
每页显示 20 50 100
Testing Bell’s Theorem with Circular Polarization
1
作者 Richard A. Hutchin 《Optics and Photonics Journal》 2016年第11期289-297,共9页
Bell tests with entangled light have been performed many times in many ways using linear polarizers, but the same tests have never been done with a circular polarizer. Until recently there has never been a true circul... Bell tests with entangled light have been performed many times in many ways using linear polarizers, but the same tests have never been done with a circular polarizer. Until recently there has never been a true circular polarization beamsplitter—an optical component that separates light directly into left and right handed polarizations. Using a true circular polarization beamsplitter based on birefringent gratings, entangled light has been analyzed with unexpected results. 展开更多
关键词 Entangled Photons Bell’s theorem Circular Polarization tests of Quantum Mechanics
下载PDF
基于魏尔斯特拉斯逼近定理的对医用内窥镜摄像系统信噪比插值方式的研究
2
作者 高英哲 杜江齐 +2 位作者 袁青 卢瑞祥 许云超 《计量与测试技术》 2024年第2期117-119,123,共4页
YY/T 1587-2018《医用内窥镜电子内窥镜》与YY/T 1603-2018《医用内窥镜内窥镜供给装置摄像系统》信噪比测试方法相同,是采用线性插值的方法,找出Y值在0.707的信噪比。本文基于魏尔斯特拉斯逼近定理的多项式拟合方法,对信噪比插值进行分... YY/T 1587-2018《医用内窥镜电子内窥镜》与YY/T 1603-2018《医用内窥镜内窥镜供给装置摄像系统》信噪比测试方法相同,是采用线性插值的方法,找出Y值在0.707的信噪比。本文基于魏尔斯特拉斯逼近定理的多项式拟合方法,对信噪比插值进行分析,并与分段线性插值的结果进行对比和讨论,对测试条件提出补充性建议。 展开更多
关键词 医用内窥镜摄像系统 标准 检验 魏尔斯特拉斯逼近定理
下载PDF
应用复分析理论计算一类菲涅尔型积分
3
作者 江毅 苏灵燕 《吉首大学学报(自然科学版)》 CAS 2024年第3期9-12,共4页
对于一类用实函数理论较难求解的菲涅尔型积分,先应用狄利克雷判别法判断其敛散性,再结合围道积分法和柯西积分定理给出了带有x^(n-2)或x^(m)的菲涅尔型积分的一般性收敛结果.
关键词 菲涅尔型积分 狄利克雷判别法 围道积分法 柯西积分定理
下载PDF
The Permutation Test as an Ancillary Procedure for Comparing Zero-Inflated Continuous Distributions
4
作者 Jixiang Jixiang Lei Zhang William D Johnson 《Open Journal of Statistics》 2012年第3期274-280,共7页
Empirical estimates of power and Type I error can be misleading if a statistical test does not perform at the stated rejection level under the null hypothesis. We employed the permutation test to control the empirical... Empirical estimates of power and Type I error can be misleading if a statistical test does not perform at the stated rejection level under the null hypothesis. We employed the permutation test to control the empirical type I errors for zero-inflated exponential distributions. The simulation results indicated that the permutation test can be used effectively to control the type I errors near the nominal level even the sample sizes are small based on four statistical tests. Our results attest to the permutation test being a valuable adjunct to the current statistical methods for comparing distributions with underlying zero-inflated data structures. 展开更多
关键词 CENTRAL LIMIT theorem Likelihood Ratio test Modified CENTRAL LIMIT theorem PERMUTATION test Wald test ZERO-INFLATED Distribution
下载PDF
A Tiling Lemma and Its Application to the Ratio Test for Convergence of Series
5
作者 James D. Stein Jr. Linda Ho 《Advances in Pure Mathematics》 2011年第5期300-304,共5页
We prove that any collection which tiles the positive integers must contain one of two types of sub-collections. We then use this result to prove a variation of the Ratio Test for convergence of series. This version o... We prove that any collection which tiles the positive integers must contain one of two types of sub-collections. We then use this result to prove a variation of the Ratio Test for convergence of series. This version of the Ratio Test shows the convergence of certain series for which the Root Test (which is known to be more powerful than the conventional Ratio Test) fails. This version of the Ratio Test is also used to prove a version of the Banach Contraction Principle for self-maps of a complete metric space. 展开更多
关键词 TILING Ratio test BANACH FIXED-POINT theorem
下载PDF
单调速率及其扩展算法的可调度性判定 被引量:50
6
作者 王永吉 陈秋萍 《软件学报》 EI CSCD 北大核心 2004年第6期799-814,共16页
任务可调度性判定是实时系统调度理论研究的核心问题.单调速率(RM)算法是实时调度的重要算法,自其提出以来已被广泛研究.然而到目前为止,尚缺乏专题性的文章来系统而深入地探讨RM及其扩展算法的可调度性判定,以及各种现实条件和实现方式... 任务可调度性判定是实时系统调度理论研究的核心问题.单调速率(RM)算法是实时调度的重要算法,自其提出以来已被广泛研究.然而到目前为止,尚缺乏专题性的文章来系统而深入地探讨RM及其扩展算法的可调度性判定,以及各种现实条件和实现方式(包括任务调度的时间开销和任务同步问题等)对可调度性的影响.围绕RM算法下的可调度性判定问题,由浅入深,系统性地讨论各种不同假设和实现方式对可调度性的影响,具体分为下述3大类问题:(1) 理想的RM算法下的可调度性判定的CPU利用率最小上界及可调度的充分必要条件;(2) 考虑调度时间开销情况下的可调度性判定条件;(3) 优先级反转协议及其对可调度性的影响.给出了具体实例来阐述上述问题,并从算法复杂度和可检测率两方面来比较各种算法的优劣. 展开更多
关键词 实时系统 实时操作系统 实时调度 RM算法 可调度性判定
下载PDF
基于Petri网语言的并发系统性质研究(英文) 被引量:7
7
作者 蒋昌俊 陆维明 《软件学报》 EI CSCD 北大核心 2001年第4期512-520,共9页
给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的充分必要条件 .
关键词 PETRI网 并发系统 活性 同步合成 形式语言
下载PDF
基于八叉树的复杂地质体块段模型建模技术 被引量:35
8
作者 毕林 王李管 +1 位作者 陈建宏 冯兴隆 《中国矿业大学学报》 EI CAS CSCD 北大核心 2008年第4期532-537,共6页
为了有效地减少地质块段模型的数据量,提高建模过程中运算速度及准确性,采用八叉树结构表达块段模型,对三维目标空间进行块段细分;提出八叉树与有向有界箱(OBB)树相交测试算法以提高建模过程中的运算速度,同时改进射线法判断点... 为了有效地减少地质块段模型的数据量,提高建模过程中运算速度及准确性,采用八叉树结构表达块段模型,对三维目标空间进行块段细分;提出八叉树与有向有界箱(OBB)树相交测试算法以提高建模过程中的运算速度,同时改进射线法判断点在多面体内外及点在面状模型上下的算法,以确保复杂地质体块段模型建模的准确性.用C++开发语言实现建模算法并与其它同类软件相比较,结果表明:采用该方法从表面模型到块段模型的转换速度比目前国际上常用的矿业软件要快30%~40%,结果准确,所需存储空间较小,便于空间检索与分析,对于地质模型的工程应用具有重要意义. 展开更多
关键词 八叉树 块段模型 OBB树 相交测试 轴分离理论
下载PDF
多胞型矩阵的Hurwitz与Schur鲁棒稳定性检验 被引量:4
9
作者 肖扬 杜锡钰 《铁道学报》 EI CAS CSCD 北大核心 1999年第6期51-53,共3页
提出基于二维面检验的多胞型矩阵Hurwitz与Schur鲁棒稳定的充分必要条件,并且证明多胞型矩阵的Hurwitz与Schur鲁棒稳定性可由其二维表面的稳定性保证,最后以实例证明本文的鲁棒稳定性检验的可应用性。
关键词 不确定系统 鲁棒稳定性 多胞型矩阵
下载PDF
有限状态变系数离散系统的稳定性检验 被引量:3
10
作者 肖扬 杜锡钰 《自动化学报》 EI CSCD 北大核心 1998年第4期518-522,共5页
提出了系统参数独立于系统节拍变化的有限状态变系数离散系统模型、稳定性检验定理及稳定性检验的快速算法.这类系统的稳定的充分必要条件是其传递函数的分母多项式为有限Schur多项式簇.提出了改进的变系数Schur检验表,使... 提出了系统参数独立于系统节拍变化的有限状态变系数离散系统模型、稳定性检验定理及稳定性检验的快速算法.这类系统的稳定的充分必要条件是其传递函数的分母多项式为有限Schur多项式簇.提出了改进的变系数Schur检验表,使系统的稳定性检验过程简化,计算量大为减少。 展开更多
关键词 离散系统 稳定性检验定理 算法 系统参数
下载PDF
基于二分图K优完美匹配的虚拟网映射算法设计 被引量:5
11
作者 余建军 吴春明 《电信科学》 北大核心 2014年第2期70-75,共6页
为提高虚拟节点映射的可行性,基于可行性检验定理和用于衡量节点可用性的节点等级指标,设计了基于二分图K优完美匹配的以降低映射代价为目标的虚拟网映射迭代算法。实验表明,所提出的算法能提高虚拟网构建请求接受率和虚拟网构建收益代... 为提高虚拟节点映射的可行性,基于可行性检验定理和用于衡量节点可用性的节点等级指标,设计了基于二分图K优完美匹配的以降低映射代价为目标的虚拟网映射迭代算法。实验表明,所提出的算法能提高虚拟网构建请求接受率和虚拟网构建收益代价比,从而提高物理网提供商的收益。 展开更多
关键词 虚拟网节点映射 节点等级 可行性检验定理 二分图K优完美匹配
下载PDF
时变离散系统的渐进稳定性检验定理及算法 被引量:3
12
作者 肖扬 杜锡钰 《北方交通大学学报》 CSCD 北大核心 1998年第6期1-7,共7页
提出了时变离散系统的渐近稳定性检验定理和算法.给出基于时变离散系统的传输矩阵的范数或谱半径检验定理的判椐,为时变离散系统的渐近稳定的充分和必要条件.讨论了时变离散系统与端点离散时不变系统两者间稳定性检验的区别,表明时... 提出了时变离散系统的渐近稳定性检验定理和算法.给出基于时变离散系统的传输矩阵的范数或谱半径检验定理的判椐,为时变离散系统的渐近稳定的充分和必要条件.讨论了时变离散系统与端点离散时不变系统两者间稳定性检验的区别,表明时变离散系统的稳定性不能由其时变系统矩阵集合的端点矩阵来确定. 展开更多
关键词 时变离散系数 渐近稳定性检验 算法 传输矩阵
下载PDF
区间矩阵的Hurwitz与Schur鲁棒稳定性检验 被引量:3
13
作者 肖扬 梁满贵 《电路与系统学报》 CSCD 2000年第3期36-40,共5页
提出基于二维面检验的区间矩阵Hurwitz与Schur鲁棒稳定的充分必要条件。证明区间矩阵的Hurwitz与Schur鲁棒稳定性可由其二维表面的稳定性保证。为证明本文区间矩阵的鲁棒稳定性检验的可应用性,给出了实例。
关键词 鲁棒稳定性 检验定理 算法 区间矩阵
下载PDF
两种管流试验模型流速确定方法的比较 被引量:6
14
作者 徐广丽 张国忠 《油气储运》 CAS 北大核心 2010年第6期477-479,共3页
采用管流试验装置模拟实际成品油管道时,常采用相似原理来确定试验模型。比较了使用相似原理和有效剪切应力相等原理2种方法确定管流试验装置流速的合理性。结果表明:在管壁性质改变时采用相似原理来确定模型的流速是不适用的,而有效剪... 采用管流试验装置模拟实际成品油管道时,常采用相似原理来确定试验模型。比较了使用相似原理和有效剪切应力相等原理2种方法确定管流试验装置流速的合理性。结果表明:在管壁性质改变时采用相似原理来确定模型的流速是不适用的,而有效剪切应力相等原理能够保证管内流动状态与实际工业管道一致,验证了有效剪切应力相等原理的合理性。 展开更多
关键词 成品油管道 管流试验 相似原理 有效剪切应力 流速
下载PDF
极限分析上限法在山区斜坡地基上高填方路堤极限承载力研究中的应用 被引量:7
15
作者 王志斌 李亮 杨小礼 《塑性工程学报》 EI CAS CSCD 北大核心 2007年第2期118-122,129,共6页
结合山区高速公路建设的实践,采用大型室内模型试验.找出了荷载作用下斜坡地基上高填方路堤滑动破坏面出现的位置及形态,确定了其极限承载力的大小。研究了路堤边坡稳定性汁算的极限分析上限法,根据折线形滑动面形式建立了机动容许速度... 结合山区高速公路建设的实践,采用大型室内模型试验.找出了荷载作用下斜坡地基上高填方路堤滑动破坏面出现的位置及形态,确定了其极限承载力的大小。研究了路堤边坡稳定性汁算的极限分析上限法,根据折线形滑动面形式建立了机动容许速度场,推导了计算斜坡地基上高填方路堤稳定性及极限承载力的计算公式。运用极限分析上限法对试验模型进行计算.并将计算结果与试验结果进行了对比分析,分析表明,利用极限分析上限法不仅简单可行,且具有较高的计算精度。 展开更多
关键词 高路堤 斜坡地基 大型模型试验 极限分析上限法
下载PDF
二维离散系统的频域稳定性检验定理 被引量:2
16
作者 肖扬 《电子学报》 EI CAS CSCD 北大核心 1996年第1期105-107,共3页
本文提出的二维离散系统的频域稳定性检验定理可用于任意阶次的二维离散系统稳定性检验。本文定理的检验算法可避免环路积分从而减少了计算量提高了检验精度。
关键词 二维离散系统 稳定性检验 信号分析
下载PDF
基于环境振动和贝叶斯定理的有限元模型自动修正方法及应用 被引量:3
17
作者 刘佩 朱海鑫 +1 位作者 连鹏宇 杨维国 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2019年第7期49-57,共9页
传统的有限元模型修正方法通常没有定量考虑测试误差和模型误差的不确定性对修正结果的影响,并且难以用于复杂结构.针对上述问题,提出了一种基于环境振动测试和商业软件交互访问的贝叶斯有限元模型修正方法.该方法以环境振动测试和快速... 传统的有限元模型修正方法通常没有定量考虑测试误差和模型误差的不确定性对修正结果的影响,并且难以用于复杂结构.针对上述问题,提出了一种基于环境振动测试和商业软件交互访问的贝叶斯有限元模型修正方法.该方法以环境振动测试和快速贝叶斯方法识别所得模态参数为已知数据,基于贝叶斯定理得到修正参数的后验概率密度函数,利用单纯形法最小化修正参数的负对数似然函数,得到其最有可能值及后验变异系数,并通过SAP2000有限元模型和MATLAB修正程序的交互访问,实现复杂结构有限元模型参数的自动修正.对某两层大跨楼板结构进行了环境振动测试和模态参数识别,利用所提方法直接对混凝土楼板和钢梁的弹性模量进行修正,修正后的自振频率和振型与识别值吻合较好. 展开更多
关键词 环境振动测试 贝叶斯定理 模型修正 模态参数识别 有限元模型 大跨楼板结构
下载PDF
一种基于并行测试完成时间的任务调度算法 被引量:2
18
作者 方丹 崔少辉 +1 位作者 卢慧卿 陈卫荣 《测控技术》 CSCD 北大核心 2013年第1期121-124,共4页
介绍了一种基于并行测试完成时间的极限定理分析和设计的静态并行测试任务调度算法——TSUL(task scheduler based on UUTs model and limit theorem of parallel test finish time)算法。该算法在设计过程中运用并行测试完成时间的极... 介绍了一种基于并行测试完成时间的极限定理分析和设计的静态并行测试任务调度算法——TSUL(task scheduler based on UUTs model and limit theorem of parallel test finish time)算法。该算法在设计过程中运用并行测试完成时间的极限定理确定了并行完成所有测试任务所需的极限最短时间,生成的解能够尽量接近或达到问题的最优解。经实例验证,对于静态的并行测试任务调度问题,TSUL算法是一种有效的最优化算法。 展开更多
关键词 并行测试 任务调度 极限定理
下载PDF
表面张力贮箱的微重力实验验证——静平衡与重定位 被引量:6
19
作者 魏延明 潘海林 《航天控制》 CSCD 北大核心 1998年第3期23-29,共7页
新研制的表面张力贮箱保证在微重力或无重力环境下、在任何时候都能向系统提供不含气的推进剂,因而需要确定液体的空间分布以及在给定微重力加速度下的重定位过程,以便为贮箱的设计提供依据。为此,按照相似理论用缩比模型进行了一系... 新研制的表面张力贮箱保证在微重力或无重力环境下、在任何时候都能向系统提供不含气的推进剂,因而需要确定液体的空间分布以及在给定微重力加速度下的重定位过程,以便为贮箱的设计提供依据。为此,按照相似理论用缩比模型进行了一系列微重力落塔实验,然后根据测定的重定位时间计算出原型表面张力贮箱的重定位时间。 展开更多
关键词 微重力 重定位 静平衡 推进剂贮箱 表面张力
下载PDF
基于虎克定理的预应力检测系统开发及应用 被引量:4
20
作者 钟正强 戴典 袁建伟 《中南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2018年第3期725-731,共7页
针对现有预应力检测方法的局限性,研发基于虎克定理的预应力检测系统,建立3项评价标准(单索偏差均值、同束偏差均值、同断面偏差均值)并给出其计算公式及上限值,依据检测结果提出改进预应力施工质量的措施。研究结果表明:标准实验产生... 针对现有预应力检测方法的局限性,研发基于虎克定理的预应力检测系统,建立3项评价标准(单索偏差均值、同束偏差均值、同断面偏差均值)并给出其计算公式及上限值,依据检测结果提出改进预应力施工质量的措施。研究结果表明:标准实验产生的F(张拉力)-s(位移)曲线不同于理想F-s曲线,前者的第2个拐点C纵坐标对应的压力与传感器所测压力相差不大;运用研发的检测系统系统对桥梁的预应力进行检测时,第2期的预应力检测结果明显比第1期的好;检测系统的检测结果可靠;所提出的改进措施解决了预应力施工中存在的问题;检测系统、3项评价标准组合应用有助于提高预应力施工质量。 展开更多
关键词 虎克定理 预应力 检测系统 施工质量 评价标准
下载PDF
上一页 1 2 6 下一页 到第
使用帮助 返回顶部