OAuth2.0协议形式化验证: 使用AVISPA

OAuth协议是一套用于在不同的服务中进行身份认证并且实现资源互访一套协议.由于关系到用户隐私,所以OAuth协议的安全性非常重要.这篇文章的主要贡献是研究OAuth2.0协议文本,对协议进行抽象,并且使用验证工具AVISPA对抽象后的协议进行建模与验证,找到协议中会导致隐私泄露的一种攻击模式.我们在建模过程中提出需将要验证的消息作为双方的对称密码这样一种创新思路.这种对协议的抽象和验证的方法可以推广到其他安全协议上,例如在线支付协议等等.     

诺蒎酮-噻唑腙类化合物的合成及抑菌活性

以β-蒎烯为原料经选择性氧化制得的诺蒎酮，再经羟醛缩合、酰腙化和环化反应得到15个的诺蒎酮-噻唑腙类化合物；采用1H NMR、13C NMR 和 HR-MS对所合成化合物的结构进行了表征；探索了所合成化合物对金黄色葡萄球菌、白色念珠菌和肺炎克雷伯氏菌的抑菌活性。结果表明，化合物2-{2-{6,6-二甲基-3-(4-硝基苯亚甲基)二环[3.1.1]庚-2-亚基}肼基}-4-(4-氟苯基)噻唑（Ⅲe）、4-{2-{2-{6,6-二甲基-3-(4-硝基苯亚甲基)二环[3.1.1]庚-2-亚基}肼基}噻唑-4-基}苯酚（Ⅲf）、2-{2-{3-(4-氟亚苄基)-6,6-二甲基双环[3.1.1]庚-2-亚基}肼基}-4-苯基噻唑（Ⅲg）和2-{2-{6,6-二甲基-3-(4-甲基亚苄基)二环[3.1.1]庚-2-亚基}肼基}-4-苯基噻唑（Ⅲj）对金黄色葡萄球菌抑菌效果显著，其最低抑菌质量浓度分别为3.51 μg/L、0.88 μg/L、7.03 μg/L和3.52 μg/L；化合物4-{2-{2-(3-亚苄基-6,6-二甲基二环[3.1.1]庚烷-2-亚基)肼基}噻唑-4-基}苯酚（Ⅲc）对白色念珠菌有较好的抑菌活性，最低抑菌质量浓度为28.12 μg/L；所有目标化合物对肺炎克雷伯氏菌的抑菌效果并不显著。从构效关系看：R1和R2上取代基的不同对化合物抑制金黄色葡萄球菌效果有明显的影响，当R1为强吸电子基团时能显著提高化合物的抑菌活性，其中化合物Ⅲf对金黄色葡萄球菌的抑制效果与硫酸卡纳霉素的抑制效果相当，具有潜在的开发价值。 关键词：-蒎烯；诺蒎酮；噻唑腙；抑菌活性     

基于多代表点学习的RSKNN分类算法

RSKNN 算法是一种基于变精度粗糙集理论的 k-近邻改进算法,该算法能够保证在一定分类精度的前提下,有效地降低分类的计算量,提高分类效率。但由于 RSKNN 算法只是简单地将每个类中的样本划分成一个核心和边界区域,并没有根据数据集本身的特点进行划分,因而存在极大的局限性。针对存在的问题,提出一种多代表点学习算法,运用结构风险最小化理论对影响分类模型期望风险的因素进行分析,并使用无监督的局部聚类算法学习优化代表点集合。在UCI公共数据集上的实验表明,该算法比RSKNN算法具有更高的分类精度。     

马桑皮植鞣剂与铝盐结合鞣制性能及机理

以提取于马桑皮的植物鞣剂为原料，与铝盐进行绵羊酸皮结合鞣制，优化鞣制工艺并建立基于马桑皮鞣剂的植铝结合鞣制方法，对鞣制后皮革性能及鞣制机理进行研究。结果表明，当马桑皮鞣剂用量为酸皮质量的15%、Al3(SO4)2•18H2O用量为酸皮质量的20%、渗透pH为4.0、结合pH为4.5的条件下，皮革收缩温度可达110.5 ℃。皮革表观性能良好，增厚率为82.2%，抗张强度为10.0 MPa，撕裂强度为52.5 N/mm，断裂伸长率为76.8%，优于橡椀植物鞣剂结合鞣制的皮革。鞣制后皮革胶原纤维变粗，形成紧密的网状结构。马桑皮植物鞣剂能充分渗透至皮革胶原纤维中，并与其产生氢键交联。在结合鞣制时，铝盐与皮革胶原纤维中结合的单宁类成分产生络合，使交联作用增强，从而显著提高成革的热稳定性能和机械性能。     

基于二维码的录取通知书管理系统设计与实现

从高校录取通知书管理的需求出发,设计实现基于二维码的录取通知书管理系统。介绍了二维码的概念和运用,给出了基于Zxing库生成二维码具体实现过程。     

基于Web Service的音乐作品版权登记系统

Web Service技术是面向服务架构以及实现信息系统集成的重要技术。它采用HTTP协议,通过Web接收和响应外部系统的请求信息,实现远程调用。Web Service技术以其跨平台性在Web应用程序开发中得到了广泛应用。以开发一个基于Web Service的音乐作品版权登记系统为例,介绍了该系统的总体架构,分析了Web Service技术实现的工作原理,并给出了通过Web Service接口提交音乐作品的实现方法。     

一种基于上下文的医学图像ROI分类方法

感兴趣区域(ROI)的分类是医学图像的计算机辅助诊断过程的最后一步,传统方法只针对每个ROI区域单独提取特征,再利用统计学习的方法训练分类器进行分类.然而图像中每个区域所包含的视觉特征有限,很难进行准确的分类.文中提出一种基于LDA主题模型的改进模型(LDAC),考虑ROI周围区域,即图像的上下文关系,通过利用LDA对ROI周围区域所包含的上下文信息进行建模,同时结合ROI区域的视觉信息和类别标签,从而辅助ROI区域的分类,以达到提高分类准确率的目的.乳腺图像肿块分类实验表明,文中方法可提高分类的准确性.     

手机二维码整合三亚旅游资源的应用研究

分析了手机二维码的特点,手机二维码技术在三亚旅游市场的应用研究,通过整合三亚旅游资源,可以提高三亚旅游服务效率和服务水平,规范旅游市场,积极推进三亚市旅游市场的信息化建设。     

N-十六烷基乙二胺三乙酸钠的合成及性能

用无水乙二胺、1-溴-十六烷和氯乙酸为原料,合成N-十六烷基乙二胺三乙酸钠,以提高阴离子表面活性剂在硬水中的稳定性。性能研究表明:它在硬水中的稳定性达到4级,cmc为2 13mmol·dm-3,γcmc=34.7mN·m-1。对产物的润湿力、分散力、乳化力等其他性能也进行了研究。     

基于模型驱动的框架技术在数据采集平台中的分析与应用

结合高等职业院校人才培养工作评估方案中数据采集的要求,将模型驱动框架技术在实际的数据采集平台开发过程中的应用进行分析与探讨,实践证明,该改系统在实际应用中具有良好的可用性和维护性。