语义转换--直接指称语义到接续指称语义

指称语义分为直接指称语义和接续指称语义，其中后一种语义描述的难度较大，给出了直接指称语义描述到接续指称语义描述的转换方法，这就使得这种语义转换的自动化成为可能．转换算法揭示了直接指称语义与接续指称语义之间的内在关系，同时也提供了写接续指称语义描述的有效方法．当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时，提供的技术是很有用的。     

面向对象直接操纵用户界面管理系统开发的关键技术研究

文中认真分析了用户界面管理系统开发的关键技术，系统地阐述了面向对象技术，直接操纵技术和交换互技术库技术等在ＵＩＭＳ系统设计与开发中的应用研究，基于“对话独立”。     

接续到直接的指称语义转换

接续和直接指称语义之间的转换的主要难点在于不保函数基调．基于Monad思想推导出的接续语义函数和直接语义函数之间的关系，给出了基于规约的从接续指称语义描述形式到直接指称语义描述形式的转换技术，分别考虑了接续函数在不同情形下的处理．最后给出了转换算法的Haskell实现系统，验证了转换的可行性．     

向着图视化和直接操纵发展的人机交互技术

图形用户界面（GUI）和直接操纵技术是人机界面和人机交互技术的发展趋势,它的应用极大地改善了计算机系统的易学易用性和用户友好性。本文阐述了GUI及与之相关的问题——图视化、直接操纵、标准化等。最后给出支持直接操纵的GUI生成与管理系统的实例、     

整合Agent与语义Web服务

目前的语义web服务方法和标准提供了很多由Agent平台操纵的基础设施,这有利于Agent与语义web服务的结合。本文分析了语义web服务与Agent之间的关系,提出Agent的主要角色是用来封装用户的意图,协调用户的目标,并最终调用web服务.我们利用当前的Agent技术与语义web服务技术,设计出自己的平台,整合了Agent BDI模型与语义Web服务。     

三维空间控制器及其在三维空间交互技术中的应用

为提高人机交互的效率帮自然性，近年来多媒体，多通道交互和虚拟现实技术迅速兴起，而三维空间交互技术在其中占重要地位，并广泛应用于ＣＡＤ／ＣＡＭ和科学计算可视化等领域，本文指出三维空间交互的直接操纵本质，介绍操纵三维对象所需的六自由度三维空间控制器的原理和应用。     

多任务CAD系统的执行中心模型

针对直接操纵的多任务CAD系统的实时反馈、并发对话等需求,提出CAD 系统的基于事件驱动的层次化执行中心模型EDHM。该模型遵循对话独立性原则,将执行中心划分为3个层次5大部件,支持连续语义反馈和异步并发对话,并以统一的框架支持顺序和异步交织的交互风格。此模型已被应用到多任务CAD支撑系统OpenDesign的执行中心构造中。实践表明,基于EDHM模型建立的执行中心满足直接操纵和多进程的需求,具有结构上的独立性,易于移植和封装复用。     

面向图样理解的工程语义获取技术研究

在工程语义分类基础上，首先探讨了3类工程语义的图样理解中的作用和关系，即表达方式工程语义是前提，投影关系工程语义是核心，尺寸约束工程语义是引导；然后，着重介绍了工程语义的分类获取和整合获取技术，包括表达方式、投影关系、尺寸工程主义的分类获取技术，以及相切、相贯、截交工程语义的整合获取技术，并以一系列“元组链”及“约束状态链”的形式对工程语义进行重新组织；最后以一个说明工程语义获取技术在图校理解过程中的应用情况，该方法已成功地应用于作者研制的图样理解原理试验系统，并取得了很好的效果，试验结果表明，该方法不仅可以简化图样理解的复杂程度，还可以提高识别、处理的速度和计算机理解的可靠性。     

OrientX中XQuery的导航式实现

目前，很多工作在研究XQuery的实现和优化，探讨实现XQuery的最优技术．提出了一种基于语法的代数(称做XAlgebra)，用于定义XQuery的语义，在查询引擎内部表示XQuery的执行计划，操纵XML数据等．以代数XAlgebra为基础，在自主开发的Native XML数据库系统OrientX中实现了XQuery的导航式处理．     

一种压缩域特征提取与语义图像检索技术

为了解决“语义鸿沟”问题，通过将隐含语义索引(LSI)技术引入到图像语义提取问题的研究中，试图从图像的视觉特征中抽取出“高层概念”．基于GM(1，1)压缩域中的一种图像特征，提出了一种建立“图像视觉特征”与“语义信息”之间映射的技术方法．实验研究表明，这种基于压缩域特征和LSI技术的图像检索方法能显著改善图像检索的性能，提高图像检索的质量．     

基于自编码器生成对抗网络的可配置文本图像编辑

基于文本的图像编辑是多媒体领域的一个研究热点并具有重要的应用价值。由于它是根据给定的文本编辑源图像,而文本和图像的跨模态差异很大,因此它是一项很具有挑战的任务。在对编辑过程的直接控制和修正上,目前方法难以有效地实现,但图像编辑是用户喜好导向的,提高可控性可以绕过或强化某些编辑模块以获得用户偏爱的结果。针对该问题,本文提出一种新颖的基于自动编码器的文本图像编辑模型。为了提供便捷且直接的交互配置和编辑接口,该模型在多层级生成对抗网络中引入自动编码器,该自动编码器统一多层级间高维特征空间为颜色空间,从而可以对该颜色空间下的中间编辑结果进行直接修正。其次,为了增强编辑图像细节及提高可控性,本文构造了对称细节修正模块,它以源图像和编辑图像为对称可交换输入,融合文本特征以对前面输入编辑图像进行修正。在MS-COCO和CUB200数据集上的实验表明,该模型可以有效地基于语言描述自动编辑图像,同时可以便捷且友好地修正编辑效果。     

3D直接操作的自动视图控制

阐述通过自动寻找虚拟相机的有效位置以增强3D直接操作过程的技术.当前许多直接操作3D几何形体的尖端技术都强烈地依赖于视角,因此需要用户在操作过程中确定视点的坐标.在某些情形下,这个过程可以自动化.这意味着系统可以自动避免退化位置,而在退化情形,平移与旋转操作是难以实现的.系统还能选择视点和视角,使得被操作的物体可见,确保不被其他物体遮挡.     

Non-Standard Semantics for Program Slicing

In this paper we generalize the notion of compositional semantics to cope with transfinite reductions of a transition system. Standard denotational and predicate transformer semantics, even though compositional, provide inadequate models for some known program manipulation techniques. We are interested in the systematic design of extended compositional semantics, observing possible transfinite computations, i.e. computations that may occur after a given number of infinite loops. This generalization is necessary to deal with program manipulation techniques modifying the termination status of programs, such as program slicing. We include the transfinite generalization of semantics in the hierarchy developed in 1997 by P. Cousot, where semantics at different levels of abstraction are related with each other by abstract interpretation. We prove that a specular hierarchy of non-standard semantics modeling transfinite computations of programs can be specifiedin such a way that the standard hierarchy can be derived by abstract interpretation. We prove that non-standard transfinite denotational and predicate transformer semantics can be both systematically derived as solutions of simple abstract domain equations involving the basic operation of reduced power of abstract domains. This allows us to prove the optimality of these semantics, i.e. they are the most abstract semantics in the hierarchy which are compositional and observe respectively the terminating and initial states of transfinite computations, providing an adequate mathematical model for program manipulation.     

模型显著域上的形状调控和处理

基于3维数字模型的显著性度量和显著域处理技术,提出一种模型显著域上的形状调控和处理方法。该方法首先基于曲面上采样顶点处局部投影高度的Gaussian加权平均双边滤波定义数字模型的表面显著性;然后利用定义在模型显著域上的形状调控函数——显著域低通形状调控函数、显著域高通形状调控函数和显著域增强形状调控函数,使模型的显著特征得到有效抑制、提升和增强,实现了针对模型表面显著特征的形状调控和处理。实验结果表明,该方法能够方便快速地实现3维数字模型的不同形状造型效果。     

A Direct Manipulation Technique for Specifying 3D Object Transformations with a 2D Input Device

A mechanism is presented for direct manipulation of 3D objects with a conventional 2D input device, such as a mouse. The user can define and modify a model by graphical interaction on a 3D perspective or parallel projection. A gestural interface technique enables the specification of 3D transformations (translation, rotation and scaling) by 2D pick and drag operations. Interaction is not restricted to single objects but can be applied to compound objects as well. The method described in this paper is an easy-to-understand 3D input technique which does not require any special hardware and is compatible with the designer's mental model of object manipulation.     

基于Java的面向对象交互式图形工具箱

为在开发交互式图形应用过程中有效地建立、表示和管理代表应用数据的直接操作图形对象,设计一个基于Java的面向对象交互式图形工具箱——JOOIGT,该工具箱利用面向对象技术和Java基本类库,提供多种图形对象以及图形界面框架,使设计者只需定义对象,而不必考虑绘图细节,简化操作流程,利用JOOIGT建立的图形界面不仅可以运行于本地窗口程序中,也能运行在Web程序或嵌入式程 序中。     

A review on reinforcement learning for contact-rich robotic manipulation tasks

Research and application of reinforcement learning in robotics for contact-rich manipulation tasks have exploded in recent years. Its ability to cope with unstructured environments and accomplish hard-to-engineer behaviors has led reinforcement learning agents to be increasingly applied in real-life scenarios. However, there is still a long way ahead for reinforcement learning to become a core element in industrial applications. This paper examines the landscape of reinforcement learning and reviews advances in its application in contact-rich tasks from 2017 to the present. The analysis investigates the main research for the most commonly selected tasks for testing reinforcement learning algorithms in both rigid and deformable object manipulation. Additionally, the trends around reinforcement learning associated with serial manipulators are explored as well as the various technological challenges that this machine learning control technique currently presents. Lastly, based on the state-of-the-art and the commonalities among the studies, a framework relating the main concepts of reinforcement learning in contact-rich manipulation tasks is proposed. The final goal of this review is to support the robotics community in future development of systems commanded by reinforcement learning, discuss the main challenges of this technology and suggest future research directions in the domain.     

Review of graphical notations for specifying direct manipulation interfaces

At the early stage of interface design, the designer requires models and notations that can assist with reasoning and the exploration of ideas, and which are unconstrained by implementation issues. The review focuses on graphical notations for specifying the underlying behaviour of direct manipulation interfaces. Parallels are drawn with the requirements of notations employed in the more general areas of system requirements specifications. A number of existing graphical notations are compared and contrasted through a common example drawn from the Macintosh interface, and the required scope of an ideal notation for describing the behaviour of direct manipulation interfaces is defined.     

基于特征的离散网格模型表示与编辑技术

本文提出了一种基于特征的离散网格模型表示方法,能够表达传统三维网格模型中缺失的高层次信息,并以模型编辑为例显示了其应用价值.该特征结构利用特征线、特征面、特征组来建立离散网格的特征结构,用于描述模型的形状、约束、语义等信息,在原有网格模型的基础上构建了一个“超网格”.通过构建特征间的拓扑关系和约束关系,模型在编辑过程中能够保持特定的形状、结构属性,同时由于编辑操作造成的网格修改被限定在局部的特征区域内,从而提高了模型编辑的运算效率.