容忍入侵的群组通信研究

论文从容忍入侵、复制技术和群组通信三者之间内在的关联出发,探讨了容忍入侵系统中群组通信的必要性,提出了容侵群组通信的系统模型,从群组通信在整个系统中的位置和群组通信内部结构两个层面考虑,通过形式化定义,设计出了容侵群组通信的体系结构,并与OSI/RM进行对照研究。为可靠多播、全序多播和群组密钥管理等问题的深入研究奠定了基础。

Otway-Rees协议改进及形式化证明

选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好地形式化描述AOR协议,对传统的PCL进行一定的扩展;紧接着,用扩展后的PCL对改进的协议中各个实体的行为和协议的安全属性进行形式化描述,将改进后的协议进行模块化划分,并利用PCL进行组合证明;最后,得出改进后的AOR协议具有密钥保密属性。

国内外近十五年深度学习文献比较研究——基于CNKI和WOS核心期刊的知识图谱与内容分析

根据21世纪社会对创新型人才培养提出的更高要求,深度学习成为近年来教育领域核心话题。对研究者而言,快速准确地了解深度学习的研究现状及国内外差异是进一步研究的必要条件。基于此,本文从中国知网和Web of Science数据库收集深度学习研究文献,首先通过知识图谱分析等方法对文献进行量化对比分析,呈现国内外研究现状的差异;其次对文献的研究主题、方法和情境进行定性分析比较;最后给出研究结论和反思。研究结果表明:国外深度学习研究已进入稳定深化期,相关理论构建趋于完善;国内深度学习研究正处于快速发展期,目前初步形成以高等师范院校和基础教育学校为主的深度学习研究基地,研究者当前较多关注深度学习的内涵及本质和教学策略研究,而深度学习的具体实践路径尚待明确,研究方法单一,同时研究主要针对中小学教育中的自然科学类学科,对高等教育和职业教育的关注较少。

计算机网络课程教学模式探究及实践

针对计算机网络课程目前的教学状况,分析当代学生知识背景及课程特色,分别从理论层面和实践层面提出该课程授课的一般教学模式,具体阐述该课程教学实践中需要注意的问题,并从5个方面总结该课程讲授环节的具体做法,剖析每一种具体做法背后的原因,最后说明该课程教学效果的评价并给出信息化建设问题的思考。

重叠组情形下全序多播协议的研究与实现

讨论了计算机网络安全领域中容忍入侵、复制技术、群组通信和全序广播之间的内在关联,分析了全序与全序多播的基本概念及属性,研究了重叠组情形下的全序多播及其在容忍入侵的群组通信系统中的实现问题,利用独立的组之间的全序多播协议Totem_Total,提出了一种能在重叠组之间保证全序的多播协议实现方案,给出了详细的伪代码描述并进行了分析.

新时期高师学生综合素质的培养探寻

今天的高师学生就是明天的中学教师,因此当代高师学生综合素质的提高对整个民族素质的提高起着关键作用。根据社会发展和学生自身健康成长的实际需要,本文对高师学生综合素质培养的内涵进行探寻,从三个层面探寻新时期高师学生综合素质的有效培养方案。

基于智能卡的多服务器远程匿名认证密钥协商协议

针对Xu等近期提出的一个基于智能卡的动态身份用户远程认证方案(简称XJWM)进行分析,指出其不能抵抗冒充攻击和密钥泄露攻击,且不能实现前向安全和后向安全。利用Diffie-Hellman密钥协商算法及生物认证技术,提出一个新的多服务器环境下多因子远程匿名认证密钥协商协议。新方案不仅有效弥补了XJWM方案存在的安全缺陷,而且增加了智能卡对持卡者的口令与生物信息的认证,避免了智能卡丢失引起的冒充攻击。最后,用改进的BAN逻辑证明了新方案密钥协商的正确性、会话密钥机密性与新鲜性以及双向认证性。安全性和性能分析说明,新方案在少量增加计算量的情况下具有良好的安全性。

新时期《计算机文化基础》教学实践与反思

《计算机文化基础》作为非计算机专业大学生的一门必修基础课,对于学生计算机的基本理论与操作技能的整体提高起着重要的作用。本文分析了《计算机文化基础》课程的教学现状,结合问卷调查结果探讨了目前存在的一些问题,给出了笔者在多年教学实践中的几项积极探索,提出了若干教学改革的思路和方法。

基于多模型拟合的西安市生活垃圾量预测

大城市生活垃圾预测是政府环卫部门安全评价、规划和决策的基础。以西北最大城市西安为例,在分析现状基础上得出目前影响西安市生活垃圾产量的三个显著的驱动因子:西安市辖区建成区土地面积、城镇居民人均可支配收入和市区户籍人口。先建立GM(1,1)灰色预测模型和最小二乘法多项式拟合人均可支配收入增长模型,对三个影响因素指标分别进行预测;后建立多元线性回归模型,结合前期三个指标预测值,预测2011—2020年西安市生活垃圾产生量。显著性F检验表明多模型拟合预测合理,预测结果有意义。

随机响应机制效用优化研究

针对本地化差分隐私中的隐私-效用均衡问题,对差分隐私和近似差分隐私情形下的二元广义随机响应机制建立效用优化模型,并采用图解法、最优性证明、软件求解和极值点等方法求解,得到了效用最优值与隐私预算、输入数据分布的精确表达式,给出了相应的效用最优机制。研究结果表明效用最优值和效用最优机制均与隐私预算和输入数据分布相关。另外,多元随机响应机制效用优化模型可通过本地化差分隐私极值点来求解。

基于内容中心性的概率缓存内容放置方法

为减少信息中心网络的缓存冗余,改善缓存命中率和利用率,提出了一种基于内容中心性的概率缓存内容放置方法(content-centrality-based probabilistic caching content placement method,CCPCP).与传统网络中仅用来刻画网络拓扑结构的中心性指标不同,采用的内容中心性指标,不仅能刻画缓存节点的位置中心属性,而且能刻画信息内容本身属性.该方法中,沿途各缓存节点综合考虑内容中心性和内容获取时延自适应地计算各自缓存概率,即内容所在节点位置越居于中心,内容热度越高,内容获取时延节省越优的内容被缓存的概率就越高.仿真实验表明:与现有基于概率缓存内容放置方法相比较,CCPCP方法缓存内容副本数目较少,减少率可达到32%以上,CCPCP方法显著地减少了缓存冗余,降低了内容获取时延,提高了缓存命中率和缓存内容利用率.

下推格值自动机接受词语言两种方式的等价性

在格半群框架下,针对下推格值自动机模型的特点,提出其两种接受词语言的方式,并利用格半群的代数性质和自动机理论,证明了这两种方式接受词语言的等价性.

决策树在教学评价中的应用

决策树是用来解决分类问题的重要方法之一。ID3是决策树学习的核心算法,为此,本文给出了决策树构造思想和ID3决策树学习算法,并将其应用于教学评价之中,这样可以提高教学评价技术水平,提高教学评价的科学性、客观性和公正性,使之更好地为教学服务。

NMG逻辑系统有效集的研究

目的研究命题逻辑系统NMG的有效集。方法非经典逻辑的语义理论。结果得到了NMG有效集的特征,进而以有效集为工具得到了公式集F(S)的一类分划。结论可将NMG系统中的公式分为26个等价类,对形式化的公式集合进行了分类。

面向轨迹数据发布的个性化差分隐私保护机制

移动互联网和智能手机的普及大大方便了人们的生活,并由此产生了大量的轨迹数据.通过对发布的轨迹数据进行分析,能够有效提高基于位置服务的质量,进而推动智慧城市相关应用的发展,例如智能交通管理、基础设计规划以及道路拥塞预警与检测.然而,由于轨迹数据中包含用户的敏感信息,直接发布原始的轨迹数据会对个人隐私造成严重威胁.差分隐私作为一种具备严格形式化定义、强隐私性保证的安全机制,已经被广泛应用于轨迹数据的发布中.但是,现有的方法假定用户具有相同的隐私偏好,并且为所有用户提供相同级别的隐私保护,这会导致对某些用户提供的隐私保护级别不足,而某些用户则获得过多的隐私保护.为满足不同用户的隐私保护需求,提高数据可用性,本文假设用户具备不同的隐私需求,提出了一种面向轨迹数据的个性化差分隐私发布机制.该机制利用Hilbert曲线提取轨迹数据在各个时刻的分布特征,生成位置聚簇,使用抽样机制和指数机制选择各个位置聚簇的代表元,进而利用位置代表元对原始轨迹数据进行泛化,从而生成待发布轨迹数据.在真实轨迹数据集上的实验表明,与基于标准差分隐私的方法相比,本文提出的机制在隐私保护和数据可用性之间提供了更好的平衡.

卢卡斯数列和斐波那契数列关系性质新解

本文探讨通项公式非常相似的斐波那契数列{Fn}和卢卡斯数列{Ln}之间新的关系、性质和变化趋势.发现任何一个卢卡斯数Ln均可表达成两个斐波那契数Fn+1,Fn-1之和,而两个卢卡斯数Ln+1,Ln-1之和却等于5Fn;在讨论{Fn}和{Ln}前后比值数列{an/an+1}趋近于黄金数时,发现{an/an+1}的奇偶子列具有严格单调性和有界性;最后给出下一步关于{Fn}和{Ln}的研究思路.

一种非线性偏微分方程的小波解法

利用微分算子的紧支撑小波表示,讨论了一种非线性偏微分方程的Daubechies小波解,给出了此类问题的求解步骤,并做出了相应的数值结果。

云存储环境下支持用户动态撤销的属性加密方案

基于CP-ABE算法,提出一个云存储环境下支持已注册合法用户动态撤销的属性基加密方案。与传统的委托云中心代理重加密思想不同,本方案中密文是由云存储中心产生的部分密钥k和数据拥有者放在访问结构中的s值共同作用产生,满足属性访问结构的用户可以重构s,恰好抵消部分密钥k在密文中的盲化因子而得到数据明文。当已注册合法用户撤销后,云存储中心更新原来用于加密的部分密钥为k′以及部分密文,即可阻止注册用户撤销后无法解密数据,从而保护数据的后向安全性。未注销用户也仅需更新部分解密私钥即可正常解密,方案整体所需计算量、更新存储量和通信量较低。

大孔吸附树脂纯化垫状卷柏总黄酮的工艺研究

目的研究大孔树脂纯化垫状卷柏总黄酮的最佳提取工艺。方法以总黄酮的得量和含量为考察指标,经大孔树脂纯化后,采用紫外-可见分光光度法测定。结果 HPD-100型大孔树脂纯化效果最好,其最佳工艺参数为树脂:药材≈1:1.3,药液质量浓度为0.8 g·m L-1,p H 3,吸附速率4.0m L·min-1,用5 BV 75%乙醇洗脱,洗脱速率4 BV·h-1,经大孔树脂纯化后垫状卷柏提取液中总黄酮纯度由原来的20.49%提高至51.26%。。结论本法富集纯化垫状卷柏总黄酮工艺稳定可行。

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于'Cords演算'的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.