MPI环境下的几何定理并行自动推理

将几何定理机器证明和并行计算结合起来考虑,尝试用并行计算方法来提高传统定理证明算法效率,探讨了前推法、数值并行法的并行算法,分析了两种定理证明算法在消息传递编程模型下的任务划分、通信组织、任务调度等问题,并用MPICH2实现了这两种并行算法,对算法的并行性能指标进行了测试,测试数据表明,两种并行算法在基于MPI-2的并行计算环境下,能很好地发挥并行计算的优势,有效缩短构造性几何命题机器证明的时间。     

共享内存系统中高效并行FDTD计算方案

针对电大问题的FDTD仿真,在共享内存系统中提出一种不交换数据的并行FDTD计算方案。该方案利用共享内存系统的通用多核处理器架构,直接读取并行场域边界面的数据实现并行计算,采用自主开发的多线程技术实现FDTD的并行计算。通过数值仿真测试,提出了最大并行计算效率的区域划分方式,并验证了所提出的方案是一种理想的基于共享内存系统的并行FDTD计算方案。     

基于雾计算的随机并行计算方法在缩比飞机发动机数学建模中的应用

现代高性能计算机为了克服大规模集成电路和计算机制造工艺水平的限制,满足用户不断增强的计算需求,采用既能降低数据中心负载又能提高速率的并行体系结构来提供高速运算能力,符合去中心化理念的雾计算思想。本文以缩比飞机发动机数学建模作为应用背景,介绍了基于雾计算的随机并行计算方法的基本原理和实现思想,并通过实例提出创新型的随机并行计算思想。实验证明,该方法提高了企业网络共享资源利用率,推动企业大规模集成信息控制的发展和实现。     

双重介质油藏数值模拟并行算法研究

裂缝型碳酸盐岩油藏非均质性极强，数值模拟运算时间长，迫切需要一种切实可行的解决方法。介绍了区域分解法在数值模拟中的应用方法，提供了油藏数值模拟串行算法并行化的一般策略与方法。基于已开发的双重介质油藏数值模拟串行算法及建立的Windows平台PC集群网络并行计算环境，利用消息传递界面（MPI库）实现了并行过程中所有消息的传递功能。通过对国内某实际碳酸盐岩油田的模拟表明，并行后的算法是成功的，2个PC加速比高达1.86，4个PC达到3.46，8个PC达到6.89。通过模拟还发现，并行数值模拟时，存在最佳的子区域规模和数目。该算法解决了大规模碳酸盐岩油藏数值模拟时间长的问题，具有实际的应用价值。     

电路测试生成的一种并行处理方法

基于消息传递的多指令流多数据流（ＭＩＭＤ）多机并行系统，提出一种组合电路测试图形生成的新的并行处理方法。该方法首先定义基本门电路的特征函数，通过特征函数的迭加，得到与被测电路对应的一约束网络的特征函数ＣＡＴＰＧ，用遗传算法计算ＣＡＴＰＧ的零点获得故障的测试。结果表明在电路的描述及操作、数据传送、算法实现等方面较其他方法有明显优势     

混合并行技术在FDTD计算中的应用研究

为提高网络环境下细粒度并行FDTD计算的性能,引入局域网两层并行能力的概念,发展了一种高性能的混合并行FDTD算法。在该算法中,通过利用MPI与OpenMP多线程技术,在传统域分解FDTD算法基础上,实现了数据与任务的两层并行化。作为算法实现的应用,对一种常见的车载隐藏式印刷天线进行了模拟研究。计算在不同数量的PC机上执行,并与传统的网络并行FDTD算法进行了比较。数值结果表明,当域分解粒度较小时,该混合并行方法能够有效地提高局域网并行FDTD的算法性能。     

网络环境下图书馆信息资源开发利用浅析

在网络环境下 ,图书馆开发利用信息资源 ,需要加快本馆信息资源电子化进程 ,加速信息基础设施建设。在营造大学图书馆信息网络的同时 ,也要求图书馆工作人员是复合型人才 ,才能使高校图书馆承信息网络环境下立于不败之地     

超声弹性成像零相位估计算法并行化研究

研究超声弹性成像零相位估计算法的并行化计算问题。针对标准的零相位估计算法不易并行实现的特性,提出零相位估计算法的并行计算框架。首先通过互相关算法计算初步的位移并作为零相位估计算法引导位移,然后再使用二维零相位估计算法计算最终每一个估计点位移。仿真结果显示,该并行计算框架在生成的弹性图像的信噪比和对比度噪声比上能获得与标准方法非常接近的性能评价,同时与标准方法的CPU实现相比,该方法的GPU实现有效地提高了零相位估计算法的计算速度,其加速比可达7倍。研究表明,该算法框架不仅能有效地并行计算,同时能够保证得到高质量的弹性图。     

网络环境下图书馆文献资源的建设与发展

当今在信息网络高速发展的环境下 ,图书馆的文献资源建设应注重发展现实馆藏和大力开发网络信息资源。     

数据流图模型的一个形式定义

增加计算速度已考虑采用并行计算,在计算机系统中并行操作,在算法上表示并行计算模型和这种并行计算机的新程序语言。除了并行机器的设计和并行计算方面的程序外,在理论模型的阐述和分析方法上还有待进一步探讨,这里并行计算的本质特性能被明确地定义和研究,并且是更多地从算法或问题的观点出发而不是从特定机器执行出发。此项理论工作能被划分为两类:一是利用并行系统中并行计算所作的算法方面的研究;二是并行计算机的性能和可靠性方面的研究。     

无线传感器网络下的并行粒子滤波目标跟踪算法

针对无线传感器网络环境下目标跟踪问题,提出一种基于分布式并行粒子滤波的目标跟踪方法。在建立了网络动态分簇模型和目标运动模型的基础上,将并行粒子滤波算法应用于动态目标进行跟踪。算法通过多个感知节点并行的运行局部粒子滤波器,得到每个节点对目标状态的估计,动态成簇的簇头节点对簇内每个节点的信息进行融合,形成动态目标的状态估计,提高了目标跟踪的精度。同时通过动态簇头之间的目标状态信息的交换,实现了运动目标的动态连续跟踪。仿真结果表明,算法实现了运动目标协作跟踪,与集中式结构目标跟踪相比,跟踪精度提高了30%。     

信息资源建设和社会化信息服务

随着现代信息技术和通信技术的迅猛发展和信息网络的日益完善,一场网络革命正在图书馆界蓬勃兴起。面对信息社会的要求和网络环境提供的有利条件,图书馆如何加入网络,从网络远程获取信息,实现资源共享,并作为网络信息的生产者,为网络加载信息建立科学合理的文献保障体系,是图书馆界密切关注的热点;同时高校图书馆如何利用信息资源,为社会服务,也是一个值得重视和研究的课题。     

网络信息环境下高校学报的编辑行为

高科技信息网络技术的发展和应用,为高校学报的编辑行为提出了新的挑战和发展空间,使得高校的学报编辑与读者和作者的交流变得更加快捷和方便.因此,如何正确地利用好现代化的信息网络技术,为高校学报的编辑行为服务,以增强高校学报的学术性、可读性、创新性,进一步适应现代网络信息技术环境下的学报编辑行为,是高校学报编辑工作者探讨的一项新课题.笔者通过对网络信息环境下学报编辑行为的功能实现、网络信息环境下高校学报编辑行为介入等的论述,阐明了现代化信息技术条件下学报编辑队伍的素质要求及其发展空间,从而为现阶段高校学报编辑行为的更好实现及高校学报编辑行为实现网上互动和网上发行提供借鉴.     

论网络道德的问题与建设

信息网络技术的高速发展和网络社会的形成 ,带给人们一种全新的工作、生活环境 ,改变着人们的道德观念与道德关系 ,产生了诸如网民的言论自由、网络安全、网上知识产权、网上商务、网上隐私等一系列网络道德问题。为此 ,必须提高网络主体自身的道德修养 ,制定与完善网络道德规范 ,以创造一个稳定、健康、有序的网络社会环境。     

科学工作流与高性能计算集成方案

科学工作流为科学计算提供了工作流定义、流程管理和任务并行化等支持,高性能计算为大规模数据处理提供了集群管理、任务管理、资源调度等机制。如今正进入一个"大数据"时代,将科学工作流系统与高性能计算结合实现高性能计算平台上大规模并行计算具有重要意义。集成中间件与上层工作流系统和底层高性能计算平台进行交互,提供任务提交与状态监控功能。同时,集成方案为分布式集群中计算平台提供新的参考实现。基于上述分析以Swift科学工作流与Windows高性能计算平台集成方案为例,通过NASA MODIS图片处理工作流来分析并验证集成方案的可行性和性能。     

神经网络—维布局算法

研究并提出了一种基于神经计算的集成电路一堆布局的并行优化算法。文中首先将布局问题的限制条件和目标函数映射为一个二次函数,并以该函数为能量函数构造相应的神经网络,然后利用神经网络的并行计算特性求出一堆布局问题的优化解。     

基于网络环境的信息服务模式及其现实

基于网络环境下的服务模式是一种信息集成服务、面向内容的信息服务、个性化信息服务,正确处理这三种信息服务模式中的知识产权与经济学问题、改善信息系统人机界面、应用网络计量学是实现这些信息服务模式的主要途径。     

基于ZigBee的温室大棚环境远程监控系统设计

针对温室大棚环境数据多维信息的特点,采用基于ZigBee的无线传感器网络技术。介绍了系统的总体结构和软硬件设计,阐述了ZigBee网络的构建和多维信息传输过程,通过ZigBee协调器、无线移动网络WIFI和互联网的无缝连接,实现了温室大棚环境数据的远程实时交互和监控。经过实验测试,该系统能够实现温室大棚环境参数的实时监控,为温室大棚环境信息远程监控提供了一种解决方案。     

超大变形分析无网格法并行计算

鉴于无网格法相较于其他技术计算任务更重,以及求解问题本身的高度复杂和大强度计算,并行计算对此显得尤具吸引力。重构核质点法(RKPM)是一种对固体和结构进行大应变弹塑性分析的常用无网格法,考虑到它能精确建模超大变形问题而无网格扭曲现象,以及能方便地对需要精细化的区域进行简单改变质点定义即可求解,在此仅集中讨论该方法。并行程序包括网格分区预分析和并行计算,后者包括各处理器上分区间的显式信息传递。文中用基于图像的Metis程序来进行网格分区,由于其重定义技术能应用于不同几何部件的共享区域,该程序常见于基于网格的分析中。并行模拟和MPI信息传递在SGI Onyx3900超级计算机上完成。文中对不同分区的并行计算效果和性能进行了比较分析,并给出了无网格法与有限元法的对比结果。     

网络通信延迟对并行效率的影响

介绍了并行计算模型LogP,定量分析了LogP模型在轻载条件下,处理网络延迟、接口开销、本地TCP协议和传输消息所需的时间。结果表明比处理机数据传输花费的CPU时间大,网络通信延迟对并行效率的影响比处理机大;提出了在网络并行环境中,在考虑减少通信延迟,提高并行效率方面,选择高速率的网络通信设备比选择高速率的处理机更好。