查询词典 paper-cutter

Based on paper [1] and [2], this paper gives two generating algorithms to calculate and output the special conjunctive normal forms and special disjunctive forms of given propositional formulas automatically and formally.

摘要在文[1]和文[2]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。

Thirdly, the paper analyses the dispensability of supervising the futures market economically, then the paper illustrate the dispensability of making the supervision in a decent degree and the method of grasping the decent degree of futures supervision.

最后，本文概括了中国期货市场监管体制的现状及存在的问题进行了分析，指出了中国期货市场监管应选择的模式及改进期货市场监管工作的具体思路。

But a great of such paper were vertical hung like this and that and the taste and quality of each paper were polymerized and stacked again and again with massive texture, large cubic, narrow distance and iterative layer made me an intuition of dispirit and indistinction, caused by that I got the title from the works of Jia Pingwa.

可许多张这样的纸如此这般地直立悬置在一起，每一张纸的质味在重复中叠加与聚合，粗砾的肌理、硕大的体量、逼仄的距离、往复的层次，让我生出颓败与困顿的直觉，这才借得贾平凹先生的书名来用。

This paper emphasized discussing safety-related control method and application device. The following several parts are the main content of this paper: 1、 Discussed the advantages and disadvantages of two kinds of Brake-by-Wire System, and chose Electro-Mechanical Brake system as research object. Established redundant disposure of hardware in Brake-by-Wire system.

本文着重讨论了线控制动系统与安全相关的控制方法和装置，其内容主要包括以下几个部分： 1、讨论了两种不同类型线控制动系统的优缺点，并选择电子机械式制动系统为研究对象，制定了线控制动系统的硬件冗余布置方案。

This paper will dissert the behavior of seeking medical help in the Tang Dynasty in five parts:The first part is"the introduction"which mainly introduces the origin of the topic selecting, the present researching situation of the medical problem in the Tang Dynasty, And the Source and the basic structure of the paper.

本文分为五个部分来论述唐代社会的求医行为：第一部分为"绪论"，主要介绍文章的选题缘起、学界关于唐代医疗问题的研究现状，以及文章的资料来源和研究的基本架构。

The paper systemetically investigates the hydrolic properties of the level swirling inner dissipator and the factors which influence on it by model test on the one hand, on the numerical simulation hand, the paper has simulated the swirling flow field in the level discharge tunnel with Anisotropic k-ε Turbulence Model by programming, in addition with Second-moment Renolds Stress Model by utilizing CFX software.

本文一方面通过模型试验的方法系统地研究了水平旋流内消能工流场的水力特性和影响因素；另一方面选取各向异性的K-ε模型和雷诺应力模型，分别用编程的方式和利用CFX软件数值模拟水平旋流泄洪洞内流场。

This paper analyzed data from multiple sources and different structures, concluded three types of info: Login info, Event info, and Packet data info, then created the formation for every type of data; In order to combine future possible new data, IDS using profile and formation string together, create and practice data formation standard algorithm; Because in the collected data, there is info that is redundant or has minor effect on the IDS, this paper discussed the rules of redundant data differentiating and safe data differentiating, Then create data filter rule base; Data collecting system uses distributivity design, collecting module like a black box. we can get data which was filterd and had standard formation, if we created a new model string for new data source. Module work individually; filter data right away at the collecting node.

本文分析了多种来源的、不同结构的数据，将其总结成登录信息、事件信息和网络数据包信息三种类型，并为每种类型的数据设计了固定的格式；为了与将来可能出现的新型数据兼容，采用了配置文件与模式字符串相结合的方法，设计并实现了数据格式标准化算法；由于收集到的数据中存在冗余的信息和对入侵检测影响不大的信息，本文分别讨论了冗余数据辨别规则和安全数据辨别规则，并建立起数据过滤规则库；数据收集系统采用分布式设计，收集器以黑盒形式提供，对新的数据源只需设计一个新的模式字符串，即可得到过滤后的、具有标准格式的数据，各收集器间独立工作；在收集点即对数据进行过滤，只向分析中心报告可疑数据，以减少传输和存储的数据量，降低对网络性能的影响。

From the practice of teaching, this paper explores the problems on poem teaching. Such as: Saying any thing all from books,grasping poem impractically and doctrinally,lacking the direction of methods on enjoying a poem,no training about writing,the fourth problem is only put forward. This paper analyses the causes and gives the tactics on the problems of the first three.

本文从教学实际出发，探讨了诗歌鉴赏教学中"吊书袋"的问题、整体把握的空洞与教条的问题、欣赏方法的指导的欠缺问题、诗歌写作尝试的空缺问题，对前三个问题分析了其产生的原因以及应对策略，对第四个问题只是提出而已。

The first part presents develops of predator-prey systems and gives the model that is investigated in our paper; Chapter 2 presents the results on boundedness of solutions and permanence of system; In chapter 3, we explicitly derive a domain of attraction for the positive equilibrium of system by using Liapunov method; The local stability and the conditions that Hopf bifurcation occurs are obtained in chapter 4; In chapter 5, some explicit fomulae of the direction of Hopf bifurcation and the stability of bifurcating periodic solutions on the center manifold are determined,using normal form and center manifold introduced by Hassard et al; In chapter 6, some numerical simulations are performed to illustrate the analytical results found; Our paper ends with a brief conclusion.

全文共分七章，第1章对捕食-食饵系统的发展背景做了介绍并给出了本文研究的模型；第2章讨论了系统的保持性和解的有界性；第3章研究正平衡点的全局性质，对正平衡点的吸引域进行了精确估计；第4章研究了系统的正平衡点的局部稳定性和Hopf分支存在的条件；第5章利用规范型和中心流形定理得到了一个决定Hopf分支方向、分支周期解的稳定性及其他性质的精确公式；第6章对一个具体模型进行了数值模拟；第7章对全文进行了总结。

Toavoid the shortages in the building of the FEA model, expecially for the analogue of materialnonlinearity, two methods are adopted in the paper, which are the double elements methodand the uniform element method, and the responses of the bridge model under gravity and thefull load are also studied in this paper.

本文采用国内常用的两种简化处理方法双单元法和统一理论法建立了模型，并且研究了桥体自重作用下和桥梁满载作用下的受力情况。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。