分析工具

Nessus is a robust vulnerability scanner that well suited for large enterprise network.

本文对基于网络的漏洞审计工具Nessus的相关技术、扫描策略以及工作原理等进行了深入地分析与研究。

Formalize the base conception and property of Function Net, and describe the fundamental structure of it.

针对传统技术的局限性，提出了工作流环境，工作流运行的全局限制和相关限制的概念和定义，形式化描述了全局限制和相关限制图，并借助时间分割概念，以功能网为工具进行分析和推导，提出工作流执行的正确性保证准则，并证明了准则的正确性。

Thirdly, the paper emphatically discusses the role of revenue-sharing contract in the coordination mechanism, which lucubrates this contract by standard newsvendor model in three situations about demand which are stochastic demand, price-sensitive demand, retailer sale-effort dependent demand, and the research result indicates the revenue-sharing contract is a well-behaved cooperation tool and could improve the performance of supply chain.

第三，着重讨论了利益共享契约在供应链协调中的作用，借助于标准的报童模型在三种不同情况下对该契约进行了深入地分析：销售商面临随机的市场需求；需求具有价格敏感性；销售商努力水平影响需求变化，结果表明该契约是一个相对较好的协调工具，可以有效地改善供应链的绩效。

In this paper,innovation is:1:We would like to provide a more comprehensive and thorough analysis of the noncallable convertible bonds.

本文的创新点是：1：分析的框架是基于带反射的倒向随机微分方程这个工具。

Natural meaning and nonnatural meaning; utterer's meaning, sentence-meaning and word-meaning ;utterer's meaning and intention .

他借助逻辑分析这种形式化的工具，系统地研究了多种类别的意义：自然意义与非自然意义；词汇意义、句子意义与说话人的意义；说话人的意义与意图。

With the help of the mathematical logic, he distinguished the differences among the types of meaning , i.e. natural meaning and nonnatural meaning; utterer"s meaning, sentence-meaning and word-meaning ;utterer"s meaning and intention .

他借助逻辑分析这种形式化的工具，系统地研究了多种类别的意义：自然意义与非自然意义；词汇意义、句子意义与说话人的意义；说话人的意义与意图。

A numerical analytic system based on the real three-dimensional geometry structure and powerful commercial software such as ...

数值试验的结果表明，本文所建立的数值分析平台对燃烧室的设计优化提供了一个实用的工具。

Such being the case, it is greatly necessary to introduce a set of operatively value system to assist enterprise to fulfill t

通过研究发现经济附加值价值模型是目前国际上比较成熟的、能帮助企业实现价值创造的重要工具，因此本文通过研究分析经济附加值模型在实践中的运用，以寻求帮助国内企业建立价值导向的管理方法。

Therefore, it can put forward the course cultural research gradually from the research model of organon to ontology.

社会主导文化由伦理文化与理性文化经由科技理性文化转向多元文化，使得世界各国教育改革/课程改革大多以文化视角分析教育问题、突出信息素养的提升，进一步推动课程文化研究由工具论的研究范式逐渐转向本体论的研究范式。

Through the analytical contrast between Hongfan in Shangshu and Categories in Organon, this article makes a probe into the differences of thinking methods between China and West, especially the regulations of inference and the foundation of Categories.

本文通过对《尚书·洪范》和《工具论·范畴篇》的对比分析，探讨了中西思维形式、尤其是其推衍规则及其范畴基础之间的差异。

And Pharaoh spoke to Joseph, saying, Your father and your brothers have come to you.

47：5 法老对约瑟说，你父亲和你弟兄们到你这里来了。

Additionally, the approximate flattening of surface strip using lines linking midpoints on perpendicular lines between geodesic curves and the unconditional extreme value method are discussed.

提出了用测地线方程、曲面上两点间短程线来计算膜结构曲面测地线的方法，同时，采用测地线间垂线的中点连线和用无约束极值法进行空间条状曲面近似展开的分析。