当前位置：文档库 › Formal Verification

Formal Verification

Verification vs. Simulation

2)1(22++=+x x x …

…

992441110X 2+2X+1

(X+1)2

X ….

…XX=X 2

5(X+1)X=XX+1X

4(X+1)1=X+1

3(X+1)(X+1)=(X+1)X+(X+1)1

2(X+1)2=(X+1)(X+1)

Simulation

010011111000010101100101

010011111000010101

100101010011

111000

010101

100101010011

111000010101100101010011111000010101100101010011111000010101100101

010011111000010101100101010011111000010101100101010011111000010101100101

010011

111000010101100101

010011111000010101100101010011111000010101100101impossible to be exhaustive …

010011111000010101100101

10 states

100,000

10 stars

Exhaustive Simulation Time

?Design: a 256-bit RAM.

?2256 = 1080possible combinations of initial states and inputs ?Assume:

Use all matter in our galaxy (1017 kg) to build computers.

Each computer is of the size of single electron (10-30kg).

Each computer simulates 1012cases per second.

we started at the time of the Big Bang about 1010 years ago ?→We would just have reached the 0.05% mark of completing our task

Finding Bugs by Simulation

Finding Errors

?Reminder:

~ 70% of project development cycle: design

verification

Every approach to reduce this time has a considerable

influence on economic success of a product.

Time-to-Market

For a high-end microprocessor, a delay of one week = a revenue of at least $20M [1]

[1] Kropf, T., Introduction to Formal Hardware Verification,

Springer, 1999.

Detecting Design Faults

?To check the new implementation for functional correctness, we need:

1. a reference description:

either a specification

or a previous “golden” implementation.

2. a new implementation, resulting from

a refinement (synthesis) of the specification

or an optimization of the reference implementation.

3. a correctness relation which has to be established

between the two specifications

(e.g. behavioral correctness).

Hardware Verification ?Definition: Hardware verification

is the proof that a circuit or a system (the

implementation) behaves according to a given set of

requirements (the specification).

?Formal verification

uses mathematical reasoning to prove that an implementation satisfies a specification ?Consideration of all cases is implicit in formal verification.

Formal Verification Funct. Spec

RTL

Logic Synth.

Gate-level Net.

Floorplanning

….

Simulation vs. FV

?FV uses extensive memory and long run time ?→Applicable to moderate-size circuits

(e.g. blocks or modules)

Formal Verification Methods

?Equivalence Checking

Compares optimized/synthesized model against original model

?Model Checking

Checks if a model satisfies a given property

?Theorem Proving

Proves implementation is equivalent to specification in some formalism

What is Model Checking?

?Model Checking (Property Checking):

An automatic technique for verifying finite-state reactive systems, (such as sequential digital circuits or communication protocols).

A reactive FSM is an FSM whose inputs come from the environment.

For checking that a desired property holds in a finite state model of a system

Was pioneered by Edmund Clarke, professor in the CS Dept of CMU, in 1981

(E.M. Clarke and E.A. Emerson. "Synthesis of Synchronization Skeletons for Branching Time

Temporal Logic", in Logic of Programs workshop, Yorktown Heights, NY, May 1981.).

reference: Lectures by Karsten Schmidt, Dong Wang Sergey Berezin,

What is Model Checking? (cont.)

?Relies on exhaustive state space search.

exhaustive state space search is guaranteed to terminate, as the model is finite.

?Major challenge:

To fight state-explosion problem

?Can uncover subtle design errors

?Can handle large state spaces (10^120)

?Quicker to start testing

as it does not require vectors or a testbench.?Successfully used to find bugs in published standards

What is Model Checking? (cont.)

Typically used during RTL code development to debug the RTL model prior to synthesis.

Used concurrently with and/or prior to simulation.

FormalCheck is the name of Cadence’s Model Checking tool. Currently the dominant formal verification tool.

How does Model Checking work?

System Finite State

Model

Model Checker

Properties

meets

or not

Model Checking Output Space

Simulation-based verification

: Design Points verified

Model-based verification

: Properties verified

?Sim-based:checks one output point at a time,?FV:checks a group of output points at time.

?Idea:Search the entire state space for important points: (i.e. points that fail the property)

Process of Model Checking ?Modeling:

convert a design (hardware or software) into a formalism accepted by a model checker ?Specification:

to state the properties as golden behavior

use temporal logic to assert how the behavior of the system evolves over time

?Verification:

automatic process

Reference: J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, “Sequential circuit verification using symbolic

model checking”, Proc. 27th ACM/IEEE Design Automation Conf., June 1990.

Classification of property specification

?Functional correctness:

Does the encoder correctly encode?

Does the multiplier multiply?

?Temporal behavior:

Does the bus master start the bus access in 6 clocks after it is granted?

?Safety properties:

At a traffic intersection, are the traffic lights for both paths green?

Does the elevator door only open after the elevator has come to a complete standstill at some floor?

?Liveness properties:

Does the traffic light become green eventually?

?Fairness properties :

Is every requesting master eventually granted by the bus arbiter

照片常见标准尺寸大全

照片常见标准尺寸大全小一寸 2.6×3.2cm 一寸2.5×3.5(厘米) ; 大一寸3.3×4.8(厘米) 二寸3.5×4.9(厘米) ; 小二寸3.5×4.5(厘米) ; 大二寸3.5×5.3(厘米) 身份证大头照 3.3*2.2 390*260 2寸 3.5*5.3cm 626*413 小2寸（护照）4.8*3.3cm 567*390 5 寸5x3.5 12.7*8.9 1200x840以上100万像素 6 寸6x4 15.2*10.2 1440x960以上130万像素 7 寸7x5 17.8*12.7 1680x1200以上200万像素 8 寸8x6 20.3*15.2 1920x1440以上300万像素10寸10x8 25.4*20.3 2400x1920以上400万像素 12寸12x10 30.5*20.3 2500x2000以上500万像素 15寸15x10 38.1*25.4 3000x2000 600万像素常见证件照对应尺寸 1英寸25mm×35mm 2英寸35mm×49mm 3英寸35mm×52mm

港澳通行证33mm×48mm 赴美签证50mm×50mm 日本签证45mm×45mm 大二寸35mm×45mm 护照33mm×48mm 毕业生照33mm×48mm 身份证22mm×32mm 驾照21mm×26mm 车照60mm×91mm 照片尺寸与打印尺寸之对照（分辨率：300dpi ）照片尺寸（英寸）打印尺寸（厘米）10x15 25.4x38.1 10x12 25.4x30.5 8x10 20.3x25.4 6x8 15.2x20.3 5x8 12.7x20.3 5x7 12.7x17.7 4x6 10.1x15.2

照片尺寸对照表

数码照片尺寸对照表版本一冲洗照片的图片尺寸： 1英寸证明照的尺寸应为3．6×2．7厘米； 2英寸证明照的尺寸应是3．5×4．5厘米； 5英寸（最常见的照片大小）尺寸应为12．7×8．9厘米； 6英寸（国际上比较通用的照片大小）尺寸是15．2×10．2厘米； 7英寸（放大）照片的尺寸是17．8×12．7厘米； 12英寸照片的尺寸是30．5×25．4厘米; (4D照片的尺寸是4.5×6寸) 正常的误差应该在1～2毫米左右; 冲洗照片的分辨率300. 数码相机和可冲印照片最大尺寸对照表： 500万像素有效4915200，像素2560X1920。可冲洗照片尺寸17X13，对角线21英寸 400万像素有效3871488，像素2272X1704。可冲洗照片尺寸15X11，对角线19英寸 300万像素有效3145728，像素2048X1536。可冲洗照片尺寸14X10，对角线17英寸 200万像素有效1920000，像素1600X1200。可冲洗照片尺寸11X8，对角线13英寸 130万像素有效1228800，像素1280X960。可冲洗照片尺寸9X6，对角线11英寸080万像素有效786432，像素1024X768。可冲洗照片尺寸7X5，对角线9英寸050万像素有效480000，像素800X600。可冲洗照片尺寸5X4，对角线7英寸030万像素有效307200，像素640X480。可冲洗照片尺寸4X3，对角线5英寸由上表可以看出： 5寸照片（3X5），采用800X600分辨率 6寸照片（4X6），采用1024X768分辨率 7寸照片（5X7），采用1024X768分辨率 8寸照片（6X9），采用1280X960分辨率 ----------------------------------------------------------------------------------------------------------------- 版本二 1英寸25mm×35mm 2英寸35mm×49mm

建筑行业通用英文缩写及含义

————————————————————————————————作者: ————————————————————————————————日期:

常用的英语缩写（AＢＢRＥVIATIOＮS) 构件篇英语缩写中文翻译COLUMN 柱子 POST 从梁上升起的柱子BAＳＥPLATE 底板 CAP PLATE 顶板 CＯVER PLＡTＥ盖板ＥND PLATE 封板,短板 SEAL PＬAＴE 封板 SHEAR ＰLＡＴE 剪切板 COＮＮECTＩON PLATE 连接板 GIRＤER 主梁ＢEAM 梁/次梁ＳECONDARY BEAM 次梁 JOIＳT GIRDEＲ主桁架ＪＯISＴ次桁架ＢＲＡCE 支撑ＬIＮTＥＬ过梁ＭISC 杂件ＥＭBED PALTE 预埋板件 AＮCＨＯR BOLT 地脚螺栓 FRAMＥ钢架 RAＩLＩNＧ扶手 STAIR 楼梯 RC WALL 混凝土墙 BRＡCＫET 马仔ＰAＲT/TＹP ＰARＴ零件 ASSY 组合件CANOPY 雨棚 CATWAＬK 猫道 LＡDDER 爬梯ＰURLIＮ檩条ＦISH PＬATE 结合板 HＯＩSＴＢＥAM 起吊运输梁 BUＩLＴ－ＵP ＳECTIＯN 组合截面ＢEARINGＰLATE 支撑板ＣANTIＬEVＥRＢEAＭ悬臂梁/挑梁ＣRANE GIＲDER 吊车梁 CROSS BEAＭ井字梁

GＩRT 抗风梁 RINＧBＥＡＭ圈梁 DIAＰHRＡGM 横隔板ＳTIFFENER／ＳTIFF 加劲板/肋 GＵＳＳＥT ＰＬAＴＥ节点板 HＡNGEＲ吊杆／吊环GRIＰ夹具／卡子ＴIE BAR 拉结钢筋ＴIＥBEＡＭ系梁 TＩＥTOD 系杆 TＩＥROＤ系杆FLANGE 翼缘/法兰WEＢＰLATＥ/WＥB 腹板图纸/版本篇 DＥSＩGN ＤRＡWINＧ设计图SHOP DRAＷING 施工图/详图FABRＩＣAＴION DRAWＩNＧ加工图 ARCＨITＥCTＵRＥ建筑图ＡS-BUＩＬT DＲAWING 竣工图 FＯR APPRＯＶAL 审批ＦOR FＡB加工UPDATE 更新ＦOR FIELＤUSED 现场使用材料篇 SHS(SＱUARE HOLLOW SECＴION）方通/方管RHS（RＥＣTＡNＧLE HOＬLOW ＳEＣＴIOＮ) 矩形管 CＨS(CIRCULAR ＨOＬLOW SＥＣＴIOＮ）圆管/喉管GMS( ＧAＬＶMILＤSTEEＬ) 低碳钢 RSC（RＯLLＥＤSTEEL CＨANＮＥL) 槽钢 RSA（ＲOLLEＤSTEEＬAMＧLＥ) 角钢ＨSB （HIＧN STRENＧTH BOLＴ）高强螺栓 TS(TUBE CHＡNNEL）方通/方管HSＳ（HOＬLOW SQUＡRE SECTION) 方通/方管 EＡ(ＥQUＡL ANGLＥ) 等边角钢 UA（UNEQUＡL ＡNGLE）不等边角钢ＵC（UNIVERSAL COLUＭNS）等边工字钢UB（UＮIVＥＲSAL BＥAM）不等边工字钢PＦＣ(ＰＡRALLEL FＬANGE CHＡNNEL）方脚槽钢CSK BOＬT 沉头螺栓 FLＡT BAＲ扁钢 CＨANNEL 槽钢

照片尺寸对照表

照片尺寸对照表-常用照片尺寸（1寸到36寸证件照可冲印照片尺寸）照片尺寸的命名：照片的“寸”指的是“英寸”，1英寸=2.54厘米；另外照片的尺寸国内外说法是不同的，例如：3.5X5 4X6 5X7 ....

国内的叫法是5寸、6寸、7寸...，数值取的是照片较长的那一边；国外的叫法时3R、4R、5R...，数值取的是照片较短的那一边。电子照片采集标准一、像片电子信息为彩色图像，按照一人一个图像文件的方式存储，图像文件采用本人身份证号码（军人采用士官证号码）命名，格式为"****.jpg",其中"****"为身份证号码（18位或15位）或士官证号码，"jpg"为图像文件格式。二、背景要求：统一为蓝色，输出蓝色色值（RGB或GMYK）：R51 G143 B178, C80 M13 Y20 K3 三、灯光要求：配置三基色柔光灯（冷光源、色温为5600K）两只、灯架两只、配套灯管12只、配套电缆（6米×2）及插头2套。灯具摆设高度与被拍摄人肩部同高，角度为左右各45度，朝向对准被拍摄人头部，距离被拍摄人1.5-2米。四、数码相机要求：像素不少于4百万，最高分辨率（dpi）：2048，标准存储容量（MB）：16MB，光学变焦倍数：4。光圈F8；快门125/秒，成像区上下要求头上部空1/10，头部占7/10，肩部占1/5；左右各空1/10。亮度控制：输入值145、输出值110 图片尺寸（像素）宽：150、高：210 大小：≤10K、格式：JPG

成像区全部面积48mmX33mm;头部宽度21mm-24mm头部长度28mm-33mm;下额到头顶25mm-35mm;像长35mmX45mm。被摄人服装：白色或浅色系驾驶证相片要求：申请人申请机动车驾驶证业务前6个月内的直边正面免冠彩色本人单人半身证件照。背景颜色为白色；不着制式服装；人像要清晰，层次丰富，神态自然，无明显畸变。照片尺寸为32mm×22mm，头部宽度14mm～16mm，头部长度19mm～22mm。二代身份证相片要求：〔公安部制定《居民身份证》制证用数字相片技术标准(GA461-2004)〕：公民本人近期正面免冠彩色头像, 头部占照片尺寸的2／3，不着制式服装或白色上衣,常戴眼镜的居民应配戴眼镜，白色背景无边框，人像清晰，层次丰富，神态自然，无明显畸变。颜色模式:24位RGB真彩色。照片尺寸为32mm×26mm；照片规格:358像素（宽）×441像素（高），分辨率350dpi，人像在相片矩形框内水平居中，脸部宽207像素±14像素，头

照片打印尺寸对照表

数码照片尺寸对照表大全影楼相片尺寸对照表型号规格长宽（厘米） 1寸 2.5x3.5 2寸 3.6x4.7 3寸2x3 5.8x8.4 4寸3x4 7.6x10.2 5寸3x5 8.9x12.7 6寸4x6 10.2x15.3 7寸5x7 12.7x17.8 8寸6x8 15.24x20.5 10寸8x10 20.3x25.4 小12寸8x12 20.3x30.5 大12寸10x12 25.4x30.5 14寸11x14 28x36 15寸12x15 30.5x38.1 16寸12x16 30.5x40.6 小18寸12x18 30.5x45.7 大18寸14x18 36x45.7 20寸16x20 40.6x50.8 24寸20x24 50.8x61 小30寸20x30 50.8x76 大30寸24x30 61x76 32寸24x32 61x81 小36寸24x36 61x90

大36寸30x36 70x90 40寸30x40 76x101 42寸30x42 76x106 小48寸30x48 76x121 大48寸36x48 90x120 20寸相册横版33x101 18寸相册横版31X88 16寸相册横版76X27 12寸相册横版62X21 20寸相册竖版50.8X65 18寸相册竖版63X45 16寸相册竖版52X37 14寸相册竖版34X46 12寸相册竖版43X30.5 10寸相册竖版25.4X36 8寸方册40X20 7寸相册竖版25X18 常见证件照对应尺寸 1英寸25mm×35mm 2英寸35mm×49mm 3英寸35mm×52mm 照片尺寸与打印尺寸之对照（分辨率：300dpi ）照片尺寸（英寸）打印尺寸（厘米） 10x15 25.4x38.1 10x12 25.4x30.5 8x10 20.3x25.4 6x8 15.2x20.3 5x8 12.7x20.3 5x7 12.7x17.7 4x6 10.1x15.2 3.5x5 8.9x12.7 一体册热裱尺寸：水晶相册封面： 12寸21*30 14寸（方形）：35*70 16寸26*37.2 10寸（方形）：25*50 18寸31*44 这些都是方形的尺寸。 20寸（横版）：33*100.3 18寸（横版）：30.5*88.9

质量管理体系中英文缩写与其解释

质量管理体系中英文缩写与其解释 Engineering 工程 / Process 工序（制程） Man, Machine, Method, Material, 人，机器，方法，物料，环境- 可能导 4M&1E Environment 致或造成问题的根本原因 AI Automatic Insertion 自动插机 ASSY Assembly 制品装配 ATE Automatic Test Equipment 自动测试设备 BL Baseline 参照点 BM Benchmark 参照点

BOM Bill of Material 生产产品所用的物料清单 C&ED/C Cause and Effect Diagram 原因和效果图 AED CA Corrective Action 解决问题所采取的措施电脑辅助设计.用于制图和设计3维物体 CAD Computer-aided Design 的软件对文件的要求进行评审，批准，和更改 CCB Change Control Board 的小组依照短期和长期改善的重要性来做持续 CI Continuous Improvement 改善 COB Chip on Board 邦定-线焊芯片到PCB板的装配方法. CT Cycle Time 完成任务所须的时间 DFM

Design for Manufacturability 产品的设计对装配的适合性设计失效模式与后果分析--在设计阶段 Design Failure Mode and Effect DFMEA 预测问题的发生的可能性并且对之采取 Analysis 措施六西格玛(6-Sigma)设计 -- 设计阶段预 DFSS Design for Six Sigma 测问题的发生的可能性并且对之采取措施并提高设计对装配的适合性 DFT Design for Test 产品的设计对测试的适合性实验设计-- 用于证明某种情况是真实DOE Design of Experiment 的根据一百万件所生产的产品来计算不良DPPM Defective Part Per Million 品的标准 Design Verification / Design

所有船舶通用的英文缩写

第一部分 1 A/B Above Base Line 基准线以上 2 A/C Anticorrosive Paint 防腐涂料 3 A/F Antifouling Paint 防污漆 4 ABS American Bureau of Shipping 美国船级社 5 Abt Abt (About ) 大约,关于 6 ACCOM. Accommodation 船室,居住区 7 ACCM.L Accommodation Ladder 舷梯 8 ACCU Automatic control system certified for unattended eng. Room 无人机舱自动控制系统鉴定 9 AFRAMAX Average Freight Rate Assessment at the max. of Deadweight C.O.T 最大负载时平均运费率评估 10 A.P Bhd After Peak Bulkhead 船尖舱舱壁 11 ANSI American National Standards Institute 美国国家标准协会 12 AP After Perpendicular 艉垂线 13 API American Petroleum Institute 美国石油组织 14 APT After Peak Tank 尾尖舱 15 ARPA Automatic Rader Plotting Aids 自动雷达测图仪 16 ASTM American Society of Testing Materials 美国材料实验协会 17 B mld Moulded Breadth 型宽 18 B/C Bulk Carrier 散货船 19 B.L Base line 基线 20 Basic Design 基本设计 21 Ballast Control Room 压载控制室 22 BHP Brake Horse Power 制动马力 23 BOG Boil-off Gas 蒸发气体 24 BOM Bill of Material 材料清单 25 Bkt Bracket 支架,肘板 26 BHD Bulkhead 隔壁, 防水壁 27 C/H Cargo Hold 货舱 28 C.T Cable Trunk 电缆管道 29 CCI Class Comment Item 船级社说明项目

照片像素尺寸对照表精编版

像素、分辨率与照片尺寸对应表小常识：通常表示照片规格会用“寸”来表示，和显示器之类的产品用对角线长度表示尺寸的方式不同，照片所说的“几寸”是指照片长的一边的英寸长度。比如6寸照片，就是指规格为6×4英寸的照片。而国际上还有一种通行的表示照片尺寸的方法，即取照片短的一边的英寸整数数值加字母R来表示。比如6寸照片，规格为6×4英寸，即4R。表格说明：与冲印尺寸和分辨率相对应的色块代表该分辨率下冲印到相应尺寸的照片的质量。 ■最佳■较好■一般■ 较差象素与照片尺寸分辨率对比表：绿色表示很好，黄色表示好，土黄色表示一般。

数码照片/相片尺寸对照表大全照片尺寸大全 1英寸25mm×35mm 2英寸35mm×49mm 3英寸35mm×52mm 港澳通行证33mm×48mm 赴美签证50mm×50mm 日本签证45mm×45mm 大二寸35mm×45mm 护照33mm×48mm 毕业生照33mm×48mm 身份证22mm×32mm 驾照21mm×26mm 车照60mm×91mm 数码相机和可冲印照片最大尺寸对照表 500万像素有效4915200，像素2560X1920 可冲洗照片尺寸17X13，对角线21英寸400万像素有效3871488，像素2272X1704 可冲洗照片尺寸15X11，对角线19英寸300万像素有效3145728，像素2048X1536 可冲洗照片尺寸14X10，对角线17英寸200万像素有效1920000，像素1600X1200 可冲洗照片尺寸11X8，对角线13英寸130万像素有效1228800，像素1280X960 可冲洗照片尺寸9X6，对角线11英寸080万像素有效786432，像素1024X768 可冲洗照片尺寸7X5，对角线9英寸 050万像素有效480000，像素800X600 可冲洗照片尺寸5X4，对角线7英寸 030万像素有效307200，像素640X480 可冲洗照片尺寸4X3，对角线5英寸 5寸照片（3X5），采用800X600分辨率就可以了

常用证件照片尺寸及像素基本知识

常用证件照片尺寸相片常用尺寸知识要达到满意的数码扩印效果：照片规格(英寸) （厘米）(像素) 数码相机类型 1寸 2.5*3.5cm 413*295 身份证大头照 3.3*2.2 390*260 2寸 3.5*5.3cm 626*413 小2寸（护照） 4.8*3.3cm 567*390 5 寸5x3.5 12.7*8.9 1200x840以上100万像素 6 寸6x4 15.2*10.2 1440x960以上130万像素 7寸7x5 17.8*12.7 1680x1200以上200万像素8寸8x6 20.3*15.2 1920x1440以上300万像素10寸10x8 25.4*20.3 2400x1920以上400万像素12寸12x10 30.5*20.3 2500x2000以上500万像素15寸15x10 38.1*25.4 3000x2000 600万像素另外，数码的片子别管像素是几百万，只看长边的像素数，1200出5寸1400出6寸，1700出7寸，类推。。。 1寸（是指英寸）=2.54cm 我们说的x寸是指照片的长边，如5寸就是照片长2.54x5=12.7cm 12寸就是2.54x12=30.5cm , 8x12就是长边2.54x12=30.5cm ，短边2.54x8=20.3cm 3R指纸，3R为89MM，5R为127MM 通常3R指3*5就是5寸5R指5*7就是7寸 R的意思是长方型(英文是Rectangle),都以最短边耒算.

像135机拍的相片大都洗成3R,4R或5R以上,如果120机的6X7底洗成3R相片,那它就没"3寸X 5寸"了,它按照比例出片是"3寸x 3.5寸"了,这也算是3R相片,还有3寸一定要足够. 又像120哈苏6X6底出的相片,因它的底片是正四方型,如果要出正四方的相片,如"3寸X 3寸", "5寸X 5寸",在这种情行我们不叫3R,而是3S或5S,S代表正四方型(英文是Square). 数码相机拍摄的照片一般是4：3的比例（与我们的显示器的比例一致），而扩印的照片的比例一般是3：2左右的（与胶卷负片的长宽比例一致），所以，讲数码相机的照片扩印出来一般要把照片的比例剪裁成3：2左右的，这样扩印出来的照片才是正好充满整张相纸。如果，您的照片不希望剪裁，或者是拍摄的内容太满，没有剪裁的余地，就只好在扩印的时候左右两边留一点白边了。比如：您的照片是1600*1200的即比例是4：3的而6寸照片是15.2*10.2的即比例是3：2的如果您的照片不剪裁，4：3比例的照片放在3：2的相纸上面只能照片的两边各留一点白边了，就像两边加了白框（上下不加）如果不想留白边，可以把照片的上面或下面剪裁掉一些，使照片成为1600*1074的(1600/15.2*10.2=1074），这样就是3：2了，正好放满整张6寸相纸了。 8寸照片的规格是6*8（15.2*20.3cm）比例是4：3的，扩印大多数数码照片是正好不用剪裁的。常用照片尺寸照片规格(英寸) （厘米）(像素) 数码相机类型 1寸2.5*3.5cm 413*295 身份证大头照3.3*2.2 390*260 2寸3.5*5.3cm 626*413 小2寸（护照）4.8*3.3cm 567*390 5 寸5x3.5 12.7*8.9 1200x840以上100万像素 6 寸6x4 15.2*10.2 1440x960以上130万像素 7 寸7x5 17.8*12.7 1680x1200以上200万像素 8 寸8x6 20.3*15.2 1920x1440以上300万像素 10寸10x8 25.4*20.3 2400x1920以上400万像素 12寸12x10 30.5*20.3 2500x2000以上500万像素 15寸15x10 38.1*25.4 3000x2000 600万像素常见证件照对应尺寸

通用英文缩写解释

AH：外观颜色匹配工程师 APQP：产品质量先期策划 DRE：设计发布工程师 DTS：尺寸技术准备 ETR：工程试装要求 EWO：工程更改 FE：功能评估 GCA：全球顾客评审 GD&T：主要尺寸相关的零件、总成和整车的形位公差图纸，几何尺寸及公差图纸。 GM Global AAR---GM全球外观认可报告 GP4：生产件批准状况通知 GP5：供应商质量监控流程（GM1746） GP8：持续改进程序（GM1747） GP9：按节拍生产品（GM1960） GP10：供应商检测设备的评价和鉴定（GM1796） GP12：早期生产遏制（GM1920）IMDS：国际材料数据系统 MC：匹配－MC0/1交样前，检具不能按时完成时，经过MC工程师批准，允许用三坐标进行代替测量。但测量时使用的基准必须与GD&T/Control Drawing一致，并得到SGM检具工程师的设计认可（A表），且基准的精度和重复性必须得到验证，符合要求。－MC2检具必须经SGM检具工程师设计认可（A表）和制造认可（B表）。交样数量原则上MC0，MC1，MC2各5套

PATAC：泛亚汽车技术中心PCR：问题交流报告PDT：产品开发小组 PLP：主定位基准Pre-texture Instruction－Global Form ---GM全球皮纹认可报告PTR：供应商提供的零件必须是合格的，可用于正常的可销售车生产的零件。（所有新零件在作为正常零件供给SGM之前，均必须已成功地通过PTR的实施） S1：第一轮可销售车制造 SMT：系统管理小组 SVE：系统认证工程师 SQE：供应商质量工程师 SGE：外观皮纹工程师 TA：Technology assent:技术赞成（定点前的技术，能力方面的交流） TE：试验工程师 TVE：（动力总成）总认证工程师 VPM：整车性能经理 IV:工程认可（需要提供零件尺寸报告、材料试验报告、总成性能报告等所有试验报告）MC1/2：尺寸匹配（提交尺寸报告，合格率80%/90%） PVV：产品验证，小批量制造（尺寸报告，零件必须通过GP12） NS：非销售车制造（零件必须通过GP12-100%检验） S：销售车制造（零件通过PPAP人认可，零件必须通过GP12-100%检验） SORP：量产开始（具体数量根据订单，一般IV80套，MC10套，PVV几套到几十套不等。） GD&T：全球尺寸和公差标准 DPV: Defects per vehicle 每辆车缺陷数

照片尺寸对照表

照片尺寸对照表冲洗照片的图片尺寸： 1英寸证明照的尺寸应为3.6×2.7厘米； 2英寸证明照的尺寸应是3.5×4.5厘米； 5英寸（最常见的照片大小）尺寸应为12．7×8.9厘米； 6英寸（国际上比较通用的照片大小）尺寸是15.2×10．2厘米； 7英寸（放大）照片的尺寸是17.8×12.7厘米； 12英寸照片的尺寸是30．5×25.4厘米; (4D照片的尺寸是4.5×6寸) 正常的误差应该在1～2毫米左右; 冲洗照片的分辨率300. 数码相机和可冲印照片最大尺寸对照表： 500万像素有效4915200，像素2560X1920。可冲洗照片尺寸17X13，对角线21英寸 400万像素有效3871488，像素2272X1704。可冲洗照片尺寸15X11，对角线19英寸 300万像素有效3145728，像素2048X1536。可冲洗照片尺寸14X10，对角线17英寸 200万像素有效1920000，像素1600X1200。可冲洗照片尺寸11X8，对角线13英寸 130万像素有效1228800，像素1280X960。可冲洗照片尺寸9X6，对角线11英寸

080万像素有效786432，像素1024X768。可冲洗照片尺寸7X5，对角线9英寸050万像素有效480000，像素800X600。可冲洗照片尺寸5X4，对角线7英寸030万像素有效307200，像素640X480。可冲洗照片尺寸4X3，对角线5英寸由上表可以看出： 5寸照片（3X5），采用800X600分辨率 6寸照片（4X6），采用1024X768分辨率 7寸照片（5X7），采用1024X768分辨率 8寸照片（6X9），采用1280X960分辨率根据150PPI计算的数码相机可冲洗最大照片的数据对照表（英寸） 500万像素有效4915200，像素2560X1920。可冲洗照片尺寸17X13，对角线21寸 400万像素有效3871488，像素2272X1704。可冲洗照片尺寸15X11，对角线19寸 300万像素有效3145728，像素2048X1536。可冲洗照片尺寸14X10，对角线17寸 200万像素有效1920000，像素1600X1200。可冲洗照片尺寸11X8，对角线13寸 130万像素有效1228800，像素1280X960。可冲洗照片尺寸9X6，对角线11寸080万像素有效786432，像素1024X768。可冲洗照片尺寸7X5，对角线9寸050万像素有效480000，像素800X600。可冲洗照片尺寸5X4，对角线7寸030万像素有效307200，像素640X480。可冲洗照片尺寸4X3，对角线5寸由上表可以看出： 5寸照片（3X5），采用800X600分辨率就可以了

照片尺寸表

A4 210 * 297 1寸到36寸照片的尺寸规格：尺寸名厘米数英寸数一寸2.5 x 3.6 cm 5x8寸二寸3.4 x 5.2 cm 5x9寸三寸5.5 x 8.4 cm 5x10寸五寸3.5 x 5 5x12寸六寸 4 x 6 6x9寸七寸 5 x 7 6x10寸八寸 6 x 8 6x12寸十寸8 x 10 6x14寸十二寸10 x 12 8.5x12寸十四寸10 x 14 10x14.5寸十六寸12 x 16 12x17寸十八寸12 x 18 12x17.5寸十八寸以内按英寸数为准，二十寸以上按厘米数为准。备注：1英寸=2.54厘米二十寸40 x 50 cm 标准二十四寸50 x 60 cm 二十四寸44 x 60 cm 二十四寸挂照42 x 60 cm 三十寸60 x 75 cm 三十二寸60 x 80 cm 三十六寸60 x 90 cm 四十寸70 x 100 cm 四十八寸90 x 120 cm 五十八寸100 x 115 cm 六十八寸112 x 170 cm 我们拍摄好的数码照片一般都不是标准的照片尺寸，用数码相机所拍出的图像一般是按计算机屏幕的分辨率来设定的，所以基本上都是4∶3的比例，而标准照片尺寸的比例不同，如5寸照片的比例为10∶7，6寸照片的尺寸为3∶2，如不裁剪，在冲印的过程中，往往会在照片旁留下白边或者照片不完全。因此我们必须用软件对照片进行裁剪加工。表一：常见的标准照片规格表二：数码照片冲印质量对照表胶卷质量：能保持原照片的最佳效果。优秀：细看能看出像素不够对照片的轻微影响，但并不影响照片质量，可得到比较理想的打印效果。好：像素对照片的影响较明显，但冲印效果仍较满意。一般：像素不足对照片的影响明显，但照片仍可使用。偶查了一下：1英寸=2.54厘米我们说照片尺寸通常是讲英寸的，照片尺寸的常规标准在10寸内的规格是相差2，比如5寸照片就是5X3，7寸=7X5 8寸=8X6。如果照片尺寸大于10寸的就相差4，12寸=12X8 14寸=14X10 18寸=18X14照片的尺寸常见证件照对应尺寸 1英寸25mm×35mm 2英寸35mm×49mm 3英寸35mm×52mm 港澳通行证33mm×48mm 赴美签证50mm×50mm 日本签证45mm×45mm 大二寸35mm×45mm

质量体系中英文缩写与含义

质量管理体系中英文缩写与其解释Abbreviations and their explanations 缩写与其解释 Engineering 工程/ Process 工序（制程） 4M&1E Man, Machine, Method, Material, Environment 人，机器，方法，物料，环境- 可能导致或造成问题的根本原因 AI Automatic Insertion 自动插机 ASSY Assembly 制品装配 ATE Automatic Test Equipment 自动测试设备 BL Baseline 参照点 BM Benchmark 参照点 BOM Bill of Material 生产产品所用的物料清单 C&ED/CAED Cause and Effect Diagram 原因和效果图 CA Corrective Action 解决问题所采取的措施 CAD Computer-aided Design 电脑辅助设计.用于制图和设计3维物体的软件CCB Change Control Board 对文件的要求进行评审，批准，和更改的小组CI Continuous Improvement 依照短期和长期改善的重要性来做持续改善COB Chip on Board 邦定-线焊芯片到PCB板的装配方法. CT Cycle Time 完成任务所须的时间 DFM Design for Manufacturability 产品的设计对装配的适合性 DFMEA Design Failure Mode and Effect Analysis 设计失效模式与后果分析--在设计阶段预测问题的发生的可能性并且对之采取措施 DFSS Design for Six Sigma 六西格玛(6-Sigma)设计-- 设计阶段预测问题的发生的可能性并且对之采取措施并提高设计对装配的适合性 DFT Design for Test 产品的设计对测试的适合性 DOE Design of Experiment 实验设计-- 用于证明某种情况是真实的 DPPM Defective Part Per Million 根据一百万件所生产的产品来计算不良品的标准DV Design Verification / Design Validation 设计确认 ECN Engineering Change Notice 客户要求的工程更改或内部所发出的工程更改文件 ECO Engineering Change Order 客户要求的工程更改 ESD Electrostatic Discharge 静电发放-由两种不导电的物品一起摩擦而产生的静电可以破坏ICs和电子设备 FI Final Inspection 在生产线上或操作中由生产操作员对产品作最后检查 F/T Functional Test 测试产品的功能是否与所设计的一样 FA First Article / Failure Analysis 首件产品或首件样板/ 产品不良分析 FCT Functional Test 功能测试-检查产品的功能是否与所设计的一样FFF Fit Form Function 符合产品的装配，形状和外观及功能要求 FFT Final Functional Test 包装之前，在生产线上最后的功能测试 FMEA Failure Mode and Effect Analysis 失效模式与后果分析-- 预测问题的发生可能性并

照片尺寸对照表

尺寸对照表-常用照片尺寸（1寸到36寸证件照可冲印照片尺寸）照片尺寸的命名：照片的“寸”指的是“英寸”，1英寸=2.54厘米；另外照片的尺寸国内外说法是不同的，例如：3.5X5 4X6 5X7 .... 国内的叫法是5寸、6寸、7寸...，数值取的是照片较长的那一边；国外的叫法时3R、4R、5R...，数值取的是照片较短的那一边。电子照片采集标准一、像片电子信息为彩色图像，按照一人一个图像文件的方式存储，图像文件采用本人身份证号码（军人采用士官证号码）命名，格式为"****.jpg",其中"****"为身份证号码（18位或15位）或士官证号码，"jpg"为图像文件格式。二、背景要求：统一为蓝色，输出蓝色色值（RGB或GMYK）：R51 G143 B178, C80 M13 Y20 K3 三、灯光要求：配置三基色柔光灯（冷光源、色温为5600K）两只、灯架两只、配套灯管12只、配套电缆（6米×2）及插头2套。灯具摆设高度与被拍摄人肩部同高，角度为左右各45度，朝向对准被拍摄人头部，距离被拍摄人1.5-2米。四、数码相机要求：像素不少于4百万，最高分辨率（dpi）：2048，标准存储容量（MB）：16MB，光学变焦倍数：4。光圈

F8；快门125/秒，成像区上下要求头上部空1/10，头部占7/10，肩部占1/5；左右各空1/10。亮度控制：输入值145、输出值110 图片尺寸（像素）宽：150、高：210 大小：≤10K、格式：JPG 成像区全部面积48mmX33mm;头部宽度21mm-24mm头部长度28mm-33mm;下额到头顶25mm-35mm;像长35mmX45mm。被摄人服装：白色或浅色系驾驶证相片要求：申请人申请机动车驾驶证业务前6个月内的直边正面免冠彩色本人单人半身证件照。背景颜色为白色；不着制式服装；人像要清晰，层次丰富，神态自然，无明显畸变。照片尺寸为32mm×22mm，头部宽度14mm～16mm，头部长度19mm～22mm。二代身份证相片要求：〔公安部制定《居民身份证》制证用数字相片技术标准(GA461-2004)〕：公民本人近期正面免冠彩色头像, 头部占照片尺寸的2／3，不着制式服装或白色上衣,常戴眼镜的居民应配戴眼镜，白色背景无边框，人像清晰，层次丰富，神态自然，无明显畸变。颜色模式:24位RGB真彩色。

通用英文缩写及含义

常用的英语缩写（ABBREVIATIONS）：构件篇 COLUMN 柱子 POST 从梁上升起的柱子 BASE PLATE 底板 CAP PLATE 顶板 COVER PLATE 盖板 END PLATE 封板，短板 SEAL PLATE 封板 SHEAR PLATE 剪切板 CONNECTION PLATE 连接板 BEAM 梁/次梁 SECONDARY BEAM 次梁 JOIST GIRDER 主桁架 GIRDER 主梁 JOIST 次桁架 BRACE 支撑 LINTEL 过梁 MISC 杂件 EMBED PALTE 预埋板件 ANCHOR BOLT 地脚螺栓 FRAME 钢架 RAILING 扶手 STAIR 楼梯 RC WALL 混凝土墙 BRACKET 马仔 PART/TYP PART 零件 ASSY 组合件 CANOPY 雨棚 CATWALK 猫道 LADDER 爬梯 PURLIN 檩条 FISH PLATE 结合板 HOIST BEAM 起吊运输梁 BUILT-UP SECTION 组合截面 BEARING PLATE 支撑板 CANTILEVER BEAM 悬臂梁/挑梁 CRANE GIRDER 吊车梁 CROSS BEAM 井字梁 GIRT 抗风梁 RING BEAM 圈梁 DIAPHRAGM 横隔板

STIFFENER/STIFF 加劲板/肋 GUSSET PLATE 节点板 HANGER 吊杆/吊环 GRIP 夹具/卡子 TIE BAR 拉结钢筋 TIE BEAM 系梁 TIE TOD 系杆 TIE ROD 系杆 FLANGE 翼缘/法兰 WEB PLATE/WEB 腹板图纸/版本篇 DESIGN DRAWING 设计图 SHOP DRAWING 施工图/详图 FABRICATION DRAWING 加工图 ARCHITECTURE 建筑图 AS-BUILT DRAWING 竣工图 FOR APPROV AL 审批 FOR FAB 加工 UPDATE 更新 FOR FIELD USED 现场使用材料篇 SHS 方通/方管SQUARE HOLLOW SECTION RHS 矩形管RECTANGLE HOLLOW SECTION CHS 圆管/喉管CIRCULAR HOLLOW SECTION GMS 低碳钢GALV MILD STEEL RSC 槽钢ROLLED STEEL CHANNEL RSA 角钢ROLLED STEEL AMGLE HSB 高强螺栓HIGN STRENGTH BOLT CSK BOLT 沉头螺栓 FLAT BAR 扁钢 CHANNEL 槽钢 TS 方通/方管TUBE CHANNEL HSS 方通/方管HOLLOW SQUARE SECTION ANGLE 角钢 TC BOLT 扛剪型螺栓 RB 混凝土 RIVET 铆钉 ROD 圆钢 PLATE 板材

照片尺寸对照表43807

lte各种英文缩写解释

<1>RAN 无线接入网 <2>RNC 无线网络控制器负责对基站进行整体管理, 包括对无线资源、本地移动用户和接入情况进行管理和控制，并对传输情况进行优化；RNC勺主要功能为无线资源管理，网络相关功能、无线资源控制（RRC的维护和运行,网管系统的接口等。RNC勺主要缺点为与空中接口相关的许多功能都在RNC中,导致资源分配和业务不能适配信道，协议结构过于复杂，不利于系统优化。 <3>HSDPA 高速下行链路分组接入，是一种移动通信协议，亦称为（3½；G）。该协议在WCDMA下行链路中提供分组数据业务，在一个5MHz载波上的传输速率可达8-10 Mbit/s （如采用MIMO 技术，则可达20 Mbit/s ）。在具体实现中，采用了自适应调制和编码（AMC）、多输入多输出（MIMO ）、混合自动重传请求（HARQ）、快速调度、快速小区选择等技术。 <4>SGSN 服务支持节点负责管理分组交换数据流量的控制和管理。 <5>GGSN 网关支持节点负责与核心网的连接。GGSN 是本地网与外部分组交换网之间的网关，因此也被称为GPRS路由器 <6>ACGW 核心接入网关AGW 接入网关 <7>RRC 无线资源控制子层 <8>RLC 无线链路控制 <9> PDU 协议数据单元 <10>ACK 确认应答 <11>FEC 前向纠错 <12>ACK命令正确应答 <13>OFDMA 正交频分多址 <14>OFDM 正交频分复用实际上OFDM 是MCM Multi-CarrierModulation ，多载波调制的一种。其主要思想是：将信道分成若干正交子信道，将高速数据信号转换成并行的低速子数据流，调制到在每个子信道上进行传输。正交信号可以通过在接收端采用相关技术来分开，这样可以减少子信道之间的相互干扰ICI 。每个子信道上的信号带宽小于信道的相关带宽，因此每个子信道上的可以看成平坦性衰落，从而可以消除符号间干扰。而且由于每个子信道的带宽仅仅是原信道带宽的一小部分，信道均衡变得相对容易 <15>SC-FDMA 单载波频分多址其特点为低峰均比，子载波间隔为15 kHz。 <16>CP 循环前缀 <17>TDD 时分双工FDD 频分双工 <18>LCR-TDD 低码速率时分双工 <19>HCR-TDD 高码速率时分双工 <20>采用小区间干扰控制技术的目。主要的多小区干扰补偿技术有: 干扰随机化技术、干扰抵消技术和多小区干扰协调技术 <21>FDD下行频分双工3GPP LTE标准化的前期研究重点为下行频分双工（FDD）系统中的多小区干扰协调技术，多小区干扰协调技术对频谱资源和发射功率进行限制 <22>CQI 信道质量指示 <23>ZC- ZCZ零相关区域 <24>3G的网络由基站（NB）、无线网络控制器（RNC、服务通用分组无线业务支持节点（SGSN ）和网关通用分组无线业务支持节点（GGSN）4 个网络节点组成 <25>。eNB 的主要功能为: 在附着状态选择AGW；寻呼信息和广播信息的发送；无线资源的动态分配，包括多小区无线资源管理；设置和提供eNB 的测量；无线承载的控制；无线接纳控制；在激活状态的连接移动性控制。