查询词典 formulas

If A and B are conjunctive formulas, A∧B is also a conjunctive formula.

若A，B为合式公式，则A∧B也是合式公式。

Atomic formulas and all compounds thence constructible- W.V.Quine; a natural conclusion follows thence;public interest and a policy deriving therefrom; Typhus fever results therefrom.

有原子方程式，然后由此合成了所有的化合物——w·v·奎尼；由此自然得出的结论；根据公众利益制定的政策；由此导致的伤寒热。

Doctors created many prescriptions effective in clinic in ancient time different formulas reflected the contriver 's academic style and theory .

医家所创制的名方体现其学术风格及理论，反映其在特定知识背景下，结合临床实际，对现有理论在不同层次上的发挥和创新。

Doctors created many prescriptions effective in clinic in ancient time; different formulas reflected the contriver's academic style and theory.

因此，对历代方剂组方规律的系统研究是探索中医辨证论治理论和总结医家学术思想的有效途径。

In this paper. we discuss the history origin of integral geometry, its product anddevelopment in the introduction. Also. the kinematic in-variant density formulas forpairs of needles and lines in R~2 and R~3 the concept and properties of chord-powerintegrals of a convex body are introduced in brief.

本文在绪论部分综述了积分几何与几何概率的历史渊源及它的产生与发展，简单介绍了R~2和R~3上点偶、线偶的运动不变密度公式以及凸体的弦幂积分的概念和性质。

Inthe paper, we study the relation of pairs of lines and pairs of needles, and two results ofintegral formulas are gained. Thus, the geometric probability problem is solved. Also.we give a solution to the problem: pick two points randomly in a convex body K anddraw two lines passing through two points.

文章考虑了线偶与针偶的依附关系，得到了两个积分公式的结果，从而解决了这一问题，并得到了随机地在凸体K内任取两点，通过这两点任意投掷两直线，两直线的交点落入凸体K内的概率及其它的一些结果和推论。

When camera is rotated around its coordinate axis, the formulas of camera intrinsic parameters are obtained by the algebraic method.

当摄像机绕其坐标轴旋转时，运用代数方法给出了计算内参数的公式。

The former applies to those situations that the formulas of two projections are simple and easy to find out the direct relation of the plane rectangular coordinate.

数值变换法应用范围较广，它可以避开较复杂的投影坐标公式的反解问题，求出两个不同投影平面场上点的对应关系。

Based on the theories of Differential Geometry and Geodesy,algorithms and formulas for direct and inverse solution of geodetic problem in the new form of geodetic coordinate system on the ellipsoidal surface are deduced in this paper.

基于地球椭球面上所构建的新型大地坐标系，推导出用新大地纵横坐标表述的大地主题解算公式，并研制了相应的正反解算法。

Because of inappropriate operation between oncoming straight and left-turn vehicles of signalized intersections of urban areas in Taiwan the department of traffic ever offered corrigible opinions involve in right of way, center of intersections adjudging hard and indirectly encouraged to accelerate left-turn vehicles. But all still lack quantification analysis. Therefore, this problem is worth studying.This study will aim at safe passage of oncoming straight and left-turn vehicles for at-grade signalized intersections. So, this study will be based on row's theory, theory of traffic conflicts, and take many factors into consideration, such as the width of the intersections, types of the intersections, center of the intersections, the size of the vehicles, the location of the vehicles, the radius of turn, paths of operation, the speed of the vehicles, the types of collisions, the angle of road, and also deduce formulas of coordinate of paths. The main method used in this research is the simulation of different situations. By the method, the analytic model of safe passage of oncoming straight and left-turn vehicles for at-grade signalized intersections will be established, and this study will also subsume critical speed of conflict and expected number of times of safe passage. Finally involved rules of safe passage will be proffered.

鉴於台湾都市地区路口对向直行左转车辆常遭受对向车辆不当驾驶行为干扰，因而道路交通主管机关曾针对路口对向直行左转相关道路交通法规可能产生之对向直行左转路权判断不易、路口中心处不易区分、间接鼓励路口转弯车加速左转等问题提出检讨之修正意见，唯整体考量仍缺少〝量化〞分析，系一值得研究之课题，因此，本研究将针对号志化平面路口对向直行左转车辆安全通行问题於法规层面上之特殊性，以交通冲突理论、路权理论为基础，并考量路口宽度、路口型式、路口中心处、车辆尺寸、转弯半径、运行轨迹、行驶速率、行车位置、最终碰撞型态、道路交角等因素，先行推导车辆行驶轨迹座标公式，再利用情境模拟分析法，进行号志化平面路口对向直行左转车辆安全通行分析，分析过程中则纳入冲突临界速率与安全通行期望次数理念，并根据路口对向左转车辆安全通行轨迹、速率集中分布范围之分析结果及相关理论，研拟号志化路口对向左转车辆安全通行轨迹、速率，及对向直行左转车辆路权判断原则，以供驾驶者路口直行左转安全通行之参考。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。