交互式用户界面的形式化描述与性质验证

随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果,归纳出了一个交互式用户界面的通用模型.为了保证系统设计的正确性,文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL(action based temporal log     

改进的PLML在基于模型的用户界面开发中的应用研究

PLML是描述人机交互模式的一个重要工具,然而它还存在一些缺点。其中一个重要的缺点是它的元素并未明确定义,从而造成了它所描述的设计模式在基于模型的用户界面开发方法中难以自动化或半自动化地应用。针对这一问题,设计了PLML的元素的XML Schema,明确给出了该元素的形式化的描述方法。通过一个实例研究,验证了其在基于模型的用户界面开发中可以起到积极的作用。这一方法也可推广到其它的基于XML的模式描述语言中     

一个面向方面的需求模型

分离横切关注点是软件工程的一项重要原则.应当被应用到整个软件开发过程中.然而至今,这一领域的研究多数只关注于实现和设计阶段.在需求工程中针对横切关注点的研究工作却很少.本文旨在需求层面使用UML描述横切关注点的分离.文章提出了一个面向方面的需求模型.在需求分析阶段识别出横切关注点,并使用扩展的UML模型将其整合到系统的功能需求描述中.该方法有利于开发前期对横切性需求的有效模块化.以及后期项目干系人之间的沟通协调.同时横切性需求的前期分离,为在后期开发阶段制品的映射提供便利.     

Web系统维护中的逆向工程研究

分析丁软件维护当中的问题,提出了一种针对Web系统的逆向工程方法。该方法以Web站点为输入分析页面的源码,从页面链接和交互进行逆向,构建出站点的部署和任务模型,从而直观地表示出对维护人员有帮助的系统信息,同时介绍了笔者自行开发的逆向工程辅助工具。通过该方法．维护人员能够直接得到系统信息,而不必去分析源代码,克服了缺乏设计文档的困难。通过一个web站点的逆向实例,演示了这种方法。     

整合概念设计与详细设计过程的笔式CAD系统研究

目前存在的CAD系统由于交互方式不自然,交互效率低,缺乏对概念设计中模糊信息的支持,中断了设计信息流,导致概念设计与后续设计过程断裂,增加了设计周期和工作量。针对当前CAD系统的不足,提出对于支持概念设计的笔式CAD系统的研究,并探讨实现这样一个系统的问题及解决。其目的在于通过高效地使用当前的手势识别和草图识别技术,支持用户从开始的模糊意图所产生的随手笔画,到最后进行精确定位和绘制,使概念设计与详细设计过程整合,减少工作量和缩短设计周期。     

基于UIML的多设备用户界面生成方法

多设备用户界面开发中不同类型的设备通常需要为同一应用定制不同的界面,或者通过WEB浏览器访问。这两种方法均导致大量额外的开发努力和代价。提出一种基于UIML的多设备用户界面生成方法,其特征是通过建模与设备无关的抽象界面,该方法按照不同的设备特征将其映射为具体的界面;该方法的实现利用了一个运行时机制在具体的设备上绘制出真实界面。实验表明,该方法可减轻多设备界面的开发难度,提高效率。     

基于知识的程序设计环境

程序设计环境是影响软件开发和维护代价的重要因素,传统的工具已不能满足当前软件开发的要求.将人工智能(AI)技术应用于软件开发环境,是改善软件生产率的一条新途径.本文除介绍基本概念外,着重剖析了一个典型的基于知识的软件环境——CHI.     

中国学生营养餐现状分析及对未来发展的思考

详细分析了中国学生营养餐的现状,并对学生营养餐未来的发展进行了思考。     

体育视频中的运动员检测与跟踪

利用自适应高斯混合模型对视频图像进行建模,从图像序列中获取背景图像并提取运动区域,利用像素的颜色信息从背景图像中提取绿色球场。为提高运动员检测的准确度,利用纹理相似性度量方法消除运动区域中的阴影,用形态学方法消除区域内的裂缝,根据球场信息去除球场外的噪声。改进了CamShift算法,并应用该算法对运动员进行跟踪。