维普资讯 http://www.cqvip.com
２Ｏ０６年 汽车车灯控制系统的ＶＨＤＬ语言实现 郑应民 摘要：随着科学技术的进步，现代电子技术的发展，汽车电器也 可实现高度集成和精确的电路设计，降低了设计成 具有了越来越多的功能和较高的性能。本文用２Ｏ世纪８Ｏ年 代中期．Ａｈｅｒａ和Ｘｉｌｉｎｘ推出的ＣＰＬＤ来实现汽车车灯控制系 统ＶＨＤＬ语言实现的初步研究，即用ＣＰＬＤ器件，使用ＶＨＤＬ 语言编程实现数字逻辑．最终实现汽车车灯控制系统的ＶＨＤＬ 语言数字电路部分的设计。 关键词：汽车；ＣＰＬＤ 中图分类号：ＴＮ７９１；ＴＰ３１２ＶＨ 文献标识码：Ａ 文章编号：１００６—７２０５（２００６）０３—Ｄｏ８４—ｏ３ Ｔｈｅ Ｒｅａｌｉｚａｔｉｏｎ ｏｆ Ａｕｔｏｍｏｂｉｌｅ’ｓ Ｄｙｎａｎｌｏ’ｓ Ｃｏｎｔｒｏｌ Ｓｙｓｔｅｍ Ｕｓｉｎｇ ＶＨＤＬ／／ＺＨＥＮＧ Ｙｉｎｇ－ｍｉｎ ． （Ｎａｎｊｉｎｇ Ｕｎｉｖｅｒｓｉｔｙ ｏｆ Ｓｃｉｅｎｃｅ＆Ｔｅｃｈｎｏｌｏｇｙ，Ｎａｎｊｉｎｇ，２１００９４， Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：ａｕｔｏｍｏｂｉｌｅ ｅｌｅｃｔｒｏｎｉｃ ｄｅｖｉｃｅ ｈａｓ ｍｏｒｅ ｆｕｎｃｔｉｏｎｓ ａｎｄ ｈｉｇｈｅｒ ｐｅｒｆｏｒｍａｎｃｅ ａｌｏｎｇ ｗｉｔｈ ｔｈｅ ａｄｖａｎｃｅｍｅｎｔ ｏｆ ｓｃｉｅｎｃｅ ａｎｄ ｔｅｃｈｎｏｌｏｇｙ ａｎｄ ｔｈｅ ｄｅｖｅｌｏｐｍｅｎｔ ｏｆ ｍｏｄｅｒｎ ｅｌｅｃｔｒｏｎｉｃ ｔｅｃｈｎｏｌｏｇｙ． Ｔｈｉｓ ｐａｐｅｒ ｄｉｃｓｕｓｓｅｄ ｔｈｅ ｒｅｓｅａｒｃｈ ｆｏｒ ｒｅａｌｉｚｉｎｇ ｔｈｅ ｄｙｎａｍｏ’Ｓ ｃｏｎｔｒｏｌ ｓｙｓｔｅｍ ｏｆ ａｕｔｏｍｏｂｉｌｅｓ ｂｙ ｕｓｉｎｇ ｈｔｅ ＣＰＬＤ（Ｃｏｍｐｌｅｘ Ｐｒｏ－ ｇｒａｍｍａｂｌｅ Ｌｏｇｉｃ Ｄｅｖｉｃｅ）ｒｅｌｅａｓｅｄ ｂｙ Ａｈｅｒａ ａｎｄ Ｘｉｌｉｎｘ ｉｎ ｔｈｅ ｍｉｄｄｌｅ ｏｆ １９８０ｓ．ｉ．ｅ．ｕｓｅｄ ｔｈｅ ＣＰＬＤ ａｎｄ ＶＨＤＬ ｔｏ ｒｅａｌｉｚｅ ｔｈｅ ｄｉｇｉｔａｌ－ｌｏｇｉｃ ａｎｄ ｆｉｎａｌｌｙ ｔｏ ｒｅａｌｉｚｅ ｔｈｅ ｄｅｓｉｇｎ ｏｆ ＶＨＤＬ ｄｉｇｉｔａｌ— ｃｉｒｃｕｉｔｒｙ ｏｆ ｈｔｅ ｄｙｎａｍｏ’Ｓ ｃｏｎｔｒｏｌ ｓｙｓｔｅｍ ｏｆ ａｕｔｏｍｏｂｉｌｅｓ． Ｋｅｙｗｏｒｄｓ：ａｕｔｏｍｏｂｉｌｅ；ＣＰＬＤ ０ 引言 当前数字电路系统的设计正朝着速度快、容量 大、体积小、重量轻的方向发展。利用大规模可编程 逻辑器件ＣＰＬＤ（Ｃｏｍｐｌｅｘ Ｐｒｏｇｒａｍｍａｂｌｅ Ｌｏｇｉｃ Ｄｅｖｉｃｅ） 进行ＡＳＩＣ设计，可以直接面向用户需求，根据对系统 的功能要求自上而下地逐层完成相应的描述、综合、 优化、仿真与验证，直到生成元器件。目前，系统级的 仿真工具也已出现．这样可以大大地缩短系统的设计 周期，增加可靠性，提高产品竞争能力。采用Ａｈｅｒａ和 Ｘｉｌｉｎｘ公司的可编程逻辑器件，并配以开发软件可在 计算机上进行各种电路设计和修改，并可对电路特性 进行仿真模拟，最后将设方案下载到该器件中，这样 本，提高了设计效率和电路的可靠性。本文通过一个 汽车车灯控制系统的设计实践，介绍了ＶＨＤＬ语言的 具体设计应用。 １ 系统功能及要求 汽车上有一转弯控制杆，此杆有三种状态：中间 位置时汽车不转弯，向上位置时汽车左转，向下位置 时汽车右转。汽车转弯时相应的尾灯和头灯均闪烁， 当应急开关合上时，头灯尾灯均闪烁。汽车刹车时，２ 个尾灯发出一直亮的信号。如果汽车刹车时正在转 弯，则相应的转弯闪烁信号不受影响。 ２逻缉抽象 由要求转换成真值裹 注：断一灯不亮；闪一灯闪烁；通一灯一直亮 ３由真值表得出逻缉表达式 Ｅ（断）＝（Ｃ ａｎｄ Ｄ）ｏｒ（（ｎｏｔ Ｂ）ａｎｄ（ｎｏｔ Ｃ））； 维普资讯 http://www.cqvip.com
第３期 技术研究・汽车车灯控制系统的ＶＨＤＬ语言实现 Ｅ（闪）＝（Ｂ ａｎｄ（ｎｏｔ Ｃ））Ｏｒ（Ｃ ａｎｄ（ｎｏｔ Ｄ））； Ｅ（通）＝０； Ｆ（断）＝（Ｃ ａｎｄ Ｄ）ＯＲ（（ｎｏｔ Ｂ）ａｎｄ（ｎｏｔ Ｄ））； Ｆ（闪）＝（（ｎ０ｔ Ｃ）ａｎｄ Ｄ）Ｏｒ（Ｂ ａｎｄ（ｎｏｔ Ｄ））； Ｆ（通）＝０； Ｇ（断）＝（Ｃ ａｎｄ Ｄ）ｏｒ（（ｎｏｔ Ａ）ａｎｄ（ｎｏｔ Ｂ）ａｎｄ（ｎｏｔ Ｃ））； Ｇ（闪）＝（Ｃ ａｎｄ（ｎｏｔ Ｄ））ｏｒ（（ｎｏｔ Ａ）ａｎｄ Ｂ ａｎｄ（ｎｏｔ Ｃ））； Ｇ（通）＝Ａ ａｎｄ（ｎｏｔ Ｃ）； Ｈ（断）＝（Ｃ ａｎｄ Ｄ）ｏｒ（（ｎｏｔ Ａ）ａｎｄ（ｎｏｔ Ｂ）ａｎｄ（ｎｏｔ Ｄ））； Ｈ（闪）＝ ｎｏｔ Ｃ）ａｎｄ Ｄ）ｏｒ（（ｎｏｔ Ａ）ａｎｄ Ｂ ａｎｄ（ｎｏｔ Ｄ））； Ｈ（通）＝Ａ ａｎｄ（ｎｏｔ Ｄ）； ４ ＶＨＤＬ语言实现（源程序注释） ｌｉｂｒａｒｙ ＩＥＥＥ～定义ＩＥＥＥ库，使用ｓｆｄ—ｌｏｇ－ ｉｃ一１ １ ６４和ｓｔｄ—ｌｏｇｉｃ—ｕｎｓｉｇｎｅｄ ｕｓｅ ＩＥＥＥ．ｓｔｄ＿ｌｏｇｉｃ－ｌ １６４．ａｌｌ；一包集合 ｕｓｅ ＩＥＥＥ．ｓｔｄ—．１ｏｇｉｃ—．ｕｎｓｉｇｎｅｄ．ａｌｌ； ｅｎｔｉｔｙ ａｕｔｏｌｉｇｈｔ ｉｓ一定义实体ａｕｔｏｌｉｇｈｔ ｐｏｒｔ（Ａ．ｉｎ ＳＴＤ—ＬＯＧＩＣ； Ｃ：ｉｎ ＳＴＤＬＯＧＩＣ； —Ｂ．ｉｎ ＳＴＤＬＯＧＩＣ； —Ｄ．ｉｎ ＳＴＤ—ＬＯＧＩＣ； Ｅ．ｏｕｔ ＳＴＤ—ＬＯＧＩＣ； Ｆ．ｏｕｔ ＳＴＤ—ＬＯＧＩＣ； Ｇ：ｏｕｔ ＳＴＤＬＯＧＩＣ； —Ｈ：ｏｕｔ ＳＴＤ—ＬＯＧＩＣ）； 一说明：定义器件的输入输出口字母用大写。Ａ、 Ｂ、Ｃ、Ｄ对应上述四个开关，信号为输入；Ｅ、Ｆ、Ｇ、Ｈ对 应上述前后车灯，信号为输出。 ｅｎｄ ａｕｔｏｌｉｇｈｔ； ａｒｃｈｉｔｅｃｔｕｒｅ ａｕｔｏｌｉｇｈｔ—ａｒｃｈ ｏｆ ａｕｔｏｌｉｇｈｔ ｉｓ一构造 体说明 ｓｉｎｇａｌ ｅｌ，ｅ２，ｅ３，ｆ１， ，ｆ３，ｇ１，ｇ２，ｇ３，ｈ１，ｈ２，ｈ３，ｃｌｋｋ， ｓｅｈｓｔｄ—．１ｏｇｏ； ｓｉｇｎａｌ ｃｏｎｔｒｏｌｅ，ｃｏｎｔｒｏｌｆ，ｃｏｎｔｒｏｌｇ，ｃｏｎｔｒｏｌｈ：ｓｔｄ—ｌｏｇｉｃ —ｖｅｃｔｏｒ（２ ｄｏｗｎｔｏ ０）； 一说明：定义器件内部信号口的字母用小写。ｅ１ 对应Ｅ（断），ｅ２对应Ｅ（闪），ｅ３对应Ｅ（通）。ｆｌ、ｆ２、ｔ３、ｇｌ、 ｇ２、ｇ３、ｈ１、ｈ２、ｈ３同理。 ｃｏｍｐｏｎｅｎｔ ｃｌｋ一元件ｃｌｋ以产生闪烁信号 ｐｏｒｔ（ｃｌｋｉｎ：ｉｎ ｓｔｄ—ｌｏｇｉｃ；ｃｌｋｏｕｔ：ｏｕｔ ｓｔｄ—ｌｏｇｉｃ）；——脉 冲（为方波） ｅｎｄ ｃｏｍｐｏｎｅｎｔ； ｃｏｍｐｏｎｅｎｔ ＯＳ～元件ＯＳ相当于晶体振荡器 ｐｏｒｔ（ｏｓｏｕｔ：ｏｕｔ ｓｔｄ－ｌｏ百ｃ）；一产生约８ｍｈｚ脉冲 ｅｎｄ ｃｏｍｐｏｎｅｎｔ； ｂｅｇｉｎ ｕｌ：ＯＳ ｐｏｒｔ ｍａｐ（ｃｌｋｋ）；一调用ＯＳ产生信号ｃｌｋｋ ｕ２：ｃｌｋ ｐｏｒｔ ｍａｐ（ｃｌｋｋ，ｓｅ１）；一调用ｃｌｋ产生信号 ｓｅｌ用于闪烁 －－ｌｉｇｈｔ ｅ一产生ｅ１，ｅ２，ｅ３，ｆ１， ，ｆ３，ｇｌ，ｇ２，ｇ３ ｅｌ＜＝（（ｎｏｔ ｂ）ａｎｄ（ｎｏｔ ｃ））ｏｒ（ｃ ａｎｄ ｄ）；ｈｌ，ｈ２，ｈ３信号 ｅ２＜＝（ｂ ａｎｄ（ｎｏｔ ｃ））ｏｒ（ｃ ａｎｄ（ｎｏｔ ｄ））；一如ｅｌ＝ｌ则 左头灯不亮 ｅ３＜＝～０；一如ｅ２＝ｌ则左头灯闪烁，如ｅ３＝ｌ则左 头灯一直亮 一ｌｉｇｈｔ ｆ一同一时刻ｅ１、ｅ２、ｅ３只会有一个为１ ｆ１＜＝（（ｎｏｔ ｂ）ａｎｄ（ｎｏｔ ｄ））ｏｒ（ｃ ａｎｄ ｄ）； ｆ２＜＝（（ｎｏｔ ｃ）ａｎｄ ｄ）ｏｒ（ｂ ａｎｄ（ｎｏｔ ｄ））； ｔ３＜＝ ０ ： 一一ｌｉｇｈｔ ｇ ｇｌ＜＝（（ｎｏｔ ａ）ａｎｄ（ｎｏｔ ｂ）ａｎｄ（ｎｏｔ ｃ））ｏｒ（ｃ ａｎｄ ｄ）； ｇ２＜＝（（ｎｏｔ ａ）ａｎｄ ｂ ａｎｄ（ｎｏｔ ｃ））ｏｒ（ｃ ａｎｄ（ｎｏｔ ｄ））； ｇ３＜＝ａ ａｎｄ（ｎｏｔ ｃ）； ————ｌｉｇｈｔ ｈ ｈ ｌ＜＝（（ｎｏｔ ａ）ａｎｄ（ｎｏｔ ｂ）ａｎｄ（ｎｏｔ ｄ））ｏｒ（ｃ ａｎｄ ｄ）； ｈ２＜＝（（ｎｏｔ Ｃ）ａｎｄ ｄ）ｏｒ（（ｎｏｔ ａ）ａｎｄ ｂ ａｎｄ（ｎｏｔ ｄ））； ｈ３＜＝ａ ａｎｄ（ｎｏｔ ｄ）； ——ｃｏｎｔＩ。ｏｌ ｓｉｇｎａｌ－－ｃｏｎｔｒｏｌｅ ｃｏｎｔｒｏｌｆ ｃｏｎｔｒｏｌｇ ｃｏｎｔｒｏｌｈ ｃｏｎｔｒｏｌｅ＜＝ｅ１＆ｅ２＆ｅ３；一为位失量（２ ｄｏｗｎｔｏ ０），该 位变量值 ｃｏｎｔｒｏｌｆ＜＝ｆｌ＆ｆ２＆ｆ３；一等于ｅ１、ｅ２、ｅ３组合，只可 能为１００、０１０ ｃｏｎｔｒｏｌｇ＜＝ｇ １＆ｇ２＆ｇ３；００ １之一 ｃｏｎｔｒｏｌｈ＜＝ｈ １＆ｈ２＆ｈ３； —－——ｌｉｇｈｔ ｓｉｇｎａｌ ｏｆｆｌａｓｈ ｉｓ ｃｌｋｉｎ２ ｅ＜＝ ０ ｗｈｅｎ ｃｏｎｔｒｏｌｅ＝”Ｏ０１”ｅｌｓｅ一一ｏｎ 如ｃｏｎｔｒｏｌｅ＝１００则左头灯不亮 ｓｅｌ ｗｈｅｎ ｃｏｎｔｒｏｌｅ＝”０１０”ｅｌｓｅ一一ｆｌａｓｈ 如ｃｏｎｔｒｏｌｅ＝０１０则左头灯闪烁 １ ：一一ｏｆｆ 如ｃｏｎｔｒｏｌｅ＝Ｏ０１则左头灯一直亮 ｆ＜＝ ０ ｗｈｅｎ ｃｏｎｔｒｏｌｆ＝”００１”ｅｌｓｅ一一ｏｎ ｓｅｌ ｗｈｅｎ ｃｏｎｔｒｏｌｆ＝”０１０”ｅｌｓｅ一一ｆｌａｓｈ １ ：一一ｏｆｆ ｇ＜＝ ０ ｗｈｅｎ ｃｏｎｔｒｏｌｇ＝”００１”ｅｌｓｅ－－ｏｎ ｓｅｌ ｗｈｅｎ ｃｏｎｔｒｏｌｇ＝”０１０”ｅｌｓｅ一一ｎａｓｈ １ ：一一ｏｆｆ ｈ＜＝ ０ ｗｈｅｎ ｃｏｎｔｒｏｌｈ＝”００１．．ｅｌｓｅ一一０ｎ 维普资讯 http://www.cqvip.com
中国农机化・ＣＨＩＮＥＳＥ ＡＧＲＩＣＵＬＴＵＲＡＬ ＭＥＣＨＡＮＩＺＡＴＩＯＮ ２００６年 … —ｃ………… … 一 …一 一 … …一 简述三维设计时代的徒手草图 朱春耕，蒋洪奎，金才富 摘要：工业设计正进入３Ｄ—ＣＡＤ时代，徒手草图因其独特的优 ｓｉｇｎ．Ｔｈｉｓ ｔｅｘｔ ｉｎｑｕｉｒｅｄ ｔｈｅ ｍｅｔｈｏｄ ｔｏ ｄｒａｗ ｔｈｅ ｂａｒｅｈａｎｄｅｄ 点，在现代设计中的作用不仅没有减弱反而加强了。本文探讨 ｓｋｅｔｃｈ，ａｎｄ ｔｈｅ ｅｎｇｉｎｅｅｒｉｎｇ ａｐｐｌｉｃａｔｉｏｎ ｏｆ ｔｈｅ ｂａｒｅｈａｎｄｅｄ ｓｋｅｔｃｈ， 了草图绘制方法、草图的工程应用、草图思维及其养成等。 ｔｈｅ ｂａｒｅｈａｎｄｅｄ ｓｋｅｔｃｈ ｔｈｉｎｋｉｎｇ ｏｆ ｍｅｔｈｏｄ ａｎｄ ｉｔ ｄｅｖｅｌｏｐｓ ｅｔｃ．． 关键词：６ｔ手草图；概念设计；设计与制造；草图思维；制图教学 Ｋｅｙｗｏｒｄｓ：ｓｋｅｔｃｈ；ｃｏｎｃｅｐｔ ｄｅｓｉｇｎ；ｄｅｓｉｎｇ ａｎｄ ｍａｎｕｆａｃｔｕｒｉｎｇ； 中圈分类号：ＴＢ４７；Ｊ１００．９ ｓｋｅｔｃｈ ｔｈｏｕｇｈｔ；ｇｒａｐｈｉｃｓ ｔｅａｃｈｉｎｇ 文献标识码：Ｂ ０ 引言 文章编号：１００６—７２０５（２００６）０３—００８６—０３ 由于计算机辅助设计与制造（ＣＡＤ／ＣＡＭ）在工程 Ｔｈｅ Ｂａｒｅｈａｎｄｅｄ Ｓｋｅｔｃｈ ｉｎ ｔｈｅ ３Ｄ—ＣＡＤ Ｔｉｍｅｓ／／ＺＨＵ Ｃｈｕｎ－ 中广泛应用。手工绘图图纸在工程应用中的比例越来 ｇｅｎｇ，ＪＩＡＮＧ Ｈｏｎｇ—ｋｕｉ，ＪＩＮ Ｃａｉ—ｆｕ 越小。在工程教学中，计算机辅助设计与制造软件的 （Ｚｈｅｊｉａｎｇ Ｎｏｍａｌ Ｕｎｉｖｅｒｓｉｔｙ，Ｊｉｎｈｕａ，３２１０１９，Ｃｈｉｎａ） 快速发展成了各工程课程教学改革的重要动因，教师 Ａｂｓｔｒａｃｔ：，Ｉ１ｌｅ ｉｎｄｕｓｔｒｙ ｄｅｓｉｇｎ ｉｓ ｅｎｔｅｒｉｎｇ ｔｈｅ ３ Ｄｓ－ＣＡＤ ｆｏｒ 和学生开始学习和运用各种ＣＡＤ系统。他们渐渐疏 ａｇｅｓ，ｂｅｃａｕｓｅ ｔｈｅ ｂａｒｅｈａｎｄｅｄ ｓｋｅｔｃｈ ｈａｖｅ ｓｐｅｃｉａｌ ａｄｖａｎｔａｇｅ，ｔｈｅ 于手工设计与绘图，计算机代替了纸笔，直接在电脑 ｆｕｎｃｔｉｏｎ ｏｆ ｔｈｅ ｂａｒｅｈａｎｄｅｄ ｓｋｅｔｃｈ ｉｓ ｓｔｒｅｎｇｔｈｅｎｅｄ ｉｎ ｍｏｄｅｍ ｄｅ－ 屏幕上完成方案设计、造型设计、工程计算、工程图 ｓｅｌ ｗｈｅｎ ｃｏｎｔｏｒｌｈ＝”０１０”ｅｌｓｅ一－ｆｌａｓｈ ａｒｃｈｉｔｅｃｔｕｒｅ ｃｌｋａｒｃｈ ｏｆ ｃｌｋ ｉｓ —．１ ；－－ｏｆｆ ｓｉｇｎａｌ ｃｌｋ：ＳＴＤ—．ＬＯＧＩＣ； ｅｎｄ ａｕｔｏｌｉｇｈｔｓｉｇｎａｌ ｃｏｕｎｔｅｒ：ｓｔｄｌｏｇｉｃ＿ａｒｃｈ；一结束构造体ａｕｔｏｌｉｇｈｔ—ａｒｃｈ ——ｖｅｃｔｏｒ（２４ ｄｏｗｎｔｏ ０）； ５管脚锁定文件说明 ｂｅｇｉｎ 用户可根据使用情况自行定义管脚锁定文件。 ｃｌｋ０ｕｔ＜：ｃ０ｕｎｔｅｒ（２４）； 这里将用ＥＤＡ实验板上资源（跳线，开关按键，数码 ｐｒｏｃｅｓｓ（ＣＬＫｉｎ） 管，ＬＥＤ指示灯，蜂鸣器等）与ｘｉｌｉｎｘ ｘｃ９５７２芯片管脚 ｂｅｇｉｎ 相连，使用者可通过对按键和开关的操作加上指示灯 ｉｆ ＣＬＫｉｎ＝ １’ａｎｄ ＣＬＫｉｎ ｅｖｅｎｔ ｔｈｅｎ 和数码管的显示来判断程序是否正确。 ＣＯＵＮＴＥＲ＜＝ＣＯＵＮＴＥＲ＋１； 本系统使用ｘｃ９５７２中ｐ３３、ｐ３４、ｐ３５、ｐ３６作为输 ｅｎｄ ｉｆ； 人端，对应程序中Ａ、Ｂ、Ｃ、Ｄ，在ＥＤＡ实验板上对应跳 ｅｎｄ ｐｒｏｃｅｓｓ； 线的最左边四个。使用ｐ２９、ｐ２８作为左右头灯，对应 ｅｎｄ ｃｌｋ—．ａｒｃｈ； ＥＬＤ发光管最左边两个。使用ｐ４０、ｐ４２作为左右尾 ７ 总结 灯，对应ＬＥＤ发光管最右边两个。 ＶＨＤＬ作为一种硬件描述语言，以其灵活、完善 ６元件ｃｌｋ说明 和强大的功能在全世界得到了广泛的运用。而使用 ｌｉｂｒａｒｙ ＩＥＥＥ； ＣＰＬＤ器件设计汽车车灯控制系统的硬件可使其更 ｕｓｅ ＩＥＥＥ．ｓｔｄ—ｌｏｇｉｃ＿Ｉ １ ６４．ａｌｌ； 加小型化、集成化，可靠性得到有效得提高。 ｕｓｅ ＩＥＥＥ．ｓｔｄ参考文献： —．１ｏｇｉｃ＿ｕｎｓｉｇｎｅｄ．ａｌｌ； ｅｎｔｉｔｙ ｃｌｋ ｉｓ—ｃｌｋ的作用是分频以产生闪烁信号 【１】Ｋｅｖｉｎ ＳｋａｈｉＵ［美】．可编程逻辑系统ＶＨＤＬ设计技术【Ｍ】．东南 ｐｏｒｔ（ 大学出版社．１９９８：５９—６０． ｃｌｋｉｎ：ｉｎ ｓｔｄ＿ｌｏｇｉｃ； ｃｌｋｏｕｔ：ｏｕｔ ＳＴＤ—．ＬＯＧＩＣ）； 来稿日期：２ｏｏ５年９月２６日 ｅｎｄ ｃｌｋ； 郑应民南京理工大学２１０ｏ９４南京市
