Σ-演算的范畴模型

Σ-演算是并发演算CC的子理论,集中体现CC中的并行运算部分的特征。本文将并发通信系统看作是由状态加变换构成的动态系统,建立了Σ-演算的范畴模型(Categorical ModeI),其基本思想是:把Σ-演算中的公式对应于范畴构造中的对象(Objects),Σ-演算中的推演对应于范畴中的态射(Morphisms),从而通过Σ-演算的结构操作语义自然地得到一种范畴结构。这种方法可以推广到其它并发理论之中,例如网论和逻辑方法(如线性逻辑Linear Logic),从而范畴论可以作为描述并发、通信和非确定性行为的统一的形式化框架。     

圆柱尾流与游鱼间相互作用的数值计算研究

为了预测鱼类游泳问题的流动演变,开发了一种基于浸入边界格子玻尔兹曼方法的流动求解器.采用基于隐式边界力校正框架的灵活迭代算法降低计算成本和内存.在确定边界节点的速度修正后动量力由简单的直接力公式描述,无需复杂的积分计算.使用所提出的流动求解器,分析了鱼引起的动态失速涡与非定常流动中的传入涡之间的流体动力学相互作用.数值...     

捕风一号卫星总体设计与技术特点

捕风一号卫星是中国首次实现基于星载导航卫星反射信号测量(global navigation satellite system-reflection,GNSS-R)技术的气象卫星,采用新型L波段海面风场信息探测技术,在风场测量、海面飓风风速反演等方面为国家气象、防灾减灾等行业提供服务.从系统设计角度介绍了捕风一号卫星的总...     

基于多GPU的大型线性和非线性方程组的求解(英文)

在处理工程问题时,常常需要对线性或非线性方程组进行求解。对于实际应用中经常遇到的大型方程组进行求解则需要相当长的时间。使用图形处理器(GPU)代替传统的CPU,将多块GPU通过操作系统进行协调,并将PBi-CGstab方法和Inexact Newton方法进行适合多GPU并行的改造以此作为多GPU求解器的核心算法,加速求解大型线性和非线性方程组。本文的多GPU求解器在成倍扩展了单GPU求解器允许的计算规模的同时取得了令人满意的加速比。     

力限振动试验技术理论基础研究

为了深入理解双控方程,由运载火箭有限元模型的多自由度子结构方法,导出缩聚在星/箭连接界面处的全箭动力学方程,定义相应参数后,导出星/箭耦合中的双控方程,给出界面加速度、有源机械系统的自由加速度、界面力、紧固力、源阻抗和负载阻抗表达式,从而加深了对星/箭耦合双控方程的理解,进而促进力限试验技术研究.同时,从多自由度模型简...     

基于网络化测试技术的通信装备维修保障

未来信息化战争条件下,通信装备朝着网络化、标准化、通用化、系列化、模块化的方向发展,首先在分析现有通信装备维修保障中存在的问题和不足的基础上,提出了应用网络化测试技术的意义,并给出了系统的总体结构和两种软件设计方法;然后对现有通信装备的网络化改造提出了通过连接PC机间接接入,通过接口转换模块接入,现场智能设备嵌入TCP/IP协议三种方式,并对他们进行了分析.     

基于ANCF的薄膜太阳帆自旋展开动力学模拟

执行深空探测任务的薄膜太阳帆在入轨展开过程中,其薄膜结构在宏观力学响应上表现出显著的拉压不对称特性.系统的动力学行为呈现出强烈的非线性特征,使其动力学建模与仿真计算面对巨大挑战.基于绝对节点坐标方法(Absolute Nodal Coordinate Formulation,ANCF),整合张力场和不同模量弹性理论,推...     

自由面碎冰浮冰环境高速入水动力学特性

为了研究碎冰环境下航行体高速入水过程中的空泡流场演化、航行体动力学响应以及碎冰载荷特性等规律,基于任意拉格朗日-欧拉方法建立了碎冰环境下的航行体高速入水流固耦合计算模型,并与高速入水试验、冰材料三点弯矩试验对比验证了方法的有效性和冰材料模型的可靠性。利用构建完成的高速入水流固耦合计算模型重点研究了碎冰以及碎冰间隙对航行体入水过程流场、动力学参数以及载荷的影响。研究结果表明：碎冰的存在对航行体入水后的水面抬升以及产生的飞溅演化存在抑制作用;碎冰环境下航行体的入水冲击载荷显著增加,其过程相较于无冰环境具有更大的动能损耗,但其砰击载荷持续时间与无冰环境入水过程一致;入水形成的飞溅冠连续性随着碎冰间隙的增加而增加,一定碎冰间隙范围内,航行体瞬时砰击载荷与间隙大小呈负相关关系,间隙足够大时,砰击载荷变化相对较小。