期刊文献+
共找到193篇文章
< 1 2 10 >
每页显示 20 50 100
海森堡XYZ自旋链系统的热纠缠与局域量子不确定性研究
1
作者 张延亮 陈迪 《原子与分子物理学报》 CAS 北大核心 2024年第2期117-123,共7页
研究了热平衡温度,自旋交换相互作用,Dzyaloshinskii-Moriya(DM)相互作用及外加非一致性磁场对两比特海森堡XYZ自旋链量子系统的热纠缠与局域量子不确定度的影响,对比分析了并发度量子纠缠与局域量子不确定度描述自旋链系统量子关联的差... 研究了热平衡温度,自旋交换相互作用,Dzyaloshinskii-Moriya(DM)相互作用及外加非一致性磁场对两比特海森堡XYZ自旋链量子系统的热纠缠与局域量子不确定度的影响,对比分析了并发度量子纠缠与局域量子不确定度描述自旋链系统量子关联的差别.结果表明自旋链系统的量子纠缠在热平衡温度,DM相互作用及外加磁场的非一致性参数的变化情况下均会出现纠缠突然死亡的再生现象,而自旋链系统的局域量子不确定度随着这些参数呈连续变化现象.并且,自旋交换相互作用,DM相互作用及外加横向磁场作用强度较小时,他们的变化对自旋链系统的量子纠缠与局域量子不确定度的影响有着明显的差别. 展开更多
关键词 局域量子不确定性 热纠缠 xyz自旋链 DM相互作用
下载PDF
Three-qubit海森堡XYZ各向异性自旋链系统QMA熵不确定度的量子调控
2
作者 刘科洋 周清平 《原子与分子物理学报》 北大核心 2024年第6期109-116,共8页
本文研究了three-qubit海森堡XYZ各向异性自旋链系统各项参数和外加磁场对量子存储支撑(Quantum memory assisted,QMA)熵不确定度及其下限的调控行为,以及对被测系统与存储系统之间量子纠缠的影响.结果表明:增大系统的Dzyaloshinski-Mor... 本文研究了three-qubit海森堡XYZ各向异性自旋链系统各项参数和外加磁场对量子存储支撑(Quantum memory assisted,QMA)熵不确定度及其下限的调控行为,以及对被测系统与存储系统之间量子纠缠的影响.结果表明:增大系统的Dzyaloshinski-Moriya(DM)相互作用强度、降低系统温度、增大沿Z正方向磁场强度可以提高被测系统与存储系统之间的量子纠缠,降低系统QMA熵不确定度及其下限,被测系统与存储系统之间的量子纠缠与QMA熵不确定度及其下限呈类反相关. 展开更多
关键词 Three-qubit海森堡xyz各向异性自旋链 QMA熵不确定度 DM相互作用 平方负性纠缠
下载PDF
基于哈佛框架下XYZ药业的财务分析
3
作者 施晶媛 《金融》 2024年第2期475-488,共14页
随着人们生活水平的提高,医药产业受到了越来越多的百姓的关注和重视,医药产业不仅与人们的日常生活息息相关,而且对我国医疗卫生发展有着举足轻重的影响。本文利用哈佛框架,以XYZ药业的战略与财务报表为切入口对企业成长状况进行综合... 随着人们生活水平的提高,医药产业受到了越来越多的百姓的关注和重视,医药产业不仅与人们的日常生活息息相关,而且对我国医疗卫生发展有着举足轻重的影响。本文利用哈佛框架,以XYZ药业的战略与财务报表为切入口对企业成长状况进行综合的观察、分析和评价,发现XYZ药业在盈利能力、营运能力、偿债能力、发展能力等方面存在问题并提出相关建议。 展开更多
关键词 xyz药业 医药行业 竞争 创新 财务
下载PDF
Effect of spin-orbit interaction on entanglement of two-qutrit Heisenberg XYZ systems in an inhomogeneous magnetic field
4
作者 秦猛 李延标 《Chinese Physics C》 SCIE CAS CSCD 2010年第4期448-451,共4页
We investigate the properties of spin-orbit interaction in the ground state and thermal entanglement of a two-qutrit Heisenberg XYZ system in the presence of an inhomogeneous magnetic field. Using negativity as entang... We investigate the properties of spin-orbit interaction in the ground state and thermal entanglement of a two-qutrit Heisenberg XYZ system in the presence of an inhomogeneous magnetic field. Using negativity as entanglement measure, we give the dependence of entanglement on each parameter in detail. The result shows that one can get appropriate entanglement by adjusting the magnetic field, Dzyaloshinskii-Moriya interaction and anisotropy parameter simultaneously. 展开更多
关键词 ENTANGLEMENT NEGATIVITY Heisenberg xyz chain
原文传递
分析XYZ世代人群对电子商务的不同态度和消费习惯
5
作者 欧阳璐 《中国电子商务》 2023年第9期38-40,共3页
在我国,大家习惯把不同时代的人按出生年份分为80后、90后、00后,在欧洲,人们习惯把不同世代的人按X、Y、Z划分,就是我们经常听到的X世代、Y世代和Z世代,世代长度是当前群体的上一代的平均年龄。XYZ世代人群的年龄跨度很大,而且这三代... 在我国,大家习惯把不同时代的人按出生年份分为80后、90后、00后,在欧洲,人们习惯把不同世代的人按X、Y、Z划分,就是我们经常听到的X世代、Y世代和Z世代,世代长度是当前群体的上一代的平均年龄。XYZ世代人群的年龄跨度很大,而且这三代人经历了电子商务的出现及崛起,并且都有着自己这一代人独有的消费习惯。电商平台应根据其特点和需求进行优化和改进,提供更加个性化和精准化的消费体验,这不仅能够满足XYZ世代的需求,也能够吸引更多年轻用户的青睐。 展开更多
关键词 xyz世代人群 电子商务 消费习惯
下载PDF
基于XYZ/ADL的Web服务组合描述与验证 被引量:6
6
作者 张广泉 戎玫 +2 位作者 朱雪阳 何亚丽 石慧娟 《电子学报》 EI CAS CSCD 北大核心 2011年第A03期86-93,共8页
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证... Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性. 展开更多
关键词 WEB服务组合 xyz/ADL xyz/RE 时间自动机 精化检验 模型检测
下载PDF
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
7
作者 朱雪阳 唐稚松 《软件学报》 EI CSCD 北大核心 2003年第4期713-720,共8页
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于... 体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格. 展开更多
关键词 时序逻辑 软件体系结构 描述语言 xyz/ADL 软件开发 体系结构描述语言 时序逻辑语言
下载PDF
XYZ到CMY颜色空间转换的研究 被引量:9
8
作者 李志会 唐万有 于治国 《包装工程》 CAS CSCD 北大核心 2010年第7期96-98,共3页
利用纽介堡方程研究三刺激值和网点面积率之间的转换关系,实现XYZ到CMY颜色空间的转换。并利用网点增大量法修正了纽介堡方程,提高了转换精度。
关键词 xyz空间 CMY空间 纽介堡方程 色彩管理
下载PDF
用XYZ/E形式化体系结构风格 被引量:13
9
作者 焦文品 史忠植 《软件学报》 EI CSCD 北大核心 2000年第3期410-415,共6页
该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 。
关键词 软件体系结构 风格 形式化 xyz/E
下载PDF
基于XYZ/E规范的软件测试用例自动生成方法 被引量:4
10
作者 虞凡 覃征 +1 位作者 贾晓琳 何坚 《计算机工程》 EI CAS CSCD 北大核心 2005年第19期76-78,共3页
针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程... 针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。最后,通过一个实例验证了该方法的可行性。与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量。 展开更多
关键词 测试用例生成 软件规范 xyz/E PROLOG 边界值测试
下载PDF
一种反应式SPM及其动态语义XYZ表示 被引量:6
11
作者 董广智 柳军飞 齐璇 《软件学报》 EI CSCD 北大核心 2005年第11期1876-1885,共10页
过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive... 过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础. 展开更多
关键词 过程支撑环境 软件过程模型 过程建模语言 反应式 xyz/E
下载PDF
UML 2.0顺序图的XYZ/E时序逻辑语义研究 被引量:11
12
作者 黄正宝 张广泉 《计算机科学》 CSCD 北大核心 2006年第8期249-251,共3页
UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础... UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础上,给出了UML2.0顺序图的XYZ/E时序逻辑语义,为使用UML2.0顺序图与XYZ/E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。 展开更多
关键词 时序逻辑 形式化语义 UML2.0 顺序图 xyz/E
下载PDF
基于三维查找表的RGB到XYZ颜色空间转换的研究 被引量:11
13
作者 李瑞娟 邓倩 《包装工程》 CAS CSCD 北大核心 2012年第13期116-119,共4页
在分析三维查找表算法基本原理的基础上,采用Matlab编程建立了RGB到XYZ颜色空间的转换模型,并实验比较了4种插值算法的模型精度。研究结果表明:转换模型的转换精度较高,效果理想,且随着RGB颜色空间被划分的越细小,转换精度会越高。
关键词 RGB空间 xyz空间 颜色空间转换 三维查找表
下载PDF
基于XYZ/E的CA认证系统描述与求精 被引量:3
14
作者 刘俭云 张广泉 戎玫 《计算机科学》 CSCD 北大核心 2006年第8期267-270,共4页
时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型,对CA和RA组件用XYZ/E进行了描述和求精。
关键词 xyz/E CA RA 描述 求精
下载PDF
基于XYZ/E描述和验证容错系统 被引量:5
15
作者 郭亮 唐稚松 《软件学报》 EI CSCD 北大核心 2002年第5期913-920,共8页
研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢... 研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质. 展开更多
关键词 验证 容错系统 时序逻辑语言 xyz/E语言 软件系统
下载PDF
基于BP神经网络的CMY到XYZ颜色空间转换算法研究 被引量:11
16
作者 陈路 李小东 《包装工程》 CAS CSCD 北大核心 2007年第7期63-64,共2页
对基于BP神经网络的CMY到XYZ颜色空间转换算法进行了探讨,给出了算法工作流程并建立了模型。最后通过实验对算法进行了验证。
关键词 BP神经网络 CMY颜色空间 xyz颜色空间 检测算法
下载PDF
用XYZ/E语言描述和验证硬件的行为 被引量:7
17
作者 韩俊刚 王岩冰 沈武威 《软件学报》 EI CSCD 北大核心 1996年第11期676-682,共7页
本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系... 本文考虑用时态逻辑语言XYZ/E描述硬件行为的可行性.作为实例,用XYZ/E语言描述了一个基于微处理器的容错计算机系统,这种描述可以在XYZ系统上执行,从而可对系统进行模拟.特别有意义的是利用XYZ/VERI验证子系统对所期望的性质进行了形式化证明.本文还将XYZ/E描述与相应的VHDL(VHSIChardwaredescriptionlanguage)描述进行了比较. 展开更多
关键词 时态逻辑 硬件描述语言 xyz/E语言
下载PDF
XYZ/E面向对象程序语义概述 被引量:5
18
作者 郭亮 唐稚松 《软件学报》 EI CSCD 北大核心 2003年第3期356-361,共6页
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.
关键词 xyz/E 面向对象 程序语义 程序设计语言 时序逻辑语言 代理机构 语义一致性
下载PDF
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文) 被引量:2
19
作者 李广元 唐稚松 《软件学报》 EI CSCD 北大核心 2000年第3期285-292,共8页
指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机... 指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 . 展开更多
关键词 形式语义 程序验证 指针 时序逻辑语言 xyz/E
下载PDF
基于XYZ/ADL的异步Web服务组合描述与验证 被引量:2
20
作者 石慧娟 戎玫 +1 位作者 张广泉 朱稷涵 《计算机科学》 CSCD 北大核心 2011年第12期139-143,共5页
以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAA... 以Web服务组合为研究对象,重点讨论了服务组合中异步通信行为和时间属性的形式化描述和验证。首先,从软件体系结构角度分析Web服务组合,采用基于时序逻辑的XYZ/ADL描述Web服务的交互行为和时间属性;然后,提出一种符合模型检测工具UPPAAL规约的时间异步通信模型TACM;最后,实现了XYZ/RE通信命令到TACM的映射,利用UPPAAL验证了服务组合系统异步通信行为的正确性。 展开更多
关键词 WEB服务组合 xyz/ADL 异步通信 时间属性 模型检测
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部