一种VANET信息查询模式及分析

提出了一种基于车载自组织网络的车辆实时信息查询模式.在该模式下,实时交通及设施服务信息和用户查询都采用自组织网络传染病路由的方式进行数据传输和发布,只有当查询和实时报告信息在某个节点匹配后,为了节省查询时间,将查询结果信息通过基础设施网络返回查询节点.针对该车辆实时信息查询模式建立了系统模型,对系统查询机制和延时进行了理论分析和推导,并在STRAW/SWANS环境下验证了推导结论,为系统的参数设置和优化提供了理论依据.     

零件库中基于本体的智能搜索引擎的研究与实现

提出了开发零件库中基于本体的智能搜索引擎的研究内容，设计了一种智能搜索引擎的系统架构.本体是克服由于零部件信息描述不一致引起的信息共享障碍的重要工具，为此建立了面向零件信息描述的4层描述本体模型，具体论述了该模型中的领域层、事件层、目录层和概念层的具体内容，设计了用以建立用户接口的六元智能查询模型和系统中的查询逻辑流程，并且详细论述了六元智能查询模型与4层本体模型间的映射方法.根据理论开发的系统在企业中的应用实例表明,4层本体模型能够较合理全面地描述零件信息，面向用户接口的六元智能查询模型较贴近自然语言，方便了用户的使用，因此按照该方法建立的基于本体的智能搜索引擎可以提高互联网零件库的使用效率.     

基于UML的网上考试系统建模

提出了基于J2EE 4层体系结构的网上考试系统方案,通过统一建模语言(UML)描述网络考试系统的建模过程,并对其进行需求分析、总体设计和详细设计.建立了系统用户模型、静态模型和动态模型的各种视图和规范化文档,描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象方法和技术实现考试系统.使用这种方法对系统进行建模有利于提高系统的稳定性、可维护性和可重用性.     

大规模数字图书馆系统中的查询导航技术

现代数字图书馆把大批的形式多样的信息源组织起来,但是对于用户提出的查询要求,传统数据管理系统无有效地找到相关信息,针对这一问题提出了查询导航技术,并提出用户查询描述文件和数据源描述文件的概念及对于给定查询,利用用户查询描述文件和数据源描述文件动态发现相关信息的方法。     

B/S结构的标准件网络浏览查询系统的开发

为满足当前制造业对标准件库系统的更高要求,使用户通过Internet或Intranet实时动态地浏览标准件的三维模型并查询其几何信息和非几何信息.提出了基于Web服务器端的JSP JavaBean JDBC相结合的中间件技术的B/S模式三层体系结构,利用Java技术并凭借JSP的动态、高效、简洁、与平台无关性的特点,建立了标准件网络浏览查询系统.通过实例运行,验证了系统能够实现三维标准件在因特网上实时、便捷的动态查询.实现了三维标准件库在因特网上的资源共享.     

模型检验中对CTL公式的空属性探测

在模型检验中建立了一种新方法：检验可计算时态逻辑(CTL)公式描述的系统属性是否为空属性．根据原子命题的极性,用TRUE 或FALSE替换原子命题,得到一系列的CTL公式,再对这些CTL公式用模型检验工具验证,若CTL公式中有一个通过了验证,则可得出该系统属性是一个空属性．该方法对CTL公式的空属性的探测不需要对它的所有子公式用TRUE 或FALSE替换,只需对原子命题替换,这样检验的次数与原子命题的个数呈线性关系．利用验证综合系统对十字路口交通控制器规范的空属性进行了检验．     

城市交通干线信号动态优化控制方法

针对城市交通干线的信号协调控制问题,文章提出了一种动态优化控制方法。首先通过分析系统中车流的宏观运动以及对相位差进行动态描述,基于交通流的到达情况和信号周期间的车流耦合效应,建立了以控制周期内系统的通行量最大为目标、以信号周期、绿信比以及相位差为优化控制变量的交通干线信号动态优化控制模型,并设计了相应的实数编码遗传算法,最后在动态的交通需求模式下对文中方法和传统的定时协调控制方法进行了比较,结果表明文中方法能够适应交通流的动态特性,并能大幅改善交通干线的通行效率。     

一类非线性系统模型参考自适应控制的分段线性化方法

研究了采用分段线性化方法进行一类非线性系统模型参考自适应控制的方案．首先给出了系统的描述,然后将非线性环节分段线性化,在此基础上得到了模型参考自适应控制的方案．仿真结果表明,自适应控制系统比ＰＩＤ控制具有更好的动态性能和更强的抗扰动能力．     

基于JavaScript的三维智慧校园电子地图系统开发

随着互联网技术的发展,利用WebGIS技术的三维智慧校园系统开发越来越普及,但往往忽略电子地图坐标的显示。以安徽理工大学为样本,利用CityEngine建立校园模型,基于JavaScript语言进行系统开发,实现三维校园地图显示,可以进行基本的空间查询和属性查询,并且能方便地显示地图坐标。     

基于密钥协商和身份匿名技术的社交发现隐私保护方案

针对移动社交网络中用户进行属性匹配时,服务器与用户可能会搜集查询用户的属性信息,恶意的攻击者可能发起中间人攻击、重放攻击和伪造身份攻击等问题,提出一种基于密钥协商和身份匿名技术的社交发现隐私保护方案。在该方案中,身份通过系统认证的查询用户与响应用户,基于查询用户随机选定的不可逆哈希函数与随机数,生成各自的属性哈希值集;服务器负责计算所有响应用户与查询用户的属性匹配值,根据值的大小向查询用户推荐好友。系统合法用户查询匹配过程中以及建立好友关系之后的保密通信使用的私钥,基于迪菲-赫尔曼密钥协商技术,经由服务器保密传输公开参数而生成,但对服务器保密。安全分析表明,该方案能够防止系统用户隐私信息泄露,进而保障了其身份的匿名性。同时,基于jPBC密码算法库在MyEclipse平台上对方案进行仿真实现,实验结果表明,该方案在减轻用户计算与通信负担方面比同类方案更加有效。     

公路军事运输运力系统优化模型

本文分析了公路军事运输动系统各相关要素的内在因果关系,并用灰色系统理论和动态规划的方法建立了公路军事运输动力系统的优化模型。     

货运量多维灰色模型的预测

基于灰色关联理论对货运量及其相关因素进行了灰关联分析,并确定影响货运量诸多因素的灰关联序。在此基础上运用多维灰色模型对近几年上海市货物运输量进行了预测分析。     

满足瞬时动态DT/RC的动态拥挤收费模型研究

出行者的出行选择当中,除了路径选择之外,出发时间也是一个重要的因素.在面临拥挤收费时,出行者往往要重新选择自己的出发时间,以避免多交费,同时还要尽量在规定的时间内到达.运用双层规划模型和变分不等式相结合的方法,建立满足动态用户最优出发时间/路径选择条件的时变拥挤收费策略模型.表示为双层规划模型:上层模型确定收费路段在离散化的每个小时段的收费,以交通系统性能在各离散时段内达到最优为目标,进而使整个高峰时段的交通状况趋于平稳;下层模型表示瞬时动态用户均衡的出发时间/路径选择.     

基于信息提取的动态OD估计理念研究

由于现有动态OD估计模型大多是基于有限先验信息下的反推估计,没有充分利用已有海量交通数据库的各种信息,距离智能交通系统的实际需求仍有差距,因此,针对这一问题,在回顾动态OD估计与交通信息提取技术研究进展的基础上,提出了基于信息提取的动态OD估计理念:以各类交通检测器为主数据源,同时兼顾其他相关数据库,将信息提取理念尽可能贯穿动态OD估计始终,实时地为智能交通控制和管理系统提供动态OD矩阵,同时整合智能交通系统的功能,附加提供更为丰富的决策信息。最后,深入分析了基于信息提取的动态OD估计的研究意义,并初步提出其技术框架,为进一步的理论和技术研究奠定基础。     

河南省公路交通与区域经济发展耦合协调性研究

公路交通与区域经济系统在多方位、多层次存在着互动作用,两系统互动关系研究有利于促进两者协调发展。构建公路交通与区域经济系统耦合协调发展评价指标体系,利用耦合协调模型对河南省各地区公路交通与经济系统耦合协调发展状况进行了定量分析。研究表明：全省的交通与区域经济耦合协调度地区分布与区域经济发展水平存在很大的空间对应关系,河南省多数地区公路交通系统与区域经济系统协调度处于濒临失调或轻度失调状态。应加大河南省整体经济发展和交通建设投资力度促进河南省公路交通系统与区域经济耦合协调水平得到稳步提升。     

基于系统动力学的道路运输量预测模型

为了克服道路运输量预测方法中考虑系统因素较少的缺点,在对道路运输系统的主要影响因素及其因果关系进行分析的基础上,建立了道路旅客运输、道路货物运输供给与需求量预测系统动力学模型,并采用吉林省道路运输各相关统计数据对模型进行了仿真和验证。结果证明该模型有效可行。     

油气密闭混输工艺的运用与改进

原油密闭集输工艺是油气集输工艺系统中降低油气损耗、提高系统效率、节能降耗的有效方法。清河采油厂2004年在北区油田南块接转站进行密闭集输工艺改造,取得了明显的效果。     

二氧化碳管道运输系统优化模型及其应用

二氧化碳捕集利用与封存(CCUS)作为能够实现煤化工行业温室气体大规模减排的前沿技术,已成为当前研究热点.而管道运输是该技术得以实施的关键环节,高昂运输成本是影响该技术大规模推广的主要因素.因此,通过开发煤化工二氧化碳(CO_2)捕集压缩、管道运输系统优化模型,实现CO_2管道运输系统内关键环节的工艺和技术优化配置,降低捕集压缩、运输及注入整个系统的总成本.将模型初步应用于陕西延长榆林煤化工CCUS项目,结果表明:当封存区域CO_2封存需求量小,而且能够在封存现场提供方便的液化压缩设备时,榆林能化煤化工企业可以采用气相压缩输送方案,并结合封存地点液化加压注入;对于大规模CO_2封存及运输需求时,推荐超临界/密相CO_2输送,能够有效减少封存区再次加压环节的成本,从而使整个流程更为经济.     

道路交通运输与其相关因素的灰色关联分析

运用灰色关联分析理论，对国内道路交通运输量及其相关因素进行了灰色关联分析，确定了影响其诸因素的灰色关联序。     

考虑容量限制的交通系统抗震加固优化决策

通过容许流量期望值的评估,预测了未来震后交通系统通过能力,从未来震后交通系统流量分析入手,利用最大流量小割定理,寻找震后瓶颈路段,通过对反映各单元改善对系统交通能力的影响的各种重要度的讨论,确定优先加固或扩建单元。以未来震后交通通行能力最大为优化目标,建立加固或产扩建的优化模型,通过对各种初选方案进行组合优化,确定最优加固或扩建单元改善程度。