期刊文献+
共找到179篇文章
< 1 2 9 >
每页显示 20 50 100
A Sound Field Separation and Reconstruction Technique Based on Reciprocity Theorem and Fourier Transform 被引量:1
1
作者 Xiao-Lei Li Ning Wang +1 位作者 Da-Zhi Gao Qi Li 《Chinese Physics Letters》 SCIE CAS CSCD 2018年第11期42-45,共4页
We show a method to separate the sound field radiated by a signal source from the sound field radiated by noise sources and to reconstruct the sound field radiated by the signal source. The proposed method is based on... We show a method to separate the sound field radiated by a signal source from the sound field radiated by noise sources and to reconstruct the sound field radiated by the signal source. The proposed method is based on reciprocity theorem and the Fourier transform. Both the sound field and its gradient on a measurement surface are needed in the method. Evanescent waves are considered in the method, which ensures a high resolution reconstruction in the near field region of the signal source when evanescent waves can be measured. A simulation is given to verify the method and the influence of measurement noise on the method is discussed. 展开更多
关键词 A Sound Field separation and Reconstruction Technique Based on Reciprocity theorem and Fourier Transform
原文传递
Categories of Nonlocality in EPR Theories and the Validity of Einstein’s Separation Principle as Well as Bell’s Theorem
2
作者 Karl Hess 《Journal of Modern Physics》 2019年第10期1209-1221,共13页
Work on quantum entanglement is currently emphasizing the nonlocal nature of theories that attempt to explain spatially separated Einstein-Podolsky-Rosen (EPR) correlation experiments. It is frequently claimed that no... Work on quantum entanglement is currently emphasizing the nonlocal nature of theories that attempt to explain spatially separated Einstein-Podolsky-Rosen (EPR) correlation experiments. It is frequently claimed that nonlocal instantaneous influences, or equivalently a breakdown of Einstein’s separation principle, are a signature property of (quantum) entanglement. This paper presents a categorization of the various forms of nonlocality in physical theories. It is shown that, even for Einstein’s theory of relativity, correlations of spatially separated measurements cannot be explained without the involvement of some nonlocal or global knowledge and facts. Instantaneous Influences at a distance are, however, in a special category of nonlocality and, as is well known, Einstein called them spooky. Following a separation of nonlocalities into four distinctly different categories 0, 1, 2, 3, with number 3 corresponding to theories containing instantaneous influences at a distance, I show that any theory of EPR experiments must be at least in category 1 or 2 and does not need to be in category 3. In particular, the Bell theorem, valid for category 0 theories, may be violated for categories 1 and 2 and does not require category 3 theories. Category 0 enforces Bell’s theorem. However, it does not apply to relativistic theories of space like separated measurements. 展开更多
关键词 Bell’s theorem Einstein’s separation PRINCIPLE EPRB Experiments
在线阅读 下载PDF
S-rough sets and knowledge separation 被引量:104
3
作者 Shi Kaiquan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2005年第2期403-410,共8页
The conceptions of the knowledge screen generated by S-rough sets are given:f-screen and f^(-)-screen,and then puts forward f^(-)-filter theorem,f^(-)-filter theorem of knowledge.At last,the applications of knowledge ... The conceptions of the knowledge screen generated by S-rough sets are given:f-screen and f^(-)-screen,and then puts forward f^(-)-filter theorem,f^(-)-filter theorem of knowledge.At last,the applications of knowledge separation are given according to f^(-)-screen and f^(-)-screen. 展开更多
关键词 S-rough sets f-screen -screen f-filter theorem -filter theorem knowledge separation.
在线阅读 下载PDF
Rough law generation and its separation-recognition 被引量:2
4
作者 Li Dongya Ren Xuefang Shi Kaiquan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2009年第6期1239-1246,共8页
By using function S-rough sets(function singular rough sets), this paper gives rough law generation and the theorem of rough law generation.Based on these results above, the paper proposes rough law separation, the ... By using function S-rough sets(function singular rough sets), this paper gives rough law generation and the theorem of rough law generation.Based on these results above, the paper proposes rough law separation, the theorem of rough law separation, the compound generation theorem of rough law bands, and the principle of rough law bands.In the end, an application of rough law separation in recognizing the risk law of profit is presented. 展开更多
关键词 function one-directional S-rough set dual of function one-directional S-rough set rough law law separation the theorem of law separation the principle of rough law band application.
在线阅读 下载PDF
Kolmogorov’s Probability Spaces for “Entangled” Data-Subsets of EPRB Experiments: No Violation of Einstein’s Separation Principle 被引量:1
5
作者 Karl Hess 《Journal of Modern Physics》 2020年第5期683-702,共20页
It is demonstrated that the use of Kolmogorov’s probability theory to describe results of quantum probability for EPRB (Einstein-Podolsky-Rosen-Bohm) experiments requires extreme care when different subsets of measur... It is demonstrated that the use of Kolmogorov’s probability theory to describe results of quantum probability for EPRB (Einstein-Podolsky-Rosen-Bohm) experiments requires extreme care when different subsets of measurement outcomes are considered. J. S. Bell and his followers have committed critical inaccuracies related to spin-gauge and probability measures of such subsets, because they use exclusively a single probability space for all data sets and sub-sets of data. It is also shown that Bell and followers use far too stringent epistemological requirements for the consequences of space-like separation. Their requirements reach way beyond Einstein’s separation principle and cannot be met by the major existing physical theories including relativity and even classical mechanics. For example, the independent free will does not empower the experimenters to choose multiple independent spin-gauges in the two EPRB wings. It is demonstrated that the suggestion of instantaneous influences at a distance (supposedly “derived” from experiments with entangled quantum entities) is a consequence of said inaccuracies and takes back rank as soon as the Kolmogorov probability measures are related to a consistent global spin-gauge and permitted to be different for different data subsets: Using statistical interpretations and different probability spaces for certain subsets of outcomes instead of probability amplitudes related to single quantum entities, permits physical explanations without a violation of Einstein’s separation principle. 展开更多
关键词 Bell’s theorem Einstein’s separation Principle EPRB Experiments
在线阅读 下载PDF
Application of the Separating Theorem
6
作者 王治国 《Chinese Quarterly Journal of Mathematics》 CSCD 1999年第3期103-104, ,共2页
This thesis discusses the theory of nonlinear programming (NLP) including the maths solution to a type of inequality of convex function by utilizing the separating Theorem.
关键词 separating theorem APPLICATION
在线阅读 下载PDF
海珠模式:中国特色数据经纪人的实践探索
7
作者 奉国和 彭凯林 邓伟伟 《深圳社会科学》 2026年第1期28-37,共10页
数据经纪人在数据共享、流通、交易及应用等关键环节中扮演着重要角色。深入剖析了数据经纪人的内涵、特征、分类、理论与实践认识,并以广州市海珠区数据经纪人的典型实践案例为研究对象,揭示了数据经纪人在促进数据开放共享、流通与交... 数据经纪人在数据共享、流通、交易及应用等关键环节中扮演着重要角色。深入剖析了数据经纪人的内涵、特征、分类、理论与实践认识,并以广州市海珠区数据经纪人的典型实践案例为研究对象,揭示了数据经纪人在促进数据开放共享、流通与交易、提升资源配置效率以及释放数据要素价值方面的积极作用,提炼出具有中国特色的海珠数据经纪人创新模式,为数据经纪人行业的健康发展提供了借鉴与启示。研究表明,海珠区的数据经纪人在理论创新应用、制度创新与规范引领、规模与质量等方面具有明显优势,同时在角色定位、功能拓展及运行模式等方面更具创新应用。海珠区明确数据经纪人的三重角色--受托行权、风险控制、价值挖掘,不再局限于数据交易的撮合,还能够深入参与到数据的授权、风险管理和价值创造等环节,为数据要素市场提供更为全面和专业的服务。基于海珠区实践,建议进一步明确数据经纪人权责边界,完善分类分级管理体系,推动数据定价与标准化建设,并探索包容审慎的监管机制,以促进数据要素安全高效流通。 展开更多
关键词 数据经纪人 分类分级 数据三权分置 科斯定理 海珠模式
在线阅读 下载PDF
信息熵下两基金分离定理的证明
8
作者 徐洁 韩有攀 《长春师范大学学报》 2026年第2期8-16,共9页
传统的两基金分离定理建立在以方差度量风险的基础上.鉴于熵能刻画随机变量的不确定性,以熵作为风险度量工具研究两基金分离定理.在组合收益率服从正态分布的假设下,分别在不含无风险资产和含无风险资产两种情形下,证明了两基金分离定... 传统的两基金分离定理建立在以方差度量风险的基础上.鉴于熵能刻画随机变量的不确定性,以熵作为风险度量工具研究两基金分离定理.在组合收益率服从正态分布的假设下,分别在不含无风险资产和含无风险资产两种情形下,证明了两基金分离定理成立.此外还证明了该定理在协方差矩阵奇异的情况下仍然有效. 展开更多
关键词 两基金分离定理 熵风险度量 正态分布 投资组合
在线阅读 下载PDF
EXISTENCE AND UNIQUENESS OF SOLUTIONS FOR NONLINEAR FRACTIONAL DIFFERENTIAL EQUATIONS WITH NON-SEPARATED TYPE INTEGRAL BOUNDARY CONDITIONS 被引量:6
9
作者 Bashir Ahmad Juan J. Nieto Ahmed Alsaedi 《Acta Mathematica Scientia》 SCIE CSCD 2011年第6期2122-2130,共9页
In this paper, we study a boundary value problem of nonlinear fractional dif- ferential equations of order q (1 〈 q 〈 2) with non-separated integral boundary conditions. Some new existence and uniqueness results a... In this paper, we study a boundary value problem of nonlinear fractional dif- ferential equations of order q (1 〈 q 〈 2) with non-separated integral boundary conditions. Some new existence and uniqueness results are obtained by using some standard fixed point theorems and Leray-Schauder degree theory. Some illustrative examples are also presented. We extend previous results even in the integer case q = 2. 展开更多
关键词 fractional differential equations non-separated integral boundary conditions contraction principle Krasnoselskii's fixed point theorem LeraySchauder degree
在线阅读 下载PDF
THE EXTENSION THEOREMS OF CONE LINEAR OPERATORS
10
作者 盛宝怀 刘三阳 毛华 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2002年第1期71-78,共8页
A kind of cone separation theorems is established, by which the extension theorems for cone linear continuous operators are developed. As an application, the extension theorem for positive linear continuous operators ... A kind of cone separation theorems is established, by which the extension theorems for cone linear continuous operators are developed. As an application, the extension theorem for positive linear continuous operators is given. 展开更多
关键词 cone separation theorem cone linear operator extension theorem separation theorems
在线阅读 下载PDF
基于子句综合权重的多元动态演绎算法及应用
11
作者 曹锋 徐梓伟 +1 位作者 易见兵 李俊 《武汉大学学报(理学版)》 北大核心 2025年第2期301-312,共12页
针对多元演绎如何有效选取子句,通过分析演绎前后项合一能力的变化,提出一种子句影响度的度量方法;通过分析子句影响度、剩余文字个数以及文字演绎能力对多元动态演绎过程的影响,提出一种子句综合权重的子句评估方法,能有效控制矛盾体... 针对多元演绎如何有效选取子句,通过分析演绎前后项合一能力的变化,提出一种子句影响度的度量方法;通过分析子句影响度、剩余文字个数以及文字演绎能力对多元动态演绎过程的影响,提出一种子句综合权重的子句评估方法,能有效控制矛盾体分离式的文字个数;基于该子句评估方法,提出一种有效选择子句的多元动态演绎算法。将该算法应用到国际顶尖的一阶逻辑自动定理证明器Eprover3.1中,以最新的国际自动定理证明器竞赛例(FOF组)为测试对象,测试结果表明,加入了本文多元动态演绎算法的Eprover3.1比原始Eprover3.1多证明定理18个,且在难问题判定上,证明了8个其他证明器未能证明的定理。 展开更多
关键词 多元演绎 子句评估 矛盾体分离式 一阶逻辑 自动定理证明器
原文传递
基于深度学习的光纤传感退化信号盲分离方法
12
作者 路晓亚 李海芳 《传感技术学报》 北大核心 2025年第11期2017-2024,共8页
在分布式声波传感(DAS)系统中,纤芯泵浦拉曼效应导致准静态模式退化,其物理本质是能量从信号光基模不可逆地耦合至高阶模。这种退化降低了不同信源信号的分离精度。为解决此问题,提出基于深度学习的光纤传感退化信号盲分离方法。该方法... 在分布式声波传感(DAS)系统中,纤芯泵浦拉曼效应导致准静态模式退化,其物理本质是能量从信号光基模不可逆地耦合至高阶模。这种退化降低了不同信源信号的分离精度。为解决此问题,提出基于深度学习的光纤传感退化信号盲分离方法。该方法首先用干扰抵消算法清除强干扰,再利用盖尔圆定理与Kullback准则估计信源数。接着,构建独立成分分析堆叠时域卷积网络(Stacked TimeDomain Convolutional Network,StackedTCN)模型,通过一维卷积、层归一化和叠时域卷积网络块生成时域掩模,分离源信号特征,并恢复源信号波形。整个过程以SISNR为损失函数优化模型,实现精确盲分离。实验结果表明,所提方法将信号幅度控制在了±2A.U.之间,相似系数高于0.85,SMSE小于0.025,有效消除强干扰并保持高分离精度。 展开更多
关键词 信号与通信工程 信号盲分离 干扰抵消 盖尔圆定理 信源数估计 深度学习
在线阅读 下载PDF
GhostFunc:一种针对Rust操作系统内核的验证方法
13
作者 何韬 董威 文艳军 《软件学报》 北大核心 2025年第8期3494-3511,共18页
操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分un... 操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分unsafe代码段,无法从根本上保证语言层面的安全性,因而针对unsafe代码段的验证对于保证Rust构建的内核正确可靠尤为重要.以某使用Rust构建的微内核为对象,提出GhostFunc的safe和unsafe代码段组合验证方法,将两类代码段采用不同层级的抽象,使用GhostFunc进行组合验证.针对任务管理与调度模块,基于λ_(Rust)形式化Arc<T>等unsafe代码段,并给出形式化GhostFunc的具体实现,完成此方法的验证实例.所有验证工作基于定理证明的方法,在Coq中采用Iris分离逻辑框架完成正确性的验证. 展开更多
关键词 形式化验证 操作系统内核 分离逻辑 RUST 定理证明
在线阅读 下载PDF
基于分离轴定理的板凳龙碰撞检测 被引量:1
14
作者 赵羿豪 舒千赫 +1 位作者 陈知弈 叶军 《数学建模及其应用》 2025年第1期42-48,共7页
针对板凳龙盘绕的碰撞检测问题,首先,利用各板凳在等距螺旋线上的几何关系,考虑前后把手速度沿板凳所在直线上的分量相等,递推求解出各个时刻各节把手的位置和速度;接着,引入分离轴定理进行碰撞检测,同时证明了板凳的首次碰撞发生在龙... 针对板凳龙盘绕的碰撞检测问题,首先,利用各板凳在等距螺旋线上的几何关系,考虑前后把手速度沿板凳所在直线上的分量相等,递推求解出各个时刻各节把手的位置和速度;接着,引入分离轴定理进行碰撞检测,同时证明了板凳的首次碰撞发生在龙头或第一节龙身,以缩小检测范围,检测板凳顶点坐标所表示的各矩形是否发生碰撞;最后,遍历求解了龙头发生碰撞时的位置和时间等相关参数,并对盘龙过程中的螺距和龙头板凳长度进行了灵敏度分析.实验结果表明,该碰撞检测方法兼顾求解效率与精度,实现了对板凳龙碰撞情况的高效检测. 展开更多
关键词 分离轴定理 几何关系 二分法 碰撞检测 板凳龙
在线阅读 下载PDF
基于层次包围盒的纱筒装取机械臂碰撞检测方法
15
作者 姬晨辉 沈丹峰 +1 位作者 赵刚 孙海涛 《工程设计学报》 北大核心 2025年第6期769-779,共11页
针对传统纱筒装取作业依赖人工操作的问题,业界致力于实现机械臂自动化抓取。为此,聚焦于机械臂自动化抓取中的物体包络和碰撞检测两个关键环节进行研究。为解决传统混合层次包围盒算法在复杂场景下包络精度不足的问题,设计了一种基于凸... 针对传统纱筒装取作业依赖人工操作的问题,业界致力于实现机械臂自动化抓取。为此,聚焦于机械臂自动化抓取中的物体包络和碰撞检测两个关键环节进行研究。为解决传统混合层次包围盒算法在复杂场景下包络精度不足的问题,设计了一种基于凸包(convex hull)结构的改进混合层次包围盒模型,通过在叶节点处构建凸包约束,显著提升了包围盒的空间贴合度。针对传统分离轴定理在处理复杂凸多边形碰撞检测时计算效率低下的问题,提出了基于梯度下降的分离轴优化策略,通过建立投影长度变化量与分离轴旋转角度的函数关系,动态调整分离轴的搜索方向与旋转步长。实验结果表明:相较于传统混合层次包围盒模型,改进后的混合层次包围盒模型在包络精度上明显改善;梯度下降分离轴算法在平均迭代耗时与迭代次数方面较传统分离轴算法分别降低了90.67%和98.48%。所提出的方法适用于工业场景中物体排布密集且需要高精度碰撞检测的复杂工况。 展开更多
关键词 层次包围盒 凸包 纱筒装取 机械臂 分离轴定理 碰撞检测
在线阅读 下载PDF
固定边界的圆膜受迫振动问题求解及可视化
16
作者 何卓妍 郭琴 《大学物理》 2025年第5期76-81,85,共7页
本文以圆形薄膜为研究对象,采用分离变量法和冲量定理法分别研究了圆膜的自由振动和受迫振动问题,得到了贝塞尔函数形式的自由振动和受迫振动解,并对结果进行了可视化分析.研究发现:圆膜自由振动时,同一阶数,共振圆频率越大,褶皱越多;... 本文以圆形薄膜为研究对象,采用分离变量法和冲量定理法分别研究了圆膜的自由振动和受迫振动问题,得到了贝塞尔函数形式的自由振动和受迫振动解,并对结果进行了可视化分析.研究发现:圆膜自由振动时,同一阶数,共振圆频率越大,褶皱越多;阶数越高,节径数目越多,褶皱形态更丰富.圆膜受迫振动时,由于设置的受迫外力与角度无关,在边界固定、无初始位移和初始速度的条件下,满足初始条件的圆膜受迫振动解也与角度无关,因此振动形态呈现出中心轴对称分布.同一圆频率,不同时刻,褶皱数目基本相同,随着时间变化,中心波包围绕中心轴做上下起伏振动.同一时刻,随着圆频率的改变,圆膜的振动形态也在发生改变.同一圆频率,同一时刻,随着外力中的贝塞尔函数的根取值越大,圆膜振动的褶皱数越多. 展开更多
关键词 圆膜 受迫振动 分离变量法 冲量定理法 贝塞尔函数
在线阅读 下载PDF
A Separation Theorem for Stochastic Singular Linear Quadratic Control Problem with Partial Information
17
作者 Hong-ji MA Ting HOU 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 2013年第2期303-314,共12页
In this paper, we provide a separation theorem for the singular linear quadratic (LQ) control problem of ItS-type linear systems in the case of the state being partially observable. Above all, the Kalmam Bucy filter... In this paper, we provide a separation theorem for the singular linear quadratic (LQ) control problem of ItS-type linear systems in the case of the state being partially observable. Above all, the Kalmam Bucy filtering of the dynamics is given by means of Girsanov transformation, by which the suboptimal feedback control of the LQ problem is determined. Furthermore, it is shown that the well-posedness of the LQ problem is equivalent to the solvability of a generalized differential Riccati equation (GDRE). 展开更多
关键词 singular optimal control Kalman-Bucy filtering separation theorem linear systems generalizeddifferential Riccati equation
原文传递
Inequalities and Separation for a Biharmonic Laplace-Beltrami Differential Operator in a Hilbert Space Associated with the Existence and Uniqueness Theorem
18
作者 ZAYED E. M. E. 《Journal of Partial Differential Equations》 CSCD 2016年第1期59-70,共12页
In this paper, we have studied the separation for the biharmonic Laplace-Beltrami differential operatorAu(x) = -△△u(x) + V(x)u(x),for all x ∈ R^n, in the Hilbert space H = L2(R^n,H1) with the operator po... In this paper, we have studied the separation for the biharmonic Laplace-Beltrami differential operatorAu(x) = -△△u(x) + V(x)u(x),for all x ∈ R^n, in the Hilbert space H = L2(R^n,H1) with the operator potential V(x) ∈ C^1 (R^n, L (H1) ), where L (H1 ) is the space of all bounded linear operators on the Hilbert space H1, while AAu is the biharmonic differential operator and△u=-∑i,j=1^n 1/√detg δ/δxi[√detgg-1(x)δu/δxj]is the Laplace-Beltrami differential operator in R^n. Here g(x) = (gij(x)) is the Riemannian matrix, while g^-1 (x) is the inverse of the matrix g(x). Moreover, we have studied the existence and uniqueness Theorem for the solution of the non-homogeneous biharmonic Laplace-Beltrami differential equation Au = - △△u + V(x) u (x) = f(x) in the Hilbert space H where f(x) ∈ H as an application of the separation approach. 展开更多
关键词 separation biharmonic Laplace-Beltrami operator operator potential Hilbert space L2 (R^n H1) coercive estimate existence and uniqueness theorem.
原文传递
群和半群上集约束优化问题的像空间分析法
19
作者 田雨函 王远华 冯世强 《洛阳师范学院学报》 2025年第11期1-7,共7页
利用像空间分析法,研究了一类群和半群上集约束函数优化问题.利用群和半群上的凸集分离定理,刻画了该问题像空间中两个适当子集的分离性,并在适当的假设下证明了集约束优化问题的最优性条件等价于其广义Lagrangian函数鞍点的存在性,进... 利用像空间分析法,研究了一类群和半群上集约束函数优化问题.利用群和半群上的凸集分离定理,刻画了该问题像空间中两个适当子集的分离性,并在适当的假设下证明了集约束优化问题的最优性条件等价于其广义Lagrangian函数鞍点的存在性,进一步得到了集约束优化问题的Lagrangian型最优性条件. 展开更多
关键词 集约束优化问题 群和半群 像空间分析 分离定理 鞍点
在线阅读 下载PDF
P-集合的P-分离与应用 被引量:53
20
作者 张飞 陈萍 张丽 《山东大学学报(理学版)》 CAS CSCD 北大核心 2010年第3期71-75,共5页
P-集合(packet sets)是由内P-集合XF-(internal packet sets)与外P-集合XF(outer packet sets)共同构成的集合对,或者(XF-,XF)是P-集合。利用P-集合,给出它的P-分离(packet-separation)概念,提出P-集合的P-分离定理,给出P-分离在未知信... P-集合(packet sets)是由内P-集合XF-(internal packet sets)与外P-集合XF(outer packet sets)共同构成的集合对,或者(XF-,XF)是P-集合。利用P-集合,给出它的P-分离(packet-separation)概念,提出P-集合的P-分离定理,给出P-分离在未知信息发现中的应用。 展开更多
关键词 P-集合 P-分离 分离定理 信息过滤-发现
原文传递
上一页 1 2 9 下一页 到第
使用帮助 返回顶部