关于条件蕴涵的一个注记(英文)

非单调推理与条件蕴涵之间存在着紧密的联系 ,众多研究人员从不同角度对此进行了研究 ,其中 ,C.Boutili-er与 P.Lamarre证明了一些条件逻辑系统刻画的条件蕴涵可以作为非单调后承的对应物。本文基于 Friedman与Halpern提出的 PS(Plausibility space)概念 ,探讨了具有非单调特性的条件蕴涵的性质 ,刻画了可以充当非单调后承在对象语言层对应物的条件蕴涵的一般特征     

互联网逻辑重构技术发展与现状

本文主要介绍关于PLDs的互联网逻辑重构技术的概念思路，以及此技术实现的基本框架，并对一种标准的文件格式JBC的生成和通过JTAG端口配置到可编程器件进行了说明。     

并联式混合动力车能量控制策略设计(英文)

提出了一种新颖的能量控制策略的设计方法用于并联式混合动力车.首先用SQP算法求解最大系统效率问题以实现全局优化;然后用模糊控制系统来协调发动机和电池的工作点实现局部优化.模糊系统的模糊规则建立则是汲取了SQP优化结果,从而保证全局与局部的统一.计算机仿真结果表明,运用该能量控制策略的混合动力车能达到较好的燃料经济性.     

湿空气透平循环饱和器水温控制建模分析

湿空气透平(Humid air turbine,HAT)循环是当今最先进的燃气轮机循环之一,饱和器水温控制是HAT循环一种通过改变饱和器给水量维持进口水温的控制逻辑。基于上海交通大学HAT循环实验台建立HAT循环模型,分析饱和器水温控制对HAT循环系统稳态和动态性能的影响。仿真结果表明,饱和器水温控制可以提高系统变工况运行的效率。对于研究对象,系统效率在75%工况条件下提高0.071%。此外饱和器水温控制可以使得饱和器更快达到稳定,但对HAT循环系统功率调节特性的影响较小。     

金属橡胶毛坯铺设路径规划

针对金属橡胶毛坯铺设工艺,提出了以背景网格为基础的优化模型,利用遗传算法建立了定位销设计和路径规划的优化方法,为毛坯铺设提供了理论依据.定位销数量由底面背景网格非零网格数确定,定位销排布由遗传算法计算得到.根据定位销优化设计结果,逐层对铺设路径进行规划,优化路径比经验路径所得毛坯更加均匀、密实,铺设层数越多,路径规划的优势越明显,铺设10层时,两毛坯目标函数b的值相差50%;单层路径数对毛坯的铺设质量影响不大;随着螺旋卷铺设长度的增加,不同单层路径数铺设的毛坯接触状态趋于一致.      

基础软件平台集成测试组合选择方法

针对基础软件平台集成测试组合爆炸的问题,研究了组合设计方法,提出了一种基于组合设计选择基础软件平台集成测试组合的方法.该方法将基础软件平台看作是一个多因素的系统,组成平台的每类基础软件用一个对应的因素变量来表示,每类基础软件的不同品牌产品表示为各因素变量的多种取值,构建相应的正交表或基于正交表的覆盖表,采用正交表或覆盖表来选择集成测试组合,按照选择的集成测试组合进行基础软件平台集成测试.应用实例表明该方法保证了集成测试组合对基础软件间两两交互的全覆盖,并有效地降低了集成测试组合数.     

用于相异性设计的模糊重用库

容错设计是提高软件可靠性的有效途径，但是由于设计多样性实现很困难且开销大，导致该项技术实现很困难。为此，提出了一个基于重用的应用框架。该框架的提出将相异性设计过程转变为根据可重用参数从大量具有相同功能软件组件中选择合适的组件来构成容错系统，从而简化了软件开发过程。同时为了更准确地描述组件，采用了模糊逻辑来表达其与上层概念的关联关系。本文介绍了重用库系统结构的设计及其对容错设计的支持。     

柔性太阳能帆板振动变论域白适应模糊控制

研究了有压电智能结构的柔性太阳能帆板振动的模糊控制。建立了帆板的动力学方程,针对振动问题的特殊性,采用周期变论域设计了变论域自适应模糊控制器,提高了模糊控制的精度和自适应性能。仿真结果表明：变论域自适应模糊控制能有效抑制柔性太阳能帆板的振动,并明显优于简单模糊控制。     

模糊神经网络在过失速机动飞行中的应用

模糊逻辑控制技术和神经网络有机的结合 ,拓宽了模糊逻辑方法和神经网络方法的适用领域。利用神经网络具有自学习能力的优势 ,采用反向传播学习算法 ,通过对传统模糊逻辑控制器中的模糊逻辑控制规则和隶属函数有关参数进行训练学习 ,设计了模糊神经网络控制器 ,应用于飞机的过失速机动“里程碑”之一—— 70°迎角定常飞行仿真计算 ,获得了令人满意的结果。     

基于ARM的嵌入式系统中FPGA配置方式研究

介绍了基于SRAM LUT结构的FPGA的几种在线配置方式,同时给出了在嵌入式系统中利用ARM7TDMI微处理器产生FPGA配置时序的方法;给出了最小系统应用电路;结合程序,分析如何产生FPGA的配置时序;本方案的实用性在本文得到充分说明.