在役生产装置安全评价存在的职业卫生问题

分析了在役生产装置安全评价存在的职业卫生问题,提出了如何做好重点生产装置职业病预防工作的建议。     

浅谈多媒体技术在数字图书馆中的运用

介绍了多媒体的概念、特点，探讨了多媒体在图书馆各项工作中的应用方式，论述了多媒体在图书馆应用中对读者产生的意义。     

两种在用发动机油氧化衰变情况监控方法对比分析

分析了两种常用监控在用发动机油氧化衰变情况的试验方法，并通过监控试验数据，探讨酸值和红外两种监测方法的各自特点，提出高档发动机油酸值变化极限值应区别于中低档发动机油的观点，为今后监控在用发动机油选用合适的试验方法和标准提供了参考。     

"The dismantling of our health system: Strategies for the survival of psychological practice": A reply to Cummings.

Comments on the original article, The dismantling of our health system: Strategies for the survival of psychological practice by Nicholas A. Cummings (see record 1986-22651-001). In response to this article, the current author says "no, no, no!" He believes that "survival with this degree of compromise amounts to doing anything for a buck." (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

供应链库存管理的几项措施

供应链库存管理与某一部门的管理有极大的不同，它涉及到各部门，各企业之间存在着的错综复杂的工序关系和不确定性。     

通信网交换系统的发展趋向

本文对宽带综合通信网交换系统几个主要方面技术的发展趋向作了概括介绍，内容包括：电子交换的分布结构、ＡＴＭ交换的开始应用，个人通信的无线进网，宽带交换引用光子技术和多媒体交换结构分析。     

基于COM＋技术的Web服务封装研究

早期的信息管理系统都是用于实现企业特定的业务功能而建立的,包括对企业生产、供应、销售以及客户服务等的控制和管理。企业按照职能部门建立了各种企业信息系统,这些信息管理系统被其所在部门所使用,并在实际的工作生产中发挥了巨大作用。该文从整体考虑各个企业信息管理系统,并根据具体业务的需求对这些系统进行统一编排,通过一个合适的集成平台把现有企业信息管理系统进行有机的整合起来,使各＂信息孤岛＂联系起来。     

基于能量预测的传感器网络信任机制研究

信任机制最近已建议作为一个无线传感器网络(WSNs)有效的安全机制.文中提出了一种信任机制(EPTM),该机制不仅可以防止被入侵的节点或者恶意节点选举为簇头,而且还设计出一种新型副簇头节点来监察簇头以防止他们的恶意行为.特别介绍了一种基于能量预测的方法来检测拒绝服务攻击(DoS)的节点,选出值得信赖的簇.最后通过仿真验证了机制的可行性,结果表明:EPTM可以有效防御拒绝服务(DoS)攻击.     

Complexity of synthesis of composite service with correctness guarantee

How to compose existing web services automatically and to guarantee the correctness of the design (e.g. temporal constraints specified by temporal logic LTL, CTL or CTL*) is an important and challenging problem in web services. Most existing approaches use the process in conventional software development of design, verification, analysis and correction to guarantee the correctness of composite services, which makes the composition process both complex and time-consuming. In this paper, we focus on the synthesis problem of composite service; that is, for a given set of services and correctness constraint specified by CTL or CTL* formula, a composite service is automatically constructed which guarantees that the correctness is ensured. We prove that the synthesis problem for CTL and CTL* are complete for EXPTIME and 2EXPTIME, respectively. Moreover, for the case of synthesis failure, we discuss the problem of how to disable outputs of environment (i.e. users or services) reasonably to make synthesis successful, which are also proved complete for EXPTIME and 2EXPTIME for CTL and CTL*, respectively.     

基于ITIL运维服务管理体系的研究和设计

随着信息化应用的不断普及和深入,信息系统已成为支撑企业运作不可缺少的一部分,系统的运行维护也显得越来越重要。文章基于对ITIL最佳实践的研究,设计了一套IT运维服务管理体系,从而达到加强运维管理、提高运维效率、改善运维质量的目的,充分发挥信息化对企业的支撑和推动作用。