化学平衡若干问题的判断

一、化学反应速率大小的判断 化学反应速率是用来衡量化学反应进行快慢程度的,通常用单位时间内反应物浓度的减少或生成物浓度的增加来表示.判断其大小的方法通常有:     

时态逻辑形式化描述并发系统性质

时态逻辑是一种描述反应式(并发)系统中状态迁移序列的形式化方法,用于刻画并发系统所需验证的性质,是模型检测的基础.阐述了时态逻辑CTL 及其子逻辑CTL、LTL的语法及语义,然后分析运用时态逻辑描述并发系统性质,最后给出一个应用实例.     

区间数据包络分析的主客观求解及其应用研究

本文根据是否需要决策者的主观判断 ,将区间数据包络分析的求解方法分为主观方法和客观方法。基于一种能反映决策者满意度的区间数序关系 ,给出了求解方法。最后将这两种方法应用于基地伪装方案的选择问题。     

战争工程:信息时代的战争方法学

战争工程是随着信息时代的进步而产生与发展起来的必然产物 ,反过来它将成为促进信息化战争和武器装备发展的新的动力。这种建立在系统理论基础之上 ,利用现代信息技术 ,以综合集成和战争模拟为主要方法和手段的战争工程思想 ,应该成为信息时代的战争方法学。本文给出了战争工程的定义 ,研究了战争工程产生的原因 ,描述了主要的特征和内容 ,并提出了需要注意的几个问题。     

辣素合成研究进展

对合成辣素的方法和技术途径进行了较全面的综述．     

以GABAA受体为靶点的药物筛选与评价技术研究

GABAA受体是中枢神经系统重要的抑制性神经递质GABA的受体,是配体门控的氯离子通道,它是由镶嵌于神经细胞双类脂原生质膜中的5个亚基(来自8个亚基族)组成的五边形异质性多肽类寡聚体,主要由GABA识别位点、BDZ识别位点和氯离子通道3部分组成。目前已知至少有4类药物的结合位点存在于该受体复合物上,包括镇静剂安定类、抑制剂巴比妥类、痉挛剂印防己毒素(picrotoxin)、神经活性甾体类,因此具有丰富的药理学内涵。     

Link-16数据链及其有效干扰方法分析

本文对Link-16数据链路的功能、特点进行了介绍,对现有的干扰方式进行了分析．然后在此基础上对如何更加有效地干扰Link-16数据链路进行了深入的探讨。     

基于闪存的TMS320VC5416 DSP并行引导装载方法

以C5416为例,系统地阐述了FLASH的系统编程技术和基于FLASH的DSP独立系统的实现,并根据实际经验,详细介绍了一种采用外部并行引导方式来实现DSP系统自举引导装载的方法。该DSP独立系统的实现方法简单、可靠,适用于用户程序代码小于32K字时的情况。     

短波DFH系统抗干扰能力分析

针对常见的几种干扰方式,本文对短波DFH系统的抗干扰能力进行了分析,得出了一些有益的结论,并提出了一种单频瞄准干扰抑制方法。     

学点《论语》的治学之道

自党中央提出建设学习型党组织后,各级都在大抓党员干部的学习。民兵预备役部队也不甘落后,学习氛围渐浓。但学习是有科学态度和科学方法的,缺乏科学的态度和方法,学习就可能事倍功半。近读《论语》,发现有很多治学之道,现择选几条,供大家在学习中参考借鉴。