可解决的

While the concept of reducibility was studied by other researchers as well, it appears that the idea of discharging, crucial for the unavoidability part of the proof, is due to Heesch, and that it was he who conjectured that a suitable development of this method would solve the Four Color Problem.

可约性观念也是从其他研究中学来的，它也发现了输出，在不可避免的证明的部分中非常重要，这应该归功于西斯奇，那也是他猜测出的一个适当的发展出解决四色定理问题的解决方法。

The powerful function of a new computer language MATLAB, produced by the America Mathworks company, is the mathematical software system for the calculation in science engineering. It can efficiently solve problems in science and engineering such as numerical linear hypercomplex system, digital approximation, optimization, numerical quadrature etc. It also has characters of beautiful interface and convenience for users.

MATLAB是Mathworks公司推出的适用於科学和工程计算的数学软件系统，可高效地解决数值线性代数、微分方程数值解、数值逼近、最优化、数值积分等科学和工程问题，且具有可视化图形处理、使用方便、开放式多功能於一体的新一代计算机语言。

The cognition of pure object is to solve all problems of its hypothetical object thoroughly. However, the solutions to the problems are not merely depended on the pure construction. Instead, it is necessary to design the improvable solutions to control the problems related to the properties of object and its relationships with others.

对纯粹性对象的把握目的在于从根本上解决原始经验性对象所带有问题，这些问题的解决不能单纯依赖"理想性建构"的平台所提供的支持性帮助，而必须针对对象的本质属性和之间的关系设计可持续改进的控制方案。

The SVG can thoroughly meet the Web developer's appeal to vector graphic which is dynamic,scalable and platform independent,and is a resolvent to the bandwidth which is seriously insufficient at this time,and it undoubtedly brings extremely facilitating for physiography worker to the spatial data's release,exchange and representation.

SVG能够彻底满足Web开发者对动态、可缩放和与平台无关的矢量图形的要求，是解决目前网络带宽严重不足的一种有效的解决方案，对地学工作者来说无疑给空间数据的发布、交换、表达带来了极大的便利。

Powder Mill is a high-pressure resistant equipment company technical experts in the many years of research based on the industrial mills, drawing on the fineness of Germany and Japan advanced classification technology, according to fluid mechanics, devoted themselves to developing out with Jet Mill powder mill efficiency comparable to solve the domestic use of the high cost of jet mill problem, solve the ultrafine classification difficulties.

商品简介：高压微粉磨粉机是我公司耐磨设备技术专家在多年的研究工业磨粉机的基础上，吸取了德日先进的细度分级技术，根据流体力学原理，潜心研制出的可与气流磨相媲美的高效微粉磨机，从而解决了国内采用气流磨成本高的难题，解决了超细粉分级难关。

To solve the problems in adjusting and controlling shapes of developable surfaces, following the important idea of duality between points and planes in 3D projective space, two direct explicit and efficient methods of computer aided design for developable surfaces are proposed.

为了解决工程中可展曲面位置与形状难以调整和控制的问题，基于3D射影空间中点和平面间的对偶性这一重要思想，提出了2种直接、简单有效的可展曲面设计新方法。

But for resolving the problem that enterprise comes across in developing conscientiously, make use of taking the oil pole out receiving a hoop expecting that the device realizes automation ejection of compact on turning, can realize the semi-automatization taking the oil pole out receiving a hoop giving birth to a child, to resolve the problem that enterprise comes across in procedure of production by digital control-rization engine lathe make over and pneumatic tail seat composition work tip sigmatism.

为了切实解决企业发展中遇到的问题，可利用抽油杆接箍车削上料装置实现自动出料，通过普通车床的数控化改造和气动尾座的配合活顶尖的使用，可以实现抽油杆接箍的半自动化生产，以解决企业在生产过程中遇到的问题。

In the meantime, this net is a network can accuse to be able to be in charge of offerred effective solution, have powerful superintendency capacity.

同时，该网为网络的可控可管提供了有效的解决方案，具有强大的监管能力。

To provide customers the solution they need, United Devices tackled the complex security, scalability and unobtrusiveness issues required for a superior enterprise grid, while building towards the open standards of the GGF.

为了能向顾客提供所需的解决方法，UD在建立面向GGF的开放标准的同时，解决了高级企业网格所需求的复杂的安全、可测量性和不可见的事件问题。

But if any of Francisco Suárez's works may be called classical it is the last-named, which discusses in four volumes the whole subject "De religione" Within the whole range of "religio", including its notion and relative position, its various acts and practices, as prayers, vows, oaths, etc., the sins against it, there can hardly be found a dogmatic or casuistic question that has not been either solved or whose solution has not at least been attempted.

但如果其中任何弗朗西斯科苏亚雷斯的作品，可称为经典，这是最后的命名，其中讨论了在4卷，整个主题为&德religione &整系列的& religio &，包括它的概念和相对位置，它的各种行为和作法，祈祷，发誓，宣誓等，对捷联惯导系统，有难以发现的教条或诡辩的问题没有得到任何解决，或其解决方案已经不能至少尝试过。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。