Computer aided modeling, reliability checking and verification of a lithography process using a calibrated eigen decomposition model

• 1. 使用已校准的本征分解模型的光刻过程的制造可靠性检查与验证的方法 [P] . 中国专利： CN1658076A . 2005-08-24
• 2. 使用分析或统计建模来进行连续过程验证的方法和装置 [P] . 中国专利： CN106896800B . 2021.07.06
• 3. Computer aided modeling, reliability checking and verification of a lithography process using a calibrated eigen decomposition model [P] . 欧洲知识产权局专利： EP1560072A2 . 2005-08-03

  机译： 使用校准的特征分解模型对光刻工艺进行计算机辅助建模，可靠性检查和验证

• 4. Method of manufacturing reliability checking and verification for lithography process using a calibrated eigen decomposition model [P] . 美国专利： US7342646B2 . 2008-03-11

  机译： 使用校准的特征分解模型的光刻工艺制造可靠性检查和验证的方法

• 5. Method Of Manufacturing Reliability Checking And Verification For Lithography Process Using A Calibrated Eigen Decomposition Model [P] . 韩国专利： KR100725621B1 . 2007-06-07

  机译： 校准本征分解模型的光刻工艺制造可靠性检查与验证方法

• 1. Computer‑aided CT image processing and modeling method for tibia microstructure [J] . Pengju Wang, Su Wang 生物设计与制作(英文) . 2020,第001期
• 2. DESIGN　OBJECT　MODEL　AND　DESIGN　PROCESS　MODEL　OF　COMPUTER　AIDED　AIRCRAFT　CONCEPTUAL　DESIGN　SYSTEM [J] . 中国航空学报：英文版 . 1995,第003期
• 3. Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes [C] . Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin IEEE International Symposium on Industrial Electronics . 2018
• 4. Event modeling and verification of chemical processes using symbolic model checking. [D] . Turk, Adam Leslie. 1999
• 5. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010
• 6. Computer-Aided Verification of Software Process Model Properties [O] . Alfred Bröckers, Volker Gruhn 1993
• 7. Information Processing Models and Computer Aids for Human Performance. Task 2. Human-Computer Interaction Models [R] . Grignetti, M. C., Miller, D. C., Nickerson, R. S., 1972

• 1. An Integrated Geometric Modeling Methodology for 2.5D Cylindrical Prismatic Part for Computer Aided Process Planning [J] . Viswa Mohan Pedagopu ,Manish Kumar . 智能控制与自动化（英文） . 2014,第4期
• 2. Experimental verification of bridge seismic damage states quantified by calibrating analytical models with empirical field data [J] . Swagata Banerjee ,Masanobu Shinozuka . 地震工程与工程振动：英文版 . 2008,第4期
• 3. An On-chip Interconnection QoS Verification Platform of Processor of Large Data for Architectural Modeling Analysis [J] . Li Qinghua1 ,Qin Jilong3 ,Ding Xu2 . 国际计算机前沿大会会议论文集 . 2015,第001期
• 4. 应用可靠性设计分析软件Relex进行可靠性建模 [C] . 范增 ,黄玉华 . 中国航空学会飞机总体分会第十一次学术交流会 . 2012
• 5. 一种使用PN码对SAR ADC的电容失配进行后台校准技术的研究 [A] . 符土建 . 2020