期刊文献+
共找到26篇文章
< 1 2 >
每页显示 20 50 100
Einstein Dilemma and Two-State Vector Formalism
1
作者 Kunihisa Morita 《Journal of Quantum Information Science》 2015年第2期41-46,共6页
In the famous EPR paper published in 1935, Einstein, Podolsky, and Rosen suggested a thought experiment, which later became known as the “EPR experiment”. Using the EPR experiment, they posited that quantum mechanic... In the famous EPR paper published in 1935, Einstein, Podolsky, and Rosen suggested a thought experiment, which later became known as the “EPR experiment”. Using the EPR experiment, they posited that quantum mechanics was incomplete. Einstein, however, was dissatisfied with the EPR paper and published a second work on the EPR experiment, in which he discussed the dilemma of choosing whether quantum mechanics was incomplete or nonlocal. Currently, most physicists choose the nonlocality of quantum mechanics over Einstein’s choice of the incompleteness of quantum mechanics. However, with an appropriate alternate hypothesis, both of these choices can be rejected. Herein, I demonstrate an approach to overcome the Einstein Dilemma by proposing a new interpretation invoked by a new formalism of quantum mechanics known as two-state vector formalism. 展开更多
关键词 two-state vector formalism EINSTEIN DILEMMA COMPLETENESS LOCALITY
下载PDF
Measurement Problem and Two-State Vector Formalism
2
作者 Kunihisa Morita 《Journal of Modern Physics》 2015年第13期1864-1867,共4页
In this paper, I show that an interpretation of quantum mechanics using two-state vector formalism proposed by Aharonov, Bergmann, and Lebowitz, can solve one of the measurement problems formulated by Maudlin. Accordi... In this paper, I show that an interpretation of quantum mechanics using two-state vector formalism proposed by Aharonov, Bergmann, and Lebowitz, can solve one of the measurement problems formulated by Maudlin. According to this interpretation, we can simultaneously insist that the wave function of a system is complete, that the wave function is determined by the Schr?dinger equation, and that the measurement of a physical quantity always has determinate outcomes, although Maudlin in his formulation of the measurement problem states that these three claims are mutually inconsistent. Further, I show that my interpretation does not contradict the uncertainty relation and the no-go theorem. 展开更多
关键词 two-state vector formalism Measurement Problem No-Go THEOREM
下载PDF
The Multifractal Formalism for Measures, Review and Extension to Mixed Cases 被引量:1
3
作者 Mohamed Menceur Anouar Ben Mabrouk Kamel Betina 《Analysis in Theory and Applications》 CSCD 2016年第4期303-332,共30页
The mulfifractal formalism for single measure is reviewed. Next, a mixed generalized multifractal formalism is introduced which extends the multifractal formalism of a single measure based on generalizations of the Ha... The mulfifractal formalism for single measure is reviewed. Next, a mixed generalized multifractal formalism is introduced which extends the multifractal formalism of a single measure based on generalizations of the Hausdorff and packing measures to a vector of simultaneously many measures. Borel-Cantelli and Large deviations Theorems are extended to higher orders and thus applied for the validity of the new variant of the multifractal formalism for some special cases of multi-doubling type measures. 展开更多
关键词 Hausdorff measures packing measures Hausdorff dimension packing dimension renyi dimension multifractal formalism vector valued measures mixed cases Holderian measures doubling measures Borel-Cantelli large deviations
下载PDF
基于K Framework的向量化机器学习指令语义形式化
4
作者 黄厚华 刘嘉祥 施晓牧 《软件学报》 EI CSCD 北大核心 2023年第8期3853-3869,共17页
ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升达15倍的机器学习性能.随着物联网的高速发展,微处理器指令执行正确性尤为重要.指令集的官方手册作为芯片模拟... ARM针对ARMv8.1-M微处理器架构推出基于M-Profile向量化扩展方案的技术,并命名为ARM Helium,声明能为ARM Cortex-M处理器提升达15倍的机器学习性能.随着物联网的高速发展,微处理器指令执行正确性尤为重要.指令集的官方手册作为芯片模拟程序,片上应用程序开发的依据,是程序正确性基本保障.主要介绍利用可执行语义框架K Framework对ARMv8.1-M官方参考手册中向量化机器学习指令的语义正确性研究.基于ARMv8.1-M的官方参考手册自动提取指令集中描述向量化机器学习指令执行过程的伪代码,并将其转换为形式化语义转换规则.通过K Framework提供的可执行框架利用测试用例,验证机器学习指令算数运算执行的正确性. 展开更多
关键词 ARMv8.1-M架构 向量化指令 机器学习 K Framework 形式化语义
下载PDF
形式概念的布尔计算方法 被引量:6
5
作者 李同军 王霞 徐优红 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第5期553-560,共8页
形式概念分析是用于知识表示和知识发现的一个重要方法.将布尔矩阵方法引入形式概念分析之中,提出布尔形式背景的概念,利用布尔向量和布尔矩阵的蕴含运算,给出了布尔形式概念的定义,研究了布尔形式概念的计算和性质.同时,针对布尔形式... 形式概念分析是用于知识表示和知识发现的一个重要方法.将布尔矩阵方法引入形式概念分析之中,提出布尔形式背景的概念,利用布尔向量和布尔矩阵的蕴含运算,给出了布尔形式概念的定义,研究了布尔形式概念的计算和性质.同时,针对布尔形式背景的与、或和乘积运算,研究对应的布尔形式概念的计算问题. 展开更多
关键词 布尔向量 布尔矩阵 形式背景 概念格
下载PDF
基于两层向量空间模型和模糊FCA本体学习方法 被引量:13
6
作者 邢军 韩敏 《计算机研究与发展》 EI CSCD 北大核心 2009年第3期443-451,共9页
本体是WWW进化为语义Web版本的瓶颈,手工构造本体费时费力,本体学习技术使得在文本中自动构造本体成为可能,但存在通用性差和准确性低等问题.提出以面向对象思想的分析方法为基础,把传统的单层文本向量空间模型(VSM)改进为2层向量空间模... 本体是WWW进化为语义Web版本的瓶颈,手工构造本体费时费力,本体学习技术使得在文本中自动构造本体成为可能,但存在通用性差和准确性低等问题.提出以面向对象思想的分析方法为基础,把传统的单层文本向量空间模型(VSM)改进为2层向量空间模型(double vector space model,D-VSM),该模型不仅具有属性特性,而且还具有很强的关系特性.在此模型的基础上,引入模糊形式概念分析(fuzzy formal concept analysis,FFCA)本体学习技术.该技术充分考虑D-VSM模型中的数据分布特点,较好地解决本体学习通用性、本体关系获取等问题.基于上述方法实现一个本体学习工具,为本体的(半)自动构造提供有力的支持. 展开更多
关键词 本体学习 模糊形式概念分析 向量空间模型 本体关系 本体概念
下载PDF
面向对象(属性)概念格的布尔表达 被引量:10
7
作者 石慧 魏玲 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2015年第2期415-420,共6页
形式概念分析是用于知识表示和知识发现的一个重要方法.将逻辑运算方法引入形式概念分析之中,利用布尔向量的逻辑运算定义了布尔形式背景中的上、下近似运算,给出了其性质.并定义了布尔面向对象(属性)概念格,证明了其与面向对象(属性)... 形式概念分析是用于知识表示和知识发现的一个重要方法.将逻辑运算方法引入形式概念分析之中,利用布尔向量的逻辑运算定义了布尔形式背景中的上、下近似运算,给出了其性质.并定义了布尔面向对象(属性)概念格,证明了其与面向对象(属性)概念格的等价性.简化了构造面向对象(属性)概念格的过程. 展开更多
关键词 布尔向量 布尔矩阵 形式背景 面向对象概念格 面向属性概念格
下载PDF
基于SVG的动态几何智能电子白板研究 被引量:4
8
作者 陈联 《计算机工程》 CAS CSCD 北大核心 2006年第10期25-27,共3页
通过平面几何图形形式化描述方法,利用新型网络图形标准SVG实现了支持Web动态几何智能作图的电子白板。讨论了动态几何智能电子白板中的信息表示、信息处理、信息交互、信息传递和信息存储等环节。
关键词 SVG 动态几何 智能作图 电子白板 几何图形形式化
下载PDF
电磁场的复张量表述 被引量:1
9
作者 沈建其 《大学物理》 北大核心 2009年第5期6-8,共3页
在电磁场的三维复矢量表述基础之上获得对应的四维复张量表述形式,同时又考虑磁荷流密度并引入双势法,将电磁场复张量表述推广到同时包含电荷与磁荷流密度的情形并获得了复张量麦克斯韦方程组.
关键词 三维复矢量 四维复张量 对偶张量 磁荷 双势法
下载PDF
形式Generic流形的型
10
作者 严荣沐 《数学年刊(A辑)》 CSCD 北大核心 2005年第6期845-854,共10页
本文讨论形式Generic流形上的型.利用加权坐标系先对齐权流形给出计算型的一般步骤并把结 果推广到一般的形式Generic流形.
关键词 形式Generic流形 加权坐标系 形式向量场
下载PDF
数学解题的形式化方法 被引量:2
11
作者 张会凌 《甘肃联合大学学报(自然科学版)》 2009年第2期117-121,共5页
对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果.
关键词 数学解题 形式化方法 齐次线性方程组 特解 基础解系 通解 曲面 一般方程 参数方程
下载PDF
区间值决策形式背景的属性值向量约简 被引量:5
12
作者 黄艳 任苗苗 魏玲 《计算机科学》 CSCD 北大核心 2012年第1期193-197,共5页
概念格是一种潜力极大的有效的知识发现工具,现已被广泛应用于计算机网络、数据挖掘等领域。针对现实生活中信息的不确定性,定义了区间值决策形式背景;通过讨论条件区间形式背景与决策区间形式背景概念格之间的关系,研究了区间值决策形... 概念格是一种潜力极大的有效的知识发现工具,现已被广泛应用于计算机网络、数据挖掘等领域。针对现实生活中信息的不确定性,定义了区间值决策形式背景;通过讨论条件区间形式背景与决策区间形式背景概念格之间的关系,研究了区间值决策形式背景的协调性,进一步研究了属性值向量约简,使得原背景在属性及属性区间值两个方面得到简化。 展开更多
关键词 区间值决策形式背景 概念格 协调性 属性值向量约简
下载PDF
3个变形背包问题的形式化推导 被引量:1
13
作者 游颖 杨庆红 齐蕾蕾 《江西师范大学学报(自然科学版)》 CAS 北大核心 2017年第2期116-121,共6页
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可... 在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可将采用的推导方法在子集和问题、船装载等问题中加以推广应用. 展开更多
关键词 形式化推导 0-1背包问题 二进制向量 程序规约 递推关系
下载PDF
一致决策信息系统规则提取的形式向量方法 被引量:1
14
作者 延安 闫心怡 陈泽华 《计算机科学》 CSCD 北大核心 2019年第10期236-241,共6页
知识表示与获取是人工智能领域的关键问题之一,规则提取是其中的一项重要研究内容。形式概念分析是针对大数据和不确定性知识的有效处理方法,被广泛应用于知识表示和数据挖掘等领域。形式概念分析可以实现决策信息系统的规则提取,首先... 知识表示与获取是人工智能领域的关键问题之一,规则提取是其中的一项重要研究内容。形式概念分析是针对大数据和不确定性知识的有效处理方法,被广泛应用于知识表示和数据挖掘等领域。形式概念分析可以实现决策信息系统的规则提取,首先将决策信息系统转化为形式背景生成概念,进而通过概念运算获取规则。然而,概念的生成是一项复杂的运算过程,且生成的规则往往存在冗余属性。在形式背景的基础上,定义并讨论了形式向量及其性质,构建了形式向量树形拓扑图,提出了一种基于形式向量的决策信息系统最简规则快速提取算法。引入粒度的思想,由粗到细求取不同粒度空间下的形式向量,通过条件形式向量和决策形式向量的关系提取规则。基于树形拓扑图实现了规则提取过程的可视化,并且通过剪枝操作极大地减少了规则提取过程的实际时间开销。通过数学证明与实例分析验证了算法的正确性和有效性,通过对比实验证明了算法不仅具备更好的时效性而且具备较高的识别率。 展开更多
关键词 粒计算 形式背景 形式向量 规则获取 决策信息系统
下载PDF
用于形式背景提取的中文文本表示
15
作者 侯亚南 黄映辉 《计算机技术与发展》 2010年第9期36-39,43,共5页
形式背景需要从实际的数据源中提取。当数据源为无结构的中文文本时,必须选择如何对其进行表示。目前主流的中文文本表示方法主要采用以词语为特征项的向量空间模型(VSM),其主要缺陷是忽略了自然语言中词语之间的语义联系,无法表达文本... 形式背景需要从实际的数据源中提取。当数据源为无结构的中文文本时,必须选择如何对其进行表示。目前主流的中文文本表示方法主要采用以词语为特征项的向量空间模型(VSM),其主要缺陷是忽略了自然语言中词语之间的语义联系,无法表达文本的语义信息。讨论了一种改进方法,其特征是:选择知网(Hownet)作为知识库,采用相似词集集合代替单一特征词,建立中文文本的概念向量空间。对于用概念向量空间表示的中文文本,可以方便地根据用户的具体要求提取所需的形式背景。以214篇交通类中文文本为实例阐释了该改进方法的实际应用。 展开更多
关键词 形式背景 文本表示 相似词集集合 向量空间模型
下载PDF
向量加法系统验证问题研究综述
16
作者 张文博 龙环 《软件学报》 EI CSCD 北大核心 2018年第6期1566-1581,共16页
Petri网是形式化验证领域最重要的模型之一,具有重要的理论和应用价值.从验证算法分析的角度,Petri网可以被等价地抽象为向量加法系统.在对向量加法模型的研究中,人们又发展了一些重要的扩展模型.对近些年来国内外学者在向量加法系统验... Petri网是形式化验证领域最重要的模型之一,具有重要的理论和应用价值.从验证算法分析的角度,Petri网可以被等价地抽象为向量加法系统.在对向量加法模型的研究中,人们又发展了一些重要的扩展模型.对近些年来国内外学者在向量加法系统验证领域取得的成果进行了系统总结.首先给出了向量加法系统及几个关键验证问题的形式化定义,并重点总结了一般向量加法系统模型上可达性问题的最新研究进展和关键技术;接着总结了当限定模型的维度为固定值时相关研究进展,重点给出了2维情况的核心定理;随后介绍了几个重要扩展模型,并总结了这些模型上验证问题研究的最新进展.在每一部分,都对未来研究方向及可能面临的挑战进行了展望. 展开更多
关键词 PETRI网 向量加法系统 可达性 形式化验证 算法复杂性
下载PDF
GREEN'S FUNCTIONS FOR ANISOTROPIC PIEZOELECTRIC BIMATERIALS WITH A SLIPPING INTERFACE
17
作者 Wang Xu Shen Yapeng Du Jianke (Department of Engineering Mechanics,Xi’an,Jiaotong University,Xi’an 710049,China) 《Acta Mechanica Solida Sinica》 SCIE EI 2001年第3期189-194,共6页
An explicit full-field expression of the Green's functions for anisotropic piezoeleetric bimateri- als with a slipping interface is derived.When the electro-elastic singularity reduces to a pray dislocation in dis... An explicit full-field expression of the Green's functions for anisotropic piezoeleetric bimateri- als with a slipping interface is derived.When the electro-elastic singularity reduces to a pray dislocation in displacement and electric potential,interaction energy,between the dislocation and the bimaterials is obtained explicitly while the generalized force on the disloeation is given in a real form whieh is also valid for degener- ate materials.The investigation demonstrates that the houndary conditions at lhe slipping interface between two piezoelectric materials will exert a prominent influence on the mobility of the dislocation. 展开更多
关键词 holomorphic function vector Stroh formalism slipping interface
下载PDF
Local integrable differential systems and their normal forms
18
作者 Shiliang Weng Xiang Zhang 《上海师范大学学报(自然科学版)》 2014年第5期476-485,共10页
In this paper we first summarize our results published in recent years and their sketch proofs on local integrability,which are on the characterization of local integrability and on the existence of analytic normaliza... In this paper we first summarize our results published in recent years and their sketch proofs on local integrability,which are on the characterization of local integrability and on the existence of analytic normalization of analytically integrable differential systems. Then we present a new result on the equivalent characterization of the existence of the first integrals of an analytic differential systems near a nonhyperbolic singularity. Finally we pose some open problems on this subject. 展开更多
关键词 formal diffeomorphism embedding vector field normal form
下载PDF
面向领域的语义搜索引擎的应用研究 被引量:5
19
作者 赵宏亮 杨鹤标 《计算机工程与设计》 CSCD 北大核心 2012年第5期1801-1805,共5页
针对基于关键字的搜索引擎缺乏语义的问题,提出了一种面向专业领域的语义搜索引擎模型。以领域本体形式化描述为基础,构建本体语义框架,进而给出语义搜索模型。在模型中,以概念、概念-实例以及关键字等3种扩展特征项作为基础,对查询扩... 针对基于关键字的搜索引擎缺乏语义的问题,提出了一种面向专业领域的语义搜索引擎模型。以领域本体形式化描述为基础,构建本体语义框架,进而给出语义搜索模型。在模型中,以概念、概念-实例以及关键字等3种扩展特征项作为基础,对查询扩展算法和文档语义标注算法进行了研究,并且构建了语义索引,通过引入向量空间模型判定扩展检索词与语义文档的相似度。实验结果表明,该模型较传统模型较大提高了检索的查准率和查全率。 展开更多
关键词 搜索引擎 语义索引 查询扩展 语义标注 领域本体
下载PDF
Dynamically generated resonances from the vector octet-baryon decuplet interaction and their radiative decays into γ-baryon decuplet
20
作者 孙宝玺 Sourav Sarkar +1 位作者 E. Oset M.J. Vicente Vacas 《Chinese Physics C》 SCIE CAS CSCD 2009年第12期1366-1368,共3页
The dynarnically generated resonances from vector meson-baryon decuplet are studied using La- grangians of the hidden gauge theory for vector interactions. One shows that some of the generated states can be associated... The dynarnically generated resonances from vector meson-baryon decuplet are studied using La- grangians of the hidden gauge theory for vector interactions. One shows that some of the generated states can be associated with some known baryon resonances in the PDG data, while others are predictions for new states. Furthermore, we calculate the radiative decay widths of these resonances into a photon and a baryon decuplet. 展开更多
关键词 dynamically generated resonances chiral dynamics hidden gauge formalism for vector mesoninteraction
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部