查询词典 verification

Correctness verification and time complexity verification are theoretically given for completely described Boolean function matching algorithm of BOSC method.

对BOSC方法的完全描述布尔函数的匹配算法给出了理论证明和时间复杂性证明。

The compilatory method is used to study the grammar check, and the logic ruler method is presented; On the interference verification, the rapid algorithm of over—cut verification is presented, which can pre—verify multiple NC blocks.

采用编译理论对语法检查进行了研究，给出了零件程序的词法检查状态图，并提出了新的采用逻辑尺的语法检查方法；干涉校验方面，提出了一种新的过切削的快速校验算法，可以实时预校验多个零件程序段，提高了校验能力。

Formalization verification of service composition based on Process Algebra and Discrete Time Ambient-Calculus, as well as combinatorial optimization and the partition method based on QoS mathematic model are deeply studied. The service composition architecture supporting formalization verification and QoS-aware composition has been also implemented. Furthermore, the architecture is applied to digital cartoon cooperation manufacturing in the Internet.

为实现动态的跨企业业务协作与集成，本文围绕服务组合行为的正确性检验以及服务质量保证这二个正交的性质，深入研究了基于进程代数Pi演算及离散时间Ambient演算的服务组合形式化检验，以及基于QoS数学模型进行精确计算的服务组合优化与划分方法。

Article 44 Unit which receives or keeps the invoice counterfoil shall, within 15days after receiving the "verification card for filling in the invoice situation" from the tax authorities, fill in the related situation and return it to the department concerned, the pattern of the "verification card for filling in the invoice situation" shall be determined by the State Administration of Taxation.

第四十四条收执发票或保管发票存根联的单位，接到税务机关"发票填写情况核对卡"后，应在十五日内填写有关情况报回。"发票填写情况核对卡"的式样由国家税务总局确定。

A model verification algorithm based on DTMA and the subset of DTMA modal logic is devised, and the decidability of the model verification is proved.

对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。

According to this method, on the basis of ontology, the requirement of dynamic revising service cases and the description of revision operator are presented under the same circumstance, and the capacity of revision operator can be described with two respects of interaction environment and changes. Furthermore, the model of resource states transition graph is presented to realize the transition from the description of the capacity of revision operator to the resource states of revision operator. Finally, a verification method concerning the dynamic revision of service cases is presented to improve the revision and verification automatically.

将动态调整需求和调整运算子的描述统一在它们共同的环境的基础之上；并建立了调整运算子的交互环境本体，在本体的基础上，从调整运算子交互的环境以及调整导致的环境的改变两个方面描述调整运算子的能力；提出调整运算子能力的资源状态变迁图模型，实现了从调整运算子能力描述到调整运算子的资源状态变迁图模型的转换；还较为系统地提出了与基于范例推理服务组合相关的范例动态调整的验证方法，提高了服务范例调整和验证的自动化程度。

Metering application for review of assessment standards: measurement standard assessment the original of the application; standard measurement of the original assessment certificate; evaluation standard measurement certificate is valid within the standard set measurement device and the main equipment of a copy of the certificate; returns to replace the standard measurement; measurement Standard in the near future to carry out verification / calibration of the original records and test / calibration copy of the certificate; stability of the measurement standard evaluation copy of the record; measurement standard measurement repeatability evaluation copy of the record; measurement standards in the two-cycle test run between the inspection or verification Test copies of the records.

申请计量标准复查考核：计量标准考核申请书原件；计量标准考核证书原件；计量标准考核证书有效期内标准器及主要配套计量设备的检定证书复印件；计量标准更换申报表；计量标准近期开展检定/校准的原始记录和检定/校准证书复印件；计量标准稳定性考核记录复印件；计量标准测量重复性考核记录复印件；计量标准器在两周期检定之间进行运行检查或验证比对试验记录复印件。4。

Its contents of the storehouse and the verification includes ninety - five percent of the agrometeorological observation and the a-grometeorological verification contents, and it increased the function of correlation verification and the radices calculating and established the database of agrometeorological data, it build...

建库内容和审核内容盖含了农气观测和农气审核95％的内容，增加了相关审核功能和基数计算功能。同时建立了农业气象资料数据库，为以后农业气象服务打下一个良好的基础。本系统是1999年研制，2000年试运行，现已投入业务运行。

The province's 65 counties completed the second national land survey data verification work in rural areas, accounting for 74% of the province the amount of verification; completed the three-dimensional system of Zhangye City Land Reserve building and zoning map satellite image production tasks, for the high-profile, Sunan , Sandan, folk music has established cadastral management system; completion of Lanzhou, Dunhuang, urn, cooperation, Pingliang, Guazhou, Jiuquan Iron and Steel Group and other cadastral survey 4680 square kilometers and a database-building; complete summary of Tianshui City, land survey tasks; for the prevention and control of geological disasters in the investigation of the basis of digital surveying and mapping results, actively cooperate with the focus on prevention and control of geological disasters in the works carried out; and the City, State Land Resources Bureau, has completed a Lanzhou, Tianshui, Dingxi, Pingliang, Wuwei, Jinchang, Zhangye, Jiuquan City, and Linxia 8 , Gannan mining rights for more than two states the size of the verification mission control surveying, mapping high-grade GPS control points 1940, covering an area of 128.4 thousand square kilometers.

完成了全省65个县区第二次全国农村土地调查数据核查工作，占全省核查量的74%；完成了张掖市国土储备三维系统建设及卫星影像区划图制作任务，为高台、肃南、山丹、民乐建立了地籍管理系统；完成了兰州、敦煌、金塔、合作、平凉、瓜州、酒泉钢铁集团等地籍测量调查4680平方公里和数据库建设；完成了天水市土地调查汇总任务；为地质灾害调查防治提供数字化基础测绘成果，积极配合重点地质灾害防治工程的开展；与市州国土资源局合作，完成了兰州、天水、定西、平凉、武威、金昌、张掖、酒泉八市和临夏、甘南两州的规模以上矿业权核查控制测量任务，测绘高等级GPS控制点1940座，覆盖面积128400平方公里。

As to the first research topic, we present a 'Noble Brand Positioning Four Master Phases Theory': Brand Space Theory, Brand Capital Theory, Brand Value Theory and Brand Circle Theory in advance. Following based on the Principal Component Analysis of statistical theory, we implemented the quantitative research in the 'Noble Brand Positioning Four Master Phases Theory'. We used the most famous fast food brand 'McDonald' s' as the sample space. The simulation test result shows that the Overall Index Explanatory Power is 83% under the Cronbath' s a is 0.88 through the quantitative verification. This result gives a strong support in defining the Noble Four Niche Phases Theory as the important strategic factor in establishing brand positioning index. After completing the quantitative research, the Principal Weight of each Sub-Niche is positive. This also implies that the Noble Brand Positioning Four master Phases Theory represents positive affection to brand positioning index. We also created the following Sub-Niches those are rarely mentioned in the past literatures. The Sub-Niches are:'Endless Running Strategy, Business Environment Strategy, Physical Capital Strategy, Brand Logo, Brand Music, Business Life Strategy, Personnel Capital Strategy, Life Cycle Strategy, Trust Mask Strategy, Re-Positioning Strategy, Word-Power Strategy, Globalization Strategy, Network Revolution Strategy and Green Brand Strategy'. The quantitative verification model can classify the responses of the sampling space into groups. After that, we used the quantitative verification process to classify the Target Consumer. And through the Principal Component Analysis, the group that owns the biggest average value consists of the Master Target Consumers for the business. This result would become the best suggestion for the business to adjust its strategies and to upgrade the productivity efficiency and create higher profit. As to the second research topic, we focused on finding the best corresponding characteristics attributes of the Brand Music for the Brand Log.

针对第一个研究主题，本文首先提出了一种创新性的品牌定位利基理论（A New Brand Positioning Niche Phase Theory）；品牌空间论，品牌资本论，品牌价值论与品牌循环论，接着本文以统计理论的主成份分析方法针对本文所提的创新性的品牌定位利基理论进行量化研究，本文以快餐业中知名品牌麦当劳作为样本空间，由量化验证的结果显示在信度分析Cronbatch's α为0.88之下其总指标解释力（Overall Index Explanatory Power）为83％，验证本文所提的创新性的品牌定位利基理论是构建品牌定位的重要策略因素，同时经由量化分析结果每项主成分权重值皆为正值更验证了本文所提的企业创新性的品牌定位利基理论与品牌定位指标呈现正相关：同时本文所提出次利基：'永续经营策略、企业环境策略、实体资本策略、企业生命策略、品牌标志策略、品牌音乐策略、人际资本策略、生命周期策略、信任标志策略、重新定位策略、文字威力策略、放眼全球策略、网络革命策略与绿色品牌策略'更是其它文献所未提及的：本文量化验证模式更可将样本空间中的responses分类群组，然后量化验证以界定目标市场，经由分析结果显示，其中具最大主成份百分位序均值者所属群组，即为企业中的主力消费群，提供企业决策者参考，进而调整其企业策略，而为企业提升生产效率创造更大的利润。

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文件移动允许经过蓝牙传送和接受文件。。。。