城市智能交通系统结构与功能服务设计

城市现代化的快速发展,交通管理手段的滞后,公路规划建设的不配套,加之汽车拥有量的急剧猛增,＂城市交通拥堵＂问题,无疑是现代城市管理的一大难题。文章设计了城市智能交通系统的涉车、涉驾运行系统,涉车、涉驾运营系统及形成的功能与服务。     

人驾车辆与网联车辆混合车队控制系统的稳定性分析

针对当前交通中存在的人驾车辆与智能网联车辆混合排布问题,文中提出了一种分布式控制结构。利用人驾车辆和网联车辆分布式控制的思想,基于车-车通信建立了人驾车辆和智能网联车辆模型。考虑到人驾车辆在行驶过程中只能通过前瞻和观看后视镜的方法获得前后车的相关信息,而获得的后车信息往往误差较大,因此在设计人驾车辆控制器时,只考虑相邻前车车辆位置和速度信息。而对于智能网联车辆,在行驶过程中,需考虑其能够与队列中相邻前车通信时的位置信息、速度信息和加速度信息。在此基础上,建立了混合车队车辆模型,设计了相关控制算法,并利用Lyapunov相关理论证明了算法的稳定性。仿真结果表明,在设计的控制律下,跟随车辆能够达到期望间距和期望速度,系统在控制律下达到稳定状态。     

一种车联网体系结构的设计

随着物联网技术的迅猛发展,作为物联网在智能交通领域的具体应用,车联网是继互联网、物联网之后,成为未来智慧城市的一个重要标志。针对目前交通信息采集方式落后,交通管理、车辆管理数字化、信息化、智能化程度不高的现状,该文设计了一个基于RFID技术的车联网构架体系,该体系以RFID信息采集为基础,集交通控制、交通诱导、车辆管理、交通信息服务等跨行业、跨部门的综合车辆信息应用平台,以促进公安、交通、税务、保险、银行等系统涉车信息的平台化、服务化为目标,实现涉车信息资源的共享和互通,提供丰富的智能交通综合服务,提升车辆管理的数字化、智能化水平。     

序言：新能源汽车与智能网联汽车专题Ⅱ

智能网联汽车是指搭载先进的车载传感器、控制器、执行器等装置,并融合现代通信与网络技术,实现车与车、路、人、云等信息共享,实现“安全、高效、舒适、节能”行驶。虽然该产业呈现出全面发展的良好局面,但回溯到核心技术层面,该领域仍面临若干技术调整,包括单车感知决策、车路协同、人机共驾、以及各类信息安全威胁。在此背景下,进行智能网联汽车科技创新至关重要。     

基于Lucene搜索引擎的涉恐信息检索模块设计与实现

互联网中存在大量涉恐信息,加强对这些信息的组织与利用,在防恐、反恐中起着重要的作用。针对网络涉恐信息零散情况,通过网络爬虫技术收集互联网上的涉恐信息,构建涉恐信息数据库;在此基础上,引入中文分词器进行合理粒度分词,使用Lucene构建全文搜索引擎以提升检索效率。同时,在建立索引时根据文档包含涉恐信息特征词汇的数量改变权重,查询时包含多特征词汇的涉恐信息排序更靠前。系统采用Python进行信息采集和数据结构化,使用MySQL构建涉恐信息数据库,通过Lucene构建全文检索引擎,测试表明,该引擎能够快速、准确地完成信息检索。     

面向涉恐领域的知识图谱构建方法

近年来,世界各地的恐怖袭击事件时有发生,为了减轻安防人员对涉恐信息分析工作的负担,需要提供工具辅助相关人员对海量信息进行整理,因此研究并实现了面向涉恐领域的知识图谱。首先,针对海量的互联网信息,采用了分布式爬虫技术进行数据的采集,并使用双向门控神经网络(BI-GRU)+注意力机制(Attention Mechanism,Att)等模型实现对信息的抽取;然后构建了涉恐领域本体库,并在此基础上完成了涉恐领域知识图谱的构建以及知识图谱的可视化展示。该研究成功地将知识图谱的构建技术应用到涉恐领域,对相关工作有一定的参考价值。     

网络中涉恐信息的高效挖掘模型研究与仿真

对网络涉恐信息的快速挖掘,有利于对恐怖事件进行高效的监控.恐怖信息与一般网络非约束信息不同,为了逃避打击,往往带有极强的伪装性和隐蔽性,在涉及到的关键词和图像中刻意加以回避.利用传统方法进行涉恐信息挖掘的过程中,还是以特殊的词语和相关的特征作为挖掘对象,涉恐信息的隐蔽性和刻意伪装性使得挖掘模型难以形成有效的涉恐信息聚类中心,降低了对网络恐怖信息挖掘的准确率.提出基于聚类特征优化算法的海量网络中涉恐信息挖掘方法.对涉恐信息进行多维空间重构,避免挖掘复杂程度.根据涉恐词的概括度和模糊性设置涉恐信息的阀值,避免冗余信息造成的影响.根据涉恐词之间的相似度进行聚类,建立涉恐信息挖掘模型,用互信息的方法进行涉恐信息特征挖掘,挖掘出准确的涉恐信息.实验结果表明,利用改进算法进行海量网络中涉恐信息挖掘,能够有效提高挖掘效率.     

智能网联时代汽车信息安全能力建设的思考与建议

<正>数字时代到来的最大变化是汽车的智能化、网联化。智能化是依托先进的自动驾驶算法和高质量的数据进行路径的规划和控制,实现单车智能人机共驾。网联化则是以车为核心与万物终端进行互联互通,能够通过互联网技术与外部环境进行交互,实现车与万物之间的信息共享和协同工作。智能网联汽车的出现彻底改变了人们的出行方式,已成为全球竞争的重要科技领域,     

小巧、轻便大眼界 贺侣车载GPS终端S800A

近日,上海大眼界数码电子有限公司推出了一款体积小巧,性能稳定且无需改变原车电路的车载GPS终端——驾侣 S800A。驾侣S800A基于Win CE架构,内建 GPS天线玲珑精致,省却外接天线的累赘,信号强。     

尽情地发烧——宝马523音响发烧改装

宝马523车友是位十足的音响爱好者!和郑先生家中那套顶级音响比起来,宝马523的原车汽车音响效果很难让郑先生感到满足。为此,不久前郑先生就开始琢磨着进行汽车音响升级,让座驾宝马523同样拥有一套顶级豪华的车     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Models and Complexity of Problems of Design and Reconstruction of Telecommunication and Transport Systems

This article considers network synthesis problems arising in the design and exploitation of telecommunication and transportation systems. A formalization of network synthesis problems on graphs is proposed in which constraints on cut capacities are given and possibilities of failing some network components are taken into account. Approaches to the solution and analysis of the complexity of the considered problems are described.     

Teamcenter与NX集成客户化定制技术研究与实现

PDM产品实施过程中一项重要工作是系统集成与客户化定制。对Teamcenter Engineering(简称Teamcenter)与NX系统集成客户化定制中业务建模、属性映射等相关技术进行了研究,提出了Teamcenter与NX集成客户化定制的技术思路,并以客户化定制NX工程图纸标题栏为例,介绍了Teamcenter与NX集成定制实现的关键步骤及方法。     

椭圆拉伸变形长短轴的计算及应用

在CAD应用软件程序编制中,椭圆的长短轴是很重要的参数。应用相关数学知识推导出6个计算公式,可利用这些公式确定椭圆沿坐标轴拉伸变形后的长短轴大小与位置并在CAD软件中实现与之相关的功能。     

IPSEC与防火墙协同工作设计与实现

IPSEC提供网络层的安全服务，通过对IP报文的加密和验证，保证数据在传输过程中的安全．由于IPSEC封装了报文中一些重要信息，使得IPSEC与防火墙不能同时有效地工作．本文提出一种分层IPSEC(Layered IP Security，L_IPSEC)思想，即将协议头和数据部分分别进行安全处理．并将这种分层思想与分布式处理技术结合，设计与实现一种IPSEC与防火墙协同工作方案．     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通。文中首先介绍了互通的种类和方案，并重点讲述了智能网和软交换互通过程中模型的重要部分——软交换侧的SSP。在此基础上，提出了智能网和软交换互通的实现方案，并且以智能用的典型业务FPH为例简明分析了方案，对利用业务服务器实现软交换中的智能业务进行了插述和分析。     

Kohonen与Madaline用于解析重叠光谱测定钨和钼

首先应用Kohonen网络对钨、钼的混合吸收光谱进行波长选择，在全光谱中优选最能代表光谱特征的波长，被选波长处吸光度作为Madaline网络的输入，设定输出目标函数为G（λ）＝∑Aiexp[-4(ln20）(λ-t）^2/2]，进行解析重叠光谱，同时测定了钨和钼，该法利用特征光谱代表全谱进行光谱解析，减少了解析光谱中大量的数据。     

智能业务和软交换互通的设计与实现

电信业的快速发展及下一代网络的全面建设促进智能业务与软交换实现互通.文中首先介绍了互通的种类和方案,并重点讲述了智能网和软交换互通过程中模型的重要部分--软交换侧的SSP.在此基础上,提出了智能网和软交换互通的实现方案,并且以智能网的典型业务FPH为例简明分析了方案,对利用业务服务器实现软交换中的智能业务进行了描述和分析.     

Binary perfect and extended perfect codes of lengths 15 and 16 and of ranks 13 and 14

Inaccuracies in computations in the paper of the authors on classification of perfect binary codes of lengths 15 and 16 and of rank 13 are fixed. An explicit construction of all extended perfect codes of length 16 and rank 13 with a given kernel size is presented. Perfect binary codes of length 15 and rank 14 obtained by the general doubling construction are classified.