基于时序逻辑的UML2.0通信图语义研究

UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证.XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义.在定K.UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础.     

XYZ06型地面遥测气象仪通信数据模拟软件

本文根据XYZ06型地面遥测气象仪的结构原理从其实践性教学的需要，主要介绍了XYZ06型地面遥测气象仪通信数据模拟软件的研制目的、工作原理、软件流程、实现的功能及测试结果。     

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

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

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

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

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

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

A unified linear-time temporal logic solution to the steam-boiler control specification problem

The TLL XYZ/E is a formal language able to represent the dynamic semantics and the static semantics in a unified framework. It supports the whole process of program development, i.e. from the abstract specification to the efficiently executable program in a formal, precise and convenient way. The steam boiler control specification problem, a large case study in the fields of real time, hybrid and communication systems, is discussed with XYZ/E. The approach covers physical model construction, formal specification, stepwise refinement, verification, executable program and visual user interface programming.     

程序断言的半自动生成及证明逻辑

如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。为了摆脱这些琐碎事宜,将致力于探讨一种半自动的断言生成方法。为便于理解,讨论主要以XYZ/VERI系统为论述背景。XYZ/VERI 系统是一面向时序逻辑程序语言如XYZ/SE 的类Hoare逻辑交互式验证系统。该工作一定意义上完善了其验证功能。     

设计模式的一种形式化描述方法

设计模式是人们在实践过程中总结出来的成功设计范例,实现在设计模武应用过程中自动选择,有着重大的意义.而形式化描述设计模式是自动选择的基础,为此文中提出了基于时序逻辑语言XYZ/E来表示设计模式的静态和动态形式化语义的方法.通过对设计模式静态结构、动态行为及其特点的分析,找出形式化描述规则,利用转换法实现了设计模式XYZ/E的形式化描述.     

关于XYZ与CMY转换模型的探讨

以样张为研究对象的基础上,利用线性微元化的方法,即定位目标栅格一确定系数矩阵和基准点-利用数学模型进行求解-完成颜色空间转换,实现了其转换,这一研究成果可用于把图象处理结果直接向输出系统传递.转换结果的精度比较高,这对于印刷前工作具有重要的应用价值.     

一种利用寻边器和XYZ平台测量和调节同轴度的方法

介绍了一种利用寻边器和XYZ平台测量同轴度的方法,这种方法利用了数字式三维工件寻边器高精度、多功能和XYZ平台能在三维空间上移动、具有较高重复定位精度等优点。寻边器吸附在XYZ平台上,旋转XYZ平台各轴丝杠,使寻边器的测量头从轴表面选定点开始沿着特定方向移动。不断调整轴的位置,可使电主轴和测功机具有较高的同轴度,以满足电主轴18000rpm的高转速加载可靠性试验要求。最后,利用求距法推导计算出了电主轴与测功机的同轴度表达式。