基于智能优化算法的模糊软子空间聚类方法

为解决选定特征上的聚类问题和模糊C-均值聚类存在的初始值敏感、易陷入局部最优的问题,提出了一种基于改进萤火虫算法的模糊软子空间聚类方法。该方法在模糊C-均值聚类算法的基础上,采用基于数据可靠性的k-均值算法中特征权值的计算方法,并结合萤火虫算法的全局搜索能力对所有的特征子空间进行搜索;设计了一种目标函数来对聚类结果和子空间所包含的特征维进行评估,并利用目标函数改进了萤火虫算法的搜索公式。实验结果表明,该方法能有效地收敛于全局最优解,具有良好的聚类效果和抗噪性。     

数字移动通信系统中认证协议的设计与分析

该文针对数字移动通信系统的背景和需求, 基于公钥密码体制设计了一个端端密钥分发协议,基于对称密码体制设计了一个身份认证协议,并利用Spi演算对身份认证协议进行了分析,证明了其安全性。     

一种可解释的自由文本击键事件序列分类模型

TypeNet是一种基于两层长短时记忆网(LSTM)分支结构的孪生网络模型,在自由文本击键事件序列分类任务上取得了很好的效果,但缺乏可解释性。为此,该文改进了TypeNet模型,提出一种基于单层LSTM分支结构的孪生网络模型TypeNet II。TypeNet II模型用多层感知机度量两个分支输出表征向量差的绝对值体现的特征序列的相似度。模型训练完毕后,用多元二项式回归模拟多层感知机部分,基于得到的多元二项式对模型进行解释。实验结果表明,TypeNet II模型的分类效果超出了已有的TypeNet模型,多元二项式回归的结果具有泛化性,表征向量差的绝对值与相似度量之间存在非线性关系。     

集生态建筑技术大成--上海市生态建筑示范楼创新技术体系

可持续发展是21世纪全球发展战略,树立全面、协调、可持续的科学发展观已成为我国的基本国策。生态建筑遵循可持续发展原则,体现“节约能源、节省资源、保护环境．以人为本”的基本理念,充分展示建筑与人文．环境及科技的和谐统一．是当今世界建筑可持续发展的必然趋势。     

既有建筑绿色化的改造策略与工程实践

既有建筑量大面广,其中绿色建筑占比很小,因此,对既有建筑进行绿色化改造前景广阔。而在绿色建筑基本理念和既有建筑约束条件基础上,在现有关键技术研发和工程实践基础上,结合国内外既有建筑改造已有典型工程案例,将有助于实践"因地制宜、成本低廉、追求实效、提升品质"的既有建筑绿色化改造原则,有助于完善既有建筑绿色化改造技术策略,并可以为今后量大面广的既有建筑改造提供积极的借鉴。     

调和安全协议两种分析方法的理论研究

安全协议形式化分析方法分为两种,即符号方法和计算方法.比较两种方法,它们各有优缺点.目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点.针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进行了全面分析.     

一种基于模重写系统的攻击者推理方法

为了解决安全协议验证中攻击者模等式理论推理的可操作性问题,提出并设计了一种基于模重写系统的攻击者推理方法。该方法建立在一个反映两种密码原语代数特性的联合理论实例之上,由一组定向的重写规则和非定向的等式构成,前者进一步转化为项重写系统TRS(Term Rewriting System),而后者则转化为有限等价类理论,通过定义项间的模重写关系,使二者构成一个可以反映攻击者针对联合理论代数项操作能力的模重写系统。实例分析表明,该模型为攻击者模等式推理规则赋予了明确的操作语义,可以使攻击者达到对安全协议代数项规约、推理的目的。     

绿色公共建筑评价标准与技术设计策略

本文通过解析《绿色建筑评价标准》(GB/T50378-2006)的编制背景,针对公共建筑的评价要点,提出了绿色公共建筑的技术设计策略,并结合“上海生态办公示范楼”的成功案例加以分析。     

绿色建筑室内空气质量控制策略及实例分析

创造健康、舒适、高效的室内环境是绿色建筑体现“以人为本”的主要目标之一。室内空气质量是室内环境中的关键问题,文章阐述了在绿色建筑规划设计、施工、验收和运行管理各阶段有效控制室内空气质量的关键技术和策略,并通过对上海生态办公示范楼的实例分析,详细介绍了室内空气质量控制策略、手段和效果。     

依托学科竞赛的网络空间安全专业人才创新能力培养

针对网络空间安全专业人才发现与选拔机制落后、培养激励措施欠缺、创新实践能力不强等现实问题,提出以创新实践能力培养为中心、以学科竞赛为依托,融合"理论讲授、课程实践、科研任务"的多维网络空间安全专业人才培养模式,给出实践运用过程中应注意和把握的问题,为网络空间安全专业人才培养提供参考和借鉴。