基于多层结构中间件（EdbClient,EdbServer）的设计与实现

文中首先分析了Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒｓ模型中中间件的应用背景。     

软件质量及可靠性保证的技术分析

分析了软件开发的上游工程和下游工程对软件质量的影响，用一个实例说明说明了上游工程对软件质量的决定性影响；对于下游工程，提出了４种质量保证技术，并对提高软件质量的两种技术－容错技术、程序正确性证明给予了介绍。     

开展环境地质灾害防治保障煤炭工业持续发展

从河南省煤炭工业可持续发展的战略角度，阐述了积极开展环境地质灾害研究与防治的重要性，并提出了若干具体建议。     

聚丙烯酸在硅酸二钙表面吸附的分子动力学模拟

采用分子动力学（MD）方法,模拟研究了聚合物抑制剂聚丙烯酸与β-硅酸二钙（110）晶面的相互作用行为。结果表明:聚丙烯酸与β-硅酸二钙（110）晶面间结合能为负值,在模拟范围内结合能随聚丙烯酸聚合度的增加而增大,聚丙烯酸分子能较好地吸附在β-硅酸二钙（110）表面。通过体系中各种相互作用、径向分布函数以及吸附构象图分析,发现聚丙烯酸主要是通过库仑静电作用吸附在β-硅酸二钙（110）晶面上。聚丙烯酸中不同位置羧基的分子动力学模拟结果差别也很大,链端羧基波动扭转比链中端羧基强度大得多,表明中端羧基与β-2CaO·SiO₂晶体的吸附比链端更牢固因而更能有效地吸附在晶面上,达到抑制熟料二次反应的作用。      

在役大型游乐设施健康评价方法研究

大型游乐设施是人们追求美好生活的重要工具和弘扬传统文化的有力平台,其安全性、可靠性和经济性受到了社会的广泛关注。实施健康管理是保障大型游乐设施在服役期间能安全、可靠、经济运行的一种先进手段。围绕大型游乐设施健康管理中健康评价这一核心环节,第一,从健康状态的本质出发,建立健康状态的数学模型;第二,通过分析在役大型游乐设施的损伤发展和功能退化规律以及游乐园的实际需求,提出了大型游乐设施健康状态分级的概念,并划分为"健康"、"亚健康"、"微病态"和"病态"4个等级;第三,针对国内外大型游乐设施的技术现状,提出一种综合利用对设备的定期检验、日常维护保养和设备实时状态监测三方面信息的定量健康评价方法;最后,通过典型大型游乐设施进行综合应用及分析,验证了该方法的有效性和实用性,实现由静态的安全评价向动态的健康评价转变和升级,为今后进行更加深入的大型机电设备健康管理研究提供可以借鉴的思路。     

国内膜用mLLDPE的市场及应用研究进展

综述了茂金属线型低密度聚乙烯(mLLDPE)产品在国内的应用情况、市场情况以及未来发展趋势.分析了国内聚乙烯薄膜用户的特点及要求,阐述了mLLDPE在聚乙烯薄膜中的应用优势.最新一代的茂金属催化剂带来了聚乙烯材料的发展,也促使了薄膜制品的质量提升.未来将会有更多的企业关注mLLDPE,但高昂的生产成本将制约mLLDPE...     

基于合约的Web服务个性化访问控制方法

在无中心Web服务环境中,用户访问服务的历史行为数据由多个服务提供方分散管理,难以形成全局的用户信任度视图,难以根据用户信任度和使用需求实施个性化的访问控制。本文提出一种基于智能合约的个性化访问控制方法(SC-PAC)。通过结合前期的研究成果为SC-PAC提供高质量的用户历史行为数据,实现有可靠数据保障的可信计算服务,通过智能合约中的策略配置及可信度计算模型参数调整,实现服务提供商(SP)对不同用户的个性化的访问控制。在实验环节为SC-PAC设计了一个新的信任模型,并对该信任模型及基于SC-PAC方法的访问控制进行了实验设计。对结果的分析表明,本文提出的SC-PAC方法能够允许SP通过智能合约中的计算信任模型、参数及访问控制策略选择,实现对用户的个性化访问控制,并且依据准确的用户历史行为数据提供更可靠的可信度判断,可以有效保护服务。     

一种安全的远程用户认证方案

基于椭圆曲线上的双线性映射设计的远程用户认证方案,因安全性好、计算复杂度较小近年来成为了研究的热点。Manik提出了一种基于双线性映射的远程用户认证方案,随后Chou等指出其方案针对假冒攻击是不安全的,并给出了一种改进方案,但Thulasi指出该改进方案仍是不安全的。该文对已有的攻击方法进行了简单分析,提出了一种新的改进方案,并对其安全性进行了分析,新的方案针对已有的攻击方法是安全的,从而解决了基于双线性映射的远程用户认证方案的安全问题。     

一类弹性布尔函数的谱值分布

Sarka等人在文献[1]中给出了弹性布尔函数的一种构造方法,利用该方法可以构造出非线性度、弹性阶和代数次数等密码学性质均较理想的奇数元弹性布尔函数。对其构造得到的弹性布尔函数的谱值分布进行了研究,分析了由该方法所构造得到的5元1阶和7元1阶弹性布尔函数的谱值,给出了这两类弹性布尔函数的谱值分布情形,并给出了相应谱值点的计数结果。