BPEL应用程序验证模型研究

在Web服务应用中,BPEL是一种基于流程的描述业务行为的语言.为了验证以BPEL构建的应用程序是否满足某些性质.提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证.实验结果表明,以上方法在设计阶段能有效地发现并排除错误.     

有效建立电力企业安全状态评价体系

电力工业作为国家最重要的基础能源产业,任何一个环节的不安全,不稳定都可能影响到国民经济的发展以及社会的和谐稳定。安全评价是通过对系统存在的危险性进行定性和定量分析,确认系统发生危险的可能性及其严重程度,提出必要的措施,以寻求最低的事故率、最小的事故损失和最优的安全投资效益。开展安全性评价是实现安全生产的管理创新并与国际安全生产管理先进水平接轨的重要体现。     

天朗SATURN系列AV音箱

常常有许多刚刚开始玩音响的朋友,一直试图搞明白,同属音响领域的Hi-Fi音箱和AV音箱,其主要区别表现在哪里,是否后者仅仅靠增加了几只音箱,才摇身一变成为AV组合的呢?实际上,除了某些品牌在动态和输出功率方面略有差别外,大部分厂家自身也并没有刻意强调两者的不同个性.     

山灵SCD 300 SACD播放机

近年来,深圳山灵的器材,无论在外观或是性能及声音表现上,都有一个很大的突破.在笔者看来,这种突破并不仅仅单纯以设计或是制作工艺的提升为支撑的,在更大的层面上,这是一种对音响器材内涵的进一步了解和声学理念的完善带来的全面进步.……