一种从Object—Z到CSP规格说明的转化方法
一个Object-Z规格说明的证明责任产生器
取谓词合取 的方式 。
０ 引 言
形式化方法能使软件开发人 员创 建比那些使用传统 方法 或 面 向对象方法产生的需求规格说 明更 为完整 、 一致 和无二义性
的规格说明。它能帮助 开发人员发 现用其 它方法不 容易发现 的 系统描述不一致性 、 明确性或不完整性 ， 不 有助 于增加软件开 发
Ｃａａｔ ｓ ｈｔｈ ｒ ａ ｓｅｉｃｔ ｎｓｏｌ ｏｄ ｏ ｒ ａ ｓｅｉｃｔｎ ｈｒｆ ｅ ｉｃｎｖｒｙｔｅｆ ｍ ｌ ｐｃ ｃｔ ｎ Ｏ ｊｃ Ｚ ａ ｘ ｈｒｃ ｒ ｔａ ｔｅ ｏ ｌｐｃｆ ａｏ ｈｕｄｈｌ ｆｒｏｍ ｌ ｐｃ ａｏ ．Ｔ ｅｅ ｒ ，ｔ ａ ｉ ｒ ａ ｓｅｉ ａ ｏ ． ｂｅｔ ， ｎｅ－ ｅ ｆ ｍ ｉ ｉ ｆ ｉ ｆ ｉ ｏ ｅｆ ｈ ｏ ｉ ｆ ｉ － ｔ ｓ ｎｔ ｆｒ ａ ｓｅｉｃｔ ｎｌ ｇａｅ ｉ ａｔｏｄｓｒ ｉｇｌ ｇ ｃｌ ｏｊｃ— ｅｔ ｏｔａｅｓｅｉｃｔｎａｄｃｎｒａｏ ｂｕ ｅｆ － ｅ ｉ ｍ ｌ ｐｃ ａ ｏ ｎｕ ｇ ｓ ｐ ｔ ｅｃ ｂｎ ｒｅｓａｅ ｂｅｔ ｒ ｎｅ ｓｆ ｒ ｃ ａ ｏ ｎ ａ ｓｎａｏ ｔｈ ｒ ｎ ｏ ｏｏ ｉ ｆ ｉ ａ Ｚ， ｉ ａ ｏ ｉ ｄ ｗ ｐ ｆ ｉ ｉ ｅ ｔ ｏ
任产生器起 着 Ｏ ｊｃ Ｚ规格说 明编辑器与证 明器 Ｚ Ｅ Ｅ ｂｅｔ — ／ Ｖ Ｓ之 间的桥梁作用 ， 方便 于 Ｏ ｊｃ— 式规格说 明的验证。 ｂｅｔ Ｚ形
超图常见问题解决方法
SIMATIC Visualization Architect系统手册
危险 表示如果不采取相应的小心措施，将会导致死亡或者严重的人身伤害。
警告 表示如果不采取相应的小心措施，可能导致死亡或者严重的人身伤害。
小心 表示如果不采取相应的小心措施，可能导致轻微的人身伤害。
注意 表示如果不采取相应的小心措施，可能导致财产损失。
当出现多个危险等级的情况下，每次总是使用最高等级的警告提示。如果在某个警告提示中带有警告可能导致人身 伤害的警告三角，则可能在该警告提示中另外还附带有可能导致财产损失的警告。
安全性信息
1
基本知识
2
SIMATIC
安装
3
TIA-Portal
元素和基本设置
4
SIMATIC Visualization Architect
使用 SiVArc
5
系统手册
使用 SiVArc 表达式
6
参考
7
SiVArc 消息
8
在线帮助打印输出 07/2016
在线帮助打印输出
法律资讯 警告提示系统ቤተ መጻሕፍቲ ባይዱ
为了您的人身安全以及避免财产损失，必须注意本手册中的提示。人身安全的提示用一个警告三角表示，仅与财产 损失有关的提示不带警告三角。警告提示根据危险等级由高到低如下表示。
2.3
关于使用 SiVArc 的基础知识..........................................................................................17
2.4
支持的设备......................................................................................................................21
国家科研论文和科技信息高端交流平台的战略定位与核心特征
国家科研论文和科技信息高端交流平台的战略定位与核心特征*李广建，罗立群*本文系国家社会科学基金重大项目“大数据时代知识融合的体系架构、实现模式及实证研究”（项目编号：15ZDB129）研究成果。
摘要建设高端交流平台是对国家科技信息和科技情报体系的顶层设计，也是新时期科技情报研究和工作的指导思想，为科技情报的未来指明了发展方向。
在国家“十四五”规划中，高端交流平台的构建上升到了国家战略高度，是加强我国科学战略力量的重要任务之一，相较于一般意义的平台具有更丰富的内涵和更高的定位。
文章站在全球科技格局和创新生态的高度，从国家科技安全、国家重大需求、科技创新范式等三个维度系统思考高端交流平台的战略定位。
基于对高端交流平台的三个定位、中国国家科技战略发展的根本需要以及对全球科技创新态势的正确认知，结合中国国情，从三个维度阐释高端交流平台构建的核心特征：一是开放，从单向被动不对等开放走向双向主动对等开放交流；二是融合，从成果发布走向知识融合；三是计算，从辅助科学发现的工具走向自主科学发现的主体。
关键词高端交流平台知识融合情报计算科学发现开放科学引用本文格式李广建，罗立群.国家科研论文和科技信息高端交流平台的战略定位与核心特征[J].图书馆论坛，2022，42（1）：13-20.On the Positioning and Core Features of the National High-end Exchange Platform for Scientific and Technological Papers and InformationLI Guangjian &LUO LiqunAbstract The construction of the national high-end exchange platform for scientific and technological papers and information is among the top-level designs of the national scientific and technological information and intelligence system ，and it is vital for the strengthening of China ’s scientific strategic forces.With a view of global scientific andtechnological pattern and innovation ecology ，this paper discusses the positioning of such a national high-end exchange platform ，focusing on national scientific and technological security ，major national needs ，and scientific and technological innovation paradigms.It then makes an analysis of its three core features ，i.e.，openness ，fusion ，and computing.As for openness ，it should transfer from the one-way passive non-equivalent openness to the two-way active reciprocal open communication.As for fusion ，it should transfer from the singlerelease of scientific and technological findings to the fusion of such findings.As for computing ，it should not onlyact as a tool to assist scientific discovery ，but also become a main body of autonomous independent scientific discoveries.Keywords high-end exchange platform ；knowledge fusion ；intelligence computing ；scientific discovery ；open science0引言国家科研论文和科技信息高端交流平台(以下简称“高端交流平台”)已经被正式列入《中华人民共和国国民经济和社会发展第十四个五年规划和2035年远景目标纲要》，这是党和国家在“百年未有之大变局”时代对我国国家科技创新体系的高瞻远瞩，是对国家科技信息和科技情报体系的顶层设计，也是新时期科技情报研究和工作的指导思想，为科技情报的未来指明了发展方向。
无线扫描枪设置手册
ii
安全注意事项–警告!
警告!
此符号表示：如果忽视规定的要求或使用不当，有造成人员死亡或者严重伤害的可能性。
拆卸和改装
切勿以任何方式拆卸或改装装置。内部的高电压可能引起触电的危险。
内部元件和部件
切勿触碰内部的高压元件或者部件。否则可能引起触电的危险。
异常情况
如果装置发热或开始冒烟或发出异味，应立即关闭电源，并与原经销商联系。若继续使用，可能引起着 火和触电的危险。
iv
目录
注意 .........................................................................................................................................................i 安全注意事项–危险! ...............................................................................................
object转list的方法
object转list的方法在编程中，我们经常会遇到将一个对象（object）转换为列表（list）的需求。
对象是一种数据类型，它可以包含多个属性和方法。
而列表是一种有序的数据结构，可以存储多个元素。
将对象转换为列表可以方便地对其进行遍历、操作和处理。
在Python中，有多种方法可以实现对象转列表的操作。
下面将介绍其中的几种常用方法。
方法一：使用list()函数Python内置的list()函数可以将一个可迭代对象转换为列表。
可迭代对象包括字符串、元组、集合等。
我们可以将对象的属性作为元素添加到一个空列表中，从而实现对象转列表的操作。
示例代码如下：```pythonclass Person:def __init__(self, name, age): = nameself.age = ageperson = Person("Tom", 20)person_list = list(person.__dict__.values())print(person_list)```上述代码中，我们定义了一个Person类，它有两个属性：name和age。
然后创建了一个Person对象person。
通过list()函数，我们将person对象的属性值转换为列表person_list，并打印输出。
方法二：使用列表推导式列表推导式是一种简洁的语法，可以快速生成列表。
我们可以利用列表推导式将对象的属性值转换为列表。
示例代码如下：```pythonclass Person:def __init__(self, name, age): = nameself.age = ageperson = Person("Tom", 20)person_list = [value for value in person.__dict__.values()]print(person_list)```上述代码中，我们同样定义了一个Person类和一个Person对象person。
2021年EXCEL VBA 完全教程
Excel VBA欧阳光明（2021.03.07）目录一、VBA语言基础................................................................................................................. ..1第一节标识符................................................................................................................. . (1)第二节运算符................................................................................................................. . (1)第三节数据类型................................................................................................................. (1)第四节变量与常量................................................................................................................. .. (1)第五节数组................................................................................................................. .. (2)第六节注释和赋值语句................................................................................................................. (2)第七节书写规范................................................................................................................. (2)第八节判断语句................................................................................................................. (2)第九节循环语句................................................................................................................. (3)第十节其他类语句和错误语句处理 (4)第十一节过程和函数................................................................................................................. . (4)一．Sub过程 (4)二．Function函数 (5)三．Property属性过程和Event事件过程.........................................5第十二节内部函数................................................................................................................. (5)一．测试函数 (5)二．数学函数 (5)三．字符串函数 (5)四．转换函数 (6)五．时间函数 (6)第十三节文件操作................................................................................................................. .. (6)文件 (6)删除 (6)打开 (6)读入 (7)写入 (7)关闭 (7)其他文件函数 (7)二、VISUAL BASIC程序设计网络教学 (1)第一课 VBA是什么 ................................................................................................................ .11.1 VBA是什么................................................................................................................. . (1)1.2 EXCEL环境中基于应用程序自动化的优点 (1)1.3 录制简单的宏................................................................................................................. . (1)1.4 执行宏................................................................................................................. . (2)1.5 查看录制的代码................................................................................................................. (2)1.6 编辑录制的代码................................................................................................................. (3)1.7 录制宏的局限性................................................................................................................. (3)1.8 小结................................................................................................................. .. (3)第二课处理录制的宏 (3)2.1 为宏指定快捷 (3)2.2 决定宏保存的位置................................................................................................................. .. (4)2.3 个人宏工作簿................................................................................................................. . (4)2.3.1 保存宏到个人宏工作簿 (4)2.3.2 使用并编辑个人宏工作簿中的宏 (4)2.4 将宏指定给按钮................................................................................................................. (4)2.5 将宏指定给图片或其他对象 (5)2.6 小结................................................................................................................. .. (5)第三课学习控件................................................................................................................. ..5----------------------- 页面 2-----------------------3.1 EXCEL开发过程简...53.2 认识不同的控件................................................................................................................. (5)3.3 向工作表添加控件................................................................................................................. .. (6)3.4 设置控件的特性................................................................................................................. (6)3.5 给控件命名................................................................................................................. .. (6)3.6 使用用户窗体................................................................................................................. . (6)3.7 疑难解答................................................................................................................. (7)第四课理解变量和变量的作用 (7)4.1 代码存在的位置：模4.2 对模块的概览................................................................................................................. . (7)4.2.1 创建过程 (8)4.2.2 运行宏 (9)4.3 保存对模块所做的改变 (9)4.4 变量................................................................................................................. .. (9)4.4.1 变量的数据类型 (9)4.4.2 用Dim语句创建变量(声明变量) (10)4.4.3 变量命名的惯例 (10)4.4.4 使用数组 (10)4.4.5 变量赋值 (11)第五课利用VBA设置工作表使用权限 (11)1．使用WITH语句。
[软工导论]第4章 形式化说明技术
![[软工导论]第4章 形式化说明技术](https://img.taocdn.com/s3/m/3e239d11a8114431b90dd83f.png)
电梯系的有穷状态机对本产品进
行规格说 明。这个问题中有两个按钮集：
n 部电梯中的每一部都 有 m 个按钮，一个按钮
对应一个楼层。因为这 m × n 个 按钮都在电梯 中，所以称它们为电梯按钮。 此外，每层楼有两个按钮，一个请求向上，另一 个请求向下，这些按钮称为楼层按钮。
17
图4.1 保险箱的状态转换图
18
引例——保险箱的状态转换
19
用有穷状态机描述的保险箱
状态集J：｛保险箱锁定，A，B，保险箱解
锁，报警｝ 输入集K：｛1L，1R，2L，2R，3L，3R｝ 状态转换函数T：如表4.1所示 初始态S：保险箱锁定 终态集F：｛保险箱解锁，报警｝
32
楼层按钮的状态转换图
令FB(d,f)表示f层请求电梯向d方向运动的按钮，楼 层按钮的状态如下： FBON(d,f)：楼层按钮(d,f)打开 FBOFF(d,f)：楼层按钮(d,f)关闭 如果楼层按钮已经打开，而且一部电梯到达f层，则 按钮关闭。反之，如果楼层按钮原来是关闭的，被 按下后该按钮将打开。这段叙述中包含了以下两个 事件： FBP(d,f)：楼层按钮(d,f)被按下 EAF(1…n,f)：电梯1或…或n到达f层 其中1…n表示或为1或为2…或为n。
6
《天鹰》软件
特点：让用户自己来开发所需要的MIS
《天鹰》提供一种近乎行业自然语言的
描述语言，称为BIDL。用户只需要本行 业的业务知识,很容易用BIDL语言写清楚 本单位的组织、人员和业务情况。一旦 情况写清楚了，《天鹰》即可自动为他 生成一个可用的MIS系统。
7
一个应用软件往往含有大量领域知识。如果我们 能让软件工程师和领域专家各司其职，然后用适 当的技术把两者结合起来，就可以达到扬长避短 的目的。 例如，在MIS开发方面，软件工程师只把像《天 鹰》这样的工具做得好好的。另有一批人专门开 发各行各业的知识模块，如商业、旅游、邮电、 海关、税收、医院、学校等等。 用户从软件开发者手里购买软件工具，而从知识 开发者那里购买知识模块。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
１ 前 言 Байду номын сангаас
Ｏｈｅｔ ｅ 是形式规 格说 明语 言 Ｚ的面 向对 象扩 充 ， ｊｃ Ｚ１ — ］ 基 于集合论与数理 逻辑 ， 具有严 密的逻辑性 ， 应于精确地描述 适
ｆｒｍｏ ｅｉｇｄ ｔ ｎ ｌｏ ｉｈ ．ｂ ｔｉ ｉ ｉ ｉｕ ｔｔ ｅｕ ｅ ｏ ｃｐ ｕ ｅｔ ｅｂ ｈ ｖｏ ｒｏ ｏ ｃ ｒｅ ｔｒａ ｔ ｅｓ ｓｅ ． ｏ ｄ ｌ ａａａ ｄ ａｇ ｒ ｍｓ ｕ ｓｄｆ ｃ ｌ Ｏｂ ｓ ｄｔ ａ ｔ ｒ ｈ ｅ ａ ｉｕ ｆｃ ｎ ｕ ｒ ｎ ｅ ｃｉ ｙ ｔｍｓ ｎ ｔ ｔ ｆ ｖ
ｓ ｅ ｉｃ ｔ ｎ ｔ Ｐ ｓ ｅｉｉａｉｎ，ｗｈｃ Ｓｉ ａ ｏ ｆｒｆ ｅ ｅ ｔａ ｄｖ ｒｆｃ ｔ ｎ ｆｒｔ ｅｂｅ ｄｎ ｐ ｃｆｃ ｔ ｎ ｂ ｃ ｕ ｅ ｐ ｃｆ ａｉ ＯＣｓ ｐ ｃｆ ｔｏ ｉ ｏ ｃ ｉｈｉ ｎ ｆｖ ｒｏ ｅｉ ｍ ｎ ｎ ｅｉ ａｉ ｏ ｈ ｌｎ ｉｇｓ ｅ ｉ ａ ｉ ｅａ ｓ ｎ ｉ ｏ ｉ ｏ
ｔ ｎｃ ｎｂ ｄ ｌ ｈ ｃ ｅ ｃｏ ｄ ｎ ｏｔ ａ ｆＣＳ ． ｉ ａ ｅｍｏ ｅ－ ｅｋ ｄ ａ ｃ ｒ ｉｇ ｔ ｈ ｔｏ Ｐ ｏ ｃ
Ｋｅｗ ｒｓ Ｏｂｅ ｔ ， Ｓ Ｆ ｒ ｌ ｐ ｃ ｉ ｔ ｎ Ｐ ｒｍｅｅ ｉ ｄｐ ｏ ｅｓ Ｃ ｎ ｅｓ ｎ ｙ ｏｄ ｊｃ Ｚ Ｃ Ｐ。 ｏ ｍａ ｅｉ ｃ ｉ ， ａ ａ ｔｒ ｅ ｒ ｃｓ ， ｏ ｖ ｒｉ － ｓ ｆａｏ ｚ ｏ
化数据 与算法 ， 可以表 示 系统的行 为， 求精与验证对 它们 结合后的规格说 明需要 分别进行 处理。本文提 出 了一 个 又 但 方法， ＯｂｅｔＺ规格说 明转化 为 Ｃ Ｐ规 格说明 ， 把 ｊｃ － Ｓ 可以方便 地处理结合后 的规 格说 明 ， 因此求精与推理 对 结合后 的规
格说 明可以按 Ｃ Ｐ规 则与方 法一致 来进 行 处理。此 外， Ｓ 转化 后的 Ｏｂｅｔ ｊｃ－ Ｚ规格说 明 可以按照 Ｃ Ｐ方法进 行模 型检 Ｓ
Ｗ Ｅ ｈ— ｈ ｎ ＭＩ ａ－ ｕ Ｘ ｎ － ｏ Ｎ Ｚ ｉ ｅｇ － Ｃ ＡＯ Ｈｕｉ — Ｕ ＱｉｇＧｕ Ｋｏ
（ ｃ ｏ ｏ ｐ ｅ ｇｎ ｅｉｇ ａ ｄ Ｓ ｉｎ ｅ Ｓｈ ｎ ａ Ｓ ｈｏ ｌ Ｃ ｍ ｕｔｒＥｎ ｉｅ ｒｎ ｎ ｃｅ ｃ ， ａ ｇｈ ｉＵｎｉｅｓｔ ，Ｓ ｎ ａ ０ ０ ２） ｏｆ ｖ ｒ ｉｙ ｈａ ｇｈ ｉ ０ ７ ２
维普资讯
计算 机科学 ２０ Ｖ １ ３ｏ１ ０６ ｏ ３ Ｎ． １ ．
一
种 从 Ｏｂｅｔ ｊｃ— Ｚ到 Ｃ Ｐ规 格 说 明 的转 化 方 法 ） Ｓ
文志诚 缪淮 扣 许庆 国
（ 上海大学计算机学院 上海 ２ ０ ７ ） ００２
摘 要 面向对 象形式规格说 明语 言 Ｏ ｊ ｔ 与进程代数 Ｃ Ｐ相结合是 当 的一个热 点， ｂ ｃＺ ｅ－ Ｓ 今 它既可 以表 示 复杂的模 块
ｓｅ ｉｃｔ ｎｒｓ ｅｔ ｅｙ ｗｈｃ ｅｙｉｃｎ ｅｉｎ．Ｔｈｓｐ ｐ ｒｉｔ ｄ ｃｓａ ｐ ｒａｈｔ ｒｎ ｌ ｉｇ ｔｅＯｂｅｔ ｐｉｆ ａｉ ｐ ｃｉ ｌ ， ｉ ｉ ｖ ｒ ｎｏ ｖ ｎｅｔ ｃｉ ｏ ｅ ｖ ｈｓ ｉ ａ ｅ ｒ ｕ ｅ ｎａ ｐｏ ｃ Ｏｔａ ｓ ｔ ｈ ｊｃ－ ｎｏ ａｎ Ｚ
ｒｆ ｅ ｎ ｎ ｅｉｃｔ ｎｃｎａｃ ｒ ｉ ｈ ｔｏ ｆ Ｓ ｎｆｒ ｙ Ｍｏｅｖ ｒ ｏ ｖｒｉｎ ｌ ｂｅｔ ｐ ｃ ｉ — ｅｉ ｍｅｔ ｄｖｒ ｉ ｉ ａ ｃｏｄｗ ｔ ｔｅｍｅｈ ｄｏ Ｐ ｕ ｉ ｍｌ ｎ ａ ｆａｏ ｈ Ｃ ｏ ． ｒｏ ｅ 。ｃｎ ｅｓ ａ Ｏ ｊｃ Ｚｓ ｅｉｃ ｏ － ｆａ
ｅｔｄｓｙ ｎ ｒｖｓｔｅｃ ｒ ｙｏ ｒｅｓ ｅｉｃｔ ｎ ｈｏ ｇ ｎ ａｃｄｓｒｃｕｉｇ ｂｅｔＺｉ ａ ｘｅｌ ｔｔＯ ｎｅ ｔｌ ａ ｄｉ ｏ ｅ ｈ ｌ ｉ ｆ ａｇ ｐ ｃ ｉ ｉ ｓｔｒｕ ｈｅ ｈ ｎｅ ｔ ｔｒ ．Ｏ ｊｃ ｎｅｃｌ ｎ ｌ ｅ ｍｐ ａｔ ｌ ｆａｏ ｕ ｎ － ｓ ｅ Ｏ
Ａ ｓ ａ ｔ Ｏ ｊｃ－ ｎｅ ｔｎｉｎｔ ｅｆｒ ｌ ｐｃ ｉ ｔ ｎｌ ｇ ａ ｅ 。 ｉ ｃｉ ｔｓ ｐ ｃ ｉ ｔ ｎｉ ｎｏ ｊｃ—ｒ ｂｔ ｃ ｒ ｂｅｔ ｉａ ｘｅｓ ｔ ｍａ ｓｅｉｃ ｉ ｎ ｕｇ ｗｈｃ ｆ ｉｔ ｅ ｅｉｃ ｉ ａ ｂｅｔ ｉ ＺＳ ｏ ｏｈ ｏ ｆ ａｏ ａ Ｚ ｈ ａ ｌａ ｓ ｆ ａ ｏ ｎ ｏ—
ＣＳ ｓｇ ｏ ｔｍｏ ｅｉｇ ｃ ｎ ｕ ｒ ｎ ｅ ａ ｉｕ ，ｂ ｔｈ ｓｌ ｔ ｕ ｐ ｒ ｏ ｄ ｌ ｇｔ ｅｓａｅｏ ｏ ｌｘ ｓ ｓｅ Ｐ ｉ ｏ ｄａ ｄ ｌ ｏ ｃ ｒｅ ｔｂ ｈ ｖｏ ｒ ｕ ａ ｉ ｌ ｓ ｐ ｏ ｔｆｒｍｏ ｅｉ ｈ ｔｔ ｆ ｃ ｍｐｅ ｙ ｔｍ． Ｔｈ ｎ ｔｅ ｎ ａ ｅ
查。
关键词
Ｏ ｊ ｔ ，Ｓ ， ｂ ｃ ＺＣ Ｐ 形式规格说明 ， ｅ— 参数化进程 ， 转化
Ａ ｐ ｒａｈ ｔ Ｔ ａ ｓ ｔ ｇＯ ｊｃ－ ｐ ｃｆ ａｉ ｏＣ Ｐ Ｓ ｅｉ ｃ ｔ ｎ ｎＡ ｐ ｏ ｃ ｏ ｒｎ ｌ ｉ ｂｅｔ Ｓ ｅｉ ｃｔ ｎ ｔ Ｓ ｐ ｆ ａｉ ａｎ Ｚ ｉ ｏ ｃｉ ｏ
ｂｅｄｎ ｆ ｂｅｔ ｎ Ｓ Ｓａｔｅｄ ｔｄ ｙ ｕ ｈ ｅｉｅ ｎ ｎ ｅｉｃｔ ｎａｅｔｋ ｎ ａａｔｆｒｔｅｂｅ ｄｎ ｌ ｉｇｏ ｊｃ－ ａ ｄＣ Ｐ ｉ ｒｎ ｏ ａ 。ｂ ｔｔｅｒｆ ｍｅｔａ ｄ ｖｒ ｉ ｉ ｒ ａ ｅ ｐ ｒ ｏ ｈ ｌ ｉｇ ｎ Ｏ Ｚ ｎ ｆａｏ ｎ