设备自动巡检逻辑的层级有限自动机建模与实现

为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示.给出了HFA向软件实现转化的基本框架.这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证.     

3D城市建模方法

为了推进城市建模应用更好地普及和发展,对数量庞大的城市建模方法群和相关技术,从总体上进行了梳理。采用从输入、处理与输出3个环节考察系统的一般方法,提出一种新的描述3D城市建模技术与应用的体系结构,并建立完整的技术视图。基于图像等测量数据的真实城市建模和基于规则驱动过程的虚拟城市建模两种类型,考察现有建模方法与技术的最新进展和存在的一些问题。在此基础上,指出过程建模正逐渐成为主流的建模方法及还有待于发展的内容。特别指出了有实时性要求的植物、雨雪、风化等自然景物以及基于物理的快速建模是城市建模未来的重要应用方向。     

可视化语言及其核心技术

可视化语言是起步不久的编程语言 ,目前已成为程序设计语言的主流 ,代表了程序设计语言的最新发展。它的技术成份非常丰富 ,给程序设计人员的学习造成了一定的难度。在综合研究多种流行的典型可视化语言基础上 ,从体系上归纳出了可视化语言采用的一些核心技术 ,重点阐述了可视化语言使用 OOP( Object- Oriented Programming)成份及可视化实现、OLE、多媒体、数据库和软构件等技术的方法和原理 ,以期从总体上把握可视化语言的技术特点和体系结构。