检索结果-南通市图书馆

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

乙腈为溶剂的丙烯直接环氧化连续反应研究

中国石油大学学报（自然科学版） 2012年第6期36卷 177-182页

作者：李奕川沈本贤赵基钢华东理工大学化学工程联合国家重点实验室上海200237

针对无醚化副产物的丙烯环氧化工艺,以TS-1分子筛为催化剂,双氧水为氧化剂,乙腈为溶剂,考察丙烯直接环氧化连续反应中反应物摩尔比、反应压力、反应温度、双氧水质量分数和进料质量空速等条件对双氧水转化率及环氧丙烷选择性的影响;研... 详细信息

针对无醚化副产物的丙烯环氧化工艺,以TS-1分子筛为催化剂,双氧水为氧化剂,乙腈为溶剂,考察丙烯直接环氧化连续反应中反应物摩尔比、反应压力、反应温度、双氧水质量分数和进料质量空速等条件对双氧水转化率及环氧丙烷选择性的影响;研究丙烯、双氧水、乙腈体系下的丙烯环氧化反应机制以及乙醛的形成机制。结果表明:在优化的反应条件下,采用乙腈为溶剂后体系中没有醚化副产物形成,环氧丙烷的选择性为100%,双氧水的转化率和环氧丙烷的收率可达88%和71%;乙腈作为非质子性溶剂,环氧化反应活性较采用醇类溶剂时偏低,其惰性和弱碱性能有效抑制环氧丙烷的开环,从而避免生成醚化和水解副产物。

关键词：丙烯环氧化 TS-1分子筛乙腈高选择性机制

在线全文

学校读者我要写书评

暂无评论

基于对象类型的API补全方法

软件学报 2022年第5期33卷 1736-1757页

作者：唐泽李传艺葛季栋骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

近年来,随着软件技术在各行各业、不同领域的应用不断扩展与深入,同时伴随着软件架构、服务计算等技术的不断发展,软件行业涌现出了功能丰富且规模庞大的第三方API或库,软件开发者在实现软件功能的时候也越来越依赖这些API.但学习这些AP... 详细信息

近年来,随着软件技术在各行各业、不同领域的应用不断扩展与深入,同时伴随着软件架构、服务计算等技术的不断发展,软件行业涌现出了功能丰富且规模庞大的第三方API或库,软件开发者在实现软件功能的时候也越来越依赖这些API.但学习这些API的使用是非常困难且耗时的,主要有两方面的原因:1)相关文档的缺失和错误;2)相关API用法的示例代码较少.因此,研究自动的API补全方法以帮助开发人员在开发过程中正确且快速的使用API,具有很大的应用价值.然而,现有API自动补全方案多数将待补全代码段看作纯文本,忽略了API所属对象类型对预测API的影响.为此,探究了对象类型对补全API的作用,并且在对象状态图的启发下,设计了一种使用API所属对象的类型作为特征的补全方法.具体而言,首先从API调用序列中先抽取同一对象类型的子序列,利用深度学习模型编码出每个对象的状态,再利用对象状态生成整个方法块的状态表示进行补全.为了验证提出的补全方法,在6个流行Java项目上进行了验证.实验结果证明,提出的考虑对象类型的API补全方法在预测准确率上明显高于基线模型.

关键词： API补全对象类型插件

A 3D graphene/polyimide fiber framework with improved thermal conductivity and mechanical performance

在线全文

学校读者我要写书评

暂无评论

Journal of Central South University 2022年第6期29卷 1761-1777页

作者： WANG Xian-peng HU Ai-ping CHEN Xiao-hua liU Ji-lei li Yan-hua li chuan-yi WANG Han TANG Qun-li College of Materials Science and Engineering Hunan UniversityChangsha 410082China College of Materials and Chemistry Engineering Hunan Institute of TechnologyHengyang 421002China

The integration of electronic components and the popularity of flexible devices have come up with higher expectations for the heat dissipation capability and comprehensive mechanical performance of thermal management *** this work,after the modification of polyimide(PI)fibers through oxidation and amination,the obtained PDA@OPI fibers(polydopamine(PDA)-modified pre-oxidized PI fibers)with abundant amino groups were mixed into graphene oxide(GO)to form uniform GO-PDA@OPI *** by evaporation,carbonization,graphitization and mechanical compaction,the G-gPDA@OPI films with a stable three-dimensional(3D)long-range interconnected covalent structure were *** particular,due to the rich covalent bonds between GO layers and PDI@OPI fibers,the enhanced synergistic graphitization promotes an ordered graphitized structure with less interlayer distance between adjacent graphene sheets in composite *** a result,the optimized G-gPDA@OPI film displays an improved tensile strength of 78.5 MPa,tensile strain of 19.4%and thermal conductivity of 1028 W/(m·K).Simultaneously,it also shows superior flexibility and high *** work provides an easily-controlled and relatively low-cost route for fabricating multifunctional graphene heat dissipation films.

关键词： graphene film modified polyimide fiber polydopamine thermal conductivity mechanical properties

在线全文

学校读者我要写书评

暂无评论

公民个性追求与社会主义核心价值观建设

教育理论与实践 2016年第30期36卷 23-25页

作者：李传义连云港职业技术学院政教部

在市场经济和全球化背景下,公民个性追求从长期被压抑中快速觉醒,由于发展不成熟而呈现出一定程度的方向迷失和行为混乱,功利性和拜金化倾向明显。社会主义核心价值观建设要直面公民个性追求中存在的问题,阐明当代公民个性追求的方向,... 详细信息

在市场经济和全球化背景下,公民个性追求从长期被压抑中快速觉醒,由于发展不成熟而呈现出一定程度的方向迷失和行为混乱,功利性和拜金化倾向明显。社会主义核心价值观建设要直面公民个性追求中存在的问题,阐明当代公民个性追求的方向,打造公民积极的个性追求,寓价值观的共性于公民人生追求的个性行动中。

关键词：公民个性追求社会主义核心价值观精英式个性教育社会氛围

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

公平正义:中国梦的价值取向

教育理论与实践 2015年第21期35卷 31-33页

作者：李传义连云港职业技术学院政教部

中国梦的价值取向是中国梦的发展向导和推动力量。公平正义是实现中国梦的必然选择,是国家发展的价值基石,是民族复兴的价值取向。当代社会价值多元、贫富分化、行为功利等现象影响对公平正义的认同。公平正义的价值取向能够凝聚民族力... 详细信息

中国梦的价值取向是中国梦的发展向导和推动力量。公平正义是实现中国梦的必然选择,是国家发展的价值基石,是民族复兴的价值取向。当代社会价值多元、贫富分化、行为功利等现象影响对公平正义的认同。公平正义的价值取向能够凝聚民族力量,激发公民才智,推进中国梦的实现。

关键词：中国梦公平正义价值取向

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

媒介化生存中大学生媒介素养教育的机制探索

教育理论与实践 2018年第15期38卷 43-45页

作者：李传义连云港职业技术学院政教部江苏连云港222006

媒介化生存是公民当前生存和发展的一种状态,也是当代大学生感知社会、参与社会的一种潜在方式。伴随智能手机的普及,部分大学生出现对媒介的精神依赖。大学生媒介素养教育要直面媒介信息传播中存在的问题,探索个体媒介素养提升的内外机... 详细信息

媒介化生存是公民当前生存和发展的一种状态,也是当代大学生感知社会、参与社会的一种潜在方式。伴随智能手机的普及,部分大学生出现对媒介的精神依赖。大学生媒介素养教育要直面媒介信息传播中存在的问题,探索个体媒介素养提升的内外机制,阐明媒介素养教育的价值定位,引领大学生正确面对海量信息。

关键词：大学生媒介化生存媒介素养教育媒介信息传播个体媒介素养价值引领

在线全文

学校读者我要写书评

暂无评论

神经程序修复领域数据泄露问题的实证研究

软件学报 2024年第7期35卷 3071-3092页

作者：李卿源钟文康李传艺葛季栋骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

修复软件缺陷是软件工程领域一个无法回避的重要问题,而程序自动修复技术则旨在自动、准确且高效地修复存在缺陷的程序,以缓解软件缺陷所带来的问题.近年来,随着深度学习的快速发展,程序自动修复领域兴起了一种使用深度神经网络去自动... 详细信息

修复软件缺陷是软件工程领域一个无法回避的重要问题,而程序自动修复技术则旨在自动、准确且高效地修复存在缺陷的程序,以缓解软件缺陷所带来的问题.近年来,随着深度学习的快速发展,程序自动修复领域兴起了一种使用深度神经网络去自动捕捉缺陷程序及其补丁之间关系的方法,被称为神经程序修复.从在基准测试上被正确修复的缺陷的数量上看,神经程序修复工具的修复性能已经显著超过了非学习的程序自动修复工具.然而,近期有研究发现:神经程序修复系统性能的提升可能得益于测试数据在训练数据中存在,即数据泄露.受此启发,为了进一步探究神经程序修复系统数据泄露的原因及影响,更公平地评估现有的系统:(1)对现有神经程序修复系统进行了系统的分类和总结,根据分类结果定义了神经程序修复系统的数据泄露,并为每个类别的系统设计了数据泄露的检测方法;(2)依照上一步骤中的数据泄露检测方法对现有模型展开了大规模检测,并探究了数据泄露对模型真实性能与评估性能间差异的影响以及对模型本身的影响;(3)分析现有神经程序修复系统数据集的收集和过滤策略,加以改进和补充,在现有流行的数据集上,基于改进后的策略构建了一个纯净的大规模程序修复训练数据集,并验证了该数据集避免数据泄露的有效性.由实验结果发现:调研的10个神经程序修复系统在基准测试集上均出现了数据泄露,其中,神经程序修复系统RewardRepair的数据泄露问题较为严重,在基准测试集Defects4J(v1.2.0)上的数据泄露达24处,泄露比例高达53.33%.此外,数据泄露对神经程序修复系统的鲁棒性也造成了影响,调研的5个神经程序修复系统均因数据泄露产生了鲁棒性降低的问题.由此可见,数据泄露是一个十分常见的问题,且会使神经程序修复系统得到不公平的性能评估结果以及影响系统在基准测试集上的鲁棒性.研究人员在训练神经程序修复模型时,应尽可能避免出现数据泄露,且要考虑数据泄露问题对神经程序修复系统性能评估产生的影响,尽可能更公平地评估系统.

关键词：程序自动修复神经程序修复深度学习数据泄露程序修复数据集

在线全文

学校读者我要写书评

暂无评论

用户特征请求分析与处理研究综述

软件学报 2023年第8期34卷 3605-3636页

作者：牛菲菲李传艺葛季栋骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京大学软件学院江苏南京210093

特征请求是软件产品的真实用户在开放平台上提出的对现有特征的改进或者对新特征的请求.特征请求在一定程度上反映了用户的真实意愿,代表了用户的需求.高效、准确地分析和处理用户特征请求对于提升用户满意度、提高产品竞争力起着至关... 详细信息

特征请求是软件产品的真实用户在开放平台上提出的对现有特征的改进或者对新特征的请求.特征请求在一定程度上反映了用户的真实意愿,代表了用户的需求.高效、准确地分析和处理用户特征请求对于提升用户满意度、提高产品竞争力起着至关重要的作用.用户的广泛参与,使得特征请求成为越来越重要的需求来源.然而,特征请求在其来源、内容以及形式等方面均与传统的软件需求不同.进而将其充分应用于软件开发过程所采用的具体方法,也有别于传统的需求工程.目前已经有许多将特征请求应用于软件开发过程中的相关研究,比如特征请求的获取、分类、排序、质量评估、为特征请求推荐开发者,以及定位相关代码等.随着相关工作的不断增加,形成一个针对特征请求分析与处理研究综述的必要性日益增强.因此,调研121篇关于在软件开发过程中分析和处理特征请求的国内外学术研究论文,从将特征请求应用于软件开发过程的角度对现有成果进行系统地梳理.总结现有针对特征请求的研究主题,提出将特征请求应用于软件开发过程的处理流程,并与传统的需求工程过程进行对比.此外,深入分析在各个需求工程活动中使用的具体方法及方法之间的差别.最后,对特征请求的未来研究方向进行展望,以期为同行研究人员提供参考.

关键词：特征请求需求工程软件开发分析与处理

同方期刊数据库

一种基于Token Log的符合性检查方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2015年第3期26卷 509-532页

作者：李传艺葛季栋胡海洋胡昊骆斌计算机软件新技术国家重点实验室(南京大学) 江苏南京210046 南京大学软件学院江苏南京210093 高维信息智能感知与系统教育部重点实验室(南京理工大学) 江苏南京210094 杭州电子科技大学计算机学院浙江杭州310018 南京大学计算机科学与技术系江苏南京210046

使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包... 详细信息

使用事件日志进行符合性检查的主要方法是:使用过程模型模拟执行事件日志中的任务序列,通过统计可被模型再现的任务序列及模型运行中可能触发的非运行序列中的任务个数,判断模型与日志的符合程度.但这种判断方法并不完备:如果模型中包含大量选择结构,则即使日志是模型本身的日志,也会因为模拟执行较多任务时会触发当前序列外的其他任务,而误判日志与模型的符合性较低;或者,如果模型中只包含少数的并发结构和多数的顺序结构,则即使日志只包含顺序结构的内容且非该模型对应日志时,也会因为在模拟执行时只有个别任务会导致模型无法继续执行,而其他多数任务可以执行而误判日志与模型有较高的符合性.基于已有方法的弱点,提出了使用日志内容检查模型结构正确性与使用模型结构检查日志内容完整性的双向检查标准,并提出一种内容特征与模型结构特征一一对应的新型日志——Token Log,用于过程模型与系统日志的符合性检查,使得检查和判断过程更加清晰简洁,结果更加准确.

关键词：符合性检查过程挖掘 Petri网工作流网 T0ken Log T-不变量 S-不变量 ProM