组件式GIS空间查询与分析包的设计与实现

在组件式技术成熟和空间查询语言规范化的今天,越来越多的GIS系统不再满足于现有的空间查询与分析能力。组件式GIS空间查询分析开发包?S-GIS的Queries包提供了一组API接口可供GIS系统二次开发人员使用。该组件包提供一个轻量级的SQL解释器来对内存中要进行查询的SQL语句进行解释执行。本文介绍了Queries包的特色,并且将它与Oracle10g,ArcGIS等软件的空间查询部分做了一些简单比较。     

数据库管理系统中的锁技术研究

通过对Microsoft SQL Server的锁管理机制的分析，讨论了引起死锁的各种可能性，锁的多粒度性和锁的多模式性以及由此引出的锁升级和锁的兼容性，提出了避免死锁产生、提升系统性能的最新方法——动态锁，以保证应用程序的正确运行及保持数据的一致性和正确性。     

微型数据库引擎中虚拟机技术研究

虚拟机定义了一套规范，在遵守规范的条件下，可以保证任一程序设计语言在任一硬件平台上的实现，具有平台的独立性。介绍了虚拟机技术如何保证微型数据库引擎的平台独立性，阐述了所采用的虚拟机的体系结构，分析了解析SQL语言的虚拟机代码，并提出了提高系统中虚拟机效率的2条措施。     

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

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

基于知识点关联的网络教学平台的集成设计

教学课件各种信息成分的组织与关联是网络教学系统集成设计中的重要问题,本文给出了基于知识点的课件内容关联设计的实现.该平台支持多种教学方式,提供了灵活的设置以满足教学中的动态管理.     

基于B/S的车辆管理信息系统的设计与实现

在对某供电公司车辆的运行现状分析的基础上,提出利用现在大多数公司都已经建立起来的局域网建立基于B/S模式的车辆管理系统的方案,有效地解决人工管理或半自动化管理带来的效率低下和准确性不够等问题.     

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模式,便于统一管理与维护。最后,本文还对系统改造的开发环境和技术做了探讨。     

浅述C#.NET的IT应用开发

本文就web应用程序的相关开发语言C#和SQL进行讨论。先介绍各自的开发环境再说明应用C#开发基于web程序的技术特点,最后通过管理系统的后台程序设计作为应用实例,阐述使用.NET开发Web数据库应用程序的方法。     

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

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