基于深度学习的语义级中文文本自动校对研究

中文文本校对技术在字词级和语法级层面已取得了较好的效果,但在语义层面还没有比较成熟的方法。为实现语义级中文文本自动校对,将深度学习技术引入自动校对。首先,出于中文文本语义级自动校对的需要,在现有已公开的中文校对测试集的基础上,加入语义错误样本数据,并通过数据增强技术,扩大语义差错数据规模,以使训练集及测试集中语义错误占比达到50%以上。其次,针对典型的语义错误类型,构建其对应的语义知识集,包括成语知识集、古诗词知识集、历史人物主要事件朝代年表知识集、敬谦词知识集、地理知识集等。在建立语义知识集的基础上,基于BERT预训练模型对数据集进行训练。最后,经过预训练,在初步确定模型之后,结合关键参数,进行微调,确定最终的自动校对模型。     

具有较大零相关窗补序列集的构造

为了降低甚至消除近似同步码分多址(Approximately-synchronized code-division multiple-access,AS-CDMA)系统的多径干扰和多址干扰(Multiple access interference,MAI),满足系统不断增大的用户容量需要,提出了零相关窗补序列集和零相关窗补序列集的构造方法。零相关窗补序列集比传统补序列集具有更多的序列数目,应用到通信系统中可以支持更多的通信用户。本文基于完美序列和行正交矩阵,构造了两类具有较大零相关窗补序列集:第一类是运用完美序列的自相关性质和行正交矩阵的正交性构造了一类最优的零相关窗补序列集;第二类以同样的方式,构造了一类几乎最优的零相关窗补序列集。     

基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

江西电镀集控区的清洁生产管理模式构建

为防止江西省各电镀集控区环境风险,根据众多管理知识,依据清洁生产理念和电镀生产特点,构建了江西电镀集控区的清洁生产管理模式,提出了电镀集控区的主要清洁生产措施。     

中介粗集及其在数据挖掘中的应用

粗集理论已成功应用于数据挖掘,如基于粗集方法的属性发现和决策规则的约简等。中介集合论是以中介逻辑为基础,也可以用于数据挖掘。文中将两者相结合,提出了中介粗集的概念。中介粗集是普通粗集的推广,为不完全信息系统的数据挖掘提供了新的工具,不仅可用于一般的信息系统,还适用于数据取空值的信息系统（允许结论取空值）。利用中介粗集进行数据挖掘不但可以得出粗集理论中的约简,还能得到更为简洁的中介约简。文中还给出了     

含有文字序逻辑程序的一种辩论语义

有序逻辑程序的语义研究是常识推理的重要研究内容。文中对Dung的辩论框架进行了扩充,针对含有文字序的逻辑程序提出了一种优先辩论框架,加入了对文字之间优先序的处理,进而定义了相应的优先回答集语义和优先扩充语义。证明了文中的优先回答集是Sakama回答集的特例,而优先扩充语义可以处理没有回答集的优先逻辑程序。     

外关联规则挖掘

根据项集内项的关联性,现有关联规则挖掘算法可分为正关联规则挖掘和负关联规则挖掘两大类,它们反映的是项集内频繁项之间的关联性。通过对实际数据集的分析发现,一个项集可以划分成若干子项集,子项集内的项有较高的相关性,而不同的子项集相关性则较低,这意味着每个子项集与其外部的一个潜在因子间存在着关联,由此本文提出了外关联规则的概念,并基于因子分析和主成分分析方法,提出了外关联规则挖掘算法(FAAR),从而将项集内的关联规则挖掘外推到子项集和潜在因子集之间的外关联规则挖掘,扩展和丰富了关联规则挖掘的应用,在此基础上还可进一步发现它所蕴涵的正、负关联规则。     

在约束条件下集值全局真有效点集的连通性

讨论全局真有效点集在局部凸拓扑线性空间中的连通性。在可行域为非空的一般紧子集、约束集上的目标集值映射是上半连续且为锥类凸的、约束映射为上半连续的情况下,通过对对偶锥上的集值映射连通性的证明,给出了含约束锥类凸的集值优化问题全局有效点集的非空连通性定理。此结论是在相对较弱的条件下得到的,这就使目前的全局真有效点集连通性的相关结论得到了进一步拓展。     

基于粗集的调度Agent知识库建模研究

首先通过相识集、招标集、投标集和中标者的概念，描述了车间调度系统中的调度Agent与资源Agent间任务分配的招投标关系；运用粗集理论，基于任务的属性和资源Agent完全任务的成本、质量、负荷和时间等属性构造决策表；在分析了决策表的特征基础上，生成调度规则集，即调度知识库；最后给出车间调度Agent的调度过程算法。     

基于粗集理论的系统评估

讨论了基于粗集理论的系统综合评估和运用粗集理论进行系统评估指标体系的选择。给出了基于粗集理论进行系统综合评估的一般步骤，研究了运用粗集基本理论进行评估指标体系建立的方法，最后的实验结果验证了本文方法的有效性。     

基于Petri网的故障树分析方法

故障树是事件间的一种布尔逻辑关系模型,基于故障树的诊断方法的广泛应用由于实际故障树分析过程NP困难问题而受到妨碍。Petri网作为一种特殊的有向网,它能反映系统的状态变化和事件发展,尤其适合于表达故障的传播关系。本文因此提出了两种基于Petri网的改进方法,与下行法相比,用该方法寻找最小割集和最小路集能有效地节省计算时间,提高推理速度和效率,并且其算法便于计算机实现。     

知识Petri网与机器人装配规划

介绍了知识Petri网（KPN），在柔性装配系统中基于KPN机器人装配规划的任务，以及用KPN为机器人装配规划的任务，以及用KPN为机器人装配规划建模和KPN的运行。文中论述了如何建立邻链表、构造KPN，以及最后如何运行KPN，获得最佳装配规划。最后，阐述了基于KPN的机器人装配规划系统中数据库、规划库及推理机的构造。基于KPN的机器人装配规划，与目前常用的机器人装配规划方法，如启发式搜索法AO和线性规划LP法相比，具有如下主要优点：由于将人工智能用于Petri网中，故智能强；适应性强，既适用于整套产品零件同时到达装配站，也适用于各零件分时到达装配站时的规划；算法简单，规划速度快，更适用于在线规划。     

组合优化中的Petri网仿真算法

组合优化中,最长路、最短路和最大流问题是重要而又基本的问题。本文提出一种求最短有向路的新方法——Petri网图仿真算法。该方法是在一般Petri网的基础上,对网元素进行附加描述,同时,引入了“运动标记”的概念和定义新的“发生”规则,再利用Petri网的马尔科夫性和并发性,以及它的动态模拟功能,在Petri网图仿真器上,进行(对象)系统的网图仿真运行及数值处理,求得最长路径,最短路径及其路长,最小割及其最大流。由于该算法便于利用计算机的并行算法可以提高计算速度,并能利用最优性原理减少计算量。而且,还可提供系统运行的动态显示和结果的屏幕显示及图表输出。因此,它是一种直观而又方便的方法。     

A Generative Adversarial Nets Method for Monitoring Data Generation on Aircraft Engines

A sufficient sample size of monitoring data becomes a key factor for describing aircraft engines state.Generative adversarial nets(GAN)can be used to expand the sample size based on the existing state monitoring information. In the paper,a GAN model is introduced to design an algorithm for generating the monitoring data of aircraft engines. This feasibility of the method is illustrated by an example. The experimental results demonstrate that the probability density distribution of generated data after a large number of network training iterations is consistent with the probability density distribution of monitoring data. The proposed method also effectively demonstrates the generated monitoring data of aircraft engine are in a reasonable range. The method can effectively solve the problem of inaccurate performance degradation evaluation caused by the small amount of aero-engine condition monitoring data.     

研究计划管理系统的Petri网论法

本文以图的形式给出Petri网的定义;通过导入“时间Place”和“象征”的附加描述,使Petri网成为扩充的Petri网(EPN);用EPN模拟计划管理系统,用EPN仿真器构画计划管理系统的图模型、求系统的时间参数、进行系统的优化。     

机会维修策略下的多部件系统可用度仿真

针对多部件系统固定维修时间长的特点,提出采用机会维修策略,将预防性维修和故障维修有机结合起来,从而分摊系统的固定维修时间,实现提高系统可用度的目的.为此,分析了系统的故障率特性,以及最小维修下的随机故障时间的产生特点.在此基础上,以各部件机会维修役龄为变量,最大化可用度为目标,给出了系统可用度仿真优化方法.最后通过算例,验证了该仿真算法的正确性.     

运输网络的最短有向路Petri网仿真算法

随着对综合交通体系和智能交通研究的逐步深入,发现必须解决运输需求和运输网络分析的技术问题。在已有的方法中,只有对有向网络有比较成熟的理论和方法,然而,运输网络却是无向的。本文内容是论述如何借助于Petri网论和Petri网图计算机仿真将无向交通运输网络转换为Petri网表示的有向图,并同时求出相应的运输网络中OD（起点终点）对的最短有向路径及路长。本文以图的形式给出Petri网的定义,通过导入“时间Place”和“标记”的附加描述,使Petri网成为扩充的Petri网（EPN）。定义Petri网图仿真器的运行规则和步骤,用Petri网图仿真器、自动将无向运输网络转换成EPN模型,然后自动求出相应的最短有向路径和路长。通过显示、打印或电信号,为用户提供信真报告或电信号。     

一个简单有效的单值曲面消隐算法

本文给出一个在矩形定义域上单值双变量函数和单值插值光顺曲面的计算机图象显示中消去隐藏线的算法。该算法简单有效、存贮量小、实施快速,其子程序具有一定的通用性,可用于矩形定义域上所有类型的单值曲面的消隐问题,适用于各种类型的图象输出设备。该程序可以很容易地加到现有的任意单值曲面的造型程序中,对该曲面进行消隐处理。     

一种面向对象的Petri网

柔性制造系统属于离散事件动态系统,具有实时、并发、异步等特性,由于Ｐｅｔｒｉ网模型的图形表述和数学描述,使它既可以采用数学分析,又可以通过图形形象地表述出离散动态系统,故广泛应用于制造过程动态行为建模与分析。而面向对象建模与设计是一种围绕真实世界的概念来组织模型的全新的思考问题方式,面向对象的模型能帮助对问题的理解,有助于同领域专家通讯交流。本文在Ｐｅｔｒｉ网基础上,引入面向对象技术,提出了一种面向对象Ｐｅｔｒｉ网（ＯＰＮ）模型,并以企业中的一项生产活动——二次电源生产过程为实例,建立了描述这一活动系统的完整的ＯＰＮ模型,真实地反映了系统的动态特性,从而为制造过程建模和分析提供了一个更为有效的工具     

用Petri网仿真方法实现机械加工系统的规划设计

为了保证所设计的机械制造系统(MMS)能够获得最大的经济效益,必须对系统进行合理的规划设计。本文首先引入MMS规则设计中的几点原则,以及计算机仿真涉及到的生产调度问题及其决策规则,论述各生产调度规则在Petri网模型中的实现方法。并对Petri网运行中的冲突问题引入了解决冲突的规则。其次,基于包括工件流和刀具流的MMS的Petri网模型,根据最小事件时间推进原理,实现Petri网模型的计算机动态仿真,即实现MMS的计算机动态仿真。最后,将仿真程序应用于仿真实例,从而有效地评价MMS的规划设计方案。