查询词典 formula language

To eliminate abnormity wear of tires in double-front-axle system of heavy truck, the kinematics and dynamics analysis method is set forth. On the base of the results for heavy double-front-axle truck load distributing and manipulate stability, tire uniformity load condition and deficiency steering characteristic condition of heavy double-front-axle truck are put forward. Steering trapezia space movement formula, double-swing-arm space movement formula and double-swing-arm movement formula in actual status of heavy double-front-axle truck are fetched. Optimization models of steering trapezia and double-swing-arm are founded and optimization arithmetics of transmission system in double-front-axle steering are compiled.

本文以消除重型汽车双前桥转向系统轮胎异常磨损等为目的，阐述了双前桥转向系统的运动学、动力学分析方法；在分析了双前桥重型汽车载荷分布和操纵稳定性的基础上，提出了双前桥重型汽车轮胎均载应该满足的条件、双前桥重型汽车具备不足转向特性应该满足的条件；推导了双前桥转向梯形空间运动关系式、双摇臂机构空间运动关系式和双前桥汽车实际工况下的运动关系式，建立了转向梯形和双摇臂机构优化设计模型，编制了双前桥转向传动系统优化算法。

In this paper, a method from the basic matrix of MU(1) formula is used to prove that a tree resolution proof for an unsatisfiable formula F can be transformed into a homomorphism proof from a MU(1) formula for F.

利用基础矩阵的方法证明了：一个不可满足公式 F 的树消解证明，可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明。

We first prove a formula to calculate the magnetic field in the internal region of magnetized objects on the viewpoint of magnetization, and then use the formula to define the point-function demagnetizing tensor and also prove some properties of the tensor. Finally we use this formula to construct a new method to predict the induced magnetic field of naval vessels in a nonuniform applied field, and we call it 'the Magnetization Method', in which the point-function demagnetizing tensor is used.

首先证明了一个基于磁化观点的铁磁物体内部磁场强度计算公式，随后通过该公式导出了点函数去磁张量的概并证明了它的一些性质，最后利用此公式构造了一个预测非均匀外场中舰船感应磁场的新方法——磁化强度法，且在该方法中用到了点函数去磁张量。

Results: The ratio of Lactobacillus bulgaricus and Streptococcus thermophillus is 1:1. The optimum formula of the expanded fermentation is: tomato and carrot juice 3:7, glucose 2%, NFM 4%, and vaccination 3%. The optimum formula of the fermented liquid is: tomato and carrot juice 3:7, fermentation temperature 41℃, fermentation time 24h, and the amount of vaccination 3%. The optimum formula of fermented beverage is: sucrose 5%, citric acid 0.02%, CMC 0.2% and xanthic gluc 0.03%.

结果：用保加利亚乳杆菌和嗜热链球菌按1：1比例作为菌种；种子扩大液的最佳配方：番茄、胡萝卜混合汁配比3：7，2%葡萄糖，2%脱脂乳，3%接种量；发酵液最佳配方：番茄、胡萝卜混合汁配比3：7，发酵温度41℃，发酵时间24h，接种量3%；发酵饮料调配最佳配方；发酵原液中添加蔗糖5%，柠檬酸0.02%，耐酸羧甲基纤维素钠0.2%，黄原胶0.03%。

The formula relation trees are reconstructed into MathML document on the basis of the realized relation trees generated from the formula symbols recognition and structure analysis programs.A formula editor is designed to re-edit and reuse formulas.

在已实现的公式符号识别与结构分析程序所生成的公式关系树基础上，将公式关系树重构为MathML文档，并设计公式编辑器，实现了公式的再编辑和重用。

The name of the report,"Report on the Programming Language Haskell, A Non-strict, Purely Functional Language," was inspired in part by the "Report on the Algorithmic Language Scheme," which in turn was modelled after the "Report on the Algorithmic Language Algol."

这份报告的名字"关于程序设计语言Haskell的报告—一个非严格的、纯的函数式语言"部分的受"关于算法语言Schema的报告"的启发，而依次的，后者又是模仿了"关于算法语言Algol的报告"。

The contents of this paper include three aspects: I Through a large amount of comparison of language resources, to find out the similarities and differences of anaphoric and cataphoric reference in English and Chinese; II From the angle of language system and cultural tradition, analyze the reasons of differences which exist in the two language systems; III One of the important purpose of comparative study is to guide language communication.

本论文的内容主要包括三个方面：一，通过大量的语料对比，找出英汉指称方式的异同；二，从语言系统和文化传统两个角度，分析存在异同之处尤其是不同之处的根本原因；三，对比研究的一个重要目的是指导语言交际，对比语言学研究对翻译活动有何实际指导意义，也是本文探讨的问题之一。

Secondly, language, Pu Songling unique Blair blend of vulgar language style, language figures paint a vivid Berthelot, and the style with the simple beauty; in the mood again, the perfect atmosphere exaggerations, put the reader into a luxurious vice magic realm of moods and characters combined, reuse unique language performance, and to achieve a "Habitat namely," the state, giving people the enjoyment of beauty; Finally,"happy" ending of the story, but also to express the Chinese people since ancient times,"Good will be rewarded with good, evil with evil "and the traditional concepts of good wishes.

求翻译！请高手帮帮忙！其次在语言上，蒲松龄以其独特的雅、俗相融的语言风格，将人物语言描绘得活脱生动，并且具有文言的简洁美；再次在意境上，恰到好处的氛围渲染，把读者带入了一副副瑰丽神奇的境界，将意境与人物刻画相结合，再用独特的语言表现出来，达到一种"境即为人"的境界，给人以美的享受；最后，"大团圆"的故事结局，更是表达了中国人自古以来"善有善报，恶有恶报"的传统观念和美好愿望。

These differences attributes on the one hand to the fact of male dominance in language, that a society penetrated with the overwhelming conception of male dominance is mirrored in language with the directness, less use of euphemism, more coarse even tabooed words characteristic of male language and with the politeness, circumbendibus, and more use of euphemisms typical of female language.

这些差异在理论上一方面归因于语言存在性别歧视，男性主导的社会反映在语言上即男性语言的直接，较少使用委婉语，并较多使用粗俗甚至禁忌语，而女性语言则以礼貌，迂回，较多使用委婉语为特点。

In campus, the number of user of a certain language is more , that kind of language is more popular, however, students in the same language commutate with each other in their own language again.

英语学习QQ群等你加入在线背单词越背越上瘾★精美的桌面口语口语模仿活动，我想参与。。。

His female bullfighter Lydia gradually Health love, but she was in a vegetative state after the Bulls Zhuangcheng away from her, just because Lydia's ex-boyfriend showed more affectionate than he is like love.

他对女斗牛士莉迪亚渐生爱意，却在她被公牛撞成植物人后离她而去，仅仅因为莉迪亚的前男友表现出好似比他更深情的爱。

I know of none which are not easy to answer, but what I am trying to do now is only by a series of hints to throw some light on the narrow path of legal doctrine, and upon two pitfalls which, as it seems to me, lie perilously near to it.

我不认为有什么难以回答的问题，但我现在要做的仅仅是通过一系列线索，来给法律理论的狭窄路径以及在我看来离它近得危险的两个陷阱提供一些启示。