覆盖图

The paper summerizes several general pratical new techniques, such as the analyzers of program profiles, maximum potential parallelism, array privatizability, loop parallelism; the visualizers of the statement data dependence graph, procedural callgraph, loop iteration space graph and interactive tools of array privatization and unimodular transformation; the automatic techniques of array privatization combined data dependence and coverage, the computation of parallelizing unimodular transforming matrix for mult-nested loops, enhanced unimodular transformation with array reduction recognition, non-loop level parallelism revealing technique, dynamic dataflow analysis and optimization of cross-loop local cache reuses, etc.

本文从而概括了若干具有一般性的实用新技术，如：程序计算量分析、最大潜在并行性分析、数组私有化分析、循环并行性分析等动态程序分析技术；语句数据相关图、过程调用图、循环迭代空间相关图、交互数组私有化、交互幺模变换等可视化语义交互分析变换技术等等；总结了若干自动并行化新技术，如：结合相关和覆盖的数组私有化方法、对多层嵌套循环计算幺模并行化变换矩阵的循环幺模变换方法、结合数组规约识别增强幺模变换的技术、发掘非循环级并行性的技术、动态数据流分析技术、优化利用循环间Cache数据局部性的技术等等。

In this paper, the maximum graph packing and the minimum graph covering of two graphsD_1, D_2 with six vertices and eight edges and the 8-cycle C_8 are researched.

在统一的构作方法下，对于两个六点八边图所有可能的v和λ给出了相应的最大图填充和最小图覆盖的构造。

Thus, as fig.1 of red part, the base station common built nearby wire pole of roadside, office block, department store , and house ,etc., the signal cover with small-scale and limited area, through the exquisite phone terminal machine that can communicate any time in the coverage areas of base station.

由於 PHS 最适用於都会区，因此，如图一之红色部分所示，常见其基地台布建於路旁电线杆、办公大楼、及百货公司、住宅等地方，进行小规模、有限区域的讯号覆盖，透过精巧的电话终端机，就可在这些基地台覆盖范围内随时通话。

Based on model TGSC, the multi—layer temporal set covering diagnosis model MTGSC which describes multi—layer transitive relation of causation between disorders and manifestations.

第二章中，通过引入时态一致集合覆盖的概念，提出一个基于时态推理与覆盖技术的时态覆盖集诊断模型TGSC，TGSC利用模糊集描述有关征兆、故障及相互间的时态约束关系，采用基于假设图搜索的诊断问题求解方法。

Considering the equation of flow conservation, the problem of efficient monitoring is regarded as the problem of finding out the minimum weak vertex cover set and the minimum weak vertex cover set based on flow partition for a given graph G which are all proved NP-Complete.

考虑网络节点的流守恒特性，网络流量的有效监测问题可抽象为求给定图G的最小弱顶点覆盖集的问题和基于流划分的最小弱顶点覆盖集的问题，这是NP难的问题。

The problem of seeking monitor-nodes for measuring the network traffic is regarded as the problem of finding out the minimum weak vertex cover of a graph which is NP-hard.

摘要网络流量监测点问题可以抽象为图的最小弱顶点覆盖问题，而求解最小弱顶点覆盖问题是一个NP难题。

After that, a numerical model about Zhejiang shore tide is established by mike21 program. After validating the good agreement between simulated results and observed ones, the planar hydrodynamic flow of this ocean area is analysed in detail. Then co-tidal and co-range chart of each main tide is drew based on the computational result. It can be found that each co-tidal and co-range chart that is based on the simulated result is suitable to the co-tidal and co-range chart that is deduced from autoptical data, besides, the modle co-tidal and co-range chart can perfect the co-tidal and co-range chart from autoptical data where autoptical data is too hard to get .

在这之后，使用MIKE21水动力模块建立起浙江近海海域潮波模型，在模型潮位、潮流流速流向验证均合理的基础上，分析了计算得到的二维水动力流场，最后将模拟结果绘制出浙江近海M2、S2、N2、K1、O1主要分潮的同潮时图，并将其与实测同潮时图比较，发现各分潮等振幅线及同潮时线相同或相近值的等值线位置及走势基本一致，而且模拟得到的同潮时图对实测资料覆盖不到的海区做了适当补充。

The influence of SiO2, Fe2O3 on the thermal conductivity, melting point of risers covering flux were studied in the paper and the effect of dilative graphite on expansibility and heat-insulating property were also investigated. The high temperature microstructures and the thermal insulation mechanism were researched by scanning electron microscope.

在综合硅酸盐相图理论知识及大量国内外研究资料的基础上，着重研究SiO2、Fe2O3对保温冒口覆盖剂的导热系数、熔化温度的影响，以及膨胀石墨对冒口覆盖剂膨胀性和保温性能的影响，并利用扫描电镜分析了冒口覆盖剂高温烧结微观组织形貌及其保温机理。

On the basis of expanding virtual platform architecture and on the condition of about 40% performance loss, this tool realizes the test of object code coverage, the generation of branch graph, the reverse and prompt of branch, fault injection, trace export and etc which covers the two sides of object code verification.

该工具在扩展虚拟化平台体系结构的基础上，在损失大约40%性能的情况下，实现了目标码覆盖检测、分支图生成、分支反转与提示、故障条件注入和轨迹导出等功能，覆盖了目标码验证的两个方面。

Galvanized sheeting Base trim Galvanized gable sheeting angle Siphon groove to disperse water Mastic sealant on roof Corrugated ridge cap Self-drilling and self-tapping screws with preassembled neoprene washers with metal caps Oversize fasteners and extra screws Community freight reduces shipping cost Factory trained inventory of parts at jobsite Pre-marked parts for easier erection Anchor bolts plans, erection manual and construction drawings Factory Limited Warranty available upon request Full trim on door openings Eave, gable, and base closures

镀锌了覆盖的基本的修剪被镀锌的山墙覆盖的角度虹吸管凹线对分散剂水乳香树脂密封胶，并且自动攻丝螺杆与被预装配的氯丁胶洗衣机与金属加盖特大紧固件，并且额外螺丝公共货物减少零件运费工厂训练的存货在jobsite 前被标记的零件为更加容易的架设固定螺栓计划、架设指南和结构图工厂有限保证可利用的根据需要充分的修剪在门开头房檐、山墙和基本的关闭

Since historical times,England ,where the early inhabitants were Celts, has been conquered three times .

从有历史以来，英国，在此地早期居住的是凯尔特人，已经被征服了三次。

Bluetooth OBEX File Transfer Enables the sending and receiving of files on your phone via Bluetooth.

蓝牙OBEX文件移动允许经过蓝牙传送和接受文件。。。。