反导作战任务分配方法

为充分发挥反导体系的作战能力,探讨了多任务与多资源的多属性匹配问题。以任务为中心进行反导任务分配,给出了多任务分配问题的描述。结合反导资源作战使用的实际情况,分析作战任务和资源的多维属性。通过引入资源能力负载系数,定义任务需求与资源能力之间的矢量距离。以资源冗余和最小化协同负载策略为优化原则,建立了任务分配数学模型。借鉴和改进多维动态列表规划算法的思想,设计了具体的求解步骤,确定了任务选择资源的优先级。通过案例分析,验证了所提方法的适用性。     

用B样条曲线构造几何物体模型的方法

根据Ｂ样条曲线原理,提出了先用若干个截平面去切割几何物体,得到一组与几何物体轮廓线相交的点。根据这些点,再用Ｂ样条曲线去构造几何物体的近似轮廓线,从而得到几何物体模型。该方法方便、精确,便于在计算机几何造型系统中应用。     

零维液态金属快速凝固过程的热力学和动力学

分析了零维液态金属快速凝固过程中的热流规律,计算了零维数滴在真空条件下的冷却速度,并建立了零维液滴单晶形核的过冷度方程,结果表明,零维液滴的凝固过程由形核前所达到的过冷和系统向环境 散热共同控制,零维液滴在真空条件下的冷却速度在１０＾５～１０＾８Ｋ／ｓ之间。     

基于小波分析的被动声纳信号宽带噪声包络调制分析

采用小波分析理论建立了一种新的被动声纳信号宽带噪声包络调制分析算法。通过被动声纳的海上实际信号的分析实验,取得了良好的检测效果且可以节省计算时间,具有很好的应用前景。     

小菜蛾Plutella xylostella羧酸酯酶、酰胺酶及乙酰胆碱酯酶的研究

研究结果表明,小菜蛾(Plutella xylostella)乙酰胆碱酶、酰胺酶的最适pH值分别为8.0和8.5。pH值对闳酸酯酶活力影响较小,酰胺酶和羧酸酯酶反应速度在反应开始60钟内,仍在线性范围,乙酰胆碱酯酶反应速度在反应开始的8分钟内呈线性关系。羧酸酯酶、酰胺酶和乙酰胆碱酯酶的Vmax分别为551.81(nmol/mg,mln)、5.25×10~(-4)(μmol/mg.min)和20.36(nmol/mg.min);km分别为5.52×10~(-5)(mol)、1.18×10~(-3)(mol)和8.33×10~(-3)(mol)。     

车间作业计划的模糊多目标网络方法

讨论了模糊集理论在车间作业计划中的应用,提出了车间作业计划的模糊多目标网络模型及其算法。     

Carbazole-type compounds in crude oils

Carbazole-type compounds were analyzed using GC and GC-MS-MS. A relatively high concentration of carbazole-type compounds was detected in crude oils of different types (marine and non-marine) and different maturities (low mature and mature) in Tarinl. Liaohe and Keilu basins. The results suggest the ratios of 1, 8-dimethyl-/2, 7-dimethylcarbazole and benu, [a] carbazole/benzo [e] carbazole might be taken as petroleum migration parameters.     

时变不确定非线性系统的鲁棒输出跟踪

该文研究了一为具有时变参数或扰动的非线性系统的鲁棒轨迹跟踪控制问题,假定系统的标称模型是可以反馈线性化的,通过递推构造壮环系统地的Ｌｙａｐｕｎｏｖ函数,给出了该类不确定系统鲁棒输出跟踪控制器设计方案。该控制器能保证闭环系统的状态是一致有界的,且通过对控制器参数的适当选择,可使闭环系统的输出跟踪达到指定的精度要求,最后由一机器人控制系统的仿真研究表明,该文提出了控制方案具有很强的鲁棒性,控制效果是令     

关于时滞Liénard型方程的周期解

本文研究具有时滞的Lienard型方程周期解的存在性,得到了一些新的结果。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写