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

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

浅谈如何在课堂教学中培养学生的数学思维品质

数学思维问题是数学教学中的核心问题,培养中学数学思维是开发中学生思维能力的一个突破点,是提高教学质量的重要途径.数学教学要开发智力,发展能力,就不能仅停留在传授知识上,还必须注重培养学生的思维能力.但培养学生的哪些思维能力,如何培养学生的思维能力,如何在课堂教学中进行思维训练是值得研究的重要问题.本文着重对中学数学应培养学生哪些思维品质训练的基本方法作一些阐述.     

白芥子气中总黄酮含量的提取与含量测定

目的:从白芥子中提取总黄酮,并测定其含量。方法:运用索氏提取器提取白芥子总黄酮,用比色法测定总黄酮含量。结果:测得白芥子中总黄酮含量为1.50%,平均回收率为97.6%,相对标准偏差(RSD)为1.43%(n=6)。结论:首次从白芥子中提取总黄酮,结果比较可靠。     

高中文学作品的欣赏重在学生的自我感悟

一、影响学生对文学作品感悟的因素 (一)教材的提示 语文教材中的文学作品,编写者为读者(学生)提供了该文学作品欣赏方面的许多提示,每个单元前有总体阅读提示,每篇课文前有重点阅读提示,课后练习中有课文重要内容的提示,部分课文还附有别人鉴赏体会、专家评析,以及有关网址提示,如高中语文第四册<装在套子里的人>课后附录了摘自<世界短篇小说名著鉴赏辞典>的专家评点和网址(华人教育网WWW.0-100.com.cn),每单元后有某一类文学鉴赏分析方法提示.这些教材的提示为学生把握文学作品的总体特征起到了奠定基调的作用,但不可否认,这些提示也在很大程度上影响了学生自己的思维,把学生对文学作品的欣赏感悟限制在一个事先设定的大框框里.     

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

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

怎样用化归方法解决数学问题

化归方法是我们解决许多问题的一种常用方法,在数学的方法论中它更是一种基本的方法之一.匈牙利著名数学家路莎*波得(Rozar Peter)在其名著<无穷的玩艺>中曾指出:"数学家们往往不是对问题进行正面的攻击,而是不断地将它变形,直到把它转变成能够得到解决的问题."路莎*彼得在这里说的就是化归方法.而在我们的数学教育中,化归方法是更是解决问题的一种重要的方法和手段.     

C4ISR系统评价方法研究

C4ISR系统的复杂性及重要作用使得其评价问题得到了前所未有的重视.结合国内外的最新进展,综述了当前C4ISR系统的评价方法.重点对性能评价和效能评价两类方法进行了深入的分析研究,指出在两类方法之间找到一种确切的量化连接关系是研究难点.最后提出了该领域需要关注的关键研究方向及发展趋势.     

浅析警卫观察

观察是人的心理素质之一,它是我们分析问题和解决问题的第一道工序.对于警卫观察来说,它不同于一般的科学实验观察,需要百分之百的准确,不允许出现丝毫差错.在警卫人员素质评价中,警卫观察占据着重要地位.     

以世界军事变革为牵引提高军事经济资源配置效率

文章从世界军事变革潮流的高度,探讨了军事经济资源配置应遵循的主导原则和主要方向,提出了军事经济资源配置的方式方法。     

再论增强思想政治工作的有效性

增强思想政治工作有效性 ,是思想政治工作的内在要求 ,也是当前思想政治工作亟待解决的一个课题。增强思想政治工作有效性 ,必须掌握实情、因人而异 ,必须集思广益、集中兵智 ,必须深入浅出、通俗易懂 ,必须言行一致、践诺守信