查询词典 inconsistent formal system

This paper first explores the relationship between the argument- as-product and argument-as-process; then it classifies the non-formal logic as formal-dialectical school and pragma-dialectical school; thirdly, it focuses on theoretical sources, basic characteristics and objects of non-formal logic, and finally it proposes the future directions of non-formal logic.

该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上，把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派，分析了非形式逻辑的理论来源、基本特征和研究对象，探讨了非形式逻辑的发展趋势。

Then, it studies the supply chain management system as a complex system to confirm the state existing during operating of the system. After that, it conducts a probability analysis on the state which the system located by applying supplement variable method, and establishes the model of distributed parameter system in a form of partial differential equations. Combining C0 ? semigroup theory in the functional analysis, it conducts a dynamic analysis on the established mathematical model. Using this method, it obtains the mathematical expression of the dynamic solution and the steady state solution, and proves the uniqueness, non-negativity and the asymptotic stability of the system solution. This dissertation applies the Matlab tool and uses two-step, three-step Simpson integral equation to imitate the condition of system solution. Then, it adds possible mode of failure and the optimization adjustment state to the system, based on which it has established the distributed parameter system model which is described by partial differential system of equations. Combining the functional analysis C0 ? semigroup theory, it studies the established mathematical model, and obtains the mathematical expression of the dynamic solution system and the steady state solution. It has proven the existing of uniqueness of the system solution, the asymptotic stability of system solution and the system solution. In addition, it has lying the theory rationale for further analysis and the research on the optimization of system.

本文首先简要综述了供应链理论、可靠性研究、鲁棒性研究以及供应链鲁棒性研究的现状；然后，将供应链系统作为一个复杂系统来分析，确定了系统运行过程中所经历的状态，通过引入补充变量的方法，建立了用偏微分方程组描述的分布参数系统模型，用泛函分析中的C_0 -半群理论得到了系统动态解和稳态解的数学表达式，证明了系统解存在的唯一性、非负性和指数阶渐近稳定性；并借助Matlab工具，利用二阶、三阶辛普森积分方程模拟系统解的性态，并给出系统动态解的仿真图；本文又对上述系统增加了系统可能失效状态和优化调整状态，并在此基础上建立了用偏微分方程组描述的分布参数系统模型，同样用泛函分析中的C_0 -半群理论对所建立的数学模型进行了研究，得到系统动态解和稳态解的数学表达式，证明了系统动态解存在的唯一性、非负性及渐近稳定性，为进一步分析和研究供应链优化奠定了理论基础。

Gdel's second incompleteness theorem can be stated as follows: For any formal effectively generated theory T including basic arithmetical truths and also certain truths about formal provability, T includes a statement of its own consistency if and only if T is inconsistent .

第二，他证明了，对于任意的数学系统，如果其中包含了算术系统的话，那么我们不能在这个系统内部证明它的一致性。这就是希尔伯特第二问题答案的一部分。

The following results are obtained:(1)a derivative formal context of an information system can be induced by the notion of nominal scale and the technique of plain scaling in formal concept analysis;(2)some core notions in rough set theory such as partition,upper and lower approximations,independence,dependence and reduct can be reinterpreted in derivative formal contexts.

利用形式概念分析中名义梯级背景的概念，对信息系统进行平面梯级得到了衍生的形式背景。证明了粗糙集理论中的划分、上下近似、独立、依赖、约简等核心概念都可以在相应的衍生背景中进行表示。

Seen from the perspective of legal anthropology, formal regulations, non-formal regulations and quasi-formal regulations constitute the regulation system in base-level countryside.

从法律人类学的视角考察，正式规范、非正式规范、准正式规范共同构成了基层农村的规范体系。

Because traditional finance subject utmostly canonize the rational selected mode and methodology which keep the form of the financial interest need of the enterprise and its stockholders and the network of their financial relationship out of its analytic area, so liking the mainstream economics, traditional finance subject can not offer trustworthy explains to many financial affairs and can not prescribe the right policy prescription to the important financial problems, either. As a result of the logistic and realistic errors in the traditional mode, it will have an important and practical meaning to bring the new system principle into the analytic area of the financial subject and to develop the financial theory. The main points of this dissertation are as follows: The financial affairs of an enterprise are not the inner actions of the individual firm, but the function of the financial network of stockholders, so we should use the limit of the affairs not the inner property or inner driving force to interpret the financial affairs of an enterprise, we should use the method of circuital analysis not of individual analysis to investigate the financial affairs of an enterprise; The financial affairs of an enterprise is a social behavior, it is involved in the social structure and is restricted by the social structure, so we should care for the social characters, social responsibilities and social effects of the financial affairs of an enterprise; The financial network of stockholders is composed of five phases as follows: the finance of external stockholders, the finance of the operator, the finance of function, the finance of subsection and the finance of the stuff, in which the finance of the operator is dominant; The operational intensity and efficiency of the financial network of stockholders are influenced by technical factor as well as institutional factor, in which institutional factor is the fundamental character of financial affairs. Ultimately the substance of the financial affairs is the arrangement and operation for the financial system by stockholders; The relationship between enterprise and its stockholders is cooperative and conflicting. The important mechanism to solve the financial conflict between stockholders is the construction of the financial system, including the formal and informal system construction. Information and faith are the important mechanism to coordinate the financial conflict between stockholders, so we should pay much attention to the research of formal and informal system.

本文的主要观点是：企业财务行为不是企业个体内部的行为，而是利益相关者财务网络行为，因此应当用对行为的结构限制而不是企业个体的内在属性或内在驱力来解释企业的财务行为，用网络分析的方法而不是个体分析的方法研究企业财务行为；企业财务行为是一种社会行为，它嵌入于社会结构之中，受企业财务所处的社会结构的限定，因此应当关注企业财务行为的社会性质、社会责任和社会后果；利益相关者财务网络内含外部利益相关者财务、经营者财务、职能财务、分部财务和员工财务五个层次，其中经营者财务在其中占据主导地位；利益相关者财务网络的运作强度与运作效率既受技术性因素的影响，又受制度性因素的影响，其中制度性是财务的根本属性，企业财务的实质说到底还是面向利益相关者的一种财务制度性的安排与运作；企业与利益相关者之间以及利益相关者相互之间的财务关系具有合作性与冲突性，化解利益相关者财务冲突的重要机制是财务性的制度建设，包括正式制度建设与非正式制度建设，信息和信任是协调利益相关者财务冲突的重要机制，因此应当高度关注财务的正式和非正式制度的研究。

Four basic processes are analyzed in detail in network security decision,which are the base of NSDSS security decision. Then, developing strategies and methods are analyzed according to the objective and task of the system. Antetype method with RAD speciality is chosen to lead the developing process of the system. The structure of "Four-Base and Seven-System" of NSDSS is decided, based on which, the Function and Structure of Man-Machine Conversation system, General Management system, Data Base system, Model and Method Base system, knowledge base system, Causing and solving problems system are discussed. The basic theories and methods of each part are discussed. In the designing process of Model Base System, detailed analysis is given to the models of prediction, evaluation and management in the course of security decision. Moreover, basic process and method are discussed on question generation and solution. Then, detailed explanation is provided on the integration and implement of the system. After that, it is suggested that implement of the system should be carried through the process of the system.

论文首先对NSDSS涉及到的相关知识进行了讨论，详细分析了网络安全决策中的四个基本过程，这是NSDSS进行安全决策的基础；随后依据系统的目标和任务，对系统的开发策略和方法进行了分析，选择具有RAD能力的原型法指导整个系统的开发过程；确定了NSDSS"四库七系统"的整体结构；在此基础上，分别探讨了人机对话系统、通用管理系统、数据库系统、模型库和方法库系统、知识库系统、问题生成和求解系统的功能和结构，对各部件的基本原理和实现方法进行了论述；在模型库系统的设计过程中，对安全决策过程中运用到的安全预测、安全评估、安全管理等模型进行了详细的分析；仔细探讨了问题生成和求解的基本过程和方法；较为详细地阐述了系统集成和实施的有关问题，面向系统的成功实现，提出了将系统实施贯串于整个系统开发过程中的思想。

In this thesis, how to study and apply of system of CRM based on Web are discussed. Firstly, we summarize the principle of CRM, beginning with the current research condition, and introduce the concept, features and management principle of CRM. Secondly, we illustrate the basic architecture of web-based CRM system to form the basis of the further research and propose the integration of CRM system to the front end of enterprise, namely, the study on the business process re-engineering of CRM system. Then we discuss the key technique knowledge on CRM system based on Web, which included the technology of system interface, system safety and the design of net framework. And explain the technology of web service is a good solution to the problem of system interface in the Internet and the advantage of the develop way based on the B/S pattern. According to an application of CRM system based on Web, this thesis explains how to set up a CRM system based on Web, which include the customer requirement, analyzing the business process, system framework and system safety. At last, this thesis puts forward the extensive foreground of the system of web-based CRM with the expanding of the web technology and explains that there are some questions are to be resolve stilly in this thesis.

本文的研究内容首先从客户关系管理的研究现状出发，对客户关系管理加以概述，阐述CRM系统概念、系统特点和核心管理思想；并阐明了基于Web的CRM系统的基本架构为进一步的研究作铺垫，提出CRM系统对企业前端的整合，即对CRM系统的业务流程重构的研究；接下来说明基于Web的CRM系统开发的关键技术，包括系统体系结构的选择，系统接口以及系统安全三方面的技术要求，具体说明了B/S模式的原理及优点，Web Service是解决基于B/S模式系统的接口问题的最好方案；然后以一个销售管理CRM系统为例，说明如何构建一个基于Web的CRM系统，包括了系统设计要求、系统实现、系统功能框架和系统安全机制；最后根据当前通信和网络技术的发展，展望基于Web的CRM系统应用的广泛前景，并对在本文研究中还存在需要改进的地方进行了探讨。

This article tinselly explains the connotation of commercial bank" s system, describes Marxian and the new system economics, puts forwards the definition essential function and target of the commercial bank" s system on the theory Of the system and its vicissitude; Secondly, summarizes of historic analysis puts forwards the features of both system and theory for the three period in the historic vicissitude, and the instructive node of vicesitudesystem of the theory of it synthetic bank system" s vicissitude with the force of market and nation;Thirdly, illustrates the identity and difference of the commercial bank" s system through the horizontal analysis for its system; Finally , according to china" s reality , analyses the processes of the Chinese commercial bank" s system , the synthetic tendency of the vicissitude of realistic bank" s system and the reason for synthesis , puts forwards it synthetic mode of the Chinese commercial bank"s system and the specific request and content of the creation of commercial bank" s system , providing the reference for the reform of the Chinese commercial bank" s system.

本文首先阐述了商业银行制度的内涵，描述了马克思主义理论及新制度经济学关于制度及制度变迁的理论论述。提出了商业银行制度的定义、构成、基本功能与目标。其次，用历史的分析方法对商业银行制度进行了总结，论述了商业银行制度历史变迁中三个阶段的制度特征及理论特征，提出了由市场力量和国家力量共同主导下的综合银行制度变迁的理论特征及引导性制度变迁模式。再次对商业银行制度做了横向的比较分析，论述了商业银行制度的趋同性和差异性。最后根据中国的实际情况，分析了中国商业银行制度的历史变迁过程和现实银行制度变迁的综合化趋向及动因，提出了中国商业银行制度综合化的模式及商业银行制度的具体要求和内容，为中国的商业银行制度改革提供参考。

Film or paper surface dirty, and wrapped it into the dust or clear plastic mulch films after the crease or relaxation phenomena, film hemming switched to a new membrane drying temperature is too high, adhesive surface crust adjust oven temperature, clear crusts partⅱ thermotolerance cohesion and not enough use better glue wrinkle of polymer-coated film transfer after the roll is not the proper balance of films at both ends are inconsistent or wave; adjustment layer of polymer-coated machine too thick, solvent evaporation incomplete, viscosity, pressure drum extrusion, paper (Business card printing and membership card making products) and films between slide to adjust the film covering technology electrothermic roll and rubber roller ends is not plain, pressure is inconsistent, ranging from the adjustment of the linear speed of the machine after the temperature inside the plastic mulch film covering the subject in yellow glue resin particularly resin or additives not resistant to ageing, in the light, heat, under the influence of ultraviolet radiation, chemical change, build the pigments should be switched to a new glue

薄膜或纸张表面不干净，裹入灰尘或杂质清除后再行覆膜薄膜有折皱或松驰现象，薄膜卷边换用新膜干燥温度过高，粘合剂表面结皮调整烘道温度，清除结皮胶的粘接力和耐热性不够换用更好的胶水覆膜后起皱薄膜传送辊是否不平衡；薄膜两端松紧不一致或波浪边；调整覆膜机器胶层过厚，溶剂蒸发不彻底，影响了粘度，受压力滚筒挤压，纸张与薄膜之间产生滑动调整覆膜工艺电热辊与橡胶辊两端不平、压力不一致、线速度不等调整覆膜机器覆膜后易变黄胶水中的主体树脂特别是一些增粘树脂或助剂不耐老化，在光、热、紫外线的影响下，发生化学变化，生成有色物质应换用新胶水

A historical region of southwest France between the Pyrenees and the Garonne River. The duchy of Aquitaine was joined with France after the marriage of Eleanor of Aquitaine to King Louis VII in1137, but its possession was disputed after her subsequent marriage to Henry II of England.

阿基坦法国西南部一个历史地区，位于比利牛斯山和加隆河之间，在1137年阿基坦的埃莉诺与国王路易斯七世结婚之后阿基坦公国加入法国，但当她再嫁英国亨利二世后，其归属权便受到争议

There are moments when I look at the smiling , happy faces of my expectant staff and wonder how they will cope when confronted by an outraged housemaster along with an unrepentant and recalcitrant bleached blond teenager in 18 years ' time .

有时候，我看着那些满怀期待的员工微笑，幸福的脸，想着当他们遇到一位愤怒的宿舍管理员和一位不知悔改，叛逆，而且将头发染成白色的18岁少年时，他们会如何处理。