基于设计模式的科研项目管理系统设计研究

介绍基于设计模式的高校科研项目管理系统的设计。针对科研项目管理系统的开发,提出一个基于模式的设计方案,解决系统开发过程中功能扩展以及代码重用等问题。     

基于嵌入式系统在船舶监控方面应用的研究

采用以μCOS-Ⅱ嵌入式操作系统为平台设计的嵌入式系统控制板，实现船舶机舱（engine room）的自动监控和数据传输。涉及到数据的采集和web server的功能，使从机舱监控的数据可以直接通过船舶的局域网传送到每一个相关人员的工作间，甚至是房间里。     

Ontologies for transportation research: A survey

Transportation research relies heavily on a variety of data. From sensors to surveys, data supports day-to-day operations as well as long-term planning and decision-making. The challenges that arise due to the volume and variety of data that are found in transportation research can be effectively addressed by ontologies. This opportunity has already been recognized – there are a number of existing transportation ontologies, however the relationship between them is unclear. The goal of this work is to provide an overview of the opportunities for ontologies in transportation research and operation, and to present a survey of existing transportation ontologies to serve two purposes: (1) to provide a resource for the transportation research community to aid in understanding (and potentially selecting between) existing transportation ontologies; and (2) to identify future work for the development of transportation ontologies, by identifying areas that may be lacking.     

SOA 平台下 Web 服务的安全认证协议综述

Web 服务的安全作为近年来一个重要研究领域得到了越来越多的重视。论文分析了 SOA 平台下 Web 服务的安全性问题,并对解决这些安全问题的 Web 服务安全规范做了系统的总结。着重描述 WS‐Security 规范以及衍生的其他规范,并对实现跨域单点登陆的 SAML 规范以及描述安全策略的 XACML 进行一定的分析和比较。     

基于Struts框架开发Web应用的探讨

基于MVC设计模式的Web应用开发框架大多将业务逻辑和显示逻辑分离，具有易于维护和易于扩展，代码重用性好等优点。主要介绍了基于MVC模型的Struts架构，井结合一个实例论述了Struts框架中关于分页问题的解决方案．最后提出改进Struts框架性能的几种方法。     

AJAX技术在Struts验证框架中的应用研究

Ajax是当前流行的一种适用于Web应用开发中的技术，它可以实现无需刷新整个页面，就可以动态更新页面中一部分的内容本文。在介绍Ajax技术和Struts验证框架的基础上，提出了将Ajax技术运用于Struts验证框架中进行数据验证的方法。Struts验证框架通过加入Ajax技术，使得Web应用程序的运行效果更接近于桌面应用程序。     

基于MSC与UPPAAL的高铁跨界临时限速建模与验证

临时限速服务器是高铁列控系统的重要组成部分,其不仅要校验CTC下发的临时限速命令,还要与相邻调度台临时限速服务器之间进行频繁的信息交互,因此对其安全性和实时性要求也更苛刻。为了满足高铁列控系统对其运行的要求,采用时间自动机理论和消息顺序图(MSC)相结合的方法,首先建立跨界临时限速命令的MSC模型和时间自动机子模型,再利用UPPAAL验证工具对形式化语法BNF描述的时间自动机子模型属性进行验证。根据仿真验证结果确认了跨界临时限速信息的安全性和受限活性,为进一步开发临时限速服务器功能提供了重要的依据。     

iFIX中如何通过GES OPC Server与GE PLC通讯

介绍了OPC应用的工业控制领域。OPC采用客户机/服务器体系结构,是目前工业控制中广泛采用的一项技术。OPC接口凭借其开放性、可靠性,已经成为一种国际标准。各个自动化厂商的产品可以通过OPC接口实现无缝连接。本文主要阐述iFIX组态软件的OPC连接功能,具体介绍了iFix作为OPC客户端,如何通过GES OPC Server读取GE PLC符号变量,并给出具体实施方案。     

采用B／S模式来实现C／S模式下物资管理系统的优化

本文通过对C／S和B／S模式物资管理系统在使用中优缺点的分析，提出了采用以C／S模式为主，B／S模式为辅的混合模式对当前单一的C／S模式物资管理系统进行改造的设想。在这种混合模式下，物资管理部门内部采用C／S模式，便于实现复杂的管理功能及可靠的安全机制：对于非物资管理部门的用户，采用B／S模式，便于统一管理与维护。最后，本文还对系统改造的开发环境和技术做了探讨。     

基于Web GIS的公路施工管理系统研究

基于Web从组织机构和功能两个方面分析公路施工管理系统的实际需求,分析公路施工管理系统中主要模块之间的关系,并据此设计基于Web的公路施工管理系统的总体结构。该系统利用GIS、图形显示等技术,为施工管理搭建了一个地图可视化平台,在电子图库、三维分析、工程量计算等方面进行了一定的探索。