检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

区块链安全、隐私与性能问题研究综述

计算机集成制造系统 2021年第7期27卷 2078-2094页

作者：曹雪莲张建辉刘波西南大学计算机与信息科学学院软件研究与创新中心重庆400715

作为构建低成本信任通道、实现价值互联的关键技术,区块链研究在近几年急剧涌现,其中安全、隐私与性能成为最受关注的问题。为助益破解挑战,从问题分析、技术进展与作用机制视角针对区块链安全、隐私与性能问题展开综述,包括:①基于区... 详细信息

作为构建低成本信任通道、实现价值互联的关键技术,区块链研究在近几年急剧涌现,其中安全、隐私与性能成为最受关注的问题。为助益破解挑战,从问题分析、技术进展与作用机制视角针对区块链安全、隐私与性能问题展开综述,包括:①基于区块链层次结构与运行原理,就对等网络、共识机制和智能合约层面的安全问题及攻防措施进行分析评估;②基于区块链隐私威胁基本原理,比较分析不同隐私保护对象的分级隐私保护策略;③通过分析性能制约因素,评估基于链上与链下两种扩容路线的最新研究进展。此外,针对安全、隐私与性能的现存问题,分别提出可能的解决思路并指出未来研究方向。

关键词：区块链技术安全隐私性能

考虑题目选项信息的非参数认知诊断计算机自适应测验

在线全文

学校读者我要写书评

暂无评论

心理学报 2022年第9期54卷 1141-1154页

作者：孙小坚郭磊西南大学数学与统计学院西南大学基础教育研究中心中国基础教育质量监测协同创新中心西南大学分中心西南大学心理学部重庆400715

选择题中的作答选项能提供额外诊断信息,为充分利用选项信息,研究提出认知诊断计算机自适应测验(CD-CAT)中两种处理选择题选项信息的非参数选题策略和变长终止规则。模拟研究的结果发现:(1)定长条件下两种非参数选题策略的分类准确性整... 详细信息

选择题中的作答选项能提供额外诊断信息,为充分利用选项信息,研究提出认知诊断计算机自适应测验(CD-CAT)中两种处理选择题选项信息的非参数选题策略和变长终止规则。模拟研究的结果发现:(1)定长条件下两种非参数选题策略的分类准确性整体要高于参数选题策略;(2)两种非参数选题策略较参数选题策略具有更加均衡的题库使用情况;(3)非参数选题策略在两种新的变长终止规则下具有更高的分类准确率;(4)两种非参数选题策略均适用于选择题CD-CAT情境,使用者可任选其一进行测验分析。

关键词：认知诊断计算机自适应测验题目选项信息非参数选题策略变长终止规则

在线全文

学校读者我要写书评

暂无评论

大肠埃希菌生物被膜基因调控研究进展

微生物学报 2024年

作者：马成军刘静静焦敏杨洪早陈红伟国家生猪技术创新中心西南大学医学研究院免疫学研究中心西南大学动物医学院

大肠埃希菌(Escherichia coli)是一种兼性厌氧、有鞭毛的革兰氏阴性短杆菌，常寄生于人和动物肠道内，是常见的人畜共患病病原之一。大肠埃希菌易形成生物被膜，生物被膜是由细菌群落分泌能够包裹自身的胞外基质与细菌结合形成的特殊聚... 详细信息

大肠埃希菌(Escherichia coli)是一种兼性厌氧、有鞭毛的革兰氏阴性短杆菌，常寄生于人和动物肠道内，是常见的人畜共患病病原之一。大肠埃希菌易形成生物被膜，生物被膜是由细菌群落分泌能够包裹自身的胞外基质与细菌结合形成的特殊聚集体，也是临床细菌感染疾病难以治愈的主要原因。生物被膜的形成不仅帮助细菌逃避宿主的防御系统，还可以降低或阻止药物发挥作用，从而诱发生物被膜相关感染(biofilm-associated infections， BAI)。本文从生物被膜形成的基因调控系统和相关调控蛋白等角度，归纳总结调控大肠埃希菌生物被膜形成的分子机制，并对防治BAI的策略进行了概述，为寻找合适的药物靶点以及防治BAI提供参考。

关键词：大肠埃希菌生物被膜基因调控生物被膜相关感染

MSA-Lab:模型驱动的微服务集成设计平台

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

软件学报 2024年第3期35卷 1280-1306页

作者：熊靖浏任秋蓉 Shmuel TYSZBEROWICZ 刘志明刘波西南大学计算机与信息科学学院软件研究与创新中心重庆400715 Software Engineering Department Afeka Academic College of EngineeringTel-Aviv 6998812Israel 西北工业大学软件学院陕西西安710129

从单体系统迁移到微服务系统是当前业界对遗留系统实施再工程化的主流选项之一,基于单体遗留系统的微服务体系架构重构则是实现该迁移的关键步骤.目前学界多集中在微服务识别方法的研究上;业界虽有许多面向微服务架构的遗留系统重构的实... 详细信息

从单体系统迁移到微服务系统是当前业界对遗留系统实施再工程化的主流选项之一,基于单体遗留系统的微服务体系架构重构则是实现该迁移的关键步骤.目前学界多集中在微服务识别方法的研究上;业界虽有许多面向微服务架构的遗留系统重构的实践,但缺乏系统性的方法及高效鲁棒的工具.鉴于此,在微服务识别与模型驱动开发方法前期研究的基础上,研发一种模型驱动的、可用于单体遗留系统微服务化重构的集成设计平台MSA-Lab.它通过分析单体遗留系统运行日志中的方法调用序列,对其中的类和数据表进行类型识别和聚类以构造抽象微服务,同时生成包括微服务图和微服务序列图在内的系统架构设计模型.它包括用于微服务自动识别与设计模型自动生成的核心部件MSA-Generator,以及用于微服务静态结构模型与动态行为模型可视化展现、交互式建模、模型语法约束检验的核心部件MSA-Modeller.在MSA-Lab平台上,通过对4个开源项目实施有效性、鲁棒性、功能转换完备性等实验以及对3个同类型工具实施性能对比实验,结果表明:所提平台拥有很好的有效性、鲁棒性及实现面向日志的功能转换完备性,且性能更加优越.

关键词：微服务架构服务识别设计模型生成交互式建模工具软件设计评估

在线全文

学校读者我要写书评

暂无评论

生物被膜:益生菌肠道定植的新策略

生物工程学报 2022年第8期38卷 2821-2839页

作者：廖才江李会王士源熊静梅翠刘丹何玉张彭练慈宋振辉陈红伟西南大学动物医学院重庆402460 西南大学医学研究院免疫学研究中心重庆402460 国家生猪技术创新中心重庆402460

益生菌可改善机体微生态平衡,在促进营养吸收、控制肠道感染和调节免疫功能等方面具有特殊的功效,但存在胃肠道环境难定植、口服生物利用度低等问题。生物被膜是多个细菌黏附于非生物或生物表面,分泌胞外聚合物(extracellular polymeric... 详细信息

益生菌可改善机体微生态平衡,在促进营养吸收、控制肠道感染和调节免疫功能等方面具有特殊的功效,但存在胃肠道环境难定植、口服生物利用度低等问题。生物被膜是多个细菌黏附于非生物或生物表面,分泌胞外聚合物(extracellular polymeric substances),并将自身包裹其中形成的一种有组织的细菌集团,包含胞外多糖(exopolysaccharides,EPS)、蛋白质、胞外DNA(extracellular deoxyribonucleic acid,eDNA)和脂质等多种组成成分,是一个具有三维立体空间结构的聚集体。被膜状态的益生菌较浮游菌在抗逆性、对抗病原菌和调节免疫功能等方面具有明显优势,这些特点为新型益生菌的开发提供了新的研究思路。本文阐述了被膜状态益生菌的优势,重点介绍了促进益生菌生物被膜形成的活性物及其形成机制,简述了益生菌生物被膜的安全性问题。当前,益生菌生物被膜的研究尚处于起步阶段,希望本文能为该领域未来的研究提供参考。

关键词：益生菌生物被膜定植双组分系统群体感应

在线全文

学校读者我要写书评

暂无评论

违法处理个人信息高额罚款制度的理解与适用

华东政法大学学报 2022年第3期25卷 22-34页

作者：孙莹西南政法大学西南政法大学新科技法治创新研究中心西南政法大学民法典适用问题创新研究团队

《个人信息保护法》第66条第2款关于违法处理个人信息高额罚款的规定,将会是我国个人信息保护行政执法领域的重要法律依据。在未来制定实施细则时,应进一步明确违法处理个人信息“情节严重”的情形,以防范任意地扩大解释与适用高额罚款... 详细信息

《个人信息保护法》第66条第2款关于违法处理个人信息高额罚款的规定,将会是我国个人信息保护行政执法领域的重要法律依据。在未来制定实施细则时,应进一步明确违法处理个人信息“情节严重”的情形,以防范任意地扩大解释与适用高额罚款制度。在双罚制下,大型网络平台企业将是高额罚款执法的重点对象。由省级以上网信部门作为高额罚款执法主体具有充分的合理性,也有利于兼顾行政执法的有效性和法制的统一性。高额罚款责任与民事责任或刑事责任并存时,均应遵从民事责任或刑事责任优先原则。建议创设独立的个人信息保护基金,将行政高额罚款纳入其中。

关键词：违法处理个人信息高额罚款双罚制民事责任

在线全文

学校读者我要写书评

暂无评论

中国职业教育高质量发展指数与水平测度

西南大学学报（社会科学版） 2023年第1期49卷 138-152页

作者：朱德全彭洪莉西南大学西南民族教育与心理研究中心西南大学教育学部中国基础教育质量监测协同创新中心西南大学分中心重庆400715

高质量发展是职业教育发展的高级态,职业教育高质量发展指数是衡量中国职业教育高质量发展水平的刻度尺。基于创新、协调、绿色、开放、共享的新发展理念,采用熵权TOPSIS法构建创新发展指数、协调发展指数、绿色发展指数、开放发展指数... 详细信息

高质量发展是职业教育发展的高级态,职业教育高质量发展指数是衡量中国职业教育高质量发展水平的刻度尺。基于创新、协调、绿色、开放、共享的新发展理念,采用熵权TOPSIS法构建创新发展指数、协调发展指数、绿色发展指数、开放发展指数、共享发展指数等五位一体的中国职业教育高质量发展指数,并以2020年截面数据为基础测度我国职业教育区域高质量发展水平,发现我国职业教育高质量发展指数虽总体基本面良好,但呈现出“领跑型”省份稀缺、“并跑型”省份较少、“跟跑型”省份居多的空间分布格局,突显出“东部地区”居上、“中部地区”次之、“西部地区”滞后的空间差异特征,表现出职业教育区域“创新发展”不足、“协调发展”一般、“绿色发展”薄弱、“开放发展”阻滞、“共享发展”欠缺的水平样态。为助推中国职业教育真正实现全方位“指数式”高质量发展,需加大创新投入力度,浇筑职业教育“创新发展”坚实基座;强化结构协调深度,增赋职业教育“协调发展”持续动能;延展学习空间广度,打造职业教育“绿色发展”健康生态;深化国际交流强度,畅通职业教育“开放发展”多元渠道;提升资源公平高度,永葆职业教育“共享发展”精神品质。

关键词：职业教育高质量发展指数熵权TOPSIS法水平测度

在线全文

学校读者我要写书评

暂无评论

数字体育时代运动数据财产权制度的创设

江苏社会科学 2023年第5期 173-182页

作者：郑家红曾益佳西南政法大学体育部西南政法大学体育法研究中心西南政法大学新科技法治创新研究中心

数字体育时代,运动数据的商业价值不断飙升,运动数据产业的市场需求持续扩大。在此背景下,亟须重视对运动数据服务商的权益保护。从马克思主义利益观的视角来看,保障其合法权益能激发其生产运动数据的动力,并能实现运动数据资源的有效... 详细信息

数字体育时代,运动数据的商业价值不断飙升,运动数据产业的市场需求持续扩大。在此背景下,亟须重视对运动数据服务商的权益保护。从马克思主义利益观的视角来看,保障其合法权益能激发其生产运动数据的动力,并能实现运动数据资源的有效分配与可持续利用。目前,规范的缺位使运动数据服务商多从合同法、知识产权法、反不正当竞争法等现有模式中寻求保护,但运动数据所具有的虚拟性、广泛性、可识别性等特征使上述模式无法与其权益保护实现良性匹配。为了规范运动数据的利用秩序,确保运动数据的持续产出,实现运动数据的社会价值,创设数据财产权或许是较为妥当的选择。

关键词：数字体育运动数据数据财产权

TSO内存模型下限界可线性化的可判定性研究

在线全文

学校读者我要写书评

暂无评论

软件学报 2022年第8期33卷 2896-2917页

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

TSO-to-TSO可线性化、TSO-to-SC可线性化和TSO可线性化是Total Store Order(TSO)内存模型下可线性化的3个变种.提出了k-限界TSO-to-TSO可线性化和k-限界TSO可线性化,考察了k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TSO可线性化的验证问题.它们分别是这3种可线性化的限界版本,都使用k-扩展历史,这样的扩展历史对应的执行有着限界数目(不超过k个)的函数调用、函数返回、调用刷出和返回刷出动作.k-扩展历史对应执行中的写动作数目是不限界的,进而执行中使用的存储缓冲区的大小也是不限界的,对应的操作语义是无穷状态迁移系统,所以3个限界版本可线性化的验证问题是不平凡的.将定义在并发数据结构与顺序规约之间的k-限界TSO-to-TSO可线性化、k-限界TSO-to-SC可线性化和k-限界TSO可线性化的验证问题归约到k-扩展历史集合之间的TSO-to-TSO可线性化问题,从而以统一的方式验证了TSO内存模型下可线性化的3个限界版本.验证方法的关键步骤是判定一个并发数据结构是否有一个特定的k-扩展历史.证明了这个问题是可判定的,证明方法是将这一问题归约为已知可判定的易失通道机器的控制状态可达问题.本质上,这一归约将每一个函数调用或函数返回动作转化为写、刷出或cas(compare-and-swap)动作.在TSO-to-TSO可线性化的定义中,一个函数调用或函数返回动作会同时影响存储缓冲区和控制状态.为了模拟函数调用或函数返回动作对存储缓冲区的影响,在每个函数调用或函数返回动作之后立刻执行一个特定的写动作.这个写动作及其对应的刷出动作模拟了函数调用或函数返回动作对存储缓冲区的影响.引入观察者进程,为每个函数调用或函数返回动作“绑定”一个观察者进程的cas动作,以这种方式模拟了函数调用或函数返回动作对控制状态的影响.因此证明了TSO内存模型下可线性化的这3个限界版本都是可判定的,进而证明了在TSO内存模型下判定可线性化的这3个限界版本的复杂度都在递归函数的Fast-Growing层级■中.通过证明已知对应复杂度的单通道简单通道机器的可达问题和TSO内存模型下可线性化的3个限界版本可以互相归约得到这个结论.

关键词：并发数据结构可线性化 TSO内存模型可判定性易失通道机器