一种通用的城市道路交通流微观仿真系统的研究

交通流仿真是研究交通问题的有效工具,本文采用复合概率、模糊逻辑等方法建立了描述交通流中不确定性因素、车辆的到达,在路段上行驶以及通过路口的微观仿真模型,并利用面向对象的方法设计实现了于种基于上述模型的通用城市交通流微观仿真系统,比较真实地再现了车辆在道路网络的行驶过程。     

无变压器双有源桥DC-DC变换器的研究

电子设备的终端电源一般工作在硬开关状态,且体积较大,变换器难以实现高效率、高功率密度工作状态.本文在传统的双有源桥变换器的基础上提出一种新型无变压器双有源桥（DAB）DC-DC变换器拓扑,以隔直电容替代变压器,并引入多相交错并联技术以减小电流脉动,使变换器工作在软开关状态下,可有效降低开关损耗.通过研制实验样机,验证了上述改进方案的可行性,有利于减小电源的体积与重量,并降低成本和提高其功率密度.     

关键核心技术的国产替代：发轫理路与实践逻辑

关键核心技术是国之重器。实现关键核心技术的自主可控,对我国经济高质量发展、国家安全保障具有十分重要的意义,关键核心技术的国产替代不仅是缓解技术断供风险、保障供应链安全的重要手段,更是突破“卡脖子”瓶颈的必然选择。从理论和现实视角识别关键核心技术国产替代的发轫理路,系统反思我国关键核心技术国产替代的障碍与瓶颈：(1)存在认识误区,国产替代的统一思维尚未形成;(2)基础研究力量薄弱,关键核心技术源头供给不足;(3)缺乏适宜的产业政策,国产替代的支撑力度不够;(4)创新生态体系不健全,国产替代的“软“”硬”环境不完善;(5)领军型创新企业少,企业自主创新动力不足;(6)领军人才及攻关团队缺乏,技术集中突破难度大。并基于“宏观—中观—微观”三位一体的架构,从国家层面、产业层面和企业层面构建关键核心技术国产替代的实践逻辑：(1)健全新型举国体制,形成国产替代统一思维;(2)强化基础研究,加大专项投入;(3)完善产业政策,加大国产替代的支撑力度;(4)优化创新生态体系,营造国产替代的“软”“硬”环境;(5)明确企业主体地位,提高自主创新动力;(6)重视领军人才和攻关团队的引进和培育。研究旨在为推动...     

基于FPGA的可重构性数字逻辑实验方法

在介绍可编程器件FPGA及其可重构性的基础上,举例说明了基于FPGA的数字逻辑实验的可重构方法,并讨论了基于FPGA的数字逻辑实验的可重构方法相对于传统数字逻辑实验教学的优势。     

量化核证逻辑QLP概观

QLP是第一个量化核证逻辑,它允许对证明项的量化。菲廷给出了QLP的公理系统和可能世界语义,并证明了QLP的可靠性和完全性。迪安和黑川用QLP分析了知道者悖论,后来又对其进行了详细的哲学分析,但阿洛-科斯塔和岸田反对这种分析。QLP的出现填补了核证逻辑在量化部分的空白,推动了核证逻辑的发展。     

卡尔纳普的数学哲学

卡尔纳普的数学哲学林夏水Ｒ．卡尔纳普（１８９１～１９７０）作为维也纳学派的一个重要成员，已为哲学界所知晓；但他作为一个数学哲学家，曾经代表逻辑主义，与形式主义、直觉主义进行过论战，并以其数学哲学观点影响逻辑经验主义学派的形成，却鲜为人知。本文将探讨卡...     

自旋1/2态下的量子逻辑变换

作者利用对自旋算符的量子线性变换理论，提供了一种考察自旋1/2态下的量子逻辑门变换的一种有效方法，并给出了几个基本量子逻辑操作的变换表达式。     

卡诺图在逻辑函数化简与运算中的应用

卡诺图是逻辑函数的一种表示方式，对于逻辑变量个数不多于5个的逻辑函数的化简和运算，采用卡诺图法具有直观简便的优点，故得到广泛的应用。本文介绍一种卡诺图的快速填充方法，以及卡诺图在函数化简和运算中的应用。     

开关广义Mandelbrot集

基于开关复映射,阐述了开关广义Mandelbrot集(简称广义M集)的构造方法,并构造出一系列开关广义Mandelbrot集·在对开关映射作用下复C平面上初始点轨道的分析及开关广义M集构造算法研究的基础上,通过计算机实验,得出以下结论:①开关广义M集具有分形结构;②开关广义M集包含了构成开关映射的两个映射的部分稳定区;③开关广义M集的演化过程依赖于相角主值范围的选取     

New Develoopment of the Basic Theory of Extenics

In this paper,the new development of three basic theories of Extenics,incluing basic-element theory,extension set theory and extension logic theory ,has been introduced.And the new theoretical frame of Extenics has also been set forth.