- 更多网络例句与伴随函子相关的网络例句 [注：此内容来源于网络，仅供参考]
-
We construct the adjoint functor of the free functor.
构造了自由函子的伴随函子。
-
How to establish the adjoint medel is discussed by using the Gateaux differential of function and the concepts of the adjoint operators in Hibert space. At the same time it is verified that selecting proper finite difference scheme can ensure discrete form remaining the same adjoint r...
文中利用泛函的Gateaux微分和Hilbert空间上伴随算子的概念讨论了连续的伴随模型的建立，并通过选择适当的差分格式离散伴随模型，使其保持连续时的伴随关系，同时给出了水温初始场最优化过程及相应的同化试验数值结果。
-
It is pointed out that the classical Lagrange multiplier method is one of the theoretical fundament of the adjoint method in data assimilation.
论述了数据同化中的伴随方法与泛函分析中的伴随算子的关系，指出经典的拉格朗日乘子法可以作为伴随方法的理论基础。
-
It takesthe weighted average of the L2 norm of the difference of the observation and thesolution of the system and the L2 norm of the difference of conormal derivativeat the different sides of the interface for every subdomain as cost functional andthe smooth coefficients of the subproblem and the value of solution of the originalproblem at interface as identification parameters;Using the property of continu-ous functional defined on compact set,the existence of the optimal solution of theidentification problem is proved;The necessary conditions of optimality charac-terized by the system equation,the adjoit equation and the variational inequalitysimultaneously are given by introducing the conception ofdifferential andadjoit variable;An algorithm is devised and its flow graph is given.
其次，针对分片光滑动力系统的特征，结合正演过程的区域分解算法，建立了分片光滑系统的分解区域参数辨识模型，该模型以子区域上解的实测值与计算值之差的L2范数和界面两侧的通量差的L2范数的加权平均作目标泛函，各子问题的光滑系数及界面上真解的值为待辨识参量；利用紧致集上连续泛函的性质，证明了子区域上参数辨识问题最优辨识参量的存在性；引入微分的概念，借助伴随变量，给出了由系统方程，伴随方程和变分不等式共同表征的最优性必要条件；根据此必要条件设计了算法，给出了算法的程序框图。
-
The proof shows that any functor which is a left adjoint is right exact.
该证明指出，任一函子，如果是一个左伴随，就右正合。
-
Some Properties of Monad and Comonad;2. The definitions of entwining structures of monads and comonad s and entwining modules are given and the paper studied their relations with entwining structures of algebras and coalgebras in categories,then we build an adjoint functors pair between the two categories of entwining modules.
首先给出了单子和余单子的缠绕结构和缠绕模及其与代数和余代数的缠绕结构和缠绕模之间的关系，并构造了一个函子伴随对，其次定义了余单子的类群元，得出了一些相关结论，最后给出了缠绕结构之间相容的定义和等价条件。
- 更多网络解释与伴随函子相关的网络解释 [注：此内容来源于网络，仅供参考]
-
adjoint functor：伴随函子
adjoint function 伴随函数 | adjoint functor 伴随函子 | adjoint graph 导出图
-
rigging adjoint functor：右伴随函子
rigging abeam 正正横方向 | rigging adjoint functor 右伴随函子 | rigging adjoint linear mapping 右伴随线性映射
-
right adjoint functor：右伴随函子
"冗余位","redundant digits" | "右伴随函子","right adjoint functor" | "右可消的","right cancellable"
-
left adjoint functor：左伴随函子
"最小元","least element" | "左伴随函子","left adjoint functor" | "左可消的","left cancellable"
-
adjoint graph：导出图
adjoint functor 伴随函子 | adjoint graph 导出图 | adjoint group 伴随群
-
cluster set：聚值集
cluster sampling 分组抽样 | cluster set 聚值集 | coadjoint functor 余伴随函子
-
coadjoint functor：余伴随函子
cluster set 聚值集 | coadjoint functor 余伴随函子 | coalgebra 上代数
-
coalgebra：上代数
coadjoint functor 余伴随函子 | coalgebra 上代数 | coalition 联合