期刊文献+
共找到98篇文章
< 1 2 5 >
每页显示 20 50 100
钾离子电池正极材料KVPO_(4)F的制备及电化学性能表征
1
作者 孙会兰 刘佳鑫 +2 位作者 李昭进 袁飞 王波 《沈阳工业大学学报》 北大核心 2025年第5期643-648,共6页
【目的】近年来锂离子电池发展遇到能量密度提升缓慢、成本居高不下与温度适应范围窄等瓶颈,而具有低成本和高能量密度的钾离子电池成为下一代大规模电化学储能体系的理想选择。氟代磷酸盐(KVPO_(4)F)因具有坚固三维框架结构和高工作电... 【目的】近年来锂离子电池发展遇到能量密度提升缓慢、成本居高不下与温度适应范围窄等瓶颈,而具有低成本和高能量密度的钾离子电池成为下一代大规模电化学储能体系的理想选择。氟代磷酸盐(KVPO_(4)F)因具有坚固三维框架结构和高工作电压等优势,成为钾离子电池的首选正极材料。然而,较大尺寸的钾离子在充放电过程中反复嵌入/脱出会造成KVPO_(4)F发生结构粉化,导致容量快速衰减且循环稳定性较差,由配位多面体共价键合成的结构限制了电子转移模式,极大地阻碍了KVPO_(4)F正极材料的动力学性能,导致其倍率行为较差且实际容量较低。为了提高KVPO_(4)F正极材料的容量、倍率与循环稳定性,通常采用元素掺杂、碳包覆、形貌工程等策略对其进行改性研究,以改善其储钾性能,但由于晶格间距、晶面暴露与V^(3+)含量之间的不平衡性,KVPO_(4)F正极材料的容量、倍率和循环稳定性很难同步提升。KVPO_(4)F正极材料的合成通常包括两个连续的热处理步骤,包括VPO_(4)前驱体的制备以及将VPO_(4)与KF混合后进行二次煅烧生成KVPO_(4)F。因此,VPO_(4)的晶体结构势必会影响KVPO_(4)F的颗粒尺寸、晶面取向,从而影响KVPO_(4)F的储钾稳定性。【方法】采用溶胶凝胶—高温退火法制备了系列VPO_(4)材料,研究了不同VPO_(4)材料对终产物KVPO_(4)F晶格与电化学性能的影响。【结果】不同温度下制备的VPO_(4)会显著影响KVPO_(4)F的晶格暴露强度、晶格间距和V^(3+)含量,且随着温度从700℃升高到800℃,KVPO_(4)F的晶格暴露强度、晶格间距和V^(3+)含量均先增后减。当采用经750℃退火处理的VPO_(4)作为前驱体时,制备的KVPO_(4)F具有最强晶面暴露程度、最大晶格间距与最高V^(3+)含量,确保其在充放电过程中具有优异的结构稳定性、离子迁移能力与离子存储数量。电化学性能测试结果表明,在0.2 C(1 C=131 mA/g)下经过30次循环后,KVPO_(4)F的比容量为57.3 mAh/g,远高于相同条件下的对照样品。此外,在0.2、0.5、1和2 C下KVPO_(4)F的可逆比容量分别为62.1、53.8、44.6和30.6 mAh/g。【结论】基于VPO_(4)调控确定了前驱体VPO_(4)对终产物KVPO_(4)F微观结构的影响规律,揭示了电化学性能改善的内在机制,为获得高容量KVPO_(4)F正极材料奠下良好基础。 展开更多
关键词 KVPO_(4)F材料 晶体结构 影响机制 构效关系 制备工艺 循环稳定性 可逆比容量 钾离子电池
在线阅读 下载PDF
基于递阶结构的钻井系统闭环优化控制策略
2
作者 徐宝昌 卢瑶瑶 +1 位作者 孟卓然 刘伟 《控制工程》 北大核心 2025年第11期2029-2038,共10页
随着钻井自动化程度的提高,钻井目标逐渐趋向于经济、安全和有效的统一,传统钻井工程的控制仅靠司钻经验完成,在控制精度和钻井效率方面难以满足钻井的需求。为此,提出一个基于递阶结构的钻井系统闭环优化控制策略,在安全压力窗口内实... 随着钻井自动化程度的提高,钻井目标逐渐趋向于经济、安全和有效的统一,传统钻井工程的控制仅靠司钻经验完成,在控制精度和钻井效率方面难以满足钻井的需求。为此,提出一个基于递阶结构的钻井系统闭环优化控制策略,在安全压力窗口内实现高效钻井。上层以最优机械比能为优化目标,结合压力窗口等硬约束进行稳态优化,得到当前工况下的最优钻井参数。下层将上层得到的部分参数作为优化设定值,结合井底压力控制目标进行优化控制。实验结果表明,控制策略在满足安全条件的情况下,能综合提升机械钻速与钻井效率,并实现钻井参数的自动优化。 展开更多
关键词 钻井过程 机械比能 动态优化控制 递阶结构
原文传递
融合关联语义信息的工程领域标准规范表格检索方法
3
作者 徐雪松 肖刚 +3 位作者 刘星光 张侠 叶江涛 程振波 《高技术通讯》 北大核心 2025年第7期724-733,共10页
根据工程标准规范中表格的特点,提出通过构建问句和表格多属性之间的关注联合表示,实现经由问句自动检索其关联表格的方法。该方法先计算问句关键词与表格标题、表头以及单元内容等属性之间的预关注度,得到问句与表格的关注度向量。然后... 根据工程标准规范中表格的特点,提出通过构建问句和表格多属性之间的关注联合表示,实现经由问句自动检索其关联表格的方法。该方法先计算问句关键词与表格标题、表头以及单元内容等属性之间的预关注度,得到问句与表格的关注度向量。然后,通过双向长短期记忆网络(bidirectional long short term memory network,Bi-LSTM)和多头自注意力机制(multi-headed self-attention,MHA)形成问句与表格的联合向量。利用关注向量与联合向量的连接构成问句与表格的关注联合表示,并将其作为单层感知机的输入,得到问句与表格之间的相似度。在公开的中文表格数据集和工程领域的表格数据集上进行实验,结果表明本文方法在检索准确率上具有显著优越性。 展开更多
关键词 表格检索 特征融合 自然语言处理 语义表示 标准规范
在线阅读 下载PDF
从句子图到篇章图——基于抽象语义表示的篇章级共指标注体系研究
4
作者 张艺璇 李斌 许智星 《外语学刊》 北大核心 2025年第1期19-28,共10页
篇章级共指关系是语言学和计算语言学的研究难点之一。本文在梳理共指理论研究与趋势的基础上,回顾共指语料库的构建与自动解析方法,指出共指语料的构建主要存在以下两个问题:共指关系的标注较为粗疏,也基本不考虑与句子语义结构本身的... 篇章级共指关系是语言学和计算语言学的研究难点之一。本文在梳理共指理论研究与趋势的基础上,回顾共指语料库的构建与自动解析方法,指出共指语料的构建主要存在以下两个问题:共指关系的标注较为粗疏,也基本不考虑与句子语义结构本身的关系。本文在句子级语义标注体系(中文抽象语义表示)的基础上,设计篇章共指的标注体系,以“概念同一性”为基本原则,从词形的异同和概念的表述角度区分9种篇章共指关系,标注了500个篇章的共指信息。与已完整标注的52种句内语义关系相结合,构建出带有篇章共指信息的篇章抽象语义图库。该语料库选自CTB新闻语料,体裁涵盖经济、体育及生活类,规模为6237句,16万词例。该语料库的构建为篇章级语义分析提供了新框架与数据资源。 展开更多
关键词 篇章共指 抽象语义表示 概念同一性 篇章语义结构 语料库 中文信息处理
原文传递
基于BCD工艺的LDMOS器件栅结构优化研究进展
5
作者 鲁文举 赵杰 +2 位作者 曹磊 田凯 刘存生 《微电子学与计算机》 2025年第5期139-147,共9页
LDMOS(Lateral Double-diffused complementary Metal Oxide Semiconductor)器件具有开关速度快、驱动能力强、输入阻抗高、热稳定性好等特点,主要应用于智能功率集成电路,是BCD工艺中的主流功率器件。目前关于LDMOS器件研究的热点主要... LDMOS(Lateral Double-diffused complementary Metal Oxide Semiconductor)器件具有开关速度快、驱动能力强、输入阻抗高、热稳定性好等特点,主要应用于智能功率集成电路,是BCD工艺中的主流功率器件。目前关于LDMOS器件研究的热点主要集中在对其结构的优化,重点是如何平衡击穿电压和比导通电阻这一对矛盾优化参数。为了平衡这两种参数以获得更高性能的LDMOS器件,提出了各种性能优化方法。在LDMOS器件中引入多栅结构作为一种有效的性能提升方法有着其得天独厚的优势,但相关研究较少。以近年来报道的LDMOS器件各种新结构中的多栅结构优化为主,分析了多栅结构对于LDMOS器件的性能的影响,详细讨论了双栅、平面栅、槽栅、漂移区栅和三栅在改善LDMOS器件性能中所起的作用和效果,最后总结了这些新结构与传统结构的优缺点。 展开更多
关键词 LDMOS BCD工艺 多栅结构 比导通电阻 击穿电压
在线阅读 下载PDF
融合片内语义和片间结构特征的自监督CT图像分类方法 被引量:1
6
作者 曹春萍 许志华 《电子科技》 2024年第7期43-52,共10页
针对CT(Computed Tomography)图像分析存在人工标签稀缺、分类性能不佳等问题,文中提出一种融合片内语义和片间结构特征的自监督CT图像分类方法。该方法利用CT图像的层次结构特性和局部组成要素的语义特点,通过混淆切片生成算法对无标... 针对CT(Computed Tomography)图像分析存在人工标签稀缺、分类性能不佳等问题,文中提出一种融合片内语义和片间结构特征的自监督CT图像分类方法。该方法利用CT图像的层次结构特性和局部组成要素的语义特点,通过混淆切片生成算法对无标签的病灶部位图像进行处理,生成空间指数和混淆切片作为监督信息。在自监督辅助任务中利用ResNet50网络从混淆切片中同时提取与病灶部位相关的CT片内语义和片间结构特征,将学习到的特征迁移到后续医学分类任务中,使得最终模型从无标签数据中获得增益。实验结果表明,当被使用的有标签数据有限时,相比其他针对CT图像的二维模型和三维模型,所提方法的分类性能和标签利用效率更优。 展开更多
关键词 医学图像分类 三维医学图像处理 CT图像 自监督学习 迁移学习 小样本学习 片内语义特征 片间结构特征 ResNet50
在线阅读 下载PDF
融合自适应光照预处理和深度学习的钢桥腐蚀检测方法 被引量:2
7
作者 吴乐谋 张清华 +2 位作者 郑秋松 邵少兵 崔闯 《中国公路学报》 EI CAS CSCD 北大核心 2024年第2期110-124,共15页
针对钢结构桥梁实桥腐蚀图像往往由于光照条件较差或光照不均匀导致腐蚀区域检测困难的问题,提出了一种融合自适应光照预处理方法和深度学习的钢桥腐蚀检测方法。首先,采用Global and Local Fusion(GLF)对比度增强算法结合KinD++低光增... 针对钢结构桥梁实桥腐蚀图像往往由于光照条件较差或光照不均匀导致腐蚀区域检测困难的问题,提出了一种融合自适应光照预处理方法和深度学习的钢桥腐蚀检测方法。首先,采用Global and Local Fusion(GLF)对比度增强算法结合KinD++低光增强模型的方法,对图像进行预处理;其次,采用粗标注结合K-means算法标注腐蚀区域得到分割标签;最后,采用原始图像和预处理后图像分别对UNet++网络进行了训练和测试,验证了所提出的预处理方法的有效性和优越性。结果表明:所提出的自适应光照预处理方法有效改善了实桥腐蚀图像的光照不均和低光照问题,修复和增强了细节和纹理特征信息,颜色保真度较高;所提出的数据标注方法能够精准标注腐蚀区域,减少边缘描绘工作;与原始图像相比,该方法预处理后的图像训练的模型在准确率、精确率、召回率、F1-score、交并比IoU和AUC上分别提高了5.2%、2.7%、22.5%、19.4%、25.4%和10.5%;对于光照良好的均匀腐蚀图像,预处理对分割精度提高有限,对于点蚀图像,分割精度有较大的提高,对于低光照或光照均匀性较差的图像,分割精度得到了大幅提高。 展开更多
关键词 桥梁工程 腐蚀检测 光照处理 钢结构桥梁 深度学习 语义分割
原文传递
基于结构-语义融合的评论文本情感分类研究 被引量:1
8
作者 马艳珍 勾智楠 +1 位作者 池云仙 高凯 《河北工业科技》 CAS 2024年第2期92-98,共7页
为了解决当前部分情感分析模型片面依赖文本语义特征、忽视句法结构特征的问题,提出了一种基于结构-语义融合的情感分类模型SF-TLSTM(sentiment-fusion-tree LSTM),即将句法结构信息与语义信息进行融合,全面提取文本特征。首先,将BERT(b... 为了解决当前部分情感分析模型片面依赖文本语义特征、忽视句法结构特征的问题,提出了一种基于结构-语义融合的情感分类模型SF-TLSTM(sentiment-fusion-tree LSTM),即将句法结构信息与语义信息进行融合,全面提取文本特征。首先,将BERT(bidirectional encoder representation from transformers)模型引入TreeLSTM(tree-structured bidirectional LSTM)网络结构中;其次,利用SimCSE(simple contrastive learning of sentence embeddings)模型的自监督训练对BERT获得的向量表示进行数据增强;最后,通过节点编码的方式在构建的TreeLSTM网络上实现结构语义特征融合,并与基线模型进行多组对比分析。结果表明:在斯坦福大学发布的SST(stanford sentiment tree-bank)数据集上,SF-TLSTM模型相较于经典树形结构情感分类模型获得更高的准确率,其中在二分类任务中的准确率达到了96.79%。所提方法能够全面有效地提取评论文本的特征,增强文本的向量表示,对自然语言处理领域中的文本处理具有重要意义。 展开更多
关键词 自然语言处理 情感分类 语义融合 预训练模型 句法结构
在线阅读 下载PDF
基于BIM的民用建筑工程施工图二三维联审系统研究 被引量:3
9
作者 沈益锋 陈乐燕 +3 位作者 上官宗珊 潘洋洁 吴浩杰 任忠效 《施工技术(中英文)》 CAS 2024年第11期136-141,共6页
当前的建筑设计审查仍依赖人工处理,工作中包含大量重复内容,规范条文信息量巨大、规范之间要求不统一,因此人工图审效率低,且难以保证图审工作完整和准确。通过引入BIM技术,发挥计算机处理重复内容方面的优势,能够大幅提高图纸审查效率... 当前的建筑设计审查仍依赖人工处理,工作中包含大量重复内容,规范条文信息量巨大、规范之间要求不统一,因此人工图审效率低,且难以保证图审工作完整和准确。通过引入BIM技术,发挥计算机处理重复内容方面的优势,能够大幅提高图纸审查效率,克服传统图审缺陷。重点阐述了图审知识库的构建方法及基于自然语言处理技术的规范语义分析方法,搭建了完整的自动图审系统框架,并基于此框架开发BIM自动图审系统,以用于提高图审工作效率,保证图审结果的准确性。 展开更多
关键词 建筑信息模型 图审 自然语言处理 工程语义结构
在线阅读 下载PDF
融合高斯过程的自支持小样本语义分割
10
作者 罗余特 宣士斌 +1 位作者 张慧 刘成星 《微电子学与计算机》 2024年第8期62-72,共11页
针对小样本语义分割中同类别支持图像与查询图像存在外观差异较大的问题,提出融合高斯过程的自支持匹配小样本语义分割模型。提出的模型在自支持匹配小样本语义分割模型的基础上,首先融入高斯过程,对分布在深层特征空间上的复杂外观进... 针对小样本语义分割中同类别支持图像与查询图像存在外观差异较大的问题,提出融合高斯过程的自支持匹配小样本语义分割模型。提出的模型在自支持匹配小样本语义分割模型的基础上,首先融入高斯过程,对分布在深层特征空间上的复杂外观进行建模,捕获更多空间细节信息来表示数据分布;随后设计特征增强模块,在空间层对支持特征与查询特征进行信息交互,在通道层进行注意力加权,进一步增强相同类之间的全局相似性,捕获更多目标类别信息;最后利用Gram矩阵量化支持图像和查询图像之间外观差异的大小,从而融合原型匹配的结果,产生更准确的分割图像。实验结果表明:与现有方法相比,所提模型在更强的主干网络下具有较好的分割结果和更少的参数量,在5-shot的设定下,所提模型在PASCAL−5i数据集上平均交并比(mean Intersection over Union,mIoU)达到最优值,提升了0.4%;在COCO−20i数据集上的子集mIoU取得最优值,分别提升了2.2%和1.0%,表明该模型的有效性和先进性。 展开更多
关键词 小样本语义分割 原型结构 自支持匹配 高斯过程 信息交互
在线阅读 下载PDF
BFS-CTC汉语句义结构标注语料库构建方法 被引量:10
11
作者 罗森林 刘盈盈 +3 位作者 冯扬 韩磊 陈功 王倩 《北京理工大学学报》 EI CAS CSCD 北大核心 2012年第3期311-315,共5页
根据现代汉语语义学,构建了一种层次化的句义结构模型.基于该模型构建了汉语句义结构标注语料库(Beijing forest studio-Chinese tagged corpus,BFS-CTC).利用自行开发的标注和管理工具,对模型中各个句义成分及其组合关系进行快速标注,... 根据现代汉语语义学,构建了一种层次化的句义结构模型.基于该模型构建了汉语句义结构标注语料库(Beijing forest studio-Chinese tagged corpus,BFS-CTC).利用自行开发的标注和管理工具,对模型中各个句义成分及其组合关系进行快速标注,降低培训工作量和标注成本.BFS-CTC涵盖了6种句式类型,约1万句,提供了符合现有规范的词法和句法标注信息与自定义规范的句义结构标注信息,便于词法、句法和句义的对照分析研究,以及语料的综合使用和横向分析.此外,BFS-CTC还具有较强的可扩展性,可在核心标注库基础上扩展生成其它扩展库和标注资源. 展开更多
关键词 中文信息处理 句义分析 句义结构 语义标注 语料库
在线阅读 下载PDF
基于语义依存的汉语句子相似度计算 被引量:127
12
作者 李彬 刘挺 +1 位作者 秦兵 李生 《计算机应用研究》 CSCD 北大核心 2003年第12期15-17,共3页
句子间相似度的计算在自然语言处理的各个领域都占有很重要的地位,在多文档自动文摘技术中,句子间相似度的计算是一个关键的问题。由于汉语句子的表达形式是多种多样的,要准确地刻画一个句子所表达的意思,必须深入到语义一级并结合语法... 句子间相似度的计算在自然语言处理的各个领域都占有很重要的地位,在多文档自动文摘技术中,句子间相似度的计算是一个关键的问题。由于汉语句子的表达形式是多种多样的,要准确地刻画一个句子所表达的意思,必须深入到语义一级并结合语法结构信息,由此提出了一种基于语义依存的汉语句子相似度计算的方法,该方法取得了令人满意的实验效果。 展开更多
关键词 相似度计算 语义 依存结构 自然语言处理 多文档文摘
在线阅读 下载PDF
基于钻进参数的岩土地层结构识别技术与方法 被引量:36
13
作者 谭卓英 李文 +4 位作者 岳鹏君 王莉 李季阳 齐宽 周栋 《岩土工程学报》 EI CAS CSCD 北大核心 2015年第7期1328-1333,共6页
岩土地层结构是影响工程稳定与安全的重要因素,是地质及岩土工程勘测的主要内容。研发了一种地层地质界面识别系统,阐述了其基本组成和工作原理,建立了钻进过程识别码及岩土地层结构实时识别方法;通过花岗岩地基钻进试验研究,确定了岩... 岩土地层结构是影响工程稳定与安全的重要因素,是地质及岩土工程勘测的主要内容。研发了一种地层地质界面识别系统,阐述了其基本组成和工作原理,建立了钻进过程识别码及岩土地层结构实时识别方法;通过花岗岩地基钻进试验研究,确定了岩体风化等级以及土层/散体、碎裂岩体及整体岩体结构的比能值范围,建立了金刚石钻进比能的地层结构分级标准,比能值分别是土层及散体为0.0017~0.6955 k N·m/cm3,碎裂岩体为0.0258~0.9798 k N·m/cm3,整体岩体为0.0018~2.4935 k N·m/cm3。研究结果表明,该方法与岩土勘测结果一致,可用于地层地质及岩土地层结构的实时识别,为岩土工程智能勘测提供了新的途径。 展开更多
关键词 仪器钻进系统 钻进过程 钻进比能 岩土地层 结构识别
原文传递
BFS-CTC汉语句义结构标注语料库 被引量:5
14
作者 刘盈盈 罗森林 +3 位作者 冯扬 韩磊 陈功 王倩 《中文信息学报》 CSCD 北大核心 2013年第1期72-80,共9页
句义结构分析是汉语语义分析中不可逾越的重要环节,为了满足汉语句义结构分析的需要,基于现代汉语语义学理论构建了一种层次化的汉语句义结构模型,定义了标注规范和标记形式,建设了一个汉语句义结构标注语料库BFS-CTC(Beijing Forest St... 句义结构分析是汉语语义分析中不可逾越的重要环节,为了满足汉语句义结构分析的需要,基于现代汉语语义学理论构建了一种层次化的汉语句义结构模型,定义了标注规范和标记形式,建设了一个汉语句义结构标注语料库BFS-CTC(Beijing Forest Studio-Chinese Tagged Corpus)。标注内容方面,基于句义结构模型的定义标注了句义结构句型层、描述层、对象层和细节层中所包含的各个要素及其组合关系,包括句义类型、谓词及其时态、语义格类型等信息,并且提供了词法和短语结构句法信息,便于词法、句法、句义的对照分析研究;语料库组织结构方面,该语料库包括四个部分,即原始句子库、词法标注库、句法标注库和句义结构标注库,可根据研究的需要,在词法、句法、句义结构标注的基础上进行深加工,在核心标注库的基础上添加更多具有针对性的扩展标注库,利用句子的唯一ID号进行识别和使用;语料来源和规模方面,语料全部来自新闻语料,经过人工收集、整理,合理覆盖了主谓句、非主谓句、把字句等六种主要句式类型,规模已达到10 000句。同其他语义标注库相比,BFS-CTC基于现代汉语语义学,提供了多层次的句义结构标注信息,兼容进行了词法和语法标注,各类标注既可以单独使用也可综合使用进行横向分析,可用于自然语言处理多方面的研究,进一步推动汉语语义分析的研究和发展。 展开更多
关键词 自然语言处理 语义标注 句义结构 语料库
在线阅读 下载PDF
融合词法和句法特征的汉语谓词高精度识别方法 被引量:5
15
作者 韩磊 罗森林 +1 位作者 潘丽敏 魏超 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2014年第12期2107-2114,2195,共9页
为了对汉语谓词进行系统的研究,提出一种融合词法和句法特征、结合C4.5机器学习和规则进行谓词识别的方法.该方法对句子的词法信息和句法信息分别进行特征提取,通过词法特征提取得到句子中可疑谓词及其个数,使用人工总结规则对词法特征... 为了对汉语谓词进行系统的研究,提出一种融合词法和句法特征、结合C4.5机器学习和规则进行谓词识别的方法.该方法对句子的词法信息和句法信息分别进行特征提取,通过词法特征提取得到句子中可疑谓词及其个数,使用人工总结规则对词法特征进行规则过滤,对符合规则条件的样本直接给出结果,融合不符合规则样本的词法和句法特征,使用C4.5进行分类得到谓词识别结果.实验中,采用谓词总量达到20 000条以上的BFS-CTC标注语料库进行特征和参数选择、句法特征验证、训练数据量选择和算法准确性等一系列的实验,对谓词识别效果的影响进行研究.结果表明:句法特征能有效提升谓词识别效果,随着训练数据量的增加谓词识别准确率趋于平缓,达到了99%的高准确率. 展开更多
关键词 谓词识别 句法特征 句义结构 语义分析 自然语言处理
在线阅读 下载PDF
SRLtoRadl生成系统及其范畴论语义 被引量:11
16
作者 王昌晶 薛锦云 左正康 《电子学报》 EI CAS CSCD 北大核心 2014年第1期137-143,共7页
形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Rad... 形式化软件规约技术是保证软件质量和提高软件生产率非常有用和重要的手段,但是形式化软件规约的获取是需求工程中一项相当困难的任务.本文针对问题需求自动化转换为形式化规约这个重要问题,研究从结构化需求语言SRL到形式化规约语言Radl自动生成系统及其高可靠性理论.为此,设计了一种受控自然语言-结构化需求语言SRL来描述问题需求;使用基于规则的方法,将结构化需求语言SRL通过分析-转换-综合三阶段生成为形式化软件规约Radl;在该方法的指导下,设计并实现了从结构化需求语言SRL到形式化软件规约Radl的生成系统SRLtoRadl;进一步,使用范畴论框架建立了SRLtoRadl生成系统生成过程的语义模型.实际效果表明该系统能有效的生成高质量形式化软件规约Radl. 展开更多
关键词 结构化需求语言 形式化软件规约 自动生成系统 高可靠 范畴论语义
在线阅读 下载PDF
基于XML的企业流程信息协同交互方法研究 被引量:5
17
作者 胡耀光 范玉顺 王田苗 《计算机集成制造系统》 EI CSCD 北大核心 2005年第11期1558-1563,1570,共7页
为解决企业间协同商务过程中的流程信息协同交互问题,提出了一种基于可扩展标记语言的流程描述元模型。在该模型中,定义了基于流程定义语言本体的语义映射规则及映射的具体过程,对流程定义语言本体进行了语义分析,实现了对流程信息的语... 为解决企业间协同商务过程中的流程信息协同交互问题,提出了一种基于可扩展标记语言的流程描述元模型。在该模型中,定义了基于流程定义语言本体的语义映射规则及映射的具体过程,对流程定义语言本体进行了语义分析,实现了对流程信息的语义层次描述;借助可扩展标记语言的语法结构,建立基于可扩展标记语言的流程定义语言核心元素的描述规则,并作为流程信息语法层次描述的统一标准,实现流程信息协同交互语法层次的信息转换。最后通过具体的供应链协同采购过程实例,验证了该模型及实现方法的有效性和可行性。 展开更多
关键词 流程定义语言 可扩展标记语言 协同交互 语义映射
在线阅读 下载PDF
面向领域中文文本信息处理的术语语义层次获取研究 被引量:7
18
作者 季培培 鄢小燕 +1 位作者 岑咏华 王凌燕 《现代图书情报技术》 CSSCI 北大核心 2010年第9期37-41,共5页
研究国内外现有术语语义层次关联的主要方法,针对如何获取术语语义层次内部结构的关键问题,构建术语语义层次获取流程,采用多重聚类方法获取层次关系,结合综合相似度计算方法提取层次内部的聚类标签,并选取一定的语料进行实验,验证该流... 研究国内外现有术语语义层次关联的主要方法,针对如何获取术语语义层次内部结构的关键问题,构建术语语义层次获取流程,采用多重聚类方法获取层次关系,结合综合相似度计算方法提取层次内部的聚类标签,并选取一定的语料进行实验,验证该流程的合理性。 展开更多
关键词 术语语义层次 领域中文信息处理 术语关联
原文传递
超级电容器碳电极材料制备工艺优化与性能 被引量:4
19
作者 李晶 赖延清 +2 位作者 赵晓东 彭汝芳 刘业翔 《材料导报》 EI CAS CSCD 北大核心 2011年第8期53-56,共4页
以碳化后的中间相沥青为前驱体、KOH为活化剂制备了超级电容器用活性炭电极材料,考察了KOH活化温度和碱碳比对所制备的超级电容器用活性炭电极材料的孔隙结构和电化学行为的影响,分析了不同工艺条件下所制备的活性炭电极材料的孔结构和... 以碳化后的中间相沥青为前驱体、KOH为活化剂制备了超级电容器用活性炭电极材料,考察了KOH活化温度和碱碳比对所制备的超级电容器用活性炭电极材料的孔隙结构和电化学行为的影响,分析了不同工艺条件下所制备的活性炭电极材料的孔结构和电化学性能的影响因素。结果表明,于800℃活化温度和4∶1碱碳比条件下制备的活性炭电极在1mol/L(C2H5)4NBF4/PC时的最大比电容量可达103.2F/g,活性炭孔结构和比电容量的变化依赖于具体的处理工艺,中孔的含量对活性炭电极的比电容量会产生重要影响。 展开更多
关键词 超级电容器 活性炭 KOH活化工艺 孔结构 比电容量
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部