笔式用户界面开发工具研究

笔式用户界面提供给用户更为自然的交互方式,然而,笔式用户界面的构造是一项非常困难的工作,一个可用的笔式用户界面系统往往需要多领域、多学科的知识.系统地论述了一个支持笔式用户界面开发的工具系统Penbuilder的设计实现.它基于笔交互的特性以及无处不在的计算环境的要求而设计,为笔式用户界面的开发提供高级的支持.基于Penbuilder的支持,设计开发了一批典型的笔式用户界面原型系统.该研究为笔式用户界面的构造与快速原型提供了有力的支持.

实时系统开发方法研究

In this paper,we investigate the development method for real-time system. Several methods employed in the phase of system modeling,implementation and testing are addressed. Moreover ,we indicate the direction of the study of development method for real-time system.

基于手绘草图的概念设计工具研究与设计

从认知心理学的角度,研究了概念设计的过程,探讨性地指出辅助设计工具应当以灵感为中心。阐述了适合概念设计过程的新的设计方法和交互技术,并介绍了基于手势的草图技术及新一代交互范式———PIBG交互范式。全面分析了约束捕捉、约束求解等关键问题,最后在此基础上给出智能图板系统的设计与实现,为用户提供了一种自然和谐的界面。

项目管理系统的数据模型研究

项目数据来源多,管理复杂,数据模型的研究有助于简化项目管理系统的分析和设计。为了清晰表达项目数据模型,采用了本体论方法,提出了面向项目管理域的数据概念和关系的表达模式,并介绍了项目管理相关的主要概念;探讨了数据模型的共享域、专有域的划分以及信息的共享方式;分析了项目组织、任务组织、人员组织的数据模型框架,并阐述了主要的概念间关系;最后在数据模型的统一概念基础上,给出了数据模型的应用方式。

Web客户端应用程序性能测试自动化研究

论文详细介绍了Web客户端应用程序、Http协议和Web三层体系结构模型,总结了Web客户端应用程序性能测试的范围,深入分析了Web客户端应用程序性能测试自动化的工作机理和具体实现方法,对多项技术难题提出了解决方案。并介绍了Web客户端自动化测试工具———I-bench,其主要功能是测试Internet浏览器极其插件的性能,同时分析浏览器的性能自动化测试的实例———LoadPage。它模拟Internet建立Webclient和WebServer间的通信环境,利用测试用例中的Java/JavaScript程序获取Client软件的工作性能数据。

笔式界面软件资源管理模型及其实现

针对目前文档管理模式和WIMP界面交互范式对笔式交互的不足,提出了笔式界面软件文档资源管理的统一模型,能够有效地管理笔式界面软件所产生的文档数据,并且根据此模型实现了笔式界面的文档资源管理系统,采用了PIBG交互范式和实物界面。评估结果表明,根据此模型设计的系统,能够提高用户工作效率,降低用户的认知负担。

支持概念设计的特征手势建模

给出了特征手势的概念并且建立了特征手势库 ,描述了基于特征手势的建模过程 ;进一步讨论了特征手势内部的约束建立和求解算法以及上下文感知技术 ,通过与传统建模和交互方式的对比 ,验证了特征手势建模的方便性 文中算法以用户为中心 ,给出了自然简便的设计工具 。

基于XML的企业信息集成平台实现及应用

随着企业可获取的信息的大量增长,信息的种类和结构也越来越丰富。从传统的关系数据库,到XML文档以及分布于Web上的大量半结构化的信息。如何把各种不同的数据源统一在一个信息集成平台上,使用户能够高效地,透明地操作各类信息,已经成为一个重要的课题。文章提出的基于XML的企业信息集成框架CII,详细讨论了该框架的设计、实现,以及在国家“九五”重点科技攻关项目:石化应用软件典型示范工程及产品开发上的应用。同时针对工业生产企业中实时数据库的大量使用,该文还专门研究了集成实时数据库信息面临的问题,并提出了相应的解决方案。

面向虚拟装配的三维交互平台

针对当前装配领域的特点 ,提出一个面向虚拟装配的三维交互平台 (Virtual Assem bly Toolkit,VAT) .VAT中包含了新的三维交互思想 ,定义了装配领域中常用的三维交互原语 ,设计和实现了交互原语的捕获、解释和处理框架 .同时 ,VAT封装了三维图形构造、零件间的约束和碰撞检测等功能 .VAT可以大大简化虚拟装配应用的构造 。

最大速度变化的连续Petri网(VCPN)的动态演变及性质判定

最大速度变化的连续 Petri网 (VCPN)是由 David等最早提出的一类时延连续 Petri模型 ,但并未对其动态及结构性质给出分析方法 .首先给出了 VCPN的相区间的定义及其划分 ,并结合实例对 VCPN的动态演变过程进行了分析 .在此基础上 ,结合 VCPN的稳定的相区间 ,进一步对其性质给出了相应的定义及判定定理 .利用这些结论 ,可以对由 VCPN模拟的系统进行性能分析 .这种分析方法对某些系统利用

基于混合自动机的Post-WIMP界面的建模(英文)

Post- WIMP界面作为继当前的主流界面范式—— WIMP界面后的下一代界面范式 ,它和 WIMP界面有着很大的不同 ,通过使用虚拟现实、语音交互、手势交互等技术 ,它能够提供更加自然高效的交互方式 .然而 ,它却难以构造 .为了有效地构造 Post- WIMP界面 ,在构造之前不考虑实现细节 ,而在一个抽象的层次上描述它是一个较好的方法 .首先 ,分析了 Post- WIMP界面的交互本质 ,交互混合性是 Post- WIMP界面一个最为重要的特点 .从形式化系统的角度分析 Post- WIMP界面 ,通过将 Post- WIMP界面抽象为混合系统能够更为准确和严格地分析Post- WIMP界面的特性 .混合自动机是用于描述混合系统的形式化工具 ,将 Post- WIMP界面建模为一组相互协作的混合自动机 .设计了一基于混合自动机理论的半形式化语言 L EAFF作为 Post- WIMP界面的描述工具 .LEAFF通过结合文本描述和图形描述描述 Post- WIMP界面中的交互行为 ,能够准确地反映交互中的控制关系、时序关系 .给出了对两个典型 Post- WIMP界面——虚拟现实交互和笔式交互的描述实例 ,同时讨论了 Post- WIMP界面中交互并行性的描述、交互实时性的验证和从描述到实际交互系统构造的转换 .

广义混杂PN机

建立了广义混杂 PN机模型 ,证明上下文有关矢量文法与广义混杂 PN机模型在语言上是等价的 .这样一来 ,使得文〔4〕中的悬而未决问题得到解决 .另外 ,还进一步研究了

SIS实时历史数据库应用建议

实时历史数据库平台是支持发电厂SIS系统的计算机、数据网络与通信设备、各种技术标准和实时历史数据库软件的有机组合。由于目前数据库技术发展非常快,而电厂SIS应用在实时历史数据库选择上没有完整确定的标准。为适应我国发电企业SIS建设的需要,保证生产安全稳定运行,根据已有SIS系统的实施的经验,本文从系统结构、事务特征、阿络架构以及设计实施等几个方面为SIS用户、厂商、集成商建立实时历史数据库平台提供一般性的功能指南和建议。