从事放射性个人剂量监测分析与防护调查

为了能及时了解放射性工作人员的受照剂量，以便能够更好地保障放射工作人员的健康与安全，采用热释光测量法对包头地区从事放射性工作的工作人员进行了个人剂量监测，并对他们的剂量当量频数分布进行了统计与分析，对工作环境的防护进行了调查对比，就今后的工作提出建议。     

金刚石薄膜异质外延的研究进展

主要介绍金刚石薄膜在Si上异质外延的研究状况。综述了外延金刚石薄膜的偏压形核 ,SiC过渡层的影响及一些实验参数对外延薄膜质量的影响等 ,并论述了发展方向     

国内外甲基丙烯酸甲酯的市场分析

阐述国内外甲基丙烯酸甲酯的生产、消费、进出口情况及需求展望,针对其发展中存在的问题提出建议.     

基于WSN的粮情监测系统LEACH改进协议研究与应用

首先介绍了基于WSN的粮情仓储监测系统的结构,针对粮仓温度监控的特殊环境,分析了经典LEACHE协议中簇头节点能量消耗过大和簇头节点与网关通信距离长的不足,提出以节点综合信息作为簇头节点选取的标准,同时通过限制簇内节点数目,在传输中结合簇内单跳、簇间与网关单跳与多跳结合的数据传输方式;最后将提出的改进算法在布设50个节点的粮仓中运行半年,经测量回收节点电池电压,90%节点均有效减少消耗,延长网络整体生存时间,较好地满足实际应用要求,为大型粮库设施现代化管理奠定了基础。     

基于 MMS服务的继电保护装置协议漏洞挖掘方法

工控系统网络安全的测评认证在国内还处于起步阶段,测试方法、测试流程和推广程度仍有待完善.结合IEC 61850继电保护装置特点和目前工控网络协议测试现状,围绕MMS服务在电力系统中的实际应用场景,对继电保护装置进行更深入的协议漏洞挖掘.     

甲烷浓度对金刚石薄膜(100)织构生长的影响

以H2和CH4的混合气体为气源,用微波等离子体辅助化学气相沉积法(MPECVD)在1 cm×1 cm S i(100)基体上沉积了金刚石薄膜。研究了不同的甲烷浓度对金刚石薄膜(100)织构生长趋势的影响。分别采用扫描电子显微镜(SEM),Ram an光谱对金刚石膜的表面形貌、质量进行了分析。结果表明,当基体温度为750℃,气压为4.8×103Pa,甲烷浓度为1.4%时,薄膜表面为(100)织构。     

乌苏里江流域TRMM降水数据精度评价与修正

将地面站点观测的降水数据作为基准降水数据,评估汛期热带降雨观测计划(TRMM)降水产品3B42研究型数据(V7)与实时降水数据(RT)的日以及月尺度数据在黑龙江省乌苏里江流域的时空精度。结果表明:在时间尺度上,TRMM 3B42V7与3B42RT的日降水数据与站点降水数据相比,均系统性偏小,且相关性不是很好;相对而言,3B42RT与站点数据的偏差程度较小,相关性较好;月尺度数据与日尺度数据相比,月数据精度均有很大提高,且2种产品数据精度相差不大;在空间尺度上,TRMM 3B42V7和3B42RT都能较好地展现乌苏里江流域降水的空间分布特征。针对评估结果,使用加法和乘法模型对TRMM 3B42V7和3B42RT的月降水数据进行修正。修正后,2种TRMM卫星降水产品的月降水数据精度均有提高,并且加法模型修正效果更好。因此,可选取加法模型修正后的3B42RT月尺度降水数据用于汛期乌苏里江流域的相关水文研究。     

A formal framework for service mashups with dynamic service selection

The service mashup programming paradigm is a blooming faction of service oriented Architecture for developing web applications. A mashup application constructs its functionality by combining data, presentation and functionalities obtained from online services published by service providers such as Google and Amazon. This paradigm significantly facilitates the implementation of application and reduces the workload. But it also makes the application rely on the availability and qualities of the online services which beyond its control in which case the robustness of the system requires more concern. This paper proposes a formal model to specify and analyze the behavior and robustness of service mashups under a certain environment where some services may become unavailable. The specification contains both system specification and environment situation. Refinement theory are employed to specify the correctness of dynamic service selection. The framework realizes the service selection by allowing virtual service requests to be handled by any online service having consistent interface and refined functionality. The framework provides a clear definition of the robustness of mashup systems and proposes several rules as well as approaches to preserve the robustness during the development and maintenance of the system.