MIS集成开发环境的设计及实现

本文介绍 MIS1—2—3—4集成软件的设计原理和实现方法,该软件为 MIS 的开发提供了良好的开发环境.     

逐步求精的多视角点云配准方法

针对多视角点云配准问题,本文设计了一个合理的目标函数,便于将多视角配准问题分解成多个双视角配准问题,并考虑了两个要素：1）各帧点云均具有其他所有点云所未覆盖的区域;2）基准帧点云的重要程度高于其他点云.为了求解该目标函数,本文提出了逐步求精的解决策略：根据给定的配准初值构造初始模型,依次取出基准帧以外的每帧点云,利用所提出的双视角配准算法计算该帧点云的配准参数,并修正模型,以便进一步计算后续点云的配准参数.遍历完全部点云构成一次完整的循环,多次循环后可获得精确的多视角配准结果.公开数据集上的实验结果表明,本文所提出的方法能够精确、可靠地实现多视角点云配准.     

一种交互式应用开发环境的设计

作者设计了一种用户控制的交互式应用开发环境IADE。本文详细地讨论IADE的系统结构及主要功能模块的设计原理和集成方法,IADE原型系统已在MICRO VAXⅠ计算机上实现,并用以开发了几个小型的MIS。     

多特征提取逐步求精的高速移动目标跟踪算法

传统的高速移动目标跟踪通常使用图像特征描述,不能够根据跟踪场景自适应地选择最优跟踪特征,导致功能模板很容易产生漂移问题.为此,提出一种基于特征融合和逐步求精的高速移动目标跟踪算法.该算法主要包括3个阶段:第1阶段为自适应多特征融合阶段,通过计算跟踪目标每一特征的前景及背景的区分度,获取目标特征的融合模型;第2阶段是基于多特征内核跟踪阶段,在Mean-Shift框架下,引入Epanechnikov函数作为内核函数提升目标区域中心的像素权重比值;第3阶段为目标模型的自适应更新,通过设计一种模板更新策略提高跟踪结果的准确度.仿真实验结果表明,该算法适用于高速目标跟踪.     

基于重用方法的软件开发环境

软件重用方法是提高软件生产率和质量、缓解软件危机的重要手段 .实施该方法的关键是提供一个帮助开发者实现软件重用的支撑环境 .为此 ,我们在 SUN工作站上设计并实现了一个基于可重用性的软件开发环境 RSDE.本文介绍了该环境的设计、实现和特点     

基于知识为的用户接口开发环境

用户接口在应用系统中设计中占有举足轻重的地位。本文介绍知识库为核心的用户接口开发环境的构造思想。     

集成化多用户机器翻译系统开发环境设计

机译系统开发环境极大地影响着整个系统的开发周期和效率。本文提出一种集成化多用户机译系统开发环境，该环境提供方便的集成化系统调试环境，并在保证数据一致性和安全性的前提下，允许多个用户同时对机译规则／字典库进行修改和其它操作，从而能大大缩短系统开发周期。同时，还提供机译知识辅助获取环境和智能译后编辑环境，给系统的开发提供方便。     

虚拟环境的系统设计方法及计算模型研究

面向对象技术和面向Ａｇｅｎｔ技术是虚环境系统的基本设计方法。本文用面向对象的方法来构造Ａｇｅｎｔ,并提供一组支撑Ａｇｅｎｔ的底层计算模型,如神经网络,遗传算法,专家系统和规划管理等。     

一种软件设计决策的优选方法

在软件维护和演化的工业实践中,软件设计者往往依赖主观经验或直觉对软件的设计进行修改来应对变化的需求。但这导致了决策随意性和不可重现性。结合质量属性的度量将软件设计决策进行量化,从而显式地表示、记录这些经验和直觉。并通过记录所有备选的修改,用于指导将来的软件演化。给出一个基于质量属性度量和决策历史的设计决策优选方法框架,结合一个工业应用的实例进行分析,并讨论了实际应用的效果和可能的改进。     

一个下拉菜单式界面的编辑环境UIEE的设计与实现

直接操作类型的界面已成为目前微机界面的主流，而界面的自动生成也越来越成为这类界面设计的主要手段。本文界面生成方面的有关技术，并着重描述了一个可处理汉字的下拉菜单式界面的编辑环境ＵＩＥＥ的设计与实现。     

一个适用于协同编辑环境的工作流系统的设计与实现

提出了一个应用于协同编辑环境中的工作流系统的设计方案,详细阐述了该系统的设计和实现细节.该系统具有一定的通用性,适用于其它相关的应用领域.     

一个GA,MCA设计的模拟验证环境

本文介绍一个GA,MCA设计的模拟验证环境:逻辑模拟器LOSIM,该模拟器中采用了九值代数系统,提高了模拟器检测竞态、险态及潜在错误的能力,元件延迟时间采用了均值/方差来代替传统的最小最大分析技术,保证了模拟精度,避免了过分悲观的模拟结果.模拟器实现中采用了比较合理的数据结构,保证了快速的正向驱动和方便的反向查寻,动态数据结构使主存空间得到了充分利用.LOSIM对循环采用了静态分析的方法,使得LOSIM可对组合网络、同步时序网络、异步时序网络和在给定的初始条件下就已存在振荡的网络进行模拟.     

基于代数式规范的变异测试方法的设计与实现

软件测试是软件工程中保证软件产品质量的重要组成部分.变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集.为了提出一种基于代数式规范的新的变异测试方法,为此设计了12类针对代数式规范的变异操作符,对5个代数式规范进行了实验,并进行了结果分析.结果表明基于代数式规范的变异测试方法相比基于代码的传统变异测试方法,生成更少的变异体,也大幅度提升了变异测试的效率.     

一种实现继承关系向关系表转换的方法

本文提出一种面向对象概念模型中继承关系向关系表转换的一种方法。基于这种转换方法,给出了它的SQL语句的实现。     

一个基于属性文法的通信协议形式描述语言及协议开发环境

通信协议是网络技术的核心。由于异质构环境中网络协议固有的复杂性,因此需要研制一磁建立在严格数学模型基础这之上的协议开发方法和集成工具环境,以降低协议开发难度,提高协议开发效率。本文旨在探索一种用于协议形式描述和工程开发的扩展属性文法,重点研究了设计属性文法描述语言的原理及结构特点等,并通过一个完整例子说明如何使用我们所设计的属性文法描述语言Ｌ＿ＰＳＡＧ定义一个协议,然后给出一个基于属性文法的协议设     

专用集成电路的设计验证方法及一种实际的通用微处理器设计的多级验证体系

随着专用集成电路制造工艺及设计方法的飞速发展,片上系统可集成的功能越来越多,规模越来越大,设计验证越来越复杂,只有使用先进的设计验证方法充分地验证其设计,才能保证一次投片成功.文中针对专用集成电路设计验证的各种方法和一种实际的通用微处理器设计的多级验证体系作了专门的描述,对片上系统设计者在构建自己的设计验证方案、使设计得以充分验证方面能给予一定的参考.