“不全则无”谬误——不积小流,无以成江海

我们谈话、辩论、思考，都需要逻辑(广义的，包括“谬误学”)。古语说“工欲善其事，必先利其器”，在今天“逻辑”这套工具已经发展成为思考的犀利武器，是做人、处事的随身法宝。这并非说，有了它，便万事大吉；而是说，没有了它，便事倍功半。     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

模糊离散变结构控制系统研究

系统研究了模糊离散变结构控制的设计方法,提出了几种具体设计方案.对于变结构控制而言,模糊逻辑的引入可以使滑模(变结构)控制具备推理和学习能力,控制信号得以柔化,能够减轻或避免一般滑模控制的抖振现象;对于模糊控制而言,滑模控制思想的引入可以大大简化控制结构,保证控制系统的鲁棒稳定性,对模糊控制系统的设计和性能分析提供了一种工具.     

虚拟逻辑分析仪在军事电子自动测试领域的应用前景

现代电子设备中,广泛使用大规模集成电路,具有总线结构。原来单靠硬件完成的任务,现在通过软硬件结合的方式实现,而且功能越来越丰富、速度越来越快。再用传统的万用表、示波器等测试仪器去发现并解决遇到的问题显然已力不从心。所以就要求检测、诊断技术不断跟进。随着计算机技术的迅猛发展,国外及国内的公司已经开发出了多款虚拟逻辑分析仪。它将计算机强大的数据运算、处理、人机交互能力和传统逻辑分析仪强大的数据采集能力有效结合在一起,可以得到相关电路多个采集点的时序及状态的真实有效数据, 为进行深入的测试奠定了基础。     

多弹种快速供弹系统设计

在研究国内外供弹系统的基础上,借鉴它们的可取之处,通过机构上的综合和创新来建立一个有效的、可行的方案模型,确定供弹系统的结构形式与布置方式,对其进行详细设计,并在Solidworks中建立供弹系统的实体模型。完成了方案的总体结构布置和时序设计。对弹鼓进行了结构和运动规律设计,完成了弹丸的运动过程分析,运用ADAMS对模型进行了仿真验证。为提高舰炮的射速和供弹系统的自动化以及多弹种快速转换能力提供了新的思路与构想。     

采用时序多属性评价方法的空战威胁排序

鉴于空战中威胁目标的多属性及动态变化特点,提出采用时序多属性评价方法来解决空战目标动态威胁排序问题。在建立空战威胁指标体系基础上,采用熵权法确定目标属性权重,并通过指数分布法确定各时刻权重,最后综合依据威胁目标多时刻的属性信息,实现了空战动态威胁排序。仿真结果说明该方法的合理性。     

混合电推进能源管理系统模糊逻辑控制

针对混合电推进能源管理方法开展研究,设计了一种基于模糊逻辑控制的混合电推进能源管理系统。通过设置垂直起降飞行器的功率要求、内燃机-发电机输出功率和储能电池荷电状态的模糊隶属度函数,动态最优分配发电机与储能电池的功率输出,从而提升系统的燃油经济性与飞行器的航程。结合模型设置,对100 kg级的垂直起降转平飞的飞行器能源系统变化进行仿真计算,验证了能源控制算法的可行性。结果表明：基于模糊逻辑控制的能源管理方法,在总时长约为1.2 h的飞行过程中,内燃机约有1 h的时间工作在比油耗最低的区域,从而提升了混合电推进系统的能量利用效率。研究为后续混合电推进系统的能源高效控制与管理提供了设计思路和分析方法。     

低空复杂场景红外弱小目标快速精准检测

针对低空复杂场景下红外弱小动目标检测难度大、虚警率高等问题,面向探测系统中高帧频图像实时处理应用需求,提出基于全卷积网络的弱小目标精准检测方法和基于现场可编程逻辑门阵列(field programmable gate array, FPGA)的低时延并行处理方法。采用轻量化全卷积网络对红外图像中弱小目标进行空域检测,对相邻图像帧疑似目标进行时域轨迹关联以进一步降低虚警率。实验结果表明:上述方法相比于五种传统方法在检测率和虚警率性能方面均有显著提升,并在单片FPGA上完成100 Hz图像实时处理,处理时延低于1.8 ms,实现低空复杂场景弱小目标高精度高鲁棒快速实时检测。     

邓小平生产力标准思想在历史观上的逻辑结论

邓小平的生产力标准思想对于邓小平理论的全部命题、判断、思想都具有逻辑起点意义。从历史观方面看 ,邓小平生产力标准思想的逻辑结论包括三个方面 :一是生产力标准是衡量社会意识进步与落后的根本尺度 ;二是生产力标准是社会主义初级阶段理论形成的认识论依据 ;三是生产力标准是不发达国家社会发展的最高价值判据。     

航天科工三院研制新型“黑匣子”护航民航安全

中国航天科工三院正研制生产一种新型的快速获取驾驶舱语音记录器,主要实现机上六通道音频数据和时标数据采集,2000小时长时间数据存储,短时数据冗余备份和数据回放等功能。该产品采用多项关键技术,以FPGA为核心,通过ARM控制器和高性能DSP实现时序控制、数据压缩和加密,采用SSD固态硬盘和高速同步ADC实现数据实时采集和存储。不仅能够大大突破录音时间的限制,更提高了产品的可靠性和易用性,能够适应严苛的机上环境,并且结构拆装灵活,数据导出高效便捷,后续还可扩展无线传输和视频采集功能,进一步满足民航安全保障的需求。