基代数——时态逻辑的象形对象研究

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状，分析了对象形式化语义研究的不足，其次，分析了几种主要的系统形式化模型和方法，然后在我们已研究的“计算机甲骨文象形码输入法”的基础上，从时态逻辑的角度定义了对象形象有其约束条件，定义了面向对象的有色Petri网（OOPEN），并应用OOPEN描述了象形对象的层次结构，最后，我们将代数规范与时态逻辑相结合，对象形对象的语义基础进行了一些研究。     

基于代数-时态逻辑的象形对象研究

本文首先讨论了国内外有关面向对象方法学、代数规范、时态逻辑的研究现状 ,分析了对象形式化语义研究的不足 .其次 ,分析了几种主要的系统形式化模型和方法 .然后 ,在我们已研究的“计算机甲骨文象形码输入法”的基础上 ,从时态逻辑的角度定义了象形对象及其约束条件 ,定义了面向对象的有色 Petri网 (OOPEN) ,并应用 OOPEN描述了象形对象的层次结构 .最后 ,我们将代数规范与时态逻辑相结合 ,对象形对象的语义基础进行了一些研究 .     

代数规范与对象行为约束

本文研究建立了代数规范和时序逻辑规范的不同语义模型之间的关联,在结构偏代数上解释时序模态词,从而可以利用时序逻辑工具讨论由代数规范所定义的抽象对象的动态行为特征.     

对象形式语义模型*

在面向对象的软件构造中，对象被视为软件系统的基本构件本文给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射，本文给出对象聚合、特化、继承和对象类等概念在此语义模型框架中的解释。     

基于关系／网状的语义超图多媒体描述模型

本文提出了基于关系／网状的语义超图功述模型及各操作，引和面向对象的方法，统一描述对象和元组，提出了对象间的语义联系，基于联系的各种操作和施加工对象的方法机制。在语义超图层次，描述和操作了不同语义类的对象；在语义子图层次，描述了每一语义类的对象间的多对多关系及其操作，因此，该模型可用于描述和处理工程领域中的不同语义类多对多关系的复杂多媒体对象。     

基于BCDM的双时态关系代数

双时态概念数据模型BCDM是一种重要的时态数据库模型，基于BCDM模型，建立了一种双时态关系代数．首先，对时态数据库事务时间和有效时间进行规范化的定义，给出BCDM中时间元素的规范化定义和演算描述；而后，定义时态映射，用以描述BCDM中的双时态元组，并形式描述时态映射的演算；最后，用时态映射定义的元组对双时态关系进行定义，并由此给出双时态关系代数运算的形式化描述．     

模糊时态数据库关系代数演算规则分析

为了解决时态数据库对客观世界更符合实际抽象描述,能有效表示和处理复杂对象的模糊时态特性,从基本模糊时态数据模型入手,定义了一系列模糊时态关系操作元素,并论证了模糊时态区间关系代数的语法和语义,建立了一个能描述模糊时态信息的关系代数理论体系.避免了时态数据库不能提供表达模糊时态信息的环境设施,也增强了现有的时态数据库描述模糊事物特性的能力.     

对象语义理论和行为约束推理

本文基于时序模型观点建立对象语义理论，将对象定义为对象操作，对象属性和对象踪迹的集合，并由此给出对象继承，对象复合等概念的语义解释。对象类型是满足一组对象约束的同类对象的集合。有两类不同的对象约束：状态约束表示对象属性之间的关联，而时序约束则表示事件操作之间的时序关联。文章最后用例子表明对象约束推理应用。     

一种基于共代数的面向对象形式语义

针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成共代数状态空间上的元素,并分别利用强Monads理论和断言给出方法的行为的参数化描述和语义约束;接着,利用共代数互模拟探讨了不同对象在强Monads下的行为等价关系;最后用实例说明如何通过PVS工具证明类规范的一致性及对象的行为关系。     

对象形式语义模型

在面向对象的软件构造中，对象视为软件系统的基本构件，本给出一个对象形式语义模型，对象被定义为封装属性和行为的实体，对象行为必须满足给定的静态约束和时序约束；基于对象态射本给出对象聚俣，特化，继承和对象类等概念在此语义模型框架中的解释。     

采用OOA／OOD设计分布式三层C／S系统

本文介绍了三层C／S的面向对象设计、建模技术，并结合分布式三层C／S实例讨论了系统设计。     

面向对象智能测控系统设计

本介绍了一种基于面向对象方法的过程测控系统的软硬件设计思想。通过将过程对象分解为单元对象（由智能对象管理卡管理）和设备对象（由主机管理），较好地体现了过程控制的本质，并在系统可重用性、开放性、扩展性等方面具有明显的优越性。     

智能视觉监控中的目标检测与跟踪技术

介绍了智能视觉监控中运动目标的检测与跟踪过程所涉及的各项关键技术,主要包括目标提取、阴影检测、目标分割和目标跟踪等。对各项技术的基本原理和主要实现方法进行了分析和总结,并指出了各种方法的特点、存在问题及解决方案。     

对象关系型DBMS的强制访问控制研究

论文研究了对象关系数据库管理系统的强制访问控制,在达梦对象关系数据库管理系统的安全对象概念及其对象特性的基础上,给出了标识对象安全级的策略和过滤对象的访问控制策略,重点讨论了过滤对象的约束策略。     

面向对象数据库中对象的存储和操作算法

面向对象数据库管理系统的核心是把现实世界的描述为对象，数据库的存储，操作和管理都以对象为依据。对象可以是简单的，也可以是复杂的。复杂对象中引用了其它的对象。结合我们开发的面向对象的工程数据库管理系统论述了对复杂对象的物理存储，内存映象方法和对象操作方法的实现技术。     

VFM：Visual Feedback Model for Robust Object Recognition

Object recognition, which consists of classification and detection, has two important attributes for robustness:1) closeness: detection windows should be as close to object locations as possible, and 2...     

一种基于RGBD 图像的似物性采样算法

近年来,图像的似物性采样研究成为一个热门的研究领域。似物性采样是提取一 幅图像中可能成为任意目标的窗口,用于减少目标识别的搜索窗口。但目前有关似物性采样的 研究都是基于RGB 图像的,本文基于RGBD 图像的似物性采样算法,结合了目前RGB 图像似 物性采样最好的方法,并利用D 图的深度似物性特征,提出了基于贝叶斯框架的RGBD 图像的 似物性采样方法。在NYU Depth 数据集上实验证明了这些似物性描述方法的结合要比单独使用 任一种描述结果更优。最后,与目前流行的基于RGB 图像的似物性采样方法进行了对比实验, 证明了深度图的加入可以更好的优化似物性采样的结果。     

Three-dimensional finger joint angles by hand posture and object properties

The objective of this study was to identify three-dimensional finger joint angles for various hand postures and object properties. Finger joint angles were measured using a VICON system for 10 participants while they pinched objects with two, three, four and five fingers and grasped them with five fingers. The objects were cylinders and square pillars with diameters of 2, 4, 6 and 8 cm and weights of 400, 800, 1400 and 1800 g. Hand posture and object size more significantly affected the joint flexion angles than did object shape and weight. Object shape affected only the metacarpophalangeal (MCP) joint angle of the index finger and the flexion angle of the MCP joint of the little finger. Larger flexion angles resulted when the hand posture was grasping with five fingers. The joint angle increased linearly as the object size decreased. This report provides fundamental information about the specific joint angles of the thumb and fingers.

Practitioner Summary: Three-dimensional finger joint angles are of special interest in ergonomics because of their importance in handheld devices and musculoskeletal hand disorders. In this study, the finger joint angles corresponding to various hand postures and objects with different properties were determined.     

基于知识的线状目标的综合理解

基于知识的线状目标的综合理解１）沈丽琴胡栋梁戚飞虎（上海交通大学计算机科学与工程系上海２０００３０）关键词线状目标（ＬＦＯ），边缘提取，目标中心（ＯＣ），目标中心链（ＯＣＣ）．１）国家攀登计划认知科学重大关键项目及国家自然科学基金资助课题．收稿日期１...