码头系靠泊智能手持终端信息显示系统关键技术

针对开敞式码头系靠泊网络化监控系统的控制需求,研发了系靠泊智能手持终端,阐述了基于Android平台的系靠泊智能手持终端信息显示系统4层体系结构、系靠泊监测数据传输方法、界面设计等关键技术.开发的智能系靠泊手持终端,可以使系泊船上操作者在系泊作业中,实时掌握缆力、护舷、系泊船等监控对象的工作状态,接收缆力调节、预警和报警等作业指令,实现缆力的及时均衡调整,为开敞式码头系靠泊网络化实时监控系统安全与高效运行提供可靠的技术支撑.     

基于SDKEY的移动终端数据分区保护

针对传统的安全数字钥匙（Secure Digital Key,SDKEY）硬件存在的性能问题,给出了一种SDKEY硬件改进方案,并设计了SDKEY和移动终端之间的双重认证方案.提交了一种基于SDKEY的移动终端数据分区保护方案,给出了一个基于SDKEY的移动终端应用框架模型.研究分析表明,该方案在安全和性能上得到提高,并具有一定的应用价值.     

基于大数据的高速公路智能收费系统研发与应用

围绕构建智慧移动收费终端系统,对研究背景、主要研究内容、创新点、技术经济指标进行分析,分别论证了基于Linux系统、Android系统研制的高速公路智慧移动收费软件,并配套集数据采集、传输、处理功能。研究表明,采用模块化结构设计,将系统模块按功能做到了细分,降低了彼此之间的耦合性,结合一键式智能升级理念,依托收费专网,实现全网收费系统在线自动化升级,可达到有效降低实施、运营及维护成本的目的。     

基于GIS/GPRS/GPS远程监控手持终端的设计与实现

对现有GPRS远程监控系统存在的不足进行了分析,融合GIS、GPS技术强大的地理信息分析能力与嵌入式手持终端较为灵活的移动能力,设计出一种GIS/GPRS/GPS远程监控手持终端系统.通过该手持终端可以随时随地进行监控工作,同时可以辅助定制安防策略.     

山西省道平长线隧道多终端监控系统的研发与应用

为了提高省干线管理的信息化、智能化水平,提升国道省干线综合服务水平及道路突发、应急事件处理效率,通过移动互联网(4G)或者Wifi网络通信技术的监控手段,结合平长线实际情况,开展了多终端隧道监控系统及应急预案的研究。研究表明,通过现代化的信息技术可以实现全天候实时准确的交通流量和交通运行监视,随时随地及时发现各种异常情况并采取应急措施,按照应急预案及时准确地对隧道机电设备进行控制并实现联动控制,保证道路高速、安全、经济地运营管理。     

一种高效的移动云服务环境下隐私保护认证协议

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

车载多媒体导航终端软件设计与实现

车载多媒体导航终端在智能交通系统中具有重要的作用.通过车载多媒体导航终端,出行用户可以了解到准确实时的路况信息等相关信息,并得到最佳的出行路径.车载终端硬件平台基于OMAP5912嵌入式微处理器,以嵌入式Linux作为操作系统.从ARM端和DSP端介绍了终端软件构架,给出了终端软件的实现流程.其次从主控线程、GPRS通信、数据采集、GPS导航、地图数据库查询、视频及音频7个线程论述了具体实现技术.终端软件操作简单,实际运行效果良好.     

基于移动协同的智能客户端研究

支持移动的智能客户端的研究是移动协同研究领域的又一新课题,本文描述了移动环境下的网络自适应、协作数据传输、移动终端的人机界面、异步协作整合等关键技术,探讨了.NET智能客户端技术的特点及其优越性.在此基础上,提出了基于移动CSCW的智能客户端的系统应用架构,并分析了这种架构的特点以及实现.     

面向移动终端的实时交通信息服务分析

为了进一步提高我国交通信息服务水平,缓解拥堵,对比研究了现有服务终端的特点,并对用户交通信息需求展开调查.结合服务终端特点及调查结果,构建了面向移动终端的实时交通信息服务系统.系统可向移动终端提供信息查询、信息发布、服务下载等功能,为用户提供出行全程的交通信息服务.     

基于PLC的移动模架安全监控系统的研究

作为桥梁施工中的重要机械,移动模架的安全可靠对桥梁施工而言是至关重要的。如何实现对移动模架运行状态的实时监控是预防其发生事故的一项重要内容。根据移动模架的施工流程,采用了Zigbee无线通讯技术,设计了一种基于PLC的移动模架运行状态安全监控系统,成功应用于岳阳某工地,对移动模架的安全操作发挥了重要作用。     

关于加强打车软件综合管理的建议

中国打车软件从2012年开始上线,“嘀嘀打车”和“快的打车”通过“双向补贴”方式竞争客户,一度导致全国范围主要城市出租汽车运营秩序混乱,引起社会广泛争议。对打车软件涉及的金融系统安全、出租汽车运营秩序、群体性事件等问题展开分析。总结国内外打车软件的主要区别,指出中国打车软件的管理更为复杂、更容易引起社会矛盾。最后,建议在国家层面提出指导性意见,着重研究网络金融进入公共服务业的规则、现代信息技术服务于出租汽车营运的管理规则,以及出租汽车行业管理中政府和企业的权责界限。     

Process Expression of Security Automaton

Security is an essential aspect for mobile systems. Usually, mobile system modeling and its security policies specification are realized in different techniques. So when constructed a mobile system using formal methods it is difficult to verify if the system comply with any given security policies. A method was introduced to express security automata which specifying enforceable security policies as processes in an extended π-calculus. In this extended π-calculus, an exception termination process was introduced, called bad. Any input which violating a security automaton will correspond to a step of transformation of the process that specifying the security automaton to exception termination process. Our method shows that any security automata which specifying enforceable security policies would decide a process in the extended π-calculus.     

������վʱ��ʵʱԤ����Ϣ���������о�

本文提出并采用一种离线预测与在线预测相结合的、基于历史数据并根据在线数据修正的、能减少服务器运算复杂性的较高性能的计算机模型和公交车到站时间预测算法.并以公交车实时GPS运行信息为运算依据,应用Java EE、JSP开发、MySQL数据库和Android手机操作系统开发等技术,在服务器端以公交车有限状态机模型来掌握公交车的实时信息,开发了一个集中式、企业级、手机平台上的、基于请求与响应的综合系统,能够向乘客手机客户端发送目标线路上车辆到站情况的预测信息,提高出行效率.最后基于大连市旅顺口区18路公交车运行数据进行了系统测试,结果表明,以该算法为基础的系统具有良好的性能.     

基于Android移动平台的车货匹配设计与实现

移动客户端可以实现车货匹配模式的及时、高效、逼真体验、高度可视化，提供方便快捷的服务。根据车货对接流程，设计基于Android系统的车货对接模式。系统实现货主发布货源、查询货物报价、报价处理、查询交易记录功能，实现车主注册车辆、查询注册车辆、根据车辆查询匹配货源、报价、查询记录等功能。本系统能够让货主在平台上发布信息，对于车主、货主之间物流运输，快速、准时的达成物流运输协议有实际意义。     

基于模糊层次分析法的移动桥梁装备安全性评估研究

针对移动桥梁装备安全性评估方面的空白,采用模糊层次分析法（FAHP）,从宏观上对现有移动桥梁的安全性进行评价,根据其特点,把某型移动桥梁分为运输系统、桥体、架设系统三部分,分别建立不同元素间的模糊一致判断矩阵,确定隶属函数、权重值,最后得出定量评判结论,同时结合试验说明评判结论与实际情况相符。此评估方法为桥梁装备平时的储备保养及使用时维修评价提供了理论依据。     

利用Android蓝牙实现全站仪数据传输的分析

随着Android手机蓝牙功能越来越强大,蓝牙在短距离数据传输上有着绝对优势,而传统全站仪的数据传输受到数据线的限制,因其存在效率低、操作复杂、磨损大等缺点。目前许多全站仪都已经配备蓝牙通信模块,在研究全站仪串口通讯原理和Android蓝牙开发理论的基础上,提出利用手机蓝牙与全站仪蓝牙模块建立连接的方式,解决数据传输的效率问题。以Leica全站仪为例,Android Studio为软件开发工具,设计基于Android蓝牙的全站仪数据传输系统。     

一种新的远端移动代理的安全保护机制

在目前的移动代理系统中，保护主机免受恶意代理攻击的研究已经取得了很大的进展，而对于远端移动代理免受恶意主机攻击的问题，尚没有很好的解决方案，文中提出了一种利用JavaCard为远端移动代理，提供安全的执行环境的保护机制，并在此基础上引入了基于布尔代数运算的代码分割算法以提高本方案的安全性．实验结果证明该方案具有较好的安全性和健壮性．     

移动Ad Hoc网络的安全问题和解决方案

移动Ad Hoc网络的自身特点,使它比有线网络更容易遭受攻击。文章首先分析了威胁移动Ad Hoc网络安全的典型攻击,主要讨论了移动Ad Hoc网络的安全路由技术和入侵检测技术两种安全技术,对一些典型安全方案进行了论述与比较。     

基于uIP协议栈的机房远程监测系统的实现

针对校园网机房安全的实时监测问题,设计了机房远程监测系统,可实时地观测机房环境状况及服务器运行状况,并通过设置一定的阀值,将报警信息发送到监测者的手机上.本系统在开源TCP/IP协议栈uIP的基础上,开发了Web Server服务模块,将监测到的信息发送到监测者的浏览器上.并可通过GSM通信模块,将报警信息发送到监测者的手机上.     

A universal composability framework for analysis of proxy threshold signature

The universal composability framework is a new approach for designing and analyzing the security of cryptographic protocols. In this framework, the security of protocols is maintained under a general protocol composition operation. In the paper, we propose the universal composability framework for the analysis of proxy threshold signature and present a universally composable secure proxy threshold signature scheme which is the first one in this area. The proposed scheme is suitable for the mobile agents, which should migrate across different environment through network. Furthermore, we give the concrete analysis of the reduction to prove the security of the proposed scheme.