LALR(1)分析器快速生成

根据LR(0)自动机的构造理论及Deremer和Pennello的LALR(1)向前看符号集计算公式,提出求解公式中的lookback关系和includes关系的高效算法. 研究过程表明,LR(0)项目集闭包计算和项目集的查找是LR(0)分析器构造过程中的主要性能瓶颈.对这两个计算过程给出了高效的数据结构和算法设计,实现了LALR(1)分析器的快速生成.系统实现及实验数据表明,LALR(1)分析器的生成速度超过了自由软件基金会的LALR(1)分析器生成器Bison.      

低强度超声波改善微生物燃料电池产电效能

微生物燃料电池(MFCs,Microbial Fuel Cells)可在处理有机废水的同时获得电能,但生物体系缓慢的电子传递速率是其发展的瓶颈.为了寻求提高MFCs工作效率的途径,建立了2个有效容积为1.5L,电极面积160cm2的单室MFCs,设置为超声波强化反应器和对照反应器,进行对比试验.结果表明,采用强度为0.2W/cm2、频率33kHz、超声间隔为83h的超声波对反应器辐照10min,在反应后期(运行2880h后)MFCs与对照反应器相比最大功率密度提高了6%,一个运行周期产生的总电量增加了46.5%;设置超声的反应器库仑效率(CE,Coulombic Efficiency)比对照反应器提高了25.7%.超声波强化反应器中水的pH值最小值比对照pH值最小值低0.2,超声波辐照的反应器氧化还原电位(ORP,Oxidation Reduction Potential) 最小值低于对照反应器ORP最小值34.8mV. 2个反应器3000min对化学需氧量(COD,Chemical Oxygen Demand)的净化效率都达到72.9%,超声波对COD去除贡献不明显,并从低强度超声波对微生物作用的过程方面分析了上述现象.      

面向RT软件测试数据自动生成的输入变量分析

为了解决自动生成实时软件可靠性测试用例遇到的如何描述软件输入空间的问题,提出了约功能的概念,对输入变量按照实时特性和取值特性进行了分类,探讨了利用随机过程描述具有随机取值特性的一类输入变量取值统计规律的方法,建立了描述输入变量的模型,并给出一个实例,展示分析输入变量的方法.     

基于本体映射的产品概念设计方案生成新方法

将本体与本体映射引入产品概念设计方案生成领域,提出了一种基于本体映射的产品概念设计方案生成新方法,有助于解决传统概念设计方案生成算法中由于知识描述不一致而导致的产品设计知识重用困难,以及设计方案生成准确性低的问题.该方法使用本体知识表示方法建立产品设计知识库;使用本体映射算法自动地搜索产品设计知识库中符合设计需求的产品概念设计方案.通过起重机起升机构驱动装置设计实例,验证了基于本体映射的产品概念设计方案生成新方法的正确性和有效性.     

混合系统的形式化验证

结合混合系统的研究对余度管理系统进行了形式化的分析和验证.采用的手段是时段演算技术及其扩展.首先进行形式化的需求分析,需求及其假设用时段演算表示,其次严格化地描述算法和参数的选取.在验证过程中,首先应用程序逻辑验证算法,算法的不变量以时段演算表示,最后在时段演算中验证整个系统的行为满足给定的需求.      

新型混合励磁电机技术研究与进展

混合励磁电机是对传统单一励磁方式电机的发展,力求综合永磁电机和电励磁电机的优势和特点,有利于减少稀土永磁体用量、拓宽永磁电机调速及调压范围,在航空电源、新能源发电与驱动系统等领域有重要应用前景。本文从励磁结构和磁路原理两个角度对混合励磁电机进行分类和阐述,系统总结了提出的新型转子磁分路混合励磁电机及并列式混合励磁电机的结构原理与运行特点,论述了基于转子磁分路机理发展的混合励磁同步电机不同结构拓扑及其原理,给出了发电/电动运行控制的基本策略与方法。新型混合励磁结构拓扑及控制技术的研究为丰富和发展混合励磁电机技术提供了理论参考与实践指导。     

任意平面域的三角形网格和混合网格生成

本文以阵面推进法为基础,给出了一种可对任意平面域进行三角形网格和混合网格自动生成的方法。该方法包含了易于生成与调控的矩形背景网格技术,简便的外形输入和初始阵面划分技术,加速查寻的数据结构,以及节点松弛和基于Ｄｅｌａｕｎａｙ准则的对角线交换技术。网格生成的实例表明,方法能快速可靠地生成任意平面域的高质量三角形网格和适于粘性计算的三角形／四边形混合网格,具有较好的通用性与实用性。     

三维非对称斜劈高速流动计算方法研究

交叉激波是高超声速进气道发展的关键气动问题之一。为实现对此类高速流动的准确数值模拟,基于RANS方程的自研多块结构网格计算软件,对经典三维非对称斜劈构型的斜激波交叉干扰流动特征开展了计算研究。通过对比分析,系统评估了计算网格、湍流模型及高精度格式对空间流场、底板摩擦力流线、压强分布、绝热壁温分布等的影响,获得了适用于三维非对称高速流动问题的网格生成准则和计算策略,同时验证了自研软件的模拟能力。     

三维非结构网格的生成及优化

叙述了一种新的生成三维非结构网格的Delaunay方法,该方法能够高效地生成优质四面体网格。由于采用了局部剖分的方法来保证边界的完整性,因而不需要添加新的节点到原始表面三角形中。该方法在四面体外接球的球心处插入新的节点,在插入全部内点后,采用删除边、边/面交换、网格光顺等方法对生成的网格进行了优化,基本能删除质量差的四面体。     

高亚声速压气机叶片优化设计

为实现压气机叶片的优化设计,采用Hicks Henne函数进行叶型参数化,N S方程流场计算与混合遗传算法结合构成设计软件。以给定叶片表面压力分布为目标,以损失小而扩压度大和给定压比损失最小作为目标,所得优化叶片吸力面等熵马赫数分布合理、符合控制扩散规律,具有较好的压比和损失指标。采用几何方法与椭圆型方程方法结合生成壁面正交H型网格,可提高计算精度和便于采用代数紊流模型的流场计算。