摘要：与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。

摘要：铁路网车流分配是铁路运输组织中的热点研究问题,也是铁路运营管理层面的重要研究内容。本文分析了铁路网车流分配优化问题的内涵及特点,并从模型构建及算法设计两个方面对国内外相关研究现状及研究特点进行了综述。在模型构建方面,按照决策变量、优化目标和约束条件三个角度对既有研究进行分类,并指出决策变量主要依据点-弧模型和弧-路模型两种基本车流分配模型设置,其中弧-路模型的决策变量相对更少,在大规模车流分配模型中更为适用;优化目标通常选择广义费用中的一种或多种,并兼顾运输效益与点线能力协调进行设置;在约束条件的考虑上,大部分模型以传统约束条件为主,根据不同运输需求设置约束条件。在算法设计方面,分析发现启发式算法成为求解大规模路网问题的主要手段,而基于模型松弛和模型分解的精确算法以及基于模型修改的算法也逐步得到了广泛应用。在归纳分析既有研究特点的基础上,结合铁路货物运输内外部发展环境的变化,进一步展望了车流分配在模型建立、算法求解和创新方面的研究趋势,可为铁路车流分配研究提供一定参考。

摘要：材料在开采、提取、加工、生产、使用、报废及再回收的过程中产生了环境的污染与生态的破坏,而生态材料是人类充分利用资源、减少污染、保护环境,实现材料工业可持续发展的有效途径。研究以生态设计理论为基础,选用竹炭为基材,对其功能属性与加工工艺进行分析,尝试研发一种新型机能的生态竹炭复合板材。具体实践结合了生态设计原理及方法,将研制的新型竹炭复合板进行试验性家具产品设计,探究竹炭这种新型的生态材料在家具产品设计应用中的可能性,以突破现有家具产品形象及竹炭的应用局限,对拓展竹炭的用途具有长远意义。

摘要：针对目前网络安全产品、技术和安全模型存在的问题,提出一种具有开放体系架构的通用智能安全代理模型。智能安全代理由插件运行管理平台和一组插件构成。插件平台包括消息解释器、路由器、黄页及黑板等组件,负责监视和管理插件的运行。利用注册/注销,代理通信、协作与委托计算机制,多个智能安全代理可以组成一个代理社区,实现分布式异构网络环境下的协同安全防御。实践表明,该模型具有良好的开放性、通用性、多功能性,以及可伸缩、可移值、智能化和面向应用等特性,可以为各类终端节点提供多种安全保护。

摘要：为打破现存研究普遍以网络拓扑一致性假设为前提的限制,弱化锚节点数量和质量对链接任务的影响,提出一种基于跨网络语义表征的用户链接算法CSRMA(cross-network semantic representation link algorithm based on mask attention mechanism)。该算法框架包含3个模块:多视角采样与注意力机制相结合的跨网络表征模块、不同网络共性特征学习的语义空间映射模块、基于k-d树改进Gale-Shapley算法的用户身份精准链接模块。通过4个公开数据集上的实验验证了所提算法的有效性。与多个身份链接算法对比,CSRMA具有更高的精确率。

摘要：随着计算机技术的迅猛发展和中小学信息技术教育的逐步普及，高校计算机基础课程即将结束“零起点”的历史。改革计算机的第一门课程——大学计算机基础势在必行。本文结合笔者多年的教学经验和教学改革成果，针对改革过程中一个不容忽视的问题——教材建设，提出了一体化设计、多种媒体有机结合的立体化建设思想，并进行了相关尝试。

摘要：针对多Agent专家系统面临的安全威胁,提出了单个Agent的安全体系结构及多Agent专家系统安全架构模型。利用容器砂箱模型,实现了多Agent专家系统基于角色的访问控制。讨论了PKI在多Agent专家系统中的实际应用,在此基础上,研究了多Agent专家系统身份验证、安全通信、安全管理、安全审计及安全恢复机制。应用开发实践表明,系统具有资源占用少、安全性高、稳定性好以及可伸缩性强等优点,可应用于企业网智能安全管理、电子商务等领域。

摘要：为动态显示一项大型水利工程的各类信息,并对该工程方案进行科学选比,本文采用基于SRTM数据建模、三维场景驱动管理系统的方法,设计并建立了三维虚拟仿真系统,实现了三维漫游、水域仿真、信息查询等功能。结果表明该系统可取得较好的三维显示效果,对该方案起到了整体说明及优化设计等辅助决策作用。

摘要：高校选课的模式可按选择范围和处理机制分成若干种模式,学分制下选课管理系统应充分兼容各种选课模式,以学生为中心,同时与其它系统紧密结合,支撑学分制的实施。

摘要：为了解决移动云服务环境的互相认证和隐私保护问题,设计了一种改进的移动云服务环境下隐私保护认证协议.该协议结合基于身份的签密技术和多服务器认证技术,保证用户只需注册一次,就可以访问多个移动云服务提供者,同时认证过程不需要可信第三方参与;该协议在移动终端未使用计算复杂度高的双线性对运算和映射到域上的hash运算,其计算效率显著提高.通过理论分析和实验结果可知:该协议与目前已有的同类协议相比,在移动端的计算时间为45.242 s,其计算效率约为已有同类协议的2倍;具有用户匿名和不可追踪等安全性质;能够抵抗错误口令登录、更改攻击.