冰雪条件下高速公路可变限速方法

高速公路在冰雪天气下需要进行封路或限速等措施,导致道路通行能力减小,车辆行驶安全性下降。 针对该问题,在考虑道路线形、冰雪条件道路特性与交通流特性的基础上,提出一种基于冰雪条件的高速公路 可变限速方法。建立了包含道路线形与冰雪条件的速度生成模型,同时引入模糊控制系统对路面雪况进行预 测。通过Vissim 软件对高速公路部分路段进行仿真实验,结果表明,该可变限速方法可根据雪况动态调整限 速值,相比于对照组Ⅰ( 固定限速) 降低了车辆延误,提高了通行效率,相比于对照组Ⅱ( 封路除雪+ 无限速) 提高了道路通行能力。表明相较于传统方法,该方法能更有效地保证冰雪条件下高速公路车辆通行效率与安 全性。     

产业结构地区分类方法及应用

为了把各地区按产业结构的相似程度进行分类，以确定相应的经济区域，本文采用了地区间产业结构的相似程度指标构造相似关系矩阵，然后把它转化为对称的０－１矩阵。最后通过运用对称的０－１矩阵的性质，把地区按产业结构的相似性分成若干类。应用实例说明，这种分类方法是可行的和有用的。     

机载防撞系统TCASⅡ Version 7.1与Version 7.0软件的比较

针对机载防撞系统TCAS软件版本的改进,描述了TCASⅡVersion7.1对Version 7.0软件所作的修订,分析了Version 7.0与Version 7.1软件的差异和改进.按照DO-185B所规定的TCAS系统最低性能需求,采用软件工程的方法,完成了TCASⅡVersion 7.1防撞算法的软件设计和编程并建立了相应的软件测试平台.通过采用一组标准输入及输出的测试用例文件,将标准输入产生的输出结果与DO-185B的输出结果进行比对,验证了TCASⅡVersion 7.1防撞算法和处理逻辑的正确性和有效性.     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

逻辑在基础数学课程中的教育价值

在新的课程改革的背景中,高中阶段开设数理逻辑课程.本文分别从数理逻辑的应用价值、思维价值以及文化价值等不同侧面论证了在高中阶段开设数理逻辑课程的必要性.     

最优状态编码研究

探讨了状态机电路最优状态编码的问题。研究了状态编码的成本及寄存器最优、组合逻辑最优之间的关系，介绍了3种常用的编码方法。通过实验分析差异。     

用PLD实现桶形移位器的功能

PLD器件具有灵活方便、设计周期短、保密性强等特点、可反映编程。     

Carnap on unified science

Unified science is a recurring theme in Carnap's work from the time of the Aufbau until the end of the 1930's. The theme is not constant, but knows several variations. I shall extract three quite precise formulations of the thesis of unified science from Carnap's work during this period: from the Aufbau, from Carnap's so-called syntactic period, and from Testability and Meaning and related papers. My main objective is to explain these formulations and to discuss their relation, both to each other and to other aspects of Carnap's work.     

基于逻辑函数的电路可测性设计及多故障测试

逻辑函数可以根据需要被表示成多种不同的形式,其中的ESOP形式所需积项较少且具有一般性.针对数字电路的多故障,基于逻辑函数的ESOP形式,采用与门阵列和异或门树来进行电路的可测性设计,提出了在这种电路结构下的多故障测试方法,给出了检测电路中多故障的通用测试集.该测试集可从电路结构图直观求得,无需进行复杂处理,从而使测试生成变得简单快捷.