密钥分发协议及其形式化分析

探讨了形式化分析在设计密码认证协议中的作用；基于Needham-Schroeder共享密钥协议和Ot-way-Rees协议，提出了新的认证协议，并用BAN逻辑对它进行形式分析，发现了潜在的攻击方法，指出形式分析可以辅助发现协议的设计缺陷；并讨论了这种分析的局限性以及可能的改进方向。     

用ShareTheNet软件建立网络共享器

介绍了一种比较简单实用的方案，允许所有局域网用户通过一台已淘汰的386、486或奔腾PC计算机作为共享器连接到Internet。     

我校3所省级工程中心正式挂牌

为了总结我省工程研究中心建设与发展的经验 ,加快我省工程研究中心建设发展的步伐 ,促进科技成果更好地转化为生产力 ,2 0 0 3年 6月 6日 ,福建省发展计划委员会在福州召开省级工程研究中心授牌大会。会上 ,福建省发展计划委员会正式向我校“福建省空间信息工程研究中心”、“福建省光催化技术工程研究中心”、“福建省功能材料工程研究中心”授牌。我校 3所工程中心的正式挂牌 ,标志着我校省级工程研究中心的建设进入了一个高水平、快速发展的新阶段。福建省空间信息工程研究中心是福建省国民经济信息化重大工程计划“十五”期间“数字福…     

CAI课件的开发与设计

阐述了多媒体CAI教学课件的教学特点，并对CAI课件的原理，开发过程、评价方法，方案设计及脚本编写进行了讨论。     

基于同步机制的共享应用的设计与实现

;介绍了基于同步机制的共享应用的原理和机制,重点阐述共享应用系统中共同区管理、发言控制等技术,最后给出在网络环境下具体实现共享应用系统的方法.     

基于大数据的南京市共享单车时空特征研究

共享单车的兴起极大地便利了人们的短距离出行,利用单车大数据来挖掘和分析短距离的出行规律已成为智慧城市和智慧交通的重要热点.利用南京市的摩拜单车时空数据,研究了单车的时空分布规律与差异,并重点挖掘了早晚高峰时刻以及区域间单车流动规律等,研究表明:(1)南京市整体早、晚高峰时间分别为7:10-8:37和17:15-18:25;副中心早高峰比主城区早35min开始,且晚高峰持续时间长;(2)早、晚高峰高强度骑行主要分布在以新街口、百家湖等为中心的区域;主城区和副中心区有着骑行差异,短距离骑行主城区相对副中心具有更高的比例,副中心则具有更多的长距离骑行;(3)单车骑行围绕地铁站而显现聚集趋势,并且集中于地铁1,2,3号线区域.     

国家公园安全事件监测预警现状、挑战与对策——基于多源信息集成共享的研究

随着智慧城市的发展,国家公园依靠多传感器部署、视频图像处理以及无线通信等技术的集成应用,成为安全事件实时监测预警的有效手段。根据国家公园安全信息管理与应用的需求,建立基于多源信息集成共享的监测预警体系,对安全事件监测预警分类及信息源进行划分,规范多源、异构信息源之间的数据内容、组织及交换方式,从应用、数据、网络等方面构建国家公园安全事件监测预警的集成,实现国家公园内部监测预警信息之间以及与国家公园主体范围外的监测预警信息的数据交换和共享。     

考虑公平偏好的供应链知识共享激励研究

将供应链成员企业努力分为知识共享努力和合作努力,并考虑这两者冲突的影响,建立完全理性下的供应链知识共享双任务委托代理模型,在此基础上,将公平偏好心理植入到供应链知识共享激励模型中,探讨公平偏好对合作努力、知识共享努力以及激励效果的影响。研究结果表明:在冲突影响下,知识共享努力水平随着核心企业知识吸收能力的提升而提升;合作努力水平和知识共享努力水平随着成员企业公平偏好的增强而降低;成员企业公平偏好与产出激励系数呈倒U型关系。     

基于实时车辆信息共享的公交动态控制策略

为了应对越来越多的乘客利用手机软件实时查看车辆位置信息以帮助其计划出发时间这一发展趋势,探究实时车辆信息共享程度对公交动态控制策略的影响,结合长短时记忆网络(long short term memory, LSTM)预测模型和遗传算法(genetic algorithm, GA)构建GA-LSTM实时混合公交运行轨迹预测模型;在实时公交运行轨迹预测模型的基础上,建立考虑乘客接受实时车辆信息共享程度、以最小化车头时距偏差和乘客乘车时间为目标的公交动态驻站控制策略;通过西安市实际数据测试实时公交运行轨迹预测模型和公交动态驻站控制策略的有效性,并讨论不同最大驻站控制时间、接受实时信息乘客比例对公交动态驻站控制策略的影响。研究结果表明：利用GA-LSTM预测模型预测停车服务时间和站间运行时间的均方根误差(RMSE)相较于传统LSTM预测模型的预测结果分别降低了21.19%和44.55%;考虑实时车辆信息共享的动态控制策略预测结果比未考虑信息共享的动态控制策略目标函数预测结果降低了31.66%;随着最大驻站时间增加,目标函数值减少到定值后保持稳定;随着接受实时信息乘客比例增加,目标函数值持续减少...     

利用四粒子χ-Type态在腔量子电动力学中实现任意两粒子态的量子信息分裂

提出了一个利用四粒子纠缠态χ-Type态在腔量子电动力学中实现任意两粒子态的量子信息分裂方案。和其他的量子信息分裂方案相比,此方案有一些优势。方案不包含Bell基测量,并且对腔衰减和热场都不敏感。在目前的腔量子电动力学技术中更易于实现。