交互式马尔可夫链代数的事件结构模型

对进程代数LOTOS的事件结构模型进行了随机特性的量化扩展.给出了随机进程代数交互式马尔可夫链代数(IMCA)的非交互式语义模型:事件结构.并且证明了给出的随机事件结构模型的正确性.同时,给出了IMCA基于事件的操作语义,并且证明了它和现有交互式语义的一致性.

一个带时间限制的事件结构模型

给出了一个带时间限制的扩展绑定事件结构.在这个结构中,给每个事件一个时间值,同时对绑定中的每一个事件指定一个时间限制值.一个事件e带有时间限制值t表示从系统开始执行算起,事件e从时间点t开始成为可能事件.对于绑定X|→ec和ea∈X,时间ta表示,如果事件ea,ec出现在系统的一次运行中,则ta是这两个事件发生的最小时间限制值.我们给出了能反映上述特点的事件结构模型,分析了模型中带时间的事件迹、带时间的偏序集、剩余事件结构等概念的特性,并且证明了这个模型是无时间限制的事件结构模型的保守扩展.

用Tcl/Tk开发Linux下的图形界面应用

探讨Ｔｃｌ／Ｔｋ的基本原理，分析Ｔｋ在构建图形界面、与操作事件绑定以及实现事件响应等主要方面的功能，介绍用Ｔｃｌ／Ｔｋ开发Ｌｉｎｕｘ下图形应用的环境要求以及脚本形成的方法和步骤。

动态生成图形界面程序的设计与实现

介绍通过运行解释程序解析XML描述文件,动态生成Qt语言图形界面应用程序的实现方法。实际应用证明,使用这种技术可以缩短软件开发周期,提高软件的可扩展性、可维护性和稳定性。