公路隧道远程视频监控功能的实现

常规隧道电视监视系统都是将模拟视频图像信号就近集中于管理所或分中心来进行监控,这种监控模式满足不了上级管理部门或相关管理人员异地远程监控的需求。利用具备视频信号压缩和网络链接功能的网络视频服务器,使异地远程监控成为可能。通过在原有的模拟视频集中监控系统中加装网络视频服务器,使管理者不仅可以在自己的内网系统任一终端上在线监控实时图像,还可以在任何地点任何时间方便地通过互联网进行在线监控。提高了系统的灵活性和服务水平,为检查、监督、决策及抢险指挥等提供了新的途径。     

基于反向代理技术的Web服务器防护机制研究与实现

文章从网络信息安全的角度出发，在介绍现有防火墙技术的基础上．分析了防火墙技术在具体的网络应用中的一些局限性。并且指出通过应用反向代理技术．可以有效地加强内网主机和Web服务器的安全性。文章还介绍反向代理技术原理，以及反向代理技术在Linux环境下的实现。     

公路工程地质勘察中的土工参数统计自动化实现方法

对土工参数进行统计分析在公路工程地质勘察中的重要作用日益突现。章介绍了土工参数统计的新方法，即利用VB5.0结合Excel2000实现土工参数统计的自动化。     

X6130发动机的几点改进

简要介绍了X6130发动机的故障、原因和改进。     

基于客户机／服务器结构的第四代语言开发平台的现状和发展趋势

4GL(第四代语言)开发平台已经成为当前开发MIS,特别是企业级基于C/S(客户机/服务器)结构的大型MIS的首选开发工具。作者从分析4GL的特性入手,介绍当前几种流行的4GL开发平台,并指出4GL的发展趋势。     

为了吓人而设计

雷克萨斯推出的全新LF-NX跨界概念车可以说是L-Finesse设计主旨的又一次进化，且拥有一副相当邪恶的嘴脸，如果把它量产，一定会吓坏不少小伙伴们。而设计主管Nobuyuki Tomatsu在谈及LF-NX概念车的设计时，表示该车没有一点“赘肉”，是令竞争对手显得单调乏味的设计。虽然造型设计很另类，但Tomatsu表示如果LF-NX概念车在展出后得到积极响应，获得足够多的好评，那么就没有理由不将这样的设计投产。 LF-NX概念车搭载一套源自雷克萨斯ES300h的HSD混合动力驱动系统，这套系统由156bhp输出的2.5L排量汽油发动机与电动机配搭，整套系统的峰值输出为200bhp。同时也并不排除有四驱版本的LF-NX出现。     

将PowerBuilder应用程序发布为ASP．NETWebForm应用程序的实践

1慨述 PowerBuilder11．0支持将现成的PowerBuilder客户机／服务器业务应用程序发布成为ASP．NETWebForm应用程序。这大大提高了开发人员的生产力，即不需要去学习一种新的开发语言，只需保留PowerBuilder的开发技巧。虽然已发布的WebForm应用程序保留了原本客户机／服务器应用程序的所有功能，但由于运行环境由两层的客户机，服务器环境通过技术转换到了3层的Web方式下，所以PowerScript的一些功能并不能在Web环境下支持。并且由于．NET和PowerScript的区别，为了使之适合．NET的部署，可能需要重写，重构代码。     

力帆X60探市投石

力帆首款SUV售价不足8万元，目前只有一款车型。看来它是在投石问路。探测市场的反馈。不过这么便宜能买到SUV，对于消费者肯定也有吸引力     

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

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