基于《Z,+》的一类循环群的生成元求解

在离散数学中,循环群是一类重要的代数系统,生成元的求解是判定循环群的一项重要操作.文中通过对一个简单循环群的生成元求解过程的分析,得出一类循环群的生成元求解方法.运用该方法可以较好地实现一类循环群的生成元求解.     

基于语法的元程序设计系统的自动生成技术

本文提出一种基于语法的元程序设计系统的自动生成技术，并开发了一个元程序设计系统的自动生成系统Ａ－ＭＰＳ。元程序设计系统是一种以程序作为操作对象的有效的程序设计工具，并具有广泛的应用。     

基于模糊结构元的最小生成树问题的求解算法

针对梯形模糊数,定义了一种梯形模糊结构元.研究了边权值为梯形模糊数的模糊权值网络,建立了其最小生成树问题的数学模型,并利用梯形模糊结构元加权排序思想和Kruskal算法,设计了一种该问题的求解算法,给出了算法的复杂度分析和应用实例.文中的模型和算法对于边权值为其他类型模糊数的模糊权值网络同样有效.     

基于元学习的小样本数据生成算法

小样本数据存在信息不充足、不完备等问题,缺乏对总体的代表性,导致数据驱动的相关算法精度下降.本文针对小样本问题,提出基于元学习的生成式对抗网络算法进行小样本数据的数据生成.该算法目标是在各种数据生成任务上训练,确定模型最优初始化参数,从而仅使用较少的训练样本解决新的数据生成任务.本文利用水冷磁悬浮机组数据进行数据生成,实验表明,本算法能够在样本不足的条件下确定最优初始化参数,降低了对数据集大小的要求.本文同时进行了真实数据与生成数据混合的故障分类实验,验证了生成数据具有较好的真实性,对故障诊断分析具有较大的帮助.     

三维结构真实遥感像元场景的生成

遥感像元场景模型是遥感机理研究的关键组成,通过调查光与遥感像元场景的相互作用,可以帮助人们理解遥感信号产生的机理,并验证遥感物理模型。从植被野外测量、三维结构真实遥感像元场景的参数化描述、场景数据结构、场景生成方法和流程等方面阐释了遥感像元场景模型。植被的野外测量和统计是结构真实场景的基础;场景生成方法为：（1）使用L系统生成结构真实植株,进而生成遥感像元场景;（2）按统计规则直接生成遥感像元场景。试验表明该遥感像元场景模型可以生成符合遥感像元统计规律的三维场景,是准确和便捷地计算光与植被相互作用的可靠基础。     

一类高度非线性网格生成方程的迭代求解方法

在[1]中第170页指出,对于变分方法导出的一类高度非线性的守恒型网格生成方程,采用通常的Picard迭代方法无法正确求解.本文构造了一种新的Picard迭代求解方法,数值结果表明这一方法较好地解决了此类方程的求解问题.     

基于三线性张量生成图像的方法

介绍了一种新的基于代数约束的图像生成方法,用于从两幅不同角度的参考图像生产另一幅新的视角图像,即二次投影。该方法在极线几何的基础上,通过研究物体在三个不同透视投影平面上对应点之间的相互关系,得到描述不同图像上对应点关系的一个三线性张量。由此张量和参考图像便能得到新图像和参考图像之间的关系,进而生成新的视角图像。和其他基于图像的二次投影方法相比,这里仅需要两幅参考图像,且实现方法简单快速。实验给出了     

基于生成对抗网络和元路径的异质网络表示学习

现实世界中的信息网络大多为异质信息网络,旨在表示低维空间中节点数据的网络表示方法已普遍用于分析异质信息网络,从而有效融合异质网络中丰富的语义信息和结构信息.但是现有的异质网络表示方法通常采用负采样从网络中随机选择节点,并且对节点和边的异质性学习能力不足.受生成式对抗网络和元路径的启发,文中提出了一种新型的异质网络表示方...     

基于DISCOVERER的Petri网不变式自动生成*

在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。     

基于Sollin算法的最小生成树求解

Prim算法、Kruskal算法和Sollin算法是最小生成树的典型构造算法。这三个算法均基于贪婪策略。Prim和Kruskal算法在本专科数据结构课程中有详细的介绍,而Sollin算法涉及较少。本文基于边集数组这一存储结构,详细说明了Sollin算法的步骤与实现。     

基于CORBA的多媒体教室设计与实现

该文提出了一种新的开发多媒体教室的方案──基于CORBA标准在StarBus平台上进行开发。文章简要介绍了CORBA体系结构,并在此基础上提出了多媒体教室系统结构,给出了其实现方案。     

Numerical Solution to a Class of Inverse Problems for Parabolic Equation

A class of inverse problems for parabolic equation is considered. In particular, boundary value problems with nonlocal conditions are reduced to such class of problems. The proposed numerical approach is based on the method of lines to reduce the problem to a system of ordinary differential equations. To solve this system, an analog of the transfer method for boundary conditions is applied. The results of numerical experiments are given.     

基于短信平台的高校多媒体教室故障报修系统的设计与实现

系统使用Java串口通信技术和JSP技术对已有的短信系统进行研究,分析了系统存在的问题,改善了系统提取短信的方法,提高了系统性能并应用于Windows平台下的Web系统中。     

基于观测器的LPV系统故障检测方法

针对一类线性参数变化(LPV)连续系统的故障检测问题,通过构造合适的输出观测器,获得残差生成器,并通过优化设计步骤,实现对干扰的有效抑制和对故障的灵敏检测。利用依赖参数的Lyapunov函数,在保证残差生成器稳定性的基础上,给出观测器存在的充分条件。应用投影定理,借助附加矩阵解除了基于参数的Lyapunov函数矩阵与系统矩阵的耦合,得到以线性矩阵不等式(LMI)形式表示的求解条件。对于参数变化系统,基于LMI的求解条件为无穷维问题,借助基函数和参数网格化方法,使其转变为可求解的问题。仿真结果表明,应用该方法可以在一定程度上抑制干扰,并能灵敏有效地实现故障检测。     

基于LS-SVM的一类非线性系统的性能估计

控制系统性能估计的研究多数针对线性系统,但是非线性系统本质上更加复杂,用传统的方法进行估计存在局限性.对于一类可由非线性部分叠加线性干扰表示的非线性系统,首先分析了其反馈不变量的存在性,指出此类系统性能估计的关键在于构造超前预测模型.接着用最小二乘支持向量机辨识非线性模型,把最小方差性能估计问题转换成模型参数辨识问题,...     

基于一类非线性特性的FNN 训练算法

针对ＢＰ算法收敛缓慢和易于陷入局部极小的缺点,将基于一类非线性特性的动量项引入ＢＰ算示的梯度搜索,提出前向神经网络的一种通用且简单的全局训练算法。结合升温策略,算法在优化精度和训练速度方面有较大的改善。典型算法的仿真验证了算法的有效性。     

Explicit Solution for a Class of Discrete‐Time Algebraic Riccati Equations

In the present paper we obtain an explicit closed‐form solution for the discrete‐time algebraic Riccati equation (DTARE) with vanishing state weight, whenever the unstable eigenvalues are distinct. We discuss links to current algorithmic solutions and observe that the AREs in such a class solve on one hand the infimal signal‐to‐noise ratio (SNR) problem, whilst on the other hand, in their dual form they solve a Kalman filter problem. We then extend the main result to an example case of the optimal linear quadratic regulator gain. We relax some of the assumptions behind the main result and conclude with possible future directions for the present work.     

基于模型补偿的一类非线性系统的控制设计

针对一类基于模型补偿的非线性系统,首先运用backstepping方法设计其具有严格三角结构形式的嵌入子系统的控制器,进而根据已设计出的该子系统的控制器推得补偿后的整个系统的控制器;其次证明了所设计的控制器使得整个闭环系统是渐近稳定的;最后通过实例验证了结果的正确性.     

Stabilization Analysis for a Class of Nonlinear Systems Based on Characteristic Model

International Journal of Control, Automation and Systems - This paper studies the characteristic modeling problem for a class of single input single output (SISO) nonlinear systems with a relative...