“逻辑学”与“独立思考”——俊杰、小弟、豹死、金花、树叶

逻辑思考方法与科学求真精神是现代社会的物质建设和精神建设的前提。逻辑学可以澄清日常用语的歧解 ,并有责任和可能对各种语言的用法进行“理智的重建”。可以通过对一些智力趣题的逻辑解决方法和演示来进行思维训练。但这些不同的训练方法也大有讨论、批评的余地     

怎样理解我们是最低纲领与最高纲领的统一论者？

江泽民同志在“七一”重要讲话中,明确指出：“我们是最低纲领与最高纲领的统一论者。”(以下称“统一论”)正确理解和把握这一论断,既有利于避免我们党的历史上曾出现过的超越阶段的“急性病”,也有利于解决一些人的“信仰危机”问题,从而坚定共产主义理想,全面推进建设有中国特色社会主义的伟大事业。     

多级可修备件库存的生灭过程建模与优化

针对VARI-METRIC模型在低可用度下结果不准确的问题,建立基于生灭过程的任意等级、任意层级可修件库存优化模型。通过对各级站点、各类备件需求率与到达率的预测,对每个部件建立其生灭过程模型,并提出基于生灭过程的装备可用度计算方法。以整个保障系统的装备可用度为约束指标,以备件总购置费最低为目标,利用边际算法得到最优备件配置方案,并建立仿真模型对所得优化方案进行评估与调整。结合算例,以仿真结果作为检验标准,选取权威的VMETRIC软件与该解析模型在优化性能、计算精度及适用性上进行对比和说明。结果表明,无论是解析模型还是VMETRIC软件,均存在一定的适用范围,而采用解析与仿真相结合的方法无疑具有更强的适应性。     

关于翻译的几点看法

从翻译的本质和根本目的着手,阐述了翻译的本质是通过语言外壳的转化,把语言中所蕴含的文化展示出来的过程,追求神似和形似的高度统一和有机结合,以达到严复提出所谓的“信、达、雅”的翻译的最高境界。     

备用系统可用度模型的建立及应用

提出将故障过程分为两个阶段时建立维修模型的一种新方 法。运用此方法,对RCM中的使用检查和功能检测工作进行分析,得出了备用产品检查间隔 和可用度之间的关系式。     

测量TOA和DOA的单站无源定位跟踪可观测条件

单站无源定位跟踪技术中,可观测性分析是一个关键问题,但是由于TOA测量方程的非线性程度太高,直接通过计算Jacobin矩阵得到的可观测矩阵形式非常复杂,很难得出明确的分析结果。采用新的思路推导了一种TOA测量方程的线性化方程,分析了测量TOA和DOA单站无源定位的可观测条件。最后给出了计算机仿真结果。     

核电磁脉冲对导航接收系统辐照效应研究

针对高空核电磁脉冲辐射能量大、破坏性强,且导航接收系统电磁敏感,内部电路易受强电磁脉冲干扰,开展了核电磁脉冲对北斗卫星导航接收系统的辐照效应试验研究.基于垂直极化有界波模拟器,搭建了核电磁脉冲模拟系统产生核电磁脉冲辐射场,研究了北斗卫星导航接收系统在核电磁脉冲辐照下的电磁效应;通过试验和仿真综合表明,导航接收机的接收天...     

俄罗斯接收新的潜水舰

据报道,俄罗斯已把第一艘新的潜水舰编入舰队。11980工程的首制舰,VM-596,在20世纪90年代初期开始建造,但由于预算问题,建造计划被推迟到2004年以便分配新的资金。VM-596,在2004年7月15日开工、11月28日正式服役。该舰用于潜水和打捞作业,下潜深度60米。设备包括Falcon远程操作的航行器、一个超气压处理室(hyperbaric chamber)和水下焊接仪器。VM-596是20多年来进入俄联邦海军服役的第一艘新的潜水支持舰,以后还计划建造两艘。俄罗斯接收新的潜水舰     

基于Markov链的分布式仿真系统最佳检查点间隔研究

基于HLA的分布式仿真系统作为一类特殊的分布式系统,其容错一般基于回卷恢复实现,在回卷恢复中检查点间隔的不同会对系统性能产生很大的影响。分析了分布式仿真容错与一般分布式系统容错的异同,根据不同仿真进程对仿真结果的重要程度对其进行了分类,定义并利用Markov链分析了采用回卷恢复时分布式仿真系统的可用度,得到了系统最大可用度对应的检查点间隔的求解等式,通过一组试验数据验证了该最佳检查点间隔求解等式的正确性。     

漏磁信号特征提取及检测研究

介绍了漏磁检测原理和用有限元法计算漏磁场的方法,漏磁场法向分量的峰-峰值随缺陷深度增加而增加,峰-峰值间隔随缺陷宽度增大而增大。在检测中,先去除漏磁信号的奇异值,然后用峰-峰值算法提取缺陷信号特征,根据信号的峰-峰值大小和信号梯度变化作为缺陷判别标准。