Σ-演算的范畴模型

Σ-演算是并发演算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),整合张力场和不同模量弹性理论,推...