基于四叉树分割视频对象的可伸缩编码算法

提出一种利用多级树集合分裂算法(SPIHT:Set Partition In Hierarchical Trees)作为基于四又树分割视频对象(Video object)的编码和解码的核心技术,从而实现了基于对象渐进传输、可伸缩性编码方法。实验结果表明,该算法在相同的比特率下,可以得到比SPIHT更好的主观恢复图像,提高了基于ROI编码的效率。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

基于顾客满意度理论的住户满意度模型

为了研究我国住宅市场的现状及其发展前景,该文采用顾客满意度理论的基本思想,提出了一种分析模型。由于购买力和感知住宅质量同样和住宅消费心理及住宅市场特性密切相关,因此在模型中引入住宅金融措施和政府的住宅政策作为描述住户满意度指数的可测内生变量。该模型不仅可以用来确定住户满意度指数,还在估计住宅市场潜在需求和评价住宅金融和住宅政策上有很大用途。在北京进行的抽样调查结果表明,使用该模型来解决许多像激活住房市场这样的社会经济问题是卓有成效的。     

基于角色控制的分布式PDM系统

提出了一种适合于工程设计中基于协同工作的多用户的分布式PDM系统的软件结构。介绍了一个相关的软件模型，这个软件模型说明了如何通过添加CSCW和RBAC机制来扩展现存的PDM系统，在讨论了PDM、CSCW和RBAC的基础上，给出了相应软件的框架结构模型的思想。     

顾客营销初探

顾客营销相对于传统的产品营销具有更大的优越性，文章论述了顾客营销的基本原则，并介绍了顾客营销的工作流程。     

基于狭缝图像的三维虚拟漫游

基于狭缝图像的四维光场模型,设计并实现了一个完整的三维虚拟场景漫游平台系统。使用四叉树结构对场景进行组织,实现了对三维场景的自适应非均匀采样,提高了采样的效率;采用临近点插补方法,解决了重采样中出现的图像空洞;通过对漫游时的内存管理、路径预测和碰撞检测处理,提高了漫游的稳定性与连贯性;对漫游速度做了测量,对绘制图像的质量做了比较。     

MPLS流量工程中基于约束的路由选择技术研究

在介绍MPLS流量工程基本概念的基础上，对流量工程的核心技术——基于约束的路由选择进行了系统的研究，并重点对基于约束路由研究的难点、计算方式、度量参数的选择作了深入的探讨，结合存在的问题，提出了今后基于约束路由可能的发展方向。     

论工程质量管理中的“顾客满意”

顾客满意是顾客对其要求已被满足的程度的感受,在工程质量管理中具有重要作用.顾客满意具有客观性、主观性、抽样性、动态性和全面性.建筑业企业应当从调查、识别并理解顾客的需求和期望,确保企业的目标与顾客的需求和期望相统一等六个方面使顾客满意,并采用顾客满意公式考评顾客满意程度.     

CIMS环境下一种顾客需求偏好结构模型

以多目标决策理论为基础，提出了一种顾客多目标需求的整体偏好结构模型。该模型反映了顾客满意度水平，能同时获得该满意度水平的人数以及相应目标值等方面的信息，能比较好地描述和集结被考察顾客群体的偏好结构，为ＣＩＭＳ环境下产品的质量设计和质量功能配置提供支持，对模型的性质进行了分析，并用实例对模型的应用进行了阐述。     

基于行为的多自由度机器人运动规划

提出了一种有效的基于行为的多关节机械手的运动规划。该规划将低级的运动规划和高级的行为决策结合在一起，在将位于机器人工作空间中的障碍物快速映射到姿态空间中的算法基础上，通过传感信息来计算局部障碍物的信息，从而形成姿态空间中障碍物的模型。定义了几种类型的行为来描述机械手的运动，并给出了选择行为的规则。而这些行为都是用基于姿态空间的算法可实现的。该方法适于多关节机器人在非确定环境中实时规划的要求。