摘要：基于"软件定义卫星"的思想,设计并实现了一套利用天基观测序列对非合作目标进行三维重建的软件系统。考虑卫星与地面用户的交互性,该软件系统由2部分组成:星上云节点软件以及地面用户软件。在该软件系统中,普通用户可以通过地面用户软件,实时观测太空中非合作目标的三维结构,加强对太空的了解;对科研人员而言,对非合作目标的三维重建是对非合作目标进行抓取、捕获、提供在轨服务等进一步研究的基础。为了满足对非合作目标定轨、定姿的进一步需求,软件系统提供了三维重建中生成的匹配特征点的位置信息以及非合作目标与摄像机本体之间的向量信息。针对利用运动恢复结构(SFM)恢复三维结构存在的点云稀疏、可视化效果差的问题,采用SFM稀疏重建获得点云的基础上,进行泊松表面分布重建,获得致密、均匀的网格表面。由于缺乏空间非合作目标成像数据,采用地面仿真数据进行实验,结果表明,使用该方法可以完成对非合作目标的三维重建,重建效果好,并且三维重建中获得的匹配特征点数据可以对非合作目标的定姿、定轨提供数据支持。

摘要：在 VL SI系统设计、行为设计和逻辑设计过程中 ,未考虑到的与半导体制造工艺有关的因素 (如延迟、功耗问题等 )严重影响设计结果的性能 ,以至使物理设计结果的性能远离原来的设计目标 .针对这个问题 ,文中提出与底层有关的 VL SI高层次设计策略 ,将影响性能的底层参数和信息引入高层次设计中 。

摘要：从随机统计原理出发,考虑基于随机行走电容提取的多端线网时延计算,提出保证准确度的多端线网自适应互连时延计算方法.首先推导了互连时延的随机误差与随机行走电容提取结果误差的依赖关系,给出了时延误差的理论上限;然后提出了基于误差上限估计和基于误差微调的2种自适应互连时延计算策略,它们根据用户指定的时延误差阈值自动调整执行随机行走电容提取的精度设置与次数,并通过"断点续算"提取技术缩短整体计算时间.对实际电路版图中互连线网结构进行计算的实验结果表明,该方法能够保证时延结果的准确度,而基于误差微调的自适应策略比基于误差上限估计的策略效率更高,在确保时延误差可控的同时使包含电容提取的总计算时间最短.

摘要：当建筑师使用建筑设计软件初步完成房屋的设计、装饰装潢之后 ,需要在此房间内进行实时漫游 ,以便能够进一步修改他的设计 .因此 ,对于一个建筑设计 CAD软件来说 ,实现实时漫游这个功能是必要的 .然而 ,在传统的基于几何模型的漫游方法中 ,图像绘制的速度和质量相矛盾 .为了解决这一问题 ,在商业化建筑设计软件中 ,采用基于图像的绘制方法来实现实时漫游的同时 ,还能获得高质量的图像 .文中采用立方体全景图方法来实现漫游 ,最后给出实际应用中的漫游结果 ,实践证明 。

摘要：本文提出了多媒体计算机理想的设计模型——数字式视频音频创作和演播系统,并简要地叙述了该模型的原理、结构和功能。同时,作者还进一步论述了采用视频音频引擎硬件结构以及视频音频核心软件、实现理想设计模型的方案。

摘要：构件继承对于软件复用具有非常重要的意义,为了适应网络发展和Web服务应用的推广,科泰世纪科技有限公司提出了CAR构件技术。首先介绍了软件构件的概念和CAR构件的提出,然后对比COM和CORBA的构件复用方式,重点介绍CAR构件的继承机制及其特点,并结合“和欣”图形构件设计的实例,说明该继承机制在图形构件中的实现方法。

摘要：作为基本的数学运算,三角函数的高性能实现对构建处理器的基础软件生态具有重要意义,特别是当前处理器都采用了SIMD架构,基于SIMD实现高性能三角函数具有重要的研究意义和应用价值。对此,文中采用数值分析的方法,对5个常用的三角函数sin,cos,tan,atan,atan2进行了高性能的实现与优化。首先通过分析浮点数IEEE754标准,设计了高效的三角函数算法;然后通过多项式逼近算法中的泰勒公式、帕德近似及雷米兹算法提升了算法精度;最后利用指令流水线与SIMD优化进一步提升了算法性能。实验结果表明,在满足精度的前提下,所实现的三角函数,相较于libm算法库和ARM;算法库,在ARM V8计算平台上都获得了较大的性能提升,其中相比libm算法库有1.77~6.26倍的时间性能提升,相比ARM;算法库有1.34~1.5倍的时间性能提升。

摘要：作为云计算的重要分支,云存储以高性能和低成本等优势吸引了越来越多的组织和个人将大规模数据托管于其上。然而,云数据的外包特性和近年来频繁爆出的安全事件,使得用户对云存储服务的信心不足,其关键问题是如何确保存储在云端的数据的完整性。为应对该挑战,云数据持有性审计在最近几年被提出并受到了广泛的关注,文中对此进行了综述。首先,回顾了云数据持有性审计的一般模型和审计系统的设计目标;其次,按照实现的审计功能,对近年来的研究成果进行了分类介绍及对比分析;最后,指出了云数据持有性审计研究中存在的开放问题及发展趋势。

摘要：针对精密运动应用领域,设计和制作了一种新型的平面三自由度电磁微动台,对此建立了动力学和控制模型。通过电磁力的分配实现控制系统的解耦,对解耦后的单入单出系统设计了双环PD控制器,并进行位置伺服控制实验,验证了解耦策略和控制算法的有效性。

摘要：文中给出了一个基于公钥密码的有效的身份认证和密钥交换协议,该协议可以实现通信双方的相互认证,产生的会话密钥对通信双方是公正的,且会话密钥的产生不需要其他第三方的参与,协议的结构简单,执行效率高;在此协议基础上设计了一个适用于移动通信系统的小额支付协议。