The Semantics Subsystem in Distributed Operating System Formalization Generating System(DOSFGS)

Distributed Operating System Formalization Generating System(DOSFGS)consists of agrammar subsystem DOSFSG and a semantics subsystem DOSFSS.DOSFSG is a kind ofContext-free grammar.DOSFSS is a semantics system with an operating set.DOSFGS gen-erates a distributed operating system automatically according to the process of abstraction,description,and refinement.This paper discusses data structures,operating set and defini-tion of DOSFSS.

Analyzing the Form-Finding of a Large-Span Transversely Stiffened Suspended Cable System: A Method Considering Construction Processes

The precise control of the shape of transversely stiffened suspended cable systems is crucial. However, existing form-finding methods primarily rely on iterative calculations that treat loads as fixed known conditions. These methods are inefficient and fail to accurately control shape results. In this study, we propose a form-finding method that analyzes the load response of models under different sag and stress levels, taking into account the construction process. To analyze the system, a structural finite element model was established in ANSYS, and geometric nonlinear analysis was conducted using the Newton-Raphson method. The form-finding analysis results demonstrate that the proposed method achieves precise control of shape, with a maximum shape error ranging from 0.33% to 0.98%. Furthermore, the relationships between loads and tension forces are influenced by the deformed shape of the structures, exhibiting significant geometric nonlinear characteristics. Meanwhile, the load response analysis reveals that the stress level of the self-equilibrium state in the transversely stiffened suspended cable system is primarily governed by strength criteria, while shape is predominantly controlled by stiffness criteria. Importantly, by simulating the initial tensioning process as an initial condition, this method solves for a counterweight that satisfies the requirements and achieves a self-equilibrium state with the desired shape. The shape of the self-equilibrium state is precisely controlled by simulating the construction process. Overall, this work presents a new method for analyzing the form-finding process of large-span transversely stiffened suspended cable system, considering the construction process which was often overlooked in previous studies.

基于自由曲面和L-system的红掌生长模型

针对红掌花卉生长可视化中参数难以确定的问题进行研究,提出推导控制点的方法,建立红掌器官模型:采用Bezier曲线结合扫描成型的方法来构造叶柄模型,采用双三次NURBS曲线对佛焰苞进行建模;运用红掌的相关表型数据拟合生长函数,提出基于红掌生长规律的微分L-system,可有效模拟红掌的拓扑结构和生长过程;通过虚拟器官表示红掌器官的几何属性,降低微分L-system的复杂度。试验验证提出的方法对红掌各项生长指标拟合度可达0.89以上,并可对每个生长阶段的红掌进行模拟,能有效地对红掌的生长过程进行建模。

Form invariance and new conserved quantity of generalised Birkhoffian system

A form invariance and a conserved quantity of the generalised Birkhoffian system are studied. First, a definition and a criterion of the form invariance are given. Secondly, through the form invariance, a new conserved quantity can be deduced. Finally, an example is given to illustrate the application of the result.

A FORM INVARIANCE OF CONSTRAINED BIRKHOFFIAN SYSTEM

The form invariance of constrained Birkhoffian system is a kind of invariance of the constrained Birkhoffian equations under infinitesimal transformations. The definition and criteria of the form invariance of constrained Birkhoffian system are given, and the relation of the form invariance and the Noether symmetry is studied.

FORM INVARIANCE AND LIE SYMMETRY OF THE GENERALIZED HAMILTONIAN SYSTEM

The form invariance and the Lie symmetry of the generalized Hamiltonian system are studied. Firstly, de?nitions and criteria of the form invariance and the Lie symmetry of the system are given. Next, the relation between the form invariance and the Lie symmetry is studied. Finally, two examples are given to illustrate the application of the results.

Form Invariance and Noether Symmetries of Rotational Relativistic Birkhoff Systems

Under the infinitesimal transformations of groups, a form invariance of rotational relativistic Birkhoffsystems is studied and the definition and criteria are given. In view of the invariance of rotational relativistic PfaffBirkhoff D'Alcmbert principle under the infinitesimal transformations of groups, the theory of Noether symmetries ofrotational relativistic Birkhoff systems are constructed. The relation between the form invariance and the Noethersymmetries is studied, and the conserved quantities of rotational relativistic Birkhoff systems are obtained.

Form invariance and conserved quantity for weakly nonholonomic system

The form invariance and the conserved quantity for a weakly nonholonomic system （WNS） are studied. The WNS is a nonholonomic system （NS） whose constraint equations contain a small parameter. The differential equations of motion of the system are established. The definition and the criterion of form invariance of the system are given. The conserved quantity deduced from the form invariance is obtained. Finally, an illustrative example is shown.

Lie-form invariance of nonholonomic mechanical systems

The Lie-form invariance of a nonholonomic mechanaical system is studied. The definition and criterion of the Lie-form invariance of the nonholonomic mechaaical system are given. The Hojman conserved quantity and a new type of conserved quantity are obtained from the Lie-form invariance. An example is givea to illustrate the application of the results.

Computation of the Simplest Normal Forms for Resonant Double Hopf Bifurcations System Based on Lie Transform

反响的双 Hopf 分叉的最简单的正常形式基于谎言操作员被学习。反响的双 Hopfbifurcation 和以原来的系统，系数明确地被给的非线性的转变的最简单的正常形式的系数。非线性的转变被用于减少 lower-ordernormal 和 higher-ordernormal 形式，并且系统矩阵的等级被用来决定能被减少的正常形式的系数。这些使获得的正常形式比传统的简单。Ageneral 节目与 Mathematica 被编译。这个程序能计算反响的双 Hopf 分叉的最简单的正常形式和非反响的形式直到第 7 顺序。

THE KILLING FORMS AND DECOMPOSITION THEOREMS OF LIE SUPERTRIPLE SYSTEMS

In this article, the Killing form of a Lie supertriple system （LSTS） and that of its imbedding Lie superalgebra （LSA） are investigated, and a unique decomposition theorem for a quasiclassical LSTS with trivial center is established by means of the parallel decomposition theorem for a quasiclassical LSA.

Form invariance and approximate conserved quantity of Appell equations for a weakly nonholonomic system

A weakly nonholonomic system is a nonholonomic system whose constraint equations contain a small parameter. The form invariance and the approximate conserved quantity of the Appell equations for a weakly nonholonomic system are studied. The Appell equations for the weakly nonholonomic system are established, and the definition and the criterion of form invariance of the system are given. The structural equation of form invariance for the weakly nonholonomic system and the approximate conserved quantity deduced from the form invariance of the system are obtained. Finally, an example is given to illustrate the application of the results.

Ore-forming Fluid Systems and Mineralization in the Eastern Jiangnan Uplift in the Border Area of Anhui and Jiangxi Provinces, China

Obvious differences in mineralization characteristics exist between the southern and northern parts of the eastern part of the Jiangnan Uplift in northern Jiangxi Province and southern Anhui Province. The regional metallogeny is discussed, and the ore-forming fluid systems are classified in this article. It is proposed that the fluid ore-forming activities in the Jiangnan Uplift both in northern Jiangxi and southern Anhui have close relationships with the crust-mantle interaction and magmatic-tectonic activities. The types and scales of the mineralization on the both sides of the eastern Jiangnan Uplift were determined by fluid ore-forming systems and geological backgrounds.

FORM INVARIANCE AND LIE SYMMETRY OF VARIABLE MASS NONHOLONOMIC MECHANICAL SYSTEM

The form invariance and Lie symmetry of a variable mass nonholonomic mechanical system is studied. The definition and the criterion and the conserved quantity of form invariance and Lie symmetry for the variable mass nonholonomic mechanical system are given. The relation between the form invariance and Lie symmetry is obtained. An example is given to illustrate the application of the result.

Form Invariance and Conserved Quantity for Non-holonomic Systems with Variable Mass and Unilateral Constraints

纸学习形式不变性和保存数量把 Mei 称为的 non-Noethcr 的一种类型为有可变集体、单方的限制的 non-holonomic 系统的保存数量。Acoording 到在无穷小的转变下面的运动的微分方程的形式的不变性，这篇论文与可变集体、单方的限制为 non-holonomic 系统给形式不变性的定义和标准。形式不变性能在下面导致 Mei 保存数量和保存数量 ared 的形式的条件引出了。一个例子被给说明结果的申请。

New criterion in predicting glass forming ability of various glass-forming systems

It has been confirmed that glass-forming ability （GFA） of supercooled liquids is related to not only liquid phase stability but also the crystallization resistance. In this paper, it is found that the liquid region interval （T1 - Tg） characterized by the normalized parameter of Tg/T1 could reflect the stability of glass-forming liquids at the equilibrium state, whilst the normalization of supercooled liquid region △Tx=（Tx - Tg）, i.e. △Tx/Tx （wherein T1 is the liquidus temperature, Tg the glass transition temperature, and Tx the onset crystallization temperature） could indicate the crystallization resistance during glass formation. Thus, a new parameter, defined as ζ = Tg/T1＋△Tx/Tx is established to predict the GFA of supercooled liquids. In comparison with other commonly used criteria, this parameter demonstrates a better statistical correlation with the GFA for various glass-forming systems including metallic glasses, oxide glasses and cryoprotectants.

ANALYSIS ON GOLD AND COPPER ORE-FORMING SYSTEM WITH COLLISION OROGENY OF EASTERN TIANSHAN

According to tectono stratigraphical division principle, different units in Kangguertage Huangshan collision zone, Eastern Tianshan, are divided into order and disorder two types of stratum rock associations, which belong to two kinds of different tectono volcanic activity belts. The collision ororeny and ductile shear zone have a strong space time coupling. Based on the island arc bearing volcanic rock on both sides of the collision zone, time of ore forming and rock forming, characteristics of collision granit, geochemical province, special multistage collision orogeny and intracontinental orogeny basin forming developed features have been found. Gold and copper deposits, with the relation to the collision orogeny, are divided into seven genetic types. The ten metallogenic zones are classified into two kinds of ore forming system of paleo continental margin. Metallogenesis of gold deposits can be classified into five stages. Gold and copper deposits are distributed in belts with the relation to the development of the collision orogeny. The distribution of main large scale copper deposits in the north part of the collision zone and most large middle scale gold deposits in the south part of the collision zone can direct the prospecting for gold and copper deposits. The actual targets are put forward.

Mykert-Sanzheevka Field of Polycomponent Ores (Pb, Zn, Ag, Au, PGE): Geologic-Substance Characteristics and Formation Features of Ore-Forming System

The new results of geologic-structural, petrographic and mineralogic-geochemical researches of Mykert-Sanzheevka ore field—the Uda-Vitim mineragenic zone South-West ending of West Transbaikalia are given. Its main ore-controlling structure, represented by losange, consisting of rhombohedral and tetrahedral blocks-duplexes mosaic clusters, which are separated by narrow tectonic sutures, is specified. It is clarified that polycomponent ores clusters are confined with these small-block sutures, made by subvolcanic dykes of shoshonite-latite volcano-plutonic association (233 - 188 million years), apodyke dynamometamorphites (breccias, cataclasite, mylonites) and also mechanometasomatites. Four stages of the dynamometamorphites formation characterized by different species compositions of ore minerals appeared as a result of mechanochemical reactions are determined. A carbonyl model of mineral microaggregates formation with films containing noble metal nanoparticles is proposed. Ore-forming system features of Mykert-Sanzheevka field are considered.

THE FORM INVARIANCES AND THE HOJMAN CONSERVED QUANTITIES FOR HAMILTON SYSTEMS

The form invariance and the Lie symmetry are defined for Hamilton systems.A relation between the form invariance and the Lie symmetry is derived.The Hojman conserved quantity is constructed by using the generators of Lie symmetry.An approach to find Hojman conserved quantities in terms of the form invariance is presented.An example is given to illustrate the application of the results.