流程仿真的多层次PERT-Petri网模型

复杂流程中的工序持续时间有着很强的随机性,并存在资源约束问题。首先分析了常见的PERT和Petri网在流程仿真中的应用特点,提出了多层次PERT Petri网模型,给出了该模型的建模过程和递归仿真算法。该模型在上下层次分别采用PERT和Petri网对流程进行描述,充分利用了PERT直观简便的特点和Petri网在随机性和资源约束上的描述能力,有效地解决了复杂流程的建模与仿真问题。最后给出了一个例子,表明该模型更容易理解和构造。     

群聚卫星系统参数对INSAR测高测速精度的影响

群聚卫星SAR(syntheticapertureradar)系统是一种新的功能强大的SAR系统。切航迹干涉SAR(CT INSAR)及沿航迹干涉SAR(AT INSAR)是该系统的两种主要工作模式。主要研究该系统中各种参数测量的误差对切航迹干涉SAR成像高度精度的影响,分析并给出了在测绘带内对各种数据测量精度的要求。还分析了沿航迹干涉SAR中测速精度对基线测量精度的要求。仿真结果表明,CT INSAR系统对基线精度的要求比AT INSAR系统要高得多。     

EXISTENCE AND ALGORITHM OF SOLUTIONS FOR GENERALIZED STRONGLY MIXED IMPLICIT QUASI-VARIATIONAL INEQUALITIES

The purpose of this paper is to introduce and study a new class of generalized strongly mixed implicit quasi-variational inequalities in Hilbert spaces, which includes the known class of generalized mixed implicit quasi-variational inequalities as a special case. By applying the auxiliary variational principle technique, the existence of solutions for this class of quasi-variational inequalities is proved. Moreover, a new iterative algorithm for computing approximate solutions is constructed and the convergence criteria for this iterative algorithm are also established.     

一种新型椭圆曲线密码系统协处理器的VLSI设计

研究了椭圆曲线运算的方法及椭圆曲线密码系统协处理器VLSI实现问题。基于一种新的投影坐标系,给出了求解椭圆曲线点乘运算的点加与倍点算法,提出了一种新的优化存储单元调度方案。根据研究的算法,得到了一种新型的协处理器VLSI结构。仿真结果表明,在50MHz时钟下,点乘运算速度为平均155次/秒。     

基于小波神经网络的自适应逆控制及其应用

神经网络控制特别适用于具有非线性和不确定性因素的系统。采用小波神经网络(WNN)对飞行仿真转台的直流伺服系统进行实时辨识,得到其逆模型。然后将这一训练后的网络作为前馈控制器与常规反馈控制器结合构成并行自适应逆控制器,控制转台跟踪指定的速度和位置轨线。仿真结果表明该方法的有效性。     

导弹发射决策专家系统推理机研究与实现

介绍了一种基于灵活、通用的知识表达方法的推理机。它将面向对象方法和问题求解的黑板模型有机结合 ,自带各种控制信息和适宜的不确定性推理算法 ,将知识库分层和模块化 ,极大地提高了推理效率。推理机根据监控信息 ,推理计算出导弹允许发射的合格置信度 ,已应用于导弹发射决策专家系统设计中。     

基于截断正态概率模型的改进目标跟踪算法

在应用NIFPAT算法对机动目标跟踪时存在计算量大和要求网络训练两个弱点。分析了截断正态概率模型和NIFPAT算法后 ,把截断正态概率模型与NIFPAT算法思想相结合 ,提出了基于截断正态概率模型的改进目标跟踪算法。该算法根据目标机动情况自动调整系统方差 ,在附加较小计算量的情况下 ,能取得较好的跟踪效果。仿真实验表明 ,该算法能有效地提高对机动目标的跟踪精度。     

一类适用于超宽带无线电的跳时序列族

跳时技术是超宽带无线电实现多址通信的一项关键技术。为保证超宽带无线电的可靠通信并减小系统中用户之间的多址干扰,系统要求跳时序列具有优良的跳时相关性能。基于对二次同余理论的研究,构造了一类适合于超宽带无线电通信系统的跳时序列族,给出了它的构造方法和序列的性质。然后通过对跳时序列相关性能的分析,证明了所得到的跳时序列族具有优良的跳时相关性能,满足跳时异相自相关最大值S_(max)≤2,跳时互相关最大值C_(max)≤4。最后,将该类跳时序列族用于超宽带无线电多用户通信系统进行了误码率性能仿真,仿真结果表明采用该序列族将使系统具有更好的多址性能。     

经济-环境系统协调发展评价方法研究及应用

分析了经济-环境系统发展的协调性，提出了经济-环境系统指标体系，建立了评价经济-环境系统协调发展的数学模型，最后以A市为背景进行了实证分析。     

实时监控与发射决策专家系统推理机设计

实时监控与发射决策专家系统要求应能根据监控信息，不断进行知识推理，多层次判断直到最终导弹发射决策。本文对推理流程设计原则、控制策略、推理机的运行过程等进行了介绍。本推理机将面向对象方法和问题求解的黑板模型思想有机地结合在一起，将知识库分层模块化，极大提高了推理效率。该推理机具有结构清晰、条理分明、维护方便等特点。