基于剩余蕴涵的模糊概念格构造方法

介绍了由下半连续三角模生成的剩余蕴涵．建立了关于模糊形式背景的模糊概念格，并讨论了其层次结构、由模糊集生成的模糊概念以及Wille算子的不动点．用模糊关系实例说明了基于Godel剩余蕴涵的模糊概念格的构造方法．     

二型模糊系统降型算法综述

二型模糊系统降型过程的计算精度、计算时间和系统信息的损失会对整个二型模糊系统的性能产生很大地影响. 本文首先介绍了二型模糊集合的基本概念及二型模糊系统的计算过程,然后分别对区间二型模糊系统和广义二型模糊系统的降型算法的研究现状进行了详细综述,并对不同降型算法计算的复杂性进行了全面的分析和比较. 最后,总结了各类降型算法存在的问题,并给出了未来研究的展望. 指出,降型算法的计算成本仍是提升二型模糊系统性能的瓶颈,从理论上完善各种降型算法,通过数学方法解决其计算的复杂性问题,并将其应用于实时系统会是未来研究的重点.      

四类交通事故检测算法的分析

交通事故检测是ITS的重要组成部分,文章就现有的模式识别法、事故理论、统计预测和人工智能四类不同的交通异常检测算法进行分析,重点分析各种方法中存在的优点和不足之处,以便为建立具有较高检测率、较低误报率和检测时间的检测算法提供科学的参考。     

数字孪生演进模型及其在智能制造中的应用

数字孪生作为实现智能制造信息物理融合的关键使能技术受到广泛关注，而如何构建数字孪生模型成为当前研究的热点. 目前，数字孪生模型多聚焦于概念抽象或具体工程应用，而较少从构建方法和过程的角度考虑如何分阶段、有步骤地构建和应用数字孪生模型. 因此，本文提出数字孪生演进模型的概念，将数字孪生构建与应用过程分为数字模型、数字投影以及数字孪生3个演进阶段，给出各演进阶段的应用方法、关键技术与工具平台，并探讨数字孪生演进模型在智能装备、智能生产、智能运维方面的典型应用. 研究结果表明:所提模型为数字孪生在智能制造中的分步实施提供了可行的技术路线与有益的应用参考.      

格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。     

基于多智能主体的高速公路控制系统结构

高速公路交通量的增加对高速公路交通控制提出了更高的要求。传统的基于精确数学模型的交通控制方法很复杂并且在实际应用中往往达不到预期的控制效果，因此寻求新的有效的交通控制方法也就成为必然。多智能主体(Multi—Agent)技术是人工智能领域中的一个研究热点，单个Agent能够自主地、主动地对对象进行控制，并且Agent之间可以进行协作从而使整个系统达到更大的智能性。介绍多智能主体系统(Multi-Agent System，MAS)的概念，然后描述基于MAS的高速公路交通控制系统结构以及Agent的内部模块的功能，最后对Agent之间的协作进行了简要的分析。基于多智能主体的高速公路交通控制系统拥有一种全新的智能交通控制结构，它能够较好地克服传统交通控制系统所存在的缺陷，适应高速公路交通系统的复杂性和随机性。MAS技术的关键在Agent之间的协调，因此下一步的研究应该集中在Agent之间如何建立有效的协调机制。     

公路桥梁地基的承载力及沉降分析

桥梁地基承载力计算及其沉降分析是大型桥梁建造中较难解决的问题,基于地质条件及工程项目的复杂性,交通行业标准《公路桥涵地基与基础设计规范》中给出的选用地基容许承载力的基本方法难以满足工程的要求,因此对该问题及其在公路桥梁建设中的工程应用的研究将是工程建设中的重中之重。     

关于剩余格的正则滤子

基于一般的剩余格,引进了正则滤子的概念,给出了正则滤子的一些特征刻画,并且建立了正则滤子与其它一些特殊滤子(G-滤子、MV-滤子、Boolean滤子)之间的内在联系.证明了一个剩余格为正则剩余格当且仅当它的每个MP滤子是正则滤子.     

概念格的分层及逐层建格法

给出了分层概念格重要性质:同层概念不可比和每个概念至少被1个上层的概念覆盖.得到了概念格上的对象映射和属性映射的一般计算公式和在对象化简过程中格结构不变的定理.由上述性质和定理,给出建格算法.此方法以概念格分层为基础,逐层建格.因为在建每层格的节点的过程中同时进行筛选,所以不会生成冗余重复的格节点.     

高职教育师资队伍建设若干问题的思考

"建设一支什么样的师资队伍"、"如何建设高水平的师资队伍"既是需要研究的理论问题,更是需要解决的实践课题。本文从高职教育发展方式的视角,提出高职教育师资队伍建设的理念,分析了师资队伍建设的总体目标,提出高职教育师资队伍建设的制度框架、政策建议、专业化发展路径设计。     

一种应用于OFDM通信系统的简化软判决算法

应用软判决算法可以对通信系统的性能进行改善.对解凋模块软信息的提取进行了理论分析,研究了一种含有信道状态信息(CSI)的软信息提取的简化表达,并通过在典型的OFDM通信系统,IEEE802.11a基带模型上,在无线多径信道下进行性能仿真.仿真结果表明应用了软判决的系统性能明显优于硬判决系统,并且软信息提取的简化算法在降低算法复杂度的同时几乎不影响系统性能.     

城市道路交通信号控制中的绿灯间隔时间问题

绿灯间隔时间是保障信号控制交叉口交通流运行中,上一相位清空交通流与下一相位进入交叉口的交通流不发生冲突的安全间隔时间,包括黄灯时间和全红时间（部分国家和地区采用红灯＋黄灯时间）,是影响信号控制交叉口安全和效率的关键参数。然而,目前国内还没有绿灯间隔时间计算方法的国家标准。首先介绍了绿灯间隔时间的基本概念及国内研究概况,然后分析比较了各国绿灯间隔时间的计算方法,并探讨了其影响因素（包括清空距离、进入距离、清空速度、进入速度、坡度、车辆长度、通过时间）。最后提出了我国绿灯间隔时间的计算准则、具体计算思路、分层分析方法及相关参数取值应考虑的问题。     

求简单有向图所有基本回路的强核图论算法

求系统动力学模型的所有反馈环等价于求对应的简单有向图的所有基本回路，其核心问题是算法的时间复杂度，针对这一问题，提出强核的概念，基于强核概念设计了求简单有向图所有基本回路的算法，给出相应算例，并分析了算法复杂性．在时间复杂度上，本算法优于基于核概念的有向图的行列式算法。     

基于车载通信实时交通信息的城市道路路径选择方法

为车辆出行规划最优路径是智能交通系统（ITS）的一个重要研究目标.本文根据有效的实时交通信息提出一种车辆路径选择机制,这种机制包括两个阶段.第一阶段,由有线或无线传输设备和车载通信设备组成的交通信息系统（TIS）,收集用于车辆出行导航的实时交通信息数据,并将其存储至交通信息中心.第二阶段,利用有效的实时交通信息,提出两种基于Dijkstra 的路径选择算法,即一步路径选择和逐步路径选择.前者在整个车辆出行过程中,仅在其出行开始阶段单次计算通往目的地的最优路径.逐步路径选择在每个交叉口都实时更新并计算通往目的地的最优路径,并提出使用两种新优化方法以避免算法形成环路.利用NCTUns 6.0 进行路网仿真,结果表明两种算法都借助于实时交通信息,且逐步路径选择优于一步路径选择.     

基于均衡使用要求的飞机排班算法

为解决基于均衡使用要求的飞机排班问题，引入航班节的概念，并对飞机一航班节之间的匹配性约束作松弛处理，然后通过构造航班节的网络模型，将基于飞机均衡使用要求的飞机排班问题转化为寻找一个使目标函数最小的航班节编组方案问题，根据飞机的均衡使用要求构造了目标函数，设计了一种基于模拟退火算法的启发式算法。该算法的计算复杂性为O(M(m^3 mn))。     

组织背景中心智模式的自我管理

在组织发展的过程中 ,人的因素日益突出 ,尤其是组织中员工的心智模式 ,往往是决定其行为的深层原因。心智模式的研究由来已久 ,并发展出多元化的研究范式。本文在回顾总结文献研究的基础上 ,尝试对组织背景中员工心智模式的概念进行新的阐释 ,提出了心智模式的自我管理和培训 ,同时也论述了心智模式对学习型组织的意义     

基于北斗卫星导航系统的船联网应用研究

首先介绍了船联网的概念和系统架构,以及建设船联网的意义,然后对基于北斗卫星导航系统船联网的建设内容进行了详细的说明,包括船感器、公共服务平台以及相关的示范应用项目等,最后列举了船联网在为重大事件提供支撑服务等方面的几个典型应用案例,阐明了建设船联网的重要意义。     

"先缆后梁"施工建造自锚式悬索桥的研究

针对100~400 m中小跨度的自锚式悬索桥,提出了一种先架缆后挂梁的设计施工方案.计算了施工过程中墩顶必须承受的最大水平拉力,分析了桥墩尺寸、临时固结和稳定性等关键问题.结果表明,在中小跨度范围内,墩顶最大水平力可以由墩来承受,从而能够克服目前自锚式悬索桥“先梁后缆”施工的弊端.     

库区填方路基施工关键问题及处理方法

库区填方路基施工的问题不仅在工程中很少出现,而且在施工规范中也很少被涉及到.笔者结合工程实践对库区填方路基施工中的关键问题作了一些探讨,提出了控制路基整体稳定性和不均匀沉降的方法,为水库地区路堤施工提供了一些经验和参考.     

基于青年大街站分析浅埋暗挖施工中的若干问题

浅埋暗挖法是地铁隧道施工的主要方法之一。以沈阳地铁一号线青年大街站为研究背景,总结青年大街站的施工技术难点,具有较大的推广应用空间。