新颖高效杀剂——BC98

本文介绍了新颖高效杀菌剂－ＢＣ９８的特性、杀菌原理、杀菌效果和配制方法。     

无磨料低温抛光的工艺方法研究

对无磨料低温抛光这种全新的工艺方法进行了系统的研究，包括抛光设备、抛光冰盘的制备、工件盘的制备、抛光盘的修整、抛光后工件的清洗、抛光后表面粗糙度的测量等。并用此种方法对石英晶体进行了抛光实验，得到了Ra0．53mm的超光滑表面，结果证明这是一种获得超光滑表面的新方法。     

一种电信增值业务的框架模型及其实现

提出一种电信增值业务的框架模型,对其总体框架和集成模式进行了研究。以此模型为基础,开发设计了一套电话ICQ系统。     

云计算环境下取证技术研究

云计算的快速发展,不仅带来了巨大的经济收益,同时还伴随着大量的犯罪活动。这对电子取证专业人员带了巨大的挑战。文章针对云取证遇到的问题和取证技术进行研究,首先分析了云计算环境下的安全风险、取证面临的问题和电子数据的来源,然后给出云取证流程,最后从法律和技术两个方面探讨了云取证。     

基于SVO逻辑的云服务安全形式化分析

云服务安全方案利用SAML实现SSO功能,使云用户只需要登录网络时进行一次身份认证即可接入各种云服务,从而提高网络认证效率,同时使SAML不需要保存用户的状态,有效提高SAML的性能.SVO逻辑一种基于推理的结构性方法,它具有十分简洁的推理规则和公理,为逻辑系统建立了用于推证合理性的理论模型.本文阐述云服务安全方案及其关键技术机制,并对其抽象建模,然后采用SVO逻辑对其安全性进行形式化分析,通过分析证明其安全性.     

基于短时多源回归算法的P2P平台风险观测方法

P2P网络借贷作为当代互联网金融领域中流行的借贷方式,具有借款金额小、还款周期长短不一的特点,导致传统的年度风险评估方法因时间粒度过粗而容易给 平台投资者造成损失。基于此,提出一种基于短时多源回归算法的网络借贷平台运营风险的动态评估方法。通过动态时间窗对借贷记录进行切分,并以线性回归来量化平台的动态风险指数。实验结果表明,该方法能够及时反映P2P平台的风险宏观运营情况,并向投资者提供平台的动态风险评估和预测指标。     

代码风格检测分析器工作流模型

在分析好的代码风格对软件的开发、测试和维护具有重要意义的基础上，给出了一种代码风格检测工具的总体结构，介绍了其主要功能。重点分析了代码风格检测分析器的工作流模型，并对其工作流程进行了详细论述。利用该模型构建的代码风格检测工具已经得到了实际应用。     

制造环氧乙烷和乙二醇的几种工艺方法

据有关文献报道,美国科学设计有限公司、日本催化剂化学工业有限公司和美国壳牌发展公司,介绍了几种环氧乙烷和乙二醇的典型流程,现依文献发表的先后顺序,摘译如后。