Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

智能CAI中学生模型库的设计

智能CAI以现代教育理论为基础,利用人工智能、心理学、认知科学等学科的最新成果,通过计算机向学生传授各种知识和技能,以达到真正的个性化教学的目的。在建造智能CAI系统时,学生模型库的建立是智能CAI系统的核心问题。设计建构学生模型库有多种不同的方法,可以采取覆盖法、差错法、规划法和学习历史法等方法。对学生模型库的逻辑结构进行了分析,探讨了智能CAI系统中建立学生模型库的方法,包括作业模型配对、错误编辑法和模型推导法和结构内化法。     

量化拆包的综合显示控制系统软件设计与实现

综合显示处理机与多功能显示器接口模块之间通信采用HDLC传输协议,此时综合显示处理机与多功能显示器字符板模块之间通信采用DF指令格式.但是当画面显示数据的DF指令长度超过HDLC协议设置的带宽或设定的缓存区大小时,综合显示控制系统将无法实现信息显示.为此本文提出了主动量化拆包的解决方法,可支持大数据量显示的综合显示控制...     

反舰导弹末端立体机动的质心控制指令设计

比较了几种末端机动控制方式的不同,分析了它们的应用场合.采用姿态控制下的质心控制方式,在增益调度PID控制系统作用下,实现了侧向平面、纵向平面与斜平面内的蛇行机动,以及非平面的螺旋机动、椭圆螺旋机动等形式,给出了一体化公式,并在VC 下进行了六自由度非线性模型的全弹道仿真.     

软件无线电的可重构流处理器体系结构

 针对软件无线电中存在通用数字信号处理器（DSP）计算能力不足以及专用基带处理器缺乏扩展性的问题,提出了一种新的处理器：面向软件无线电的可重构流处理器及相应的专用指令集。仿真证明,该处理器的可重构设计具备指令集扩展能力,可以对多种无线通信标准甚至是新的通信标准提供支持;面向软件无线电的流体系结构和专用指令集保证了对多种高速无线基带信号的实时处理,运算能力是通用DSP的5~13倍。该处理器为软件无线电中的硬件设计难题提供了一种新的解决途径。     

扩展分支分析方法在飞行动力学中的应用

将分支分析和突变理论方法扩展后,应用于飞机全包线范围内平衡特性的连续计算和稳定性分析,提出了以扩展分支分析方法为基础的反馈参数连续调参的控制律设计方法。研究结果表明,扩展分支分析方法不仅能获得飞行性能指标,而且可确定非线性飞行动力学系统的稳定特性,是综合进行性能计算、品质分析及控制律设计的一种有效方法。     

变循环发动机过渡态性能直接模拟方法

为了实现多变量可调的变循环发动机（VCE）过渡态性能模拟和控制规律设计,在稳态逆算法和过渡态性能隐式格式计算方法的基础上开发了变循环发动机过渡态直接模拟方法。在稳态逆算法模型中加入容积效应和转子动力学方程,实现了同时给定加速率、涡轮前温度和压缩部件工作点的条件下直接模拟计算过渡态过程中变几何参数和燃油流量的调节规律,验证了方法的精度和可行性,并将该方法用于变循环发动机转模态性能模拟和控制规律设计。计算结果表明,过渡态直接模拟方法的误差在0.58%以内,超声速巡航状态下由单外涵模态转换到双外涵模态的时间约为1 s,海平面静止状态下双外涵转单外涵的时间约为3 s,且推力、转速、涡轮前温度、喘振裕度等参数过渡平稳。该方法可简化转模态控制规律设计流程,并提高设计精度。     

基于多代理模型的航空发动机建模及优化方法

为了进一步提高航空发动机建模及优化方法的性能,本文提出了一种基于多代理模型技术的建模及优化方法。本文首先提出了一种新的代理模型全局误差估计方法,以此建立了新的多代理模型建模方法。然后提出了一种组合模型预测偏差估计方法,以此发展了一种基于多代理模型技术的优化方法。6个不同维度及不同训练集大小的解析测试算例的结果表明,本文所发展的建模方法相较于现有方法精度更高,本文所发展的优化方法相较于经典代理模型优化方法算法收敛性更强。同时变循环发动机稳态性能建模及加速燃油控制规律优化实例表明,本文所发展的方法在处理实际工程问题时,依旧可以表现出良好的算法性能。     

Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

基于Fratar模型的航班时刻需求战略预测方法

航班时刻是机场运行的基础和核心,准确预测机场的航班时刻需求,对于指导机场基础设施建设、运行模式调整等具有重要意义。在航班计划结构信息分析的基础上,构建了全国航班O-D矩阵,建立了多层级机场起降量预测模型,并以起降量预测结果为输入,利用Fratar交通分布预测模型,预测目标机场时刻需求。以杭州萧山机场为例,以2010年为基年,2014为预测年,验证了方法的准确性和可行性,并预测了2020年航班时刻需求,分析了不同运行模式下机场理论容量与航班时刻需求的匹配状况,分析结果表明,2020年萧山机场需由隔离运行模式过渡到相关进近,方能满足时刻需求。