基于MATLAB／SIMULINK的某型高炮伺服系统的仿真研究

伺服系统是高炮系统的重要组成部分.基于MATLAB环境中的SIMULINK仿真软件,对某型高炮伺服系统进行了动态仿真和分析,仿真结果可用来指导实际系统的参数调整.     

LabWindows／CVI环境下的仪器驱动器开发

研究了VPP下的仪器驱动器、软面板和安装程序等的功能和特性,并结合寄存器基VXI多路开关模块的研制,说明了在LabWindows/CVI环境下开发仪器驱动器的一般方法与研制过程.     

水体富营养化危害、成因及防治

水体富营养化严重影响人类健康、可用水量、水体经济价值和水体寿命,而大量污水超标排放、农业面源污染、水产养殖业失当、周边环境恶化和底泥氮磷溶出是其形成主因。在治理和恢复富营养化水体的实践中,必须强化污染预防意识,从源头上削减污染负荷,同时选用切实可行、系统协调、针对性强的政策和措施并长期坚持实施,才能起到事半功倍的效果。     

逐步Ⅰ型混合截尾试验下Burr部件的可靠性分析

在逐步Ⅰ型混合截尾试验下,研究了Burr部件寿命参数及可靠性指标的极大似然估计和Bayes估计.利用简单迭代方法,给出了寿命参数和可靠性指标的极大似然估计的数值解.然后利用Lindely Bayes近似算法得到了平方损失下寿命参数以及可靠性指标的Bayes估计.最后,运用Monte-Carlo方法对各估计结果作了模拟比较,结果表明Bayes估计较极大似然估计的误差小.     

语义树方法及其可靠性和完备性

Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法,但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误,同时对修正后的可靠性和完备性定理给出了详细的证明。     

研究生课表的计算机自动编排

针对研究生课程安排特点,提出并建立了一个研究生课程的计算机排课系统,同时讨论了此系统的数据结构和具体实现环境.通过建立排课的约束条件和排课相容判断准则,进一步阐述了研究生课表编排的计算机具体实现原则及其方法.     

基于神经网络的超精密机床伺服进给非线性模型辨识

以双轴Ｔ型结构的超精密金刚石车床的伺服进给系统为研究对象,采用自构造神经网络技术,建立了系统的非线性动态数学模型,为系统非线性控制与补偿提供参考模型     

Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

模糊群体决策的多方案评价方法

针对多方案评估中因素评价难于精确表示的问题,提出了一种基于模糊语言变量和OWA(OrderedWeightedAveraging)集结算子的群体评价模型与方法,给出各因素的方案两两对比偏好语言评价值,并通过对多决策者、子因素、主因素的三次集结和对模型中α值的恰当选取,可得到方案集的优序排列。该方法可行、有效,可为群体决策提供新的途径。     

流编程模型下的存储一致性模型

在流编程模型下建立了一个新的存储一致性模型--流一致性模型,它比传统的释放一致性模型更加松弛.讨论了流一致性模型对程序设计和系统设计的要求,给出了一个正确的系统实现,并且指出流一致性模型的编程和实现并不比现有的一致性模型复杂.