理性情绪行为疗法及其运用

理性情绪行为疗法是美国临床心理学家阿尔波特·埃里斯20世纪中期正式创立的。顾名思义,这种方法旨在通过纯理性分析和逻辑思辨的途径,改变个体的非理性观念,以帮助个体解决情绪和行为上的问题。目前该疗法已经广泛应用于临床领域与教育领域。     

小型无人机控制逻辑建模及仿真

无人机的飞行轨迹具有明显的分段特性,且在各飞行段内其飞行状态和控制方式有明显的区别。针对这一特点,可以通过建立飞行全过程的控制逻辑模型实现对无人机的监控任务。Stateflow是一个基于有限状态机理论的图形化离散事件仿真环境,可以用于控制逻辑建模。利用Stateflow建立了某小型无人机飞行全过程的控制逻辑模型,为无人机的控制逻辑建模提供了新的设计方法。通过对所研究的小型无人机非线性系统模型进行仿真,验证了所建立的控制逻辑模型的正确性。     

如何对标准进行剪裁

对要求实施的标准进行剪裁是一项严肃的技术工作。它要经过必要的逻辑过程,结合产品的性能要求、经费和周期等约束条件进行综合权衡;还要考虑产品的类型、重要性和复杂性、可能达到的技术水平诸因素,使“剪裁”出来的实施要求既能满足装备使用需要,具有先进性,又切实可行,有经济性;“剪裁”的结果要纳入装备型号“有关文件”经批准后才能生效。     

美军靶场发展模式

通过研究美军靶场数十年的建设历程,总结了美军靶场独立试验、联合试验和试验训练一体化三种不同的发展模式及其特点。在此基础上立足我军靶场的自身定位,提出了通过拓展靶场职能、整合试验与训练资源,建设一体化试验训练联合靶场的发展思路。     

一种用模糊逻辑控制的新型三相电压型PWM整流器

介绍一种基于模糊逻辑的三相AC/DC空间矢量变流技术方法,该方法软件结构简单,便于技术实现.应用该方法研制的样机,谐波失真THD值小于3.9%.     

基于神经网络的组网雷达协同探测模式控制

针对多机编队多雷达协同探测模式的切换选择问题,提出了一种基于神经网络的协同探测模式控制策略.通过利用模糊逻辑理论对战场态势信息进行模糊表征;然后,采用神经网络技术对态势表征因子与协同探测模式之间的映射关系进行数学建模;最后,将实时态势信息输入建立的模型,自主得到协同探测模式的选择建议.通过数值仿真表明,神经网络建模技术...     

名墨訾应论

名墨两家是中国古代两大逻辑学派,他们的逻辑思想堪称中国古代逻辑思想的高峰,因此,探讨两家逻辑思想的关系,弄清他们逻辑思想之异同有一定意义。关于“名实之见”,名墨均认为“名实相符”,但名家主要表现为形而上学的名实观,墨家则表现为辩证的名实观;关于“坚白之辩”,主要表现为名墨两家的“离盈之辩”,名家认为“离坚白”,即感觉的分离证明了事物属性的分离,坚、白二属性是独立存在的,墨家认为“盈坚白”,即触觉和视觉都存在于事物,不能把它们分离开来:关于“同异之论”,名墨都有“同中有异,异中有同”的思想,但墨家进一步认为,本质上相同的事物即为同类,其中之异就是次要的,本质上相异的事物即为异类,其中之同就是次要的。     

模糊控制的研究与进展

本文介绍了模糊控制的发展过程,以及模糊控制器的基本原理,介绍了目前在模糊控制和人工智能领域内关于模糊控制本质的一场争论,指出了模糊控制的插值机理。     

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

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

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。