摘要：该文提出了一种利用动力学方程求解复特征值及其特征向量的并行实现方法 .方法的原理为 :首先将特征值问题通过优化技术转化为一个非线性动力学系统的求解问题 ,然后利用电路模拟中的波形松弛法并行计算这组动力学方程的解 .该方法能够有效地确定复矩阵的全部特征值和特征向量 .这是首次将波形松弛法引入大型矩阵的计算中 ,其并行算法已在 IBM RS/ 6 0 0 0 Super POWER2系统中有效地实现 .

摘要：多尺度变换域隐马尔可夫模型能够有效地描述变换域系数在尺度间、尺度内和方向间的统计相关性,是一种新的统计图像感知与识别方法.文中以变换域系数的统计相关性描述为中心,以模型的设计和应用的开展为两翼,深入分析了子波变换的三级统计特性与机理,比较研究了多尺度变换域的十种统计模型,并系统评述了这些模型在图像感知、处理和分析中的最新进展.同时,具体论述了这一领域研究中两类成功的实例:图像去噪和图像纹理分割.对于前者,以Lena图像为测试用例分析比较了以变换域统计模型为核心的8种算法的去噪性能;对于后者,按照分割类型(监督式或非监督式)和应用的图像类型系统比较了以统计模型为基础建立的15种图像分割方法.最后,从面向应用的模型构造和算法设计、变换域的拓展和应用层次的推广三个层面指出了目前存在的问题和不足,探讨了进一步的研究重点.

摘要：针对小行星表面着陆器容易反弹及飘走的难题,设计了一种将着陆器锚固在小行星表面的锚系统。基于小行星特点,对锚系统设计方案进行了分析,选择"链式锚固方式"作为本研究的锚系统方案。基于该方案对锚系统进行了设计,其包括锚固单元、缠绕单元、解锁单元、线绳单元及电气控制单元。对锥形锚尖的侵彻深度进行了研究。经过在冻土介质中的侵彻/锚固实验及气浮微重力环境下的拖拽实验,证明该锚系统具有微重力环境下对小行星着陆器进行锚固及拖拽的基本功能。

摘要：软件测试是保证Web服务质量的重要技术手段.测试数据生成是Web服务测试的重要内容.测试数据的质量将直接影响Web服务测试的效率和成本.文章基于合约式设计的 Web服务测试技术,提出一种 Web服务的测试数据自动生成方法.首先根据WSDL文档采用随机法自动生成初始测试数据,然后使用合约变异技术进行测试数据的选择,据此可以生成一组达到一定合约变异充分度的有效测试数据,从而提高 Web服务的测试质量和效率.最后实现了一个Web服务的测试数据自动生成工具原型,并通过实验验证了方法的有效性.

摘要：采用均值量化的方法隐藏二值水印图像 ,分析了水印能够被正确盲提取的原理 ,讨论了量化步长对水印性能的影响 ,并估计了含水印图像的峰值信噪比 (PSNR)的理论下限 ,最后通过实验验证了理论分析的结果 文中算法计算复杂度低 。

摘要：针对当前人机交互特别是三维交互的现状基于分布式环境提出了一个分层的模型结构 ,分析了一般交互在各层中的基本行为 ,建立了与具体硬件设备无关的面向任务的事件模型 ,着重讨论了原始结构形成基本事件的方法 ,复合事件对基本事件的时间关系的整合以表达复杂的语义 .在一般交互模型的基础上描述了三维交互的 8种基本任务 ,一切复杂的交互任务都是这 8种基本任务在时间或空间上的语义整合 .最后实现了分布环境下三维交互的一个原型系统 Easy3D.

摘要：基于请求/响应调用模型的面向服务体系结构(Service-Oriented Architecture,SOA)的实现存在通信耦合程度高,协同能力不足的问题.事件驱动体系结构特别适合于松耦合通信和应用需要感知支持的环境.在面向服务的计算平台中提供事件驱动支持,可满足计算平台的松耦合通信与协同需求.文中给出了面向服务计算平台中事件驱动的框架,针对需高效处理事件流上复合事件的需求,在框架中设计了基于SEDA模型的并发事件处理与基于事件代数的事件流处理机制.在事件代数中给出了上下文语义和相应的检测算法,以实现高效事件流处理.实验表明,设计的事件驱动面向服务计算平台具有松耦合通信、协同计算、高效事件流处理和复合事件处理的特点,适应了目前动态多变的大规模分布式计算环境的需求,有着广阔的应用前景.

摘要：针对近年来三维模型检索研究不只是考虑形状相似性匹配,而更多地关注如何把语义知识应用于检索这一研究新动态,对三维模型语义检索研究现状,包括三维模型知识提取、语义检索中的主动学习机制、三维模型语义检索系统等方面进行总结.在此基础上,对已有研究成果进行比较分析,突出三维模型语义检索取得的进展以及存在的问题.最后,提出三维模型语义检索需要进一步深入研究的方向.

摘要：提出了IDEF与UML两者结合的系统建模方法,能够有效地避免IDEF对信息过程流建模和UML语义描述精确性及使用灵活性的不足.该方法采用IDEF0进行系统功能建模,用IDEF1x和UML模型进行信息建模和面向对象的软件系统设计.用该方法设计的沈阳某冶金设备有限公司的基于组件的生产过程管理系统模型具有良好的维护性、可扩展性和重用性,证明了该方法的可行性.

摘要：计算系统的分类是计算机科学的一项基础工作,对计算系统的设计、编程和优化都有直接影响和指导作用.近二十年来,众多的网络计算系统得到了广泛使用,但学术界尚未研究出一套有效的分类方法,影响了网络计算系统的研究和知识共享.文中借鉴并行计算系统分类的成功经验,从应用编程的角度出发,给出了一套基于(执行、控制、层次)三维坐标的分类方法,能够覆盖代表性网络计算系统,如网格、云计算、互联网服务等系统.