查询词典 algebra over k

Considering the randomness of the structural physical parameters and utilizing the random variable's functional moment method and the algebra synthesis method, the mean value and the variance of the mean square value of the structural displacement response under stationary random excitation are computed firstly from the expressions of structural stationary response in frequency domain. And then the expressions of the mean value and the variance of stochastic rigid frames dynamic reliability are educed from the Poisson formula of calculating dynamic reliability.

考虑结构的物理参数具有随机性，从结构随机响应的频域表达式出发，利用求解随机变量数字特征的代数综合法和矩法，导出随机参数刚架结构在平稳随机激励下的位移及速度响应均方值的数字特征，再由动力可靠性的Poisson公式导出结构动力可靠度的计算公式。

The dynamic characteristics of stochastic truss structures and stochastic frame structures are analyzed by using Random Factor Method. Then, from the expressions of structural random response of the frequency domain, the computational expressions of the mean value, variance and variation coefficient of the mean square value of the structural displacement and stress response under the stationary random excitation or non-stationary random excitation are developed by means of the random variable's functional moment method and the algebra synthesis method.

考虑压电智能桁架结构物理参数、几何参数、结构阻尼和外荷载、闭环系统控制电压分别或同时为随机变量，构建了结构在随机力作用下的动力响应分析模型，提出了求解方法，推导出结构动力响应随机变量的数字特征计算表达式，通过算例验证了所建模型和所提求解方法的正确性和有效性。

From the point of view of measure theory, this paper gives the unified definition of measurable real fuzzy set-valued function and n-dimensional measurable real fuzzy set-valued function, and discusses the fundamental properties of them and their invers fuzzy set-valued function by combining with fuzzy σ-algebra.

5研究了有界闭复模糊数的四则运算、交并运算以及上下确界、上下极限与极限运算的若干基本性质

The Italians mercifully took the second and third words of this phrase and combined them to form algebra.

意大利仁慈了第二次和第三次的话这句话并结合他们的形式代数。

One reason is that the model is an algebra method and it is based on the theory of minimal element. It can give more credible proof. Another reason is that the model tries to prove security of protocols, rather than check them. Thirdly, the model is simple and easy to use, and proof can be finished by manual. Moreover, graphic description makes its proof more comprehensible. Fourthly, there is much research work related to the model, which gives me a good springboard.

首先，该模型是一种代数方法，以极小元等理论为基础，可以给出可信度较高的证明；其次，该模型不是验证协议，而是试图证明协议的安全性；第三，该模型简单、易用，可以手工的方式完成证明，而且图形表示使其证明更加直观；第四，关于该模型有许多相关的研究工作，这为进一步工作打下了良好的基础。

Computer; mathematical problems; Mizar project; quaternion numbers; algebra structure

计算机；数学问题； Mizar系统；四元数；代数结构

On the base of these, and the ideas of mathematical curriculum reform and the course of the reform of solid geometry, combining with educational reality and students" psychology, put forward some thoughts about solid geometry of middle school in future:(1) The arrangement of curriculum content should. give consideration to both the logical sequence of knowledge and the development of students" psychology, and make them united;(2) Paying great attention to the analogy of plane geometry and solid geometry;(3) Some respects remained to be strengthened about solid geometry in senior middle school;(4) Emphasizing the importance of conversion in solid geometry;(5) Stressing on the combination of solid geometry and algebra and other subjects;(6) The design of the content of solid geometry should have certain elasticity, and make solid geometry and modern education technology well combined.

在此基础上，又植根于近年来我国数学课程改革的理念和立体几何课程改革的进展，并结合我国的教育实际与学生心理，对未来中学立体几何课程的设胃提出若干思考：(1)课程内容的编排，要兼顾知识的逻辑顺序和学尘的心理发展相统一；(2)重视平面几何和立体几何的类比；(3)高中阶段立体几何有待加强的几个方面；(4)强调变换在立体几何中的重要性；(5)注意将立体几何和代数及其他学科相结合；(6)立体几何内容的设计要有一定的弹性，并注意与现代教育技术相结合。

If you want to be a draftsman, a machinist, a molder, or a patternmaker, you'll need algebra and geometry and even trigonometry.

如果你想成为手工艺人、缝纫工、造型工或制模工，你需要代数和几何，甚至三角学。

Parts of current parallel databases support expanding of data types, but all of them lack of theoretical foundation. It is difficult to predicate the performances of parallel query, complicated to optimize parallel query and unattainable to keep the correctness of parallel query optimization This thesis, for the first time, combines monoid algebra system with BSP parallel model systematically, and provides a general-purpose parallel object-relational database systems-PORDBMS.

文章系统地研究了资源分配问题的分解协调理论与方法，给出了非线性分解式模型的构造和有效的求解方法，其中对主问题提出了适应性较强的修正算法，可用于一些难于公式化的问题的模型构造与求解，逐步寻优策略可有效地求解非线性关联约束优化问题。

Because the normalization rules of monoid algebra system can reduce the size of query spaces effectively and BSP model is an accurate predicable performance model, two-phase parallel query optimization model is proposed. For the increasing of large and complicated data applications, the parallel implementation technologies of large objects are investigated too.

对互联水火系统短期交换计划与调度，提出的分解式逐次寻优搜索法，解决了含有复杂梯级电站和混合发电系统的多区域交换计划优化和水电调度问题，为多区域水火互联系统计划调度提供了一种有效的手段。

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。