检索结果-南通市图书馆

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

并发对象强可线性化性质的检测和验证

软件学报 2024年第9期35卷 4141-4159页

作者：王超贾巧雯吕毅吴鹏西南大学计算机与信息科学学院软件研究与创新中心计算机科学国家重点实验室(中国科学院软件研究所) 中国科学院大学

可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此, Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中... 详细信息

可线性化被公认为并发对象正确性标准,但其已被证明不能作为含有随机语句的并发对象的正确性标准.为此, Golab等人提出了强可线性化概念,它在可线性化的定义上增加了前缀保持性质,对并发对象具有更强的约束性.关于强可线性化的研究集中在使用特定的基本对象构造满足强可线性化性质的并发对象的可行性.对常见的并发对象的强可线性化性质的检测和验证方面的研究较为少见.从并发对象的验证算法和证否方法两个方面研究了强可线性化性质.首先,细化强可线性化性质,将它细分为固定生效点和单纯帮助两类,并证明固定生效点是已有的固定可线性化点概念的扩展.其次,提出两种强可线性化的验证算法,其中一种基于固定可线性化点,另一种基于固定生效点.最后,给出一个构造性的证明并发对象违背强可线性化的证明方法,依据该方法证明了Herlihy&Wing队列、一种单读单写寄存器实现和一种并发快照实现违反强可线性化性质.

关键词：并发对象正确性标准可线性化强可线性化

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

面向车联网的隐私保护数据聚合方案研究

面向车联网的隐私保护数据聚合方案研究

作者：褚茜茜安徽师范大学

学位级别：硕士

车联网可以利用车辆收集路面湿滑指数等感知数据,并利用数据辅助智慧交通制定合理决策,提升用户驾驶体验和保障行车安全。然而,车联网信道的开放性和数据的时空属性使其面临着隐私泄露和虚假数据注入等安全问题。为解决车联网数据聚合... 详细信息

车联网可以利用车辆收集路面湿滑指数等感知数据,并利用数据辅助智慧交通制定合理决策,提升用户驾驶体验和保障行车安全。然而,车联网信道的开放性和数据的时空属性使其面临着隐私泄露和虚假数据注入等安全问题。为解决车联网数据聚合过程中存在的安全问题,本文致力于研究车联网隐私保护数据聚合方案,并针对两种数据聚合场景中存在的安全问题提出相应解决方案,可以有效保护用户隐私信息,实现可靠数据共享。具体研究成果如下:(1)提出一种车联网中抵抗单点故障的隐私保护数据聚合方案。现有方案无法防止交通管理中心获取单个数据报告,同时也面临着单点故障的威胁。本文提出的方案首先利用中国剩余定理、改进的Paillier密码系统保护车辆的位置隐私和感知数据安全,并在数据报告读取和分析过程中获得感知数据的均值和方差;其次,该方案使用门限加密技术来增强交通管理中心的安全性,抵御单点故障;最后,在计算性能方面,本方案采用批量认证技术来减少认证开销。详细的安全分析和性能评估表明,所提方案能够抵御各种安全威胁,具有较低的计算复杂度、通信开销和传输时延。(2)提出一种车联网中具有条件隐私保护的安全数据聚合方案。现有方案缺乏对车辆位置隐私保护、感知数据的可靠共享和恶意用户追踪等问题的考量。SEDS方案利用自主可控的动态假名机制实现车辆的位置隐私保护,有效防止车辆轨迹信息泄露;其次,SEDS方案利用同态加密技术在网络边缘聚合数据,实现数据隐私保护;再次,该方案采用基于身份的数字签名技术,实现虚假数据的高效过滤,确保了数据的完整性和真实性;最后,该方案将区块链技术应用于共享数据的存储,保证了共享数据的不可篡改性。详细的安全分析和性能评估表明,所提方案能够抵御各种安全威胁,同时具有更优的计算和通信性能。综上,本论文针对不同的车联网应用场景提出了相应的隐私保护安全数据聚合方案,从而可以提升车联网相关应用的安全性和可靠性,保障车联网用户数据隐私安全,推进车联网产业的健康可持续发展。

关键词：车联网数据聚合隐私保护区块链

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

应用于超表面的FEM-GSTCs算法研究

应用于超表面的FEM-GSTCs算法研究

作者：蒙茜茜电子科技大学

学位级别：硕士

负载茶多酚的壳聚糖-聚乙烯吡咯烷酮水凝胶膜的表征及其pH响应释放

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

复合材料学报 2024年第1期41卷 240-249页

作者：崔琢玉李洋冯鑫胡泽茜东北林业大学工程技术学院哈尔滨150040

为提高活性物质的利用率,选取壳聚糖、聚乙烯吡咯烷酮作为基材,以甘油为增塑剂、戊二醛为交联剂、茶多酚为抗氧化剂制备了具有pH响应的负载茶多酚的壳聚糖-聚乙烯吡咯烷酮水凝胶膜。通过SEM、FTIR表征薄膜的微观结构,测试了薄膜的水蒸... 详细信息

为提高活性物质的利用率,选取壳聚糖、聚乙烯吡咯烷酮作为基材,以甘油为增塑剂、戊二醛为交联剂、茶多酚为抗氧化剂制备了具有pH响应的负载茶多酚的壳聚糖-聚乙烯吡咯烷酮水凝胶膜。通过SEM、FTIR表征薄膜的微观结构,测试了薄膜的水蒸气透过率、力学性能、溶胀度、凝胶含量及抗氧化能力,进而通过测定不同pH值环境下水凝胶膜中茶多酚的释放速率,探究其pH响应性,构建动力学模型确定茶多酚的释放规律。结果表明:交联剂与壳聚糖之间的相互作用形成了稳定的水凝胶结构,而茶多酚的加入使各组分之间的交联强度进一步提高,结构更加稳定;交联剂和茶多酚的加入在整体上改善了薄膜的理化性质,水凝胶膜水蒸气透过率为(0.159±0.010)g·mm/(m^(2)·h·kPa)、抗拉强度为(40.58±2.11)MPa、断裂伸长率为62.32%±3.50%、溶胀平衡时的溶胀度为346.27%±3.16%、凝胶含量为87.94%±0.50%,抗氧化活性相对于传统薄膜提高了近5倍;负载茶多酚的水凝胶膜能够对pH变化有效响应,当pH值越小,茶多酚的累积释放率越大,相对于Higuchi、Ritger-Peppas模型,茶多酚的释放规律与一级动力学模型相吻合。负载茶多酚的壳聚糖-聚乙烯吡咯烷酮水凝胶膜能够有效实现茶多酚等活性物质的pH响应释放,有潜力应用于食品包装领域。

关键词：水凝胶膜抗氧化性 pH响应活性物质释放动力学模型

维普期刊数据库

红色文化融入大中小学思想政治理论课一体化建设的实践路径探究

在线全文

学校读者我要写书评

暂无评论

思想教育研究 2024年第1期 139-143页

作者：闪茜菁合肥大学马克思主义学院安徽合肥230601

推动红色文化融入大中小学思想政治理论课一体化建设契合思想政治教育的根本价值导向,有利于落实红色文化育人的系统性与连续性要求,提升其层次性与精准性效果。面对红色文化教育纵向贯通不畅、横向联动乏力、内容简单机械重复、教学方... 详细信息

推动红色文化融入大中小学思想政治理论课一体化建设契合思想政治教育的根本价值导向,有利于落实红色文化育人的系统性与连续性要求,提升其层次性与精准性效果。面对红色文化教育纵向贯通不畅、横向联动乏力、内容简单机械重复、教学方式单一化与同质化等问题,需要构建纵向衔接贯通的红色文化协同育人机制,打造横向联动协作的红色文化资源合作开发机制,拓宽和丰富红色文化教学内容供给渠道与呈现样式,创新多样化多层次教学方式,进而推动红色文化融入大中小学思想政治理论课一体化建设工作。

关键词：红色文化大中小学思想政治理论课一体化

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

生态环境损害替代性修复责任研究

生态环境损害替代性修复责任研究

作者：常茜茜河南财经政法大学

学位级别：硕士

替代性修复属于间接修复,是原地直接修复的补充责任承担方式,它是指受损生态环境在原地完全无法修复或者无法完全修复,而采取全部或部分异地修复的责任承担方式。相较于直接的原位修复,异地的替代性修复规范安排面临更为复杂的生成条件... 详细信息

替代性修复属于间接修复,是原地直接修复的补充责任承担方式,它是指受损生态环境在原地完全无法修复或者无法完全修复,而采取全部或部分异地修复的责任承担方式。相较于直接的原位修复,异地的替代性修复规范安排面临更为复杂的生成条件及实施机制。2015年最高人民法院印发的《关于审理环境民事公益诉讼案件适用法律若干问题的解释》首次提出“替代性修复”,并笼统规定了替代性修复的启动条件,即受损生态环境“无法完全修复的,可以准许采用替代性修复方式”。但是,什么是无法完全修复,其判断标准是什么,可以进行的替代性修复的方式有哪些,如何选择适用等问题,该司法解释并没有进一步明确具体的规则。2020年通过的《中华人民共和国民法典》第1234条以及2022年生态环境部等14个部门联合印发《生态环境损害赔偿管理规定》第9条均未对前述司法解释遗留的问题进行更为详细的规则设置。党的二十大报告明确指出,要“加快实施重要生态系统保护和修复重大工程”,现有替代性修复责任法律规则不明晰的现状,显然不能满足我国实施重大生态系统保护修复工程的要求,亟需对现有的立法规则进行系统性健全研究。在此背景下,专门针对替代性修复责任进行理论和规则健全研究具有重要的理论和现实意义。我国生态环境损害替代性修复存在启动条件模糊、承担主体单一、修复方式缺乏规范、修复保障规则不健全等问题。上述问题与替代性修复责任的法律性质直接相关,现有的公法属性说、私法属性说等学说均不能全面观照替代性修复责任的全部属性,综合考虑替代性修复的现有规范地位、制度目标及保护的法益,替代性修复责任更适宜定性为公私法二元兼容属性。欧盟《关于预防和补救环境损害的环境责任指令》和美国《综合环境污染响应、赔偿和责任认定法案》给我国替代性修复责任提供了可资借鉴的立法经验。应当基于替代性修复责任公私法二元兼容属性,从修复启动条件的再明晰、修复主体序位的再安排、修复方式类型的再规范、修复保障规则的再续造等维度系统健全。其中修复启动条件的再明晰,要准确界定替代性修复责任的前提和标准,并明确“无法完全修复”的内涵;修复责任主体的再安排,要合理筛选符合条件的替代性修复责任主体,并严格把控替代性修复责任主体的序位;修复方式类型的再规范,要注重替代性修复责任方式立法规定的体系化以及替代性修复责任方式司法适用的准确性;修复保障规则的再续造,要规范替代性修复责任的评估验收程序并落实替代性修复责任全过程的监督程序。生态环境法典及相关立法规范应当建立与《民法典》1234条衔接的替代性修复责任承担规则。

关键词：替代性修复责任启动条件承担主体修复方式保障规则

民族地区小学课后服务模式的制度化特征与生成逻辑——以E市民族小学“非遗兴趣班”为例

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

民族教育研究 2024年第3期 103-110页

作者：原子茜中央民族大学教育学院北京100081

民族地区小学课后服务模式的制度化关涉我国民族教育治理的稳步提升及基础教育的高质量发展。从新制度主义的理论视角入手,厘清双减浪潮下的民族地区小学课后服务工作的执行机理。根据“正式规则—教育规范—民族文化—认知”的分析框架... 详细信息

民族地区小学课后服务模式的制度化关涉我国民族教育治理的稳步提升及基础教育的高质量发展。从新制度主义的理论视角入手,厘清双减浪潮下的民族地区小学课后服务工作的执行机理。根据“正式规则—教育规范—民族文化—认知”的分析框架,对E市2所民族小学课后服务模式的制度化特征与生成逻辑进行案例分析,研究表明,三重制度要素的共在与互构形塑了民族地区小学这一特定组织场域,构成了民族地区小学课后服务属己的行动逻辑,即双减政策划定了其制度化的规制性边界;学校场域惯习赋予了其制度化的约束性期待;非物质文化遗产传承自觉提供了其制度化的意义性框架,从而推动制度要素和技术治理的联动优化,形成更加成熟健全的民族地区小学自主性生长机制,以促进学生的全面发展、学校教育治理的现代化及本土化的教育资源释放,彰显独特的制度质量。

关键词：课后服务双减政策民族地区小学新制度主义非物质文化遗产传承

维普期刊数据库

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

小心晚餐

长江文艺 2024年第11期 89-97页

作者：王倩茜不详

一结婚的第五年,她已经能够依据一支牙膏,占卜一天家庭生活的凶吉。洗漱台很窄小,刚刚用过的牙膏倒立在杯子里,癌癌瘦瘦的。她犹豫了一下,还是又拿了起来,两只手一起发力,把剩余的牙膏从管尾往前挤,直到管口鼓起来才松手。将牙膏放回杯... 详细信息

一结婚的第五年,她已经能够依据一支牙膏,占卜一天家庭生活的凶吉。洗漱台很窄小,刚刚用过的牙膏倒立在杯子里,癌癌瘦瘦的。她犹豫了一下,还是又拿了起来,两只手一起发力,把剩余的牙膏从管尾往前挤,直到管口鼓起来才松手。将牙膏放回杯子里的时候,她忍不住想,为什么她要在意这些细节?为什么丈夫要执意改变她?不觉间,她加快了在洗漱台的进度,想尽快离开这里。

关键词：牙膏杯子倒立

江汉平原地下水混合的C年龄曲线投影校正研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

矿物岩石地球化学通报 2024年

作者：查希茜毛绪美中国地质大学(武汉)环境学院

地下水14C年龄的分布可以指示地下水渗流的方向及其变化。经典校正模型可以消除水化学组成变化对14C年龄的影响，但很难识别地下水混合，导致得到的14C年龄代表的是地下水的混合年龄。本文根据地下水化学组分变化提出了识别混合和校正a... 详细信息

地下水14C年龄的分布可以指示地下水渗流的方向及其变化。经典校正模型可以消除水化学组成变化对14C年龄的影响，但很难识别地下水混合，导致得到的14C年龄代表的是地下水的混合年龄。本文根据地下水化学组分变化提出了识别混合和校正a14C值的方法，并以江汉平原为研究实例进行解剖。江汉平原地下水中硫酸盐矿物溶解导致SO42–含量增加，且SO42–含量与a14C值的关系曲线可以识别混合，并利用曲线投影校正a14C值，提出了混合-IAEA模型。IAEA年龄和混合-IAEA年龄的分布差异揭示出地下水渗流变化。年轻地下水混合区为年轻地下水的汇聚方向；老地下水混合区为老地下水的汇集方向。因此，对于大型沉积平原(或盆地)的地下水流系统，使用14C定年时需要考虑地下水混合的影响，混合校正后的14C年龄可以用来识别地下水渗流变化。

关键词： C年龄混合校正水文地球化学地下水渗流江汉平原