基于关系数据库的仿真模型管理

本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发，提出以关系代数系统实体结构（ＲＡＳＥＳ）框架为理论依据、利用关系数据库进行模型库管理的方法，并给出模型库管理算法的形式化描述及系统设计。     

基于程序切片的电路提取技术

从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。     

焊接工艺对熔敷金属韧性的影响

探讨了改变焊接工艺对焊条熔敷金属冲击韧性的影响．研究表明：改变焊接工艺,将通过改变熔敷金属的化学成分,影响熔敷金属的强度和韧性;降低焊接线能量时,将降低熔敷金属中的氧含量及其氧化夹杂物的数量和大小,从而提高熔敷金属的韧性     

电液伺服系统的建模与仿真研究

研究了电液伺服系统的理论建模,引入了一个非线性状态空间模型来描述电液伺服系统的动态特性．并且应用了Matlab提供的模拟仿真工具Simulink实现了模拟仿真．通过仿真结果与实际系统的响应相比较,验证了理论模型描述实际电液伺服系统动态特性的准确性,为今后设计高质量的控制器打下了良好的基础．     

微弱信号测量的一种实现方法

介绍了一种μＶ级微弱电信号测量的实现方法,给出了测量放大电路的具体设计以及信号采集与处理软件流程图．与传统测量方法相比,此测量方法所使用的仪器体积小,重构测量系统方便,可直接由计算机对信号进行分析,是目前信号测量的主要发展方向．     

一类拟线性周期抛物边值问题

研究了一类带有小扩散系数的拟线性周期抛物混合边值问题。给出当扩散系数趋于零时其非平凡解的渐近性。     

用Maple设计回归分析实验课件

本文介绍在 Ｍａｐｌｅ上以测弹性模量为例制作的回归分析实验课件,课件具有可观性、交互性、文本交流等特性,并拥有 Ｍａｐｌｅ的资源,便于学习使用,可以用于解决实验数据处理的回归问题。     

与装备维修组织设计相关的几个问题

论述了建立装备维修组织过程中的主要活动及它们之间的关系。分析了国内外目前在该领域的研究状况。重点讨论了装备维修组织设计中任务环境、资源组成、资源分布、管理结构、维修专业组结构及资源动态决策等六个问题。     

线性可调汽蚀文氏管研究

本文是“可调汽蚀文氏管”课题研究的阶段报告。为了提高变推力发动机的控制精度,要采用带有特殊型面调节锥的线性可调汽蚀文氏管。本文证明了这种调节锥的形状应为一旋转抛物面,并得到了实验验证,也给出了这种使流量与调节锥行程为线性关系的文氏管之设计方法。为了便于设计,对参数间的关系及有关的问题也进行了讨论。本文可供从事变推力液体火箭发动机和文氏管流量计的研究工作者参考。     

面向GPU的非结构网格有限体积计算流体力学的图染色方法优化

采用图染色方法解决通量累加和局部最大压力计算引起的两种典型资源竞争问题,并通过共享内存的使用、体编号和面编号的重排、面数据的重排三种策略优化图染色方法。针对应用在空气动力学多种规模的三维网格,分别采用双精度和单精度操作数,在Nvidia Tesla V100和K80 GPU上,展开性能测试。结果表明:共享内存的优化效果不明显;体编号和面编号重排降低了图染色方法的计算性能;面数据重排可以有效地优化图染色方法;计算性能在V100上提高20%左右,在K80上提高15%左右。