摘要：软件外包己经成为世界软件业发展的一种趋势,它是以最少的成本和最节约的资源来获得高品质的软件产品。软件外包过程不同于传统的软件过程,它可以被认为是发生在软件发包方和分包方之间的合同过程,包括软件外购过程和软件供应过程。分析了典型的软件外购过程和软件供应过程,对这两个过程之间的协同工作进行了研究,包括协同的必要性和内容以及协同的机制,并提出一个支持外包的软件协同开发过程模型,来辅助软件外包项目的高效实施。

摘要：OpenFlow发展之初,主要是为了校园网络研究人员设计其创新网络架构提供真实的实验平台,形成一种新的网络构架SDN。随着其应用范围的增加,遇到的问题逐渐显现出来,尤其是可扩展性方面。文中介绍了OpenFlow的产生背景、特点及发展现状,以及几种较为典型的SDN控制器模型和控制平面框架,并对SDN可扩展性方面遇到的问题及解决方案进行了分析,并概述了其今后的发展方向。

摘要：磁悬浮人工心脏转子和定子间位移的检测一般采用电涡流技术实现,但覆盖于定子和转子表面的金属薄壳中产生的寄生电涡流会影响传感线圈特性,现有电涡流传感技术不再适用。经测试,电涡流位移传感线圈特性受覆盖于其表面的定子薄壳的影响尤其严重,甚至导致灵敏度改变符号。通过分析线圈阻抗受金属薄壳影响的规律,从检测原理与工作频率出发,讨论了现有电涡流传感技术的不足,给出了新的设计优化方法,对磁悬浮人工心脏的传感设计应用有指导性意义。

摘要：分析了氢能源汽车输氢系统的70 MPa两级气动减压过程,取得了两级减压阀各阀腔内部的压力场和速度场分布规律.研究结果表明:两级气动减压阀组的阀腔压力分布可分为上游压力区、中间压力区和下游压力区;第一级减压阀和第二级减压阀的阀口处气体均为超音速流动状态,2个减压阀出口的封闭直角区域均存在低速涡流现象.可以通过计算流体动力学(CFD)方法得到流场分布的数据,为车载减压阀组和锥形阀芯的形状与结构设计提供理论依据.

摘要：设计了一种太阳能中高温热利用系统,并对系统的经济性进行了分析。同时,以槽式太阳能热发电成本为依据,对系统的投资成本和投资回收期进行了计算和分析。结果表明,太阳能中高温热利用系统的建设投资成本有望降低到650美元/kW,总投资成本有望降低到750美元/kW。对于年日照时间在2000 h以上地区,随着系统规模的扩大,投资回收期5.6～12.5 a。综合显示,太阳能中高温热利用技术具有较好的经济性。

摘要：文中主要针对航班排序问题,以减少航班延误为目的,提出了改进型基因表达式算法。通过研究基因表达式编程在航班排序中的应用,在此基础上设计了改进型基因表达算法( IGEA),并给出了算法的详细描述和步骤。通过仿真实验,与传统FCFS算法相比,该算法可有效减少总的航班延误时间,并且改进型基因表达式算法的效率要高于FCFS,且能搜索到全局最优解。通过仿真对比,基因表达式算法能很好地提高航班排序效率,减少航班延时。

摘要：对主动锁模光纤激光器的锁相环进行改进,提出一种新型的"变带宽锁相环"的设计结构。变带宽锁相环能够依据信号误差电压实时控制环路的带宽,使环路带宽随锁定信号的频率差动态改变,以达到快速捕捉和锁定信号的目的。M atlab仿真表明:锁相环的捕捉性能和跟踪性能提高,锁模光纤激光器的工作稳定性得到进一步改善。

摘要：计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V ＆ V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a

摘要：随着智慧城市的快速发展,视频技术作为基础数据采集手段已经被广泛使用。这会引发一个问题:短时间内生成的海量视频数据无法快速处理,从而严重影响数据时效性价值的问题愈来愈严重。文中提出一套基于HBase的分布式处理框架。该框架首先支持多客户端同时上传的视频,然后提取其中出现的人脸,最终建立一个可以保存在内存中的索引表进行查询加速。通过处理客户端上传的含有待查人脸的图像,该框架可以快速定位人脸在上传的视频中出现的位置。针对上述需要实现的功能,文中详细描述了实现该框架各部分中最重要的表的具体设计细节与设计目的,同时简述了人脸查询的具体流程,并从整个集群的角度优化集群的具体方法。最终通过在百万人脸中查询特定的一张来揭示集群性能。实验结果显示,该框架有较好的性能并完全能满足真实需求。

摘要：移动装备对远程监控要求越来越多,监控系统具有的多任务特性越来越明显。多任务与系统运行稳定性之间存在一定矛盾,通过对移动装备远程监控系统的多任务分析,确立了基于任务优先级的调度机制。该文采用ARM处理器和实时操作系统μC/OS-Ⅱ进行了对移动装备的多任务远程监控系统的设计和开发。为了避免系统因任务进程之间出现死锁或其它原因而无法运行,采用硬件看门狗对系统进行复位处理。