海森堡XYZ自旋链系统的热纠缠与局域量子不确定性研究

研究了热平衡温度,自旋交换相互作用,Dzyaloshinskii-Moriya(DM)相互作用及外加非一致性磁场对两比特海森堡XYZ自旋链量子系统的热纠缠与局域量子不确定度的影响,对比分析了并发度量子纠缠与局域量子不确定度描述自旋链系统量子关联的差别.结果表明自旋链系统的量子纠缠在热平衡温度,DM相互作用及外加磁场的非一致性参数的变化情况下均会出现纠缠突然死亡的再生现象,而自旋链系统的局域量子不确定度随着这些参数呈连续变化现象.并且,自旋交换相互作用,DM相互作用及外加横向磁场作用强度较小时,他们的变化对自旋链系统的量子纠缠与局域量子不确定度的影响有着明显的差别.

Three-qubit海森堡XYZ各向异性自旋链系统QMA熵不确定度的量子调控

本文研究了three-qubit海森堡XYZ各向异性自旋链系统各项参数和外加磁场对量子存储支撑(Quantum memory assisted,QMA)熵不确定度及其下限的调控行为,以及对被测系统与存储系统之间量子纠缠的影响.结果表明:增大系统的Dzyaloshinski-Moriya(DM)相互作用强度、降低系统温度、增大沿Z正方向磁场强度可以提高被测系统与存储系统之间的量子纠缠,降低系统QMA熵不确定度及其下限,被测系统与存储系统之间的量子纠缠与QMA熵不确定度及其下限呈类反相关.

基于哈佛框架下XYZ药业的财务分析

随着人们生活水平的提高,医药产业受到了越来越多的百姓的关注和重视,医药产业不仅与人们的日常生活息息相关,而且对我国医疗卫生发展有着举足轻重的影响。本文利用哈佛框架,以XYZ药业的战略与财务报表为切入口对企业成长状况进行综合的观察、分析和评价,发现XYZ药业在盈利能力、营运能力、偿债能力、发展能力等方面存在问题并提出相关建议。

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.

分析XYZ世代人群对电子商务的不同态度和消费习惯

在我国,大家习惯把不同时代的人按出生年份分为80后、90后、00后,在欧洲,人们习惯把不同世代的人按X、Y、Z划分,就是我们经常听到的X世代、Y世代和Z世代,世代长度是当前群体的上一代的平均年龄。XYZ世代人群的年龄跨度很大,而且这三代人经历了电子商务的出现及崛起,并且都有着自己这一代人独有的消费习惯。电商平台应根据其特点和需求进行优化和改进,提供更加个性化和精准化的消费体验,这不仅能够满足XYZ世代的需求,也能够吸引更多年轻用户的青睐。

基于XYZ/ADL描述的选修课管理系统体系结构

XYZ/ADL是一种基于时序逻辑语言XYZ/E的可视化体系结构描述语言。文章使用XYZ/ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述,并对服务器组件中选课这一事件进行了详细描述。

基于XYZ/ADL的Web服务组合精化检验

Web服务组合的正确性验证在Web服务组合过程中至关重要.从软件体系结构角度考虑Web服务组合,可以从整体上把握系统布局.采用体系结构描述语言XYZ/ADL描述Web服务组合,并将XYZ/ADL中的XYZ/RE程序映射至时间自动机,使用精化检验方法验证Web服务组合的正确性.

XYZ/AE描述程序性质的探讨

为保证程序的正确性,程序在投入使用前需要检验其是否满足规定的性质,那么程序的性质需要用一种语言来描述。XYZ/AE是时序逻辑系统XYZ的一个子语言,用此语言描述程序性质有很多优点。XYZ/AE不仅能描述所有的程序性质且简单易懂,另外它能与可执行语言XYZ/EE结合,描绘程序中间程度的抽象性,具有很好的扩展性。文章从上述几方面探讨了XYZ/AE描述程序性质的能力。

基于时序逻辑的软件体系结构描述语言XYZ/ADL

体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格.

一种反应式SPM及其动态语义XYZ表示

过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.

基于XYZ/E规范的软件测试用例自动生成方法

针对软件规范输入域与被测软件输入域之间边界不一致引起的测试用例失效问题,提出一种基于时序逻辑语言XYZ/E软件规范说明的测试用例自动生成方法。该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。最后,通过一个实例验证了该方法的可行性。与传统方法相比,该方法既保证了软件测试用例的有效性,又减少了测试用例输出的计算工作量。

XYZ到CMY颜色空间转换的研究

利用纽介堡方程研究三刺激值和网点面积率之间的转换关系,实现XYZ到CMY颜色空间的转换。并利用网点增大量法修正了纽介堡方程,提高了转换精度。

用XYZ/E形式化体系结构风格

该文用时序逻辑语言 XYZ/ E刻画了若干种常见的体系结构风格 .在刻画风格之前 ,首先通过研究常见组件及连接方式间的关系分析了风格之间的关系 。

UML 2.0顺序图的XYZ/E时序逻辑语义研究

UML2.0顺序图适合于描述软件体系结构的各个组件之间和复合组件内部各个子组件之间的动态交互行为,但由于UML2.0顺序图的语义不够精确,使得它的描述结果不利于进一步的分析和验证。基于此,本文在定义UML2.0顺序图的语法和语法约束的基础上,给出了UML2.0顺序图的XYZ/E时序逻辑语义,为使用UML2.0顺序图与XYZ/E相结合的方式来描述软件体系结构的动态交互行为奠定了基础。

基于三维查找表的RGB到XYZ颜色空间转换的研究

在分析三维查找表算法基本原理的基础上,采用Matlab编程建立了RGB到XYZ颜色空间的转换模型,并实验比较了4种插值算法的模型精度。研究结果表明:转换模型的转换精度较高,效果理想,且随着RGB颜色空间被划分的越细小,转换精度会越高。

基于BP神经网络的CMY到XYZ颜色空间转换算法研究

对基于BP神经网络的CMY到XYZ颜色空间转换算法进行了探讨,给出了算法工作流程并建立了模型。最后通过实验对算法进行了验证。

基于XYZ/E的CA认证系统描述与求精

时序逻辑语言XYZ/E在统一的逻辑框架下既能表示静态语义又能表示动态语义,可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型,对CA和RA组件用XYZ/E进行了描述和求精。

XYZ/E面向对象程序语义概述

XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.

基于XYZ/E描述和验证容错系统

研究使用XYZ/E描述和验证容错系统.基于XYZ/E中可执行程序P对应的状态转换系统对其错误环境F建模,通过错误转换给出错误影响程序PF;基于P,F和恢复算法R,通过容错转换给出容错程序PF-R;定义了程序P,Q之间两种求精关系:容错求精和向后恢复求精,基于这两种求精关系可直接从程序P的规范推导出程序Q满足的一些性质.

基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述

网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。