通用安全协议分析语言CPAL的研究

本文先从软件理论的角度对安全协议分析语言CPAL的语法和语义进行分析，指出这种语言控制流的缺陷，在语法和语义方面给出CPAL语言的完善方案，并从信息安全中的协议的广泛性方面说明其必要性。     

VB程控Windows系统关机的一种通用技术

给出一种用VB6.0编程控制Windows操作系统关机的通用技术。     

利用交换机解决局域网安全问题

分析了局域网的安全现状,阐述了目前网络安全管理中存在的一些问题,并提出了利用交换机解决的办法.     

Renewable energy systems: A societal and technological platform

Today, the analysis of renewable energy places the emphasis on the technological and economic attributes with social and environmental impact assessment providing for a rather static, narrow frame of analysis. The participation and response of social actors and other stakeholders is usually of a traditional type, with consultation documents and public meetings, collection of complaints and suggestion schemes. This often encourages parochialism and an over-concentration on relatively trivial issues. It is, therefore, imperative to establish a new participatory planning platform to incorporate the wider socio-economic aspects of renewable energy systems and to provide for an operational analytical decomposition of them. In this work the issue of decomposition analysis is clarified, and a new agenda for the societal and technological decomposition analysis of renewable energy systems is developed. A case study is disclosed to present the relevance of the established platform for integrated (renewable) energy systems planning. Innovative aspects comprise of the simultaneous inclusion of decision analysis and social acceptance methods and tools in concert with the related public participation techniques.     

An efficient reliable broadcasting protocol for wireless mobile ad hoc networks

The mobile ad hoc network (MANET) has recently been recognized as an attractive network architecture for wireless communication. Reliable broadcast is an important operation in MANET (e.g., giving orders, searching routes, and notifying important signals). However, using a naive flooding to achieve reliable broadcasting may be very costly, causing a lot of contention, collision, and congestion, to which we refer as the broadcast storm problem. This paper proposes an efficient reliable broadcasting protocol by taking care of the potential broadcast storm problem that could occur in the medium-access level. Existing protocols are either unreliable, or reliable but based on a too costly approach. Our protocol differs from existing protocols by adopting a low-cost broadcast, which does not guarantee reliability, as a basic operation. The reliability is ensured by additional acknowledgement and handshaking. Simulation results do justify the efficiency of the proposed protocol.     

浅谈电梯选型应注意的问题

电梯选型配置问题是个十分有实际意义的话题。本文结合作者多年来检测检验电梯的经验，浅谈几点选型配置应注意的问题。     

CODAS在CAI中的应用研究

控制系统的设计与仿真是着眼于充分掌握和运用反馈控制系统原理的非解析课件。控制系统的设计与仿真实验课作为广东机械学院计算机辅助教学的一部分已经在Ｎｏｖｅｌｌ局域网上开出．该课程的各种练习、例题、问题及实例教学鼓励学生自测和开发他们所学的知识．是特别适合自学的控制系统计算机辅助教学课程。     

128×128元IRCCD成像技术

研制成功了１２８×１２８元ＰｔｓｉＩＲＣＣＤ，获得了清晰的室温目标热像。文章叙述了该摄像机驱动逻辑电路的设计、驱动方式的研究和视频信号、数字信号的处理。     

电子不停车收费技术的软件实现与探索

讨论在联网收费下电子不停车收费的实现技术,采用设计模式的规范,提出基于交易管理程序为核心的界面管理、设备管理、传输管理、参数管理、日志管理的系统集成创新方案。     

加速国内电弧炉工艺技术的发展

提出以紧凑式电炉流程模式对国内电炉钢厂进行改造，以及加强大型电炉冶炼工艺技术研究的建议。