扩展Tempura语言统一模型检测算法

针对扩展区间时序逻辑目前没有可用的统一模型检测算法的问题,找到了该逻辑可执行子集即扩展Tempura语言的可判定子集——首先限定该逻辑一阶部分的常量与变量均为有穷可枚举类型,然后加上该逻辑的命题部分.在此基础上,提出了扩展区间时序逻辑统一模型检测算法,以判定由上述定义的语言子集所书写的规范程序是否满足命题版扩展区间时序逻辑公式所描述的性质.具体方法是首先翻译规范程序到命题扩展区间时序逻辑公式,然后使用该逻辑的公式满足性判定算法进行自动验证.验证实例证实了新方法的有效性.

美声唱法中意大利语言美化扩展的功能性探讨

意大利语是世界上最美的语言之一,也被誉为世上最富有音乐感的语言,并且意大利作为歌剧的发源地,语言的特殊性对意大利歌剧和美声唱法的发展与传播起着不可或缺的作用,因此在美声唱法中意大利语具有一定的研究价值与意义。同时,在探究意大利语简单的发声规则与发声技巧中,也能对演唱中国声乐作品起到一定程度的借鉴与帮助。因此,本文通过分析意大利语言美化扩展的功能,从而进一步帮助演唱者感受美声唱法的特点。基于此,本文将以常见的美声唱法中的意大利语发音规则为切入点,探究如何提升美声唱法中意大利语言美化扩展的功能性,并为以此为相关的声乐学习者提供一定的参考与借鉴。

浅谈工业过程中自动化标记语言Frame属性的定义及扩展

文章主要介绍了自动化标记语言中Frame属性的定义方法。其中Frame属性一般是基于三维正交右手笛卡尔坐标系进行定义,包括了相对平移子属性和相对旋转子属性,在定义Frame属性的过程中需要对这些子属性进行赋值,同时制定了约束条件,用来建立两个几何AML对象之间的连接。另外,文章还给出了Frame属性的扩展实例,通过矩阵的平移和旋转运算,可以推导出子属性的计算公式。

《满语研究》入选CSSCI扩展版来源刊

据南京大学中国社会科学研究评价中心发布的《中文社会科学引文索引(CSSCI)扩展版来源期刊目录(2023-2024)》,《满语研究》入选CSSCI扩展版来源刊(2023-2024)。《满语研究》是黑龙江大学主管、黑龙江省满语研究所主办的民族语言类期刊,也是目前国内外唯一专门研究满通古斯语言文化的学术性期刊。

基于伪相关反馈的跨语言查询扩展

相关反馈是一种重要的查询重构技术，本文分析了两类相关反馈技术，一是按用户是否参与可分为伪相关反馈和交互式相关反馈，二是按作用于查询的方式可分为查询扩展与检索词重新加权。在此基础上，本文重点探讨了将相关反馈技术应用于跨语言信息检索，提出了翻译前查询扩展、翻译后查询扩展、翻译前与翻译后相结合的查询扩展三种方法。最后，本文通过伪相关反馈实验对这三种方法进行了比较，实验结果显示，三种跨语言查询扩展方法都能够有效地提高检索结果的精度，其中翻译后查询扩展方法相对更优越。此外，查询式的长度对不同跨语言查询扩展方法产生着不同程度的影响。

基于扩展标记语言的Internet市场的服务描述

作为一种应用系统从位于 Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制 ,Internet市场受到了广泛重视 .该文给出了一种基于扩展标记语言 (extensible markup language,简称 XML)的Internet市场服务描述方式 .它较好地权衡了市场构架与顾客及服务提供者的观点 .

基于矩阵加权关联规则的跨语言查询译后扩展

首先提出矩阵加权项集支持度计算方法,给出面向跨语言查询扩展的矩阵加权关联模式挖掘算法.然后提出基于矩阵加权关联规则挖掘的跨语言查询译后扩展算法.借助机器翻译进行首次跨语言检索,得到前列初检文档,并经用户相关性判断后得到相关反馈文档.通过计算支持度从相关反馈文档中挖掘含有原查询词的矩阵加权频繁项集,通过置信度-兴趣度评价框架从频繁项集中提取含有原查询词的关联规则,将规则的后件或前件作为扩展词,利用规则的置信度和兴趣度衡量扩展词的重要性,完成跨语言查询译后扩展.在NTCIR-5 CLIR标准测试集上的实验表明,文中算法可以有效提升跨语言查询扩展性能,有利于长查询的跨语言检索,译后后件扩展性能优于前件.

基于潜在语义分析的跨语言查询扩展方法

针对传统查询扩展方法存在的问题,提出一种基于潜在语义分析的跨语言扩展方法,利用聚类提高扩展文本集合的精度,并用潜在语义分析实现无需翻译的查询扩展,减轻翻译歧义带来的影响。实验结果表明,该方法能够获得较好的性能。

基于项权值排序挖掘的跨语言查询扩展

为了改善自然语言处理应用中长期存在的主题漂移和词不匹配问题,本文首先提出一种加权项集支持度计算方法和基于项权值排序的剪枝方法,给出面向查询扩展的基于项权值排序的加权关联规则挖掘算法,讨论关联规则混合扩展、后件扩展和前件扩展模型,最后提出基于项权值排序挖掘的跨语言查询扩展算法.该算法采用新的支持度和剪枝策略挖掘加权关联规则,根据扩展模型从规则中提取高质量扩展词实现跨语言查询扩展.实验结果表明,与现有基于加权关联规则挖掘的跨语言扩展算法比较,本文扩展算法能有效遏制查询主题漂移和词不匹配问题,可用于各种语言的信息检索以改善检索性能,扩展模型中后件扩展获得最优检索性能,混合扩展的检索性能不如后件扩展和前件扩展,支持度对后件扩展更有效,置信度更有利于提升前件扩展和混合扩展的检索性能.本文挖掘方法可用于文本挖掘、商务数据挖掘和推荐系统以提高其挖掘性能.

跨语言查询扩展优化

为提高跨语言查询扩展检索精度,在原有跨语言查询扩展基础上,引入降低噪声和孤立点的k-medoid聚类算法,提出避免语义信息丢失或过拟合的择优模型。构建若干个不同维度值的d维模型,结合奇异值分解和非负矩阵分解法计算文本之间的相似度,选取相似度最大的模型建立双语空间,经过跨语言扩展与权值调整,实现查询扩展优化。实验对比结果表明,该方案有效提高了检索精度,为跨语言查询提供了可参考的模型与算法。

基于扩展KQML语言的Agent模板实现

文中针对生成Agent的模板JATLite的协议不完整性问题 ,分析了其工作原理 ,提出修改通信协议的方案 ,在JATLite中的KQML语言基础上定义了扩展的KQML语言 ,并实现了基于扩展KQML语言的新层次exkqmllayer ,从而形成一个新的构建Agent系统的模板。

基于可扩展置标语言的变电站可视化防误规则

介绍了变电站微机防误闭锁的工程应用背景,提出一种基于可视化思想设计防误闭锁的方法。详细阐述了如何通过使用可扩展置标语言(XML)文件作为中间环节,实现防误闭锁逻辑的可视以及闭锁逻辑规则在智能一体化装置上的可读。最后,对提出的这种可视化防误闭锁在工程应用中的效果作了简要的说明。

一种扩展置标语言解析器的设计与实现

为了对扩展置标语言 (XML)文档中载有的数据进行解析 ,设计并实现了一种通用的XML解析器———XMLP ,该解析器能对XML文档进行解析、验证和串行化 .其中 ,解析功能实现了文档对象模型 (DOM)解析和基于XML的简单应用编程接口 (SAX)解析 .为了对DOM解析进行优化 ,提出并实现了占用内存资源较少的延迟展开的方法 ;验证功能实现了对文档类型定义 (DTD)和模式(Schema)的验证 ;

基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展

主题漂移和词不匹配是自然语言处理中一个难题,文本挖掘与信息检索的结合有助于解决该问题.鉴于此,本文提出一种基于完全加权正负关联模式挖掘的越-英跨语言查询译后扩展算法.该算法采用新的完全加权正负项集支持度和关联度计算方法以及模式评价框架,对初检用户相关反馈文档集挖掘与原查询词相关的正负关联模式,从模式中提取扩展词实现跨语言查询译后扩展.与现有基于伪相关反馈、加权关联模式挖掘的跨语言扩展算法比较,本文算法能有效地减少查询主题漂移和词不匹配问题,提高跨语言信息检索性能;本文模式挖掘方法可用于推荐系统,提高其准确性.

基于XML的EPA可扩展设备描述语言设计及应用

针对基于以太网工厂自动化网络控制系统中的现场设备互操作性问题,研究了可扩展标记语言的特点,在此基础上设计了可扩展设备描述语言,提出了基于可扩展设备描述语言的设备描述应用模型和设备描述文档模板。通过开发一个基于可扩展设备描述语言的以太网工厂自动化现场设备描述模块,将该模块嵌入到EPAS-tudio组态软件中,验证了该设计的可行性。

基于DICOM结构化报告模型和可扩展标记语言的放疗计划电子病历

背景:如何建立DICOM标准与医院信息系统间的互联和共享成为新的研究方向。目的:通过对DICOM结构化报告标准的研究,结合可扩展标记语言结构的特点,设计出适合放射治疗计划的电子病历。方法:根据DICOM结构化报告标准,设计放射治疗计划电子病历的专业模板,使用可扩展标记语言模式对DICOM数据格式进行重定义,以面向对象的方法生成符合结构化报告标准的可扩展标记语言文件,然后进行可扩展样式表语言的转换或者生成符合DICOM结构化报告标准的DICOM文件。结果与结论:针对放射治疗计划对象的特点,设计了放疗计划结构化报告模板,包含36个模板标识符。在VisualC++2008平台编写的软件上可以生成3种格式的电子病历文件,可以很好的与医院信息系统互连,最终实现以电子化的方式管理放疗计划信息,减少人工误差,实现真正的无纸化。

基于可扩展标记语言的典型零部件设计系统研究

针对网络化协同设计的应用需求,研究了典型零部件设计系统组件体系结构,提出了采用可扩展标记语言表达特征的零部件建模方法。利用可扩展标记语言处理组件及参数化驱动组件,阐述了基于可扩展标记语言的零部件模板生成与参数化重构过程,并结合基于组件的典型零部件设计工具包及专家系统,分析了零部件的设计导航以及零部件之间基于坐标系的自动装配。通过一个在异构计算机辅助设计平台之间进行提升机设计的实例,验证了该系统可实现典型零部件从设计到造型乃至装配过程的一体化、快速化与智能化。

可扩展商业报告语言XBRL研究述评

选取国内外公开发表的XBRL论文中具有代表性的研究成果,对2000年以来XBRL在国内外的研究进展进行总结性回顾,主要内容包括国外研究的8个主题领域和国内研究的5个主题领域。同时,评价XBRL研究中取得的成绩和存在的问题,并对我国未来XBRL研究提出建议。

STEP-NC的可扩展标记语言实现方法研究

STEP-NC是新发展的数控编程国际标准(ISO 14649),依据该标准生成的数控程序通常采用ISO10303 Part 21物理文件格式。但该格式的数控程序不但不易解释,而且不适合在网上传输。为此,提出了采用可扩展标记语言作为STEP-NC数控程序的文件格式。首先,分析了STEP-NC数据模型核心内容及ISO10303Part 21物理文件格式数控程序的缺点,研究了可扩展标记语言格式STEP-NC数控程序的生成,包括文档结构的选择、EXPRESS向可扩展标记语言的映射等,并将其作为机床控制器的输入。将机床控制器软件划分为3个模块,即可扩展标记语言形式数控程序的解释、微观工艺规划并自动生成刀具路径和控制机床运动的数控指令的生成。重点研究了可扩展标记语言数控程序的解释。

采用扩展SQL语言实现关系数据库安全改造

分布式数据库安全是保证信息系统安全的一个重要环节.实现数据库安全有2种趋势:一种是改造数据库系统本身;另一种是建立安全的数据库系统运行平台.本文提出采用扩展SQL语句,通过数据库驱动程序为标准的关系数据库增加数据加密、数据完整性保护和审计日志等安全属性的设计思想和设计方案,实现了对现有关系数据库存储的面向应用透明的安全改造.