Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation

Physics-based animation programs are important in a variety of contexts, including science, engineering, education and entertainment among others. Manual construction of such programs is expensive, time-consuming and prone to error. We have developed a system for automatically synthesizing physics-based animation programs for a significant class of problems: constrained systems of rigid bodies, subject to driving and dissipative forces, under the control of an interactive user. Our system includes a graphical interface for specifying a physical scenario, including objects, geometry and coordinate systems, along with a symbolic interface for specifying dynamical variables, forces and constraints operating in the scenario. The entities defined in the graphical interface serve as the underlying vocabulary for specifications entered in the symbolic interface. Our system partitions the constraints and dynamical variables into classes and assigns each class to be implemented in a different component of a general simulation program scheme. It generates a numerical C⁺⁺ simulation program that drives a real-time animation of the specified scenario. Our system is implemented as a collection of rewrite rules in the Mathematica programming language. Our approach provides some of the benefits of formal deductive program synthesis, while keeping the computational costs of program synthesis more in line with conventional program generator technology. We have successfully tested our system on numerous examples.     

VB和Matlab混合编程方法——MatrixVB

Matlab是目前应用最广泛的数值科学计算语言,同时也是系统分析和仿真的强大工具,VB是目前使用最广泛的可视化编程工具。MatrixVB作为一种数学工具有效地将Matlab的强大功能融入到了Visual Basic中。通过一个具体的例子演示了如何在Visual Basic6．0中使用MatrixVB函数。结果显示,将Matlab的强大的计算功能与VB在图形用户开发方面的优势结合起来,有效地解决了复杂的雷诺方程的求解问题。     

基于INtime的六自由度运动平台实时测控系统

在六自由度运动平台的测控系统中,既需要满足控制的实时性和较高的定时精度,又需要有较强的图形图像交互功能。针对现有测控系统采用的上下位机分开实现方式带来的缺点,设计了一种基于INtime的六自由度运动平台实时测控系统。该测控系统通过INtime进程对数据采集和控制板卡的直接操作实现实时性,同时在Windows进程中并行运行非实时任务,能够在一台工业控制计算机上实现测控系统的要求。实际运行测试结果显示,该系统具有高实时性能,满足实时控制的要求,图形渲染流畅,验证了该方案的可行性和有效性。     

表格在MATLAB图形用户界面设计中的应用

MATLAB的主要特征是矩阵计算,图形用户界面(Graphic User Interface)是它的另一个特色。利用用户界面表格的技术,将这两个特点结合起来,并由此设计和制作了一款线性规划-运输模型优化的教学软件。编译后能在Windows环境下运行。     

用UML和Object-Z描述交互式系统的接口规格说明

随着图形用户界面的普及，交互已成为目前软件系统的一个重要特征。与传统的基于字符界面的软件系统相比，基于图形用户界面的软件系统，从某种程序上可看作是一个交互式系统。形式化的规格说明具有精确性，无二义性和一致性等优点，用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值。由于形式化的规格说明的可读很差，因此可以采用标准的对象建模UML来帮助对形式化规格说明的理解。     

服务机器人分层式图形化编程平台

为了简化服务机器人编程流程,针对服务机器人任务规划特点,基于分层编程的理念,设计了一套简易图形化编程平台。平台由基本模块层、执行协调层、任务规划层3层组成,用户在不同层次采用不同编程方式,兼顾了编程效率和执行效率。同时,提供了友好的图形化编程界面,方便机器人编程。在交龙服务机器人上的编程实验验证了该平台编程的有效性和便捷性。     

基于Windows 9x的实时控制软件实现方案

Windows提供图形用户界面(GUI)支持,但其中断定时编程不像DOS下可直接对硬件操作。针对Windows 9x操作系统,研究了实时控制软件的几种可能的定时方法:系统定时、多媒体定时、VxD和线程中加轮询方式。在分析比较了几种方式各自特点的基础上,给出了其对于数字控制系统而言相应的适用范围,并对其中的几种方式进行了实例测试。通过实测结果比较,推荐使用多媒体定时器和VxD编程方式实现控制软件的中断编程。     

图形技术在系统仿真中的应用

本文首先从应用对系统仿真提出的要求出发，讨论了图形技术在系统仿真中的地位及应用范围，然后着重介绍了系统仿真中的动画仿真和图形建模技术，提出了实现动画仿真和图形建模必须解决的关键技术问题，并结合ＩＭＳＳ给出了实现动画仿真和图形建模的一种方法。     

RSView32和C++ Builder应用软件的实时信息交换

提出了一种基于RSView32和C＋＋ Builder 4．0的计算机控制系统软件开发方法。用RSView32工控软件实现复杂友好的图形界面,用C＋＋ Builder完成优化控制算法,两者之间通过DDE协议实时交换信息。工业运行证明了其正确性和实用价值。     

SoundWorks: an object-oriented distributed system for digital sound

SoundWorks, an object-oriented distributed system that lets users interactively manipulate sound through a graphical interface, is discussed. The system handles digitally sampled sounds as well as those generated by software and digital signal processing hardware. An overview of the different types of sounds and window interfaces provided by SoundWorks and of the operations that modify these sounds is presented. The high-level architecture and the design of the SoundWorks system the protocol defined between the user interface code and client application, and the sound kernel specification that manages sounds and lines, performs operations on sounds, and interfaces to the digital hardware are described. The NEWS application programming environment, which provided the necessary primitive graphic items for a graphical window-based interface and offered an object-oriented approach for development of the SoundWorks system, is also discussed     

The application visualization system: a computational environmentfor scientific visualization

A software system for developing interactive scientific visualization applications quickly, with a minimum of programming effort, is described. This application visualization system (AVS) is an application framework targeted at scientists and engineers. The goal of the system is to make applications that combine interactive graphics and high computational requirements easier to develop for both programmers and nonprogrammers. AVS is designed around the concept of software building blocks, or modules, which can be interconnected to form visualization applications. AVS allows flow networks of existing modules to be constructed using a direct-manipulation user interface, and it automatically generates a simple user interface to each module     

基于GTK＋的任意波形发生器图形用户界面开发

GTK＋是一种图形用户界面库,现在已经发展成为嵌入式应用领域中开发图形界面应用程序的主流工具之一。本文介绍了GTK＋的技术原理,并以基于GTK＋的任意波形发生器图形界面开发为例讨论了图形用户界面开发的基本方法。     

基于嵌入式Linux下的MiniGUI的应用

目前，嵌入式Linux系统已得到广泛的应用．相应的图形用户界面的开发也日趋重要。本文介绍了应用于嵌入式系统下的图形用户界面MiniGUI的层次结构和特点：并以华恒ARM2410开发板为研究对象，介绍了程序开发方法和移植过程。     

基于LabVIEW的风电机组齿轮箱健康状态监测系统设计

齿轮箱是风力发电机组的主要组成部分之一,也是故障的高发区,积极开展风电齿轮箱故障诊断具有重要意义.基于LabVIEW开发环境和NI CompactDAQ平台开发的风机齿轮箱健康状态监测系统,通过友好的图形化用户界面及图形编程语言控制运行,可以高效地实现对温度、转速、振动信号的采集、图形显示、存储、分析及数据回放等功能,具有良好的扩展性.同时,系统通过采取多种时频域方法对振动信号进行对比分析,可以快速、准确地确定故障的类型.实验结果表明,系统能够稳定、可靠地工作,是进行风机齿轮箱监测的有效工具.     

基于嵌入式Linux下的MiniGUI的应用

目前,嵌入式Linux系统已得到广泛的应用,相应的图形用户界面的开发也日趋重要。本文介绍了应用于嵌入式系统下的图形用户界面MiniGUI的层次结构和特点;并以华恒ARM2410开发板为研究对象,介绍了程序开发方法和移植过程。     

工程数据库管理系统EDBMS的设计与实现

本文从数据管理和工程应用两个方面介绍了一个直接与图形接口管理环境(GIME)、几何造型系统GEMS、交互绘图系统GIS等相联接的面向工程应用的数据库管理系统EDBMS的设计与实现,并讨论了适合于工程应用的系统数据模型、用户接口及其与图形处理系统之间的接口问题.     

MAPBOT: a Web based map information retrieval system

Many types of information are geographically referenced and interactive maps provide a natural user interface to such data. However, map presentation in geographical information systems and on the Web is closed related to traditional cartography and provides a very limited interactive experience. In this paper, we present MAPBOT, an interactive Web based map information retrieval system in which Web users can easily and efficiently search geographical information with the assistance of a user interface agent (UIA). Each kind of map feature such as a building or a motorway works as an agent called a Maplet. Each Maplet has a user interface level to assist the user to find information of interest and a graphic display level that controls the presence and the appearance of the feature on the map. The semantic relationships of Maplets are defined in an Ontology Repository provided by the system which is used by the UIA to assist a user to semantically and efficiently search map information interested. An Ontology Editor with a graphic user interface has been implemented to update the Ontology Repository. Visualization on the client is based on Scalable Vector Graphics which provides a high quality Web map.     

GIB－200高分辨率彩色图象显示控制板的研制

本文介绍一种以ＴＭＳ３４０１０图形系统处理器为主控芯片构成的高分辨率图形图象显示控制板的研制与设计。作者应用ＰＩＣ单片机及数字逻辑电路，设计了一种独特的视频时序产生与接口电路，使该板不但具有高速图形处理功能，而且还具备标准广播电视接口信号，可广泛用于图形图象处理、特技动画、字幕机等视频制作领域。