建构教与学同构一体化的化工设备机械基础混合式教学模式探究

基于教与学同构一体化的教育理念,建立师生共同学习的教学理念,开展线上与线下、相互渗透的混合式教学。以化工设备机械基础课程为例,充分利用慕课、新型智慧教室、网上平台、竞赛比赛、虚拟仿真等丰富的教学资源,营造自主、合作、探究式学习环境,实现线上线下、课内课外互联互通。坚持问题导向,把抽象问题形象化;理论联系实际、贴近生活;渗透专业思想、反映学科前沿;融合课程思政,促进文理交融;课外知识拓展,强化创新能力;提高课程的高阶性、创新性,实现能力培育、价值提升、知识拓展的“三驾齐驱”的教学目标,落实立德树人的根本任务。

ISOMORPHISMS AND DERIVATIONS IN C*-ALGEBRAS

In this article, we prove the Hyers-Ulam-Rassias stability of the following Cauchy-Jensen functional inequality：‖f （x） ＋ f （y） ＋ 2f （z） ＋ 2f （w）‖ ≤‖ 2f x ＋ y2 ＋ z ＋ w ‖（0.1）This is applied to investigate isomorphisms between C＊-algebras, Lie C＊-algebras and JC＊-algebras, and derivations on C＊-algebras, Lie C＊-algebras and JC＊-algebras, associated with the Cauchy-Jensen functional equation 2f （x ＋ y/2 ＋ z ＋ w） = f（x） ＋ f（y） ＋ 2f（z） ＋ 2f（w）.

Simulated annealing algorithm for detecting graph isomorphism

Evolutionary computation techniques have mostly been used to solve various optimization problems, and it is well known that graph isomorphism problem （GIP） is a nondeterministic polynomial problem. A simulated annealing （SA） algorithm for detecting graph isomorphism is proposed, and the proposed SA algorithm is well suited to deal with random graphs with large size. To verify the validity of the proposed SA algorithm, simulations are performed on three pairs of small graphs and four pairs of large random graphs with edge densities 0.5, 0.1, and 0.01, respectively. The simulation results show that the proposed SA algorithm can detect graph isomorphism with a high probability.

The Homomorphism and Isomorphism on Hypergroup

Basing on the papers from [1] to [4], this paper gives some further research,mainly solves the following problems:(1) It proved that several theorems of subgroup which have been raised to the hypergroup are still true.(2) It proved that the isomorphous relationship of the bottomgroups which guid to the hypergroup can still keep such relationship.(3) It proved that the basic isomorphous Theorem and the homogenous Theorem of the bottomgroup which raise to the hypergroup are still true.(4) It point out that when the isomorphous bottomgroups have been raised to the hypergroup,the conditions which form the isomorphism should be lessened.

SMALL INTO ISOMORPHISM FROM(c_0)INTO C(Ω)TYPE

If T is an isomorphism of （c0） into C（Ω） （where Ω is a sequentially compact and paracompact space, or a compact metric space in particular）, which satisfies the condition ｜｜T｜｜·｜｜T^-1｜｜ ≤ 1 ＋ε for some ε ∈ （0,1/5）, then T/｜｜T｜｜ is close to an isometry with an error less than 9ε. The proof of this article is simple without using the dual space or adjoint operator.

GPU acceleration of subgraph isomorphism search in large scale graph

A novel framework for parallel subgraph isomorphism on GPUs is proposed, named GPUSI, which consists of GPU region exploration and GPU subgraph matching. The GPUSI iteratively enumerates subgraph instances and solves the subgraph isomorphism in a divide-and-conquer fashion. The framework completely relies on the graph traversal, and avoids the explicit join operation. Moreover, in order to improve its performance, a task-queue based method and the virtual-CSR graph structure are used to balance the workload among warps, and warp-centric programming model is used to balance the workload among threads in a warp. The prototype of GPUSI is implemented, and comprehensive experiments of various graph isomorphism operations are carried on diverse large graphs. The experiments clearly demonstrate that GPUSI has good scalability and can achieve speed-up of 1.4–2.6 compared to the state-of-the-art solutions.

ADJACENT MARTIX METHOD OF IDENTIFYING ISOMORPHISM TO PLANAR KINEMATIC CHAIN WITH MULTIPLE JOINTS AND HIGHER PAIRS

The adjacent matrix method for identifying isomorphism to planar kinematic chain with multiple joints and higher pairs is presented. The topological invariants of the planar kinematic chain can be calculated and compared by adjacent matrix. The quantity of calculation can be reduced effectively using the several divisions of bars and the reconfiguration of the adjacent matrix. As two structural characteristics of adjacent matrix, the number of division and division code are presented. It can be identified that two kinematic chains are isomorphic or not by comparing the structural characteristics of their adjacent matrixes using a method called matching row-to-row. This method may be applied to the planar linkage chain too. So, the methods of identifying isomorphism are unified in the planar kinematic chain that has or hasn＇t higher pairs with or without multiple joints. And it has some characters such as visual, simple and convenient for processing by computer, and so on.

Isomorphous Substitution of Metallic Elements for Zeolite Y in the Aqueous Solution

The substitutions of Ti, Fe and Zr into zeolite Y in the aqueous solutions of (NH4)2TiF6, (NH4)3ZrF7 and (NH4)3FeF6 were systematically Investigated. It was found that Ai atoms in the framework can be replaced by some metallic elements and the extent of substitution depends on the M/A1 ratio of the solution. The maximum allowable M/A1 ratio of the aqueous solution Is related with the radius of the M atom and the stability constant of the MFnm- complex. The substituted zeolite samples with crystallinity greater than 80% were characterized by means of XRD, IR, DTA, TPR and NH3-TPD measurements. The incorporation of Ti, Fe and Zr into the zeolite leads to an increase in the unit cell parameter, a lowering of thermal stability and a red shift of the asymmetric stretching frequency. The extent of these changes is apparently related with the ionic radius of the metallic element and the degree of substitution. The results of various characterization methods show that the het-eroatoms are readily Introduced into the zeolite framework by this preparation method. It was also observed that the substitution of heteroatoms may strengthen or weaken the surface acidity of zeolite Y.

Constraint of Isomorphous Substitution in Magnetite on Its Catalytic Activity in Heterogeneous Fenton Reaction

In nature, iron cations in magnetite are usually isomorphically substituted by divalent (Co, Ni, Zn, Cu, Mn, etc.), trivalent (Al, V, Cr, etc.) and tetravalent (Ti) cations while maintaining the spinel structure. Some of the substituting cations, e.g. Cr3+, V3+ and Mn2+, improve the catalytic activity of magnetite in heterogeneous Fenton reaction through the enhancement of hydroxyl radical OH production and the pollutant adsorption.

Isomorphous Substitution of Aluminium for Gallium in a Framework Gallophosphate

An aluminium-substituted framework gallophosphate with occluded triethylamine was synthesized hydrothermally. 27Al MAS NMR spectroscopy indicates that only the tetrahedral coordinated gallium atoms in the gallophosphate are substituted by aluminium atoms. The substitution leads to an evident decrease in cell volume of the crystal. The differences between the original gallophosphate and the aluminium-substituted one are also found for the IR spectrum and the thermal property.

ISOMORPHISMS OF CIRCULANT DIGRAPHS OF DEGREE 3

In this paper, we introduce a new approach to characterize the isomor-phisms of circulant digraphs. In terms of this method, we completely determine theisomorphic classes of circulant digraphs of degree 3. In particular, we characterizethose circulant digraphs of degree 3 which don't satisfy Adam's conjecture.

ON THE ISOMETRIC ISOMORPHISM OF PROBABILISTIC METRIC SPACES

There are two kinds of isometric isomorphism in probabilistic metric space theory. The first is that a PM space (E, F) is isometrically isomorphic to another PM space (E', F'), and the second is that a PM space (E, F) is isometrically isomorphic to a generating space of quasi-metric family (E', d(r), r is an element of (0, 1)). This paper establishes the connection between the two kinds of isometric isomorphism.

Similar Vertices and Isomorphism Detection for Planar Kinematic Chains Based on Ameliorated Multi-Order Adjacent Vertex Assignment Sequence

Isomorphism detection is fundamental to the synthesis and innovative design of kinematic chains(KCs).The detection can be performed accurately by using the similarity of KCs.However,there are very few works on isomorphism detection based on the properties of similar vertices.In this paper,an ameliorated multi-order adjacent vertex assignment sequence(AMAVS)method is proposed to seek out similar vertices and identify the isomorphism of the planar KCs.First,the specific definition of AMAVS is described.Through the calculation of the AMAVS,the adjacent vertex value sequence reflecting the uniqueness of the topology features is established.Based on the value sequence,all possible similar vertices,corresponding relations,and isomorphism discrimination can be realized.By checking the topological graph of KCs with a different number of links,the effectiveness and efficiency of the proposed method are verified.Finally,the method is employed to implement the similar vertices and isomorphism detection of all the 9-link 2-D0F(degree of freedom)planar KCs.

ONSOMELINEARISOMORPHICTHEOREMSFORCERTAINNONSYMMETRICDIFFERENTIALOPERATORSOFSIXTHORDERWITHPARAMETER

This paper provides several linear isomorphism theorems for certain nonsymmetric differential operators of sixth order under proper topologies about some complex parameters. From these results, one can, to a large extent, explain and control the stability of some objects in their moving processes.

ISOMORPHISMS OF VARIABLE HARDY SPACES ASSOCIATED WITH SCHRÖDINGER OPERATORS

Let L:=-△+V be the Schrodinger operator on R^(n)with n≥3,where V is a non-negative potential satisfying△^(-1)(V)∈L^(∞)(R^(n)).Let w be an L-harmonic function,determined by V,satisfying that there exists a positive constantδsuch that,for any x∈Rn,0<δ≤w(x)≤1.Assume that p(·):R^(n)→(0,1]is a variable exponent satisfying the globally log-Hölder continuous condition.In this article,the authors show that the mappings HL^(p)(·))(R^(n))■f■wf∈H^(p)(·)(R^(n))and HL^(p(·))(R^(n))■f■(-△)^(1/2)L^(-1/2)(f)∈H^(p(·))(R^(n))are isomorphisms between the variable Hardy spaces HL^(p(·))(R^(n)),associated with L,and the variable Hardy spaces H^(p(·))(R^(n)).

The Isomorphism Theorem of Regular Bisimple ω2-semigroups

In this paper we study the isomorphisms of two regular bisimple ω2- semigroups and obtain a criterion for two such semigroups to be isomorphic.

Weak Isomorphism of Finite Group

On the basis of the quasi-isomorphism of finite groups, a new mapping, weak isomorphism, from a finite group to another finite group is defined. Let G and H be two finite groups and G be weak-isomorphic to H. Then G≌H if G satisfies one of the following conditions. 1） G is a finite Abelian group. 2） The order of G is p^3. 3 ） The order of G is p^n＋1 and G has a cyclic normal subgroup N = 〈a〉 of order p^n. 4） G is a nilpotent group and if p^││G│, then for any P ∈ Sylp （G）, P has a cyclic maximal subgroup, where p is a prime; 5） G is a maximal class group of order p4（p〉3）.

Characterizations of Isomorphisms by Multiplicative Maps on Operator Algebras

In this paper, we discuss some multiplicative preservers and give some characterizations of isomorphisms or conjugate isomorphisms on β(X), where β(X) denotes the algebra of all bounded linear operators on a Banach space X.

Isomorphism Continuum Stored Energy Functional for Finite Thermoelastic Deformation

Continuum mechanics for isotropic finite thermoelastic deformations have been reviewed. Thermal effects on mechanical responses of rubbers have been captured by the isomorphism continuum stored energy (CSE) functional with the multiplicative decomposition of deformation gradient while preserving the structure of symmetry for finite structural deformation. The CSE finite thermoelastic model fits and predicts experimental data of SR and NR-C60 rubbers at different external temperatures. For internal temperature effects of both NR and NR-SIC rubbers, the CSE finite thermoelastic model of stored energy and entropy, along with the newly developed CTE and CI models, fits both nominal stress-stretch and temperature change-stretch experimental data in uniaxial extension tests.

人工智能与教育变革

生成式人工智能快速迭代引发关注,教育领域似乎是受其影响最为直接和深远的领域之一。对于人工智能的影响,当前存在高估短期效果、低估长远效果的倾向。研究从唯物史观视角,分阶段概括梳理人工智能发展情况,客观分析其发展水平和技术限度,判断其与人类智慧仍有本质差别,特别是在高阶认知和社会情感方面。研究基于理性质疑的态度,发现教育与人工智能技术原理在结构对比、逻辑对比、符号编码、内容分析、交互机理和培养模式六个主要方面存在同构性逻辑,并对二者之间的内在关联和作用机制提供了清晰的认知和判断。研究建议从学生高阶思维培养、新型师生关系构建和教学模式创新三个直接且关键的问题切入,以人工智能撬动教育变革。