公共文化服务平台

搜索到60篇“ XYZ系统“的相关文章

基于Core XYZ系统和机器视觉的智能化菠萝采摘机及采摘方法: 本发明公开一种基于Core XYZ系统和机器视觉的智能化菠萝采摘机及采摘方法，菠萝采摘机包括：机体支架；视觉模块设置于所述机体支架上，视觉模块用于识别菠萝的空间位置；主控模块与视觉模块电性连接，视觉模块能够将空间位置信息...; 甄文斌杨国柱练卓谦李培基夏雅各邢岳杜亦民林栋

基于1931CIE-XYZ系统的激光电视色域虚拟扩展方法: 本发明涉及一种基于1931CIE-XYZ系统的激光电视色域虚拟扩展方法。它具有可以充分利用激光大色域，高饱和度的优势，使电视图像表现色彩更加丰富，呈现图像更具有层次，更加接近自然界的真实色彩等优点，它的步骤为：步骤1：在...; 宋刚邱天星王洪君万强刘英李义辉; 文献传递

基于1931CIE-XYZ系统的激光电视色域虚拟扩展方法: 本发明涉及一种基于1931CIE-XYZ系统的激光电视色域虚拟扩展方法。它具有可以充分利用激光大色域，高饱和度的优势，使电视图像表现色彩更加丰富，呈现图像更具有层次，更加接近自然界的真实色彩等优点，它的步骤为：步骤1：在...; 宋刚邱天星王洪君万强刘英李义辉

基于CIE-xyz系统的反射光色度的研究被引量：4: 2007年; 本文对三基色及颜料混合纸板反射光的信号进行收集,借助单片机积分球对实验数据进行积分和生成的反射率曲线分析,并将实验结果与生活经验进行了比较,验证了颜色相关原理,得出各波长谱线反射率随白料增加均呈上升趋势。; 陈艳山鲍烈; 关键词：三基色色度测量

XYZ系统在多媒体领域的应用研究: 该文主要研究XYZ系统在多媒体领域的应用问题.XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统,它由时序逻辑语言(TLL:Temporal Logic Language)XYZ/E和以该语言为基础...; 赵琛; 关键词：多媒体系统 XYZ系统自动转换形式化方法; 文献传递

XYZ系统的目的、意义、作用与应用被引量：12: 1999年; ＸＹＺ系统是一个基于线性时序逻辑的软件工程系统，由中国科学院软件研究所经过１５年的时间设计并实现．它被用于解决某些高技术工程领域的问题．文章介绍了这个系统的目的、意义、作用和应用．; 唐稚松; 关键词：XYZ系统时序逻辑语言软件工程

XYZ系统对实时控制系统中进程调度和中断机制的描述: Ｚ系统是一套基于线性时序语义的软件工程ＣＡＳＥ环境，ＸＹＺ／Ｅ作为其核心既可以用于抽象描述也可以用于程序性的细节描述。该文将ＸＹＺ应用于专用控制系统。描述了优先抢占式系统的事件机制，为形式化方法在实际工程领域的应用做了尝...; 宋悦郝克刚; 关键词：XYZ/E TRANSITION TEMPORAL LOGIC

XYZ系统在动画设计中的应用被引量：8: 1998年; ＸＹＺ系统是一套以线形时序逻辑为基础的ＣＡＳＥ环境系统，其核心是时序逻辑语言ＸＹＺ／Ｅ．ＸＹＺ／ＡＤＬ（ａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是ＸＹＺ系统在动画领域的应用．马华东博士采用基于时序逻辑的动画描述模型ＴＬＡＤ（ｔｅｍｐｏｒａｌ－ｌｏｇｉｃ－ｂａｓｅｄａｎｉｍａｔｉｏｎｄｅｓｃｒｉｐｔｉｏｎｍｏｄｅｌ），提出了动画剧本描述语言（ＳＤＬ／Ａ）．本文介绍的ＸＹＺ／ＡＤＬ语言是以ＸＹＺ／Ｅ的框架为基础扩充ＳＤＬ／Ａ而成．它使用ＸＹＺ／Ｅ中面向对象程序设计的基本结构——代理机构（Ａｇｅｎｔ）作为基本描述单元．代理机构由通讯进程和相应的包块构成，包块处理对象封装，进程处理通讯．从而能更方便地刻画动画过程中的复杂、多层次的角色（包括父子角色）的运动特征及多角色之间的同步协调关系，并且在统一的逻辑框架下实现了计算机动画中运动对象的行为抽象和运动的抽象描述，更具一般性．; 唐小平唐稚松马华东赵琛; 关键词：动画设计 XYZ系统计算机

基于XYZ系统的协同工作系统的描述模型: 1998年; 指出了现有计算机支持下协同工作系统的不足，给出了一个通用的协作模型：任务－组织－活动的协同模型及基于此模型的系统结构．利用ＸＹＺ／Ｅ的代理机构给出了系统的ＸＹＺ描述模型和基于这个模型的系统活动描述．; 邓芳马华东钟义信李怀诚; 关键词：描述语言协同工作模型 XYZ系统

XYZ系统在电信领域中的应用被引量：4: 1996年; 最近几年，在软件工程界内部有一种趋势，这就是开发以面向具体领域的ＣＡＳＥ环境．作为这样的一种ＣＡＳＥ工具，ＸＹＺ系统是由一时序逻辑语言ＸＹＺ／Ｅ和一组基于该语言的工具集构成．在ＸＹＺ系统中有很多的工具，它们被用来满足不同的需要．众所周知，ＳＤＬ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｎｄｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）是电信领域中的一个国际标准语言，而且有关基于该语言的环境已在开发，但是有关该语言的验证工作，特别是利用有关时序逻辑语言进行验证的工作还不多．作为一种尝试，本文将利用ＸＹＺ系统中的一个子系统ＸＹＺ／ＶＥＲＩ，对ＳＤＬ所描述的有关电信领域中的例子进行验证．; 沈武威唐稚松; 关键词：电信 XYZ系统软件工程

相关作者