CAN总线技术在贮煤筒仓安全监测系统中的应用

本文给出了一种基于CAN总线的贮煤筒仓安全监测系统的设计与应用，介绍了CAN总线系统的基本工作原理，并对系统的整体结构、硬件配置、软件功能及各节点功能分别作了说明。实验表明，该系统具有结构简单、可靠性高、安全性好、性能价格比高等特点，对实现目前火电厂贮煤筒仓安全监测系统本质安全化运行有一定的参考意义。     

石灰石分解反应的热重动力学研究

用热重分析等研究方法，对我国９个主要产地的石灰石矿样品进行了大量的实验和分析工作，并分别计算出不同产地石灰石的动力学数据。     

板式薄层膜通道中压力行为的实验研究

对层流状态下膜分离装置内膜通道中压力行为的特性进行了研究，理论分析了膜通道中出现该压力行为的原因，并用根式膜进行了验证．实验结果证实了理论分析的正确性。     

用过零时间法分析的中能重离子探测器望远镜

本文描述了中能重离子探测器望远镜ＮＥ１０２Ａ＋ＣｓＩ（Ｔｌ）＋ＰＭＴ采用过零时间的方法鉴别粒子，实验结果表明可清楚地分辨ｐ、ｄ、ｔ同位素和探测到的全部碎片。     

基于EPICENTRE的海洋钻探数据库构建方法研究

随着海洋在经济发展中的地位日益突出,海洋地质调查越来越重要,如何合理地管理使用海洋地质调查数据成为研究热点.文中以海洋钻探为例,采用面向对象的技术方法,提出了基于EPICENTRE数据模型的海洋钻探数据库构建方法,实现了海洋钻探业务与EPICENTRE数据模型的关联.该方法得到的海洋钻探数据库是面向业务的,与传统的关系数据库相比具有良好的可扩展性,稳定性以及关联性等优点.文中重点对业务模型与逻辑模型的关联技术进行了介绍.     

CloudRank-D: benchmarking and ranking cloud computing systems for data processing applications

With the explosive growth of information, more and more organizations are deploying private cloud systems or renting public cloud systems to process big data. However, there is no existing benchmark suite for evaluating cloud performance on the whole system level. To the best of our knowledge, this paper proposes the first benchmark suite CloudRank-D to benchmark and rank cloud computing systems that are shared for running big data applications. We analyze the limitations of previous metrics, e.g., floating point operations, for evaluating a cloud computing system, and propose two simple metrics: data processed per second and data processed per Joule as two complementary metrics for evaluating cloud computing systems. We detail the design of CloudRank-D that considers representative applications, diversity of data characteristics, and dynamic behaviors of both applications and system software platforms. Through experiments, we demonstrate the advantages of our proposed metrics. In several case studies, we evaluate two small-scale deployments of cloud computing systems using CloudRank-D.     

形式化方法在电信服务系统中的应用与研究

为提高电信服务系统的稳定性．把形式化方法引入到电信服务系统的研究中,并用典型的形式化规格语言Z开发电信系统中基本功能的形式化规格,该套形式化规格对拔打电话、建立连接、释放连接、修改密码等操作的进行详细、精确的描述。基于Z语言的形式化规格可以应用于电信服务系统开发过程的各个阶段．以期减少电信服务系统内部错误的产生、提高稳定性。