文档库 最新最全的文档下载
当前位置:文档库 › 用软硬件结合的方法实现对PT2262的解码

用软硬件结合的方法实现对PT2262的解码

用软硬件结合的方法实现对PT2262的解码
用软硬件结合的方法实现对PT2262的解码

用软、硬件结合的方法实现对P T2262的解码

王晓东

(国营785厂,山西太原030024)

摘 要:在红外/无线遥控领域,PT2262/2272是目前最常用的芯片之一,从PT2262的编码原理、波形特征入手,通过一个应用实例,结合软、硬件解码各自的优点,提出了具体的解码方法和措施。最后给出了相应的电路原理框图与软件设计流程。

关键词:PT2262;遥控;软件解码;硬件解码

中图分类号:TP33 文献标识码:A

0 引言

PT2262/2272是一种CMOS

工艺制造的低功耗低价位

通用编解码电路,是目前在红外/无线通讯电路中作地址编码识别最常用的芯片之一。对PT2262解码常用的方法有硬件解码和软件解码。硬件解码是采用PT2272,当发射端与接收端采用相同的地址编码,在有效的通信距离内,接收端可正确收到发射端的信号,硬件解码速度快,使用方便,在大部分应用场合采用这种方法。软件解码是通过对发送波形的分析,由计算机来进行解码,软件解码的优点是能对发射端的多种编码进行解码,配置灵活,不受发射端地址的影响,缺点是速度较慢,需100ms左右的时间。

这两种解码方式在某些特定的应用时会受到局限,无法完成解码任务。如在某一应用系统中,在一定的地域范围内有大约80对PT2262/2272在同时工作,要求同地址的一对PT2262/2272不响应,当收到异地址的信号时要做出响应,并且要求在2秒内完成解码工作。单独采用软、硬件解码都无法完成这一任务,本文采用一种巧妙的方法,结合软、硬件解码的优点,来实现正确的解码。

1 PT2262编码原理

PT2262是Princeton Technology公司的一款适用于红外和无线遥控的集成电路,它将载波振荡、编码、发射部分集于一身。具有价格低、

功耗小、抗扰性好、单电阻振荡、

适用电压范围宽等优点,外围电路简单,使用方便。目前被广泛应用于家电遥控、车门遥控及工业遥控等领域。

PT2262芯片引脚排列如图1所示。各引脚功能如下: A0~A5为地址输入,可编制成三种状态:1、0和高阻态;A6/ D0~A11/D5为地址或数据输入,做地址输入时,可编制成三种状态:1、0和高阻态;做数据输入时,可编成l和0两种状态。该芯片最大编码容量为531441种。TE为发射使能端,低电平有效。OSC1、OSC2外接振荡电阻,决定电路时钟频率。Dout为数据输出端,由地址、数据的不同状态而决定的各位编码由此脚串行输出。PT2262的信号发送格式如图2所示。

图1 PT2262

引脚排列

图2 PT2262发送格式

PT2262有三种编码:0,1,和悬空,见图3。PT2262每组发送12位三态数据,每位数据(0,1,高阻态)由两个脉冲位组成,脉冲分两种,一种为宽脉冲,长度约490μs,一种为窄脉冲,宽度约165μs。宽、窄脉冲的不同组合对应不同的编码。每一个数据位的宽度约为1.3ms,每组12位数据的宽度约为16ms。每次发射时,PT2262发送四次编码,每发送一次编码都由5ms宽度的低电平分开,而16ms的编码是由A0~A11十二个码组成,低位在前,高位在后。

图3 PT2262编码格式

2 解码原理及硬件结构

2.1 硬件解码

PT2272是与PT2262配套使用的硬件解码芯片, PT2262每次发射时至少发射四组字码,因为无线发射的特点,第一组字码非常容易受零电平干扰,往往会产生误码,所以2272只有在连续两次检测到与自己相同的地址码加数据码时,才会认为是收到了正确的遥控信号,其响应是把数据码中的“1”所对应的数据输出端置为高电平,且同步地驱动

山西电子技术

2008年第5期

应用实践

收稿日期:2008-06-30 作者 王晓东 男 38岁 工程师

其V T 端为高电平。

2.2 软件解码

根据PT2262发送编码的过程中,编码间隔为5ms 的特点,在软件解码时,首先我们可以通过检测5ms 宽度的同步码头,为了方便检测,接收端的信号与发送的信号高低电平正好相反,接收到5ms 高电平的负跳变后开始解码,解码时,用单片机的定时器记录信号相邻下降沿和上升沿之间的时间,判断是宽脉冲还是窄脉冲,将值记录下来,就得到了与发送端相对应的编码。具体解码方法如下:

从第一个下降沿开始记时,并不断检测电平变化,一有电平变化,立即记录电平宽度B1,再继续记时直至出现第二个下降沿,记录两个下降沿的间隔B2,重复以上步骤,得到B3,B4,判断B1,B2,B3,B4是否在各自允许的误差范围内,是则保存B1,B3,译出一个码位,否则认为误码,丢弃。连续正确检测12个码位。2.3 软、硬件混合解码本系统采用了软、硬件混合解码的方式,单片机采用A TMEL 公司89C2051。接收端的电原理框图如图4所示。图中遥控接收电路是一个模拟接收电路,接收发送方的物理信号,将信号传送到PT2272输入脚,同时给单片机传送反相后的信号,做为软件解码信号的输入。PT2272对接收到的信号进行硬件解码,若地址码符合,则通过V T 端给单片机一个外部中断信号。通过以上电路配合相应的软件,就可实现软、硬件混合解码

图4 接收端电原理框图

3 软件框图

接收端89C2051单片机的流程图5所示,接收子程序就是软件解码的过程,先检测5ms 的高电平,然后计算两个脉

冲之间的宽度,误差限制在50

μs 之内(脉宽应为490+165μs =655

μs ),连续有24个脉冲为一次接收正确,连续三次接收正确后认为数据有效,进行后续处理。

有脉冲接收时,主程序通过检测2272的V T 端置位否即可判断是否由同一地址码的PT2262发出(硬件解码过程),这一过程由2272的V T 端反向后接到89C2051的外部中断0来完成,在中断服务程序中置硬件解码成功标志。根

据软硬件解码情况即可进行后续的处理、控制,此处不详述。

4 硬件抗干扰措施

在无线通讯中使用单片机会对通讯系统造成较严重的

干扰,相信许多技术人员一定有过同样的苦恼。如果硬件设计不当,会造成通讯距离缩短的现象,因此有必要采取硬件抗干扰措施来增加系统的可靠性和实用性。本系统采取的措施有:

1)收发模块:采用目前国家允许无线遥控使用的频率315MHz ;

2)单片机振荡频率:大量的MCS51教材中推荐大家使用的是12MHz 及11.0592MHz 的晶体,这些晶体在一般场合使用没有问题,但在此却不可以,它们在300MHz 左右仍然能够产生较大的干扰,系统中采用频率为4MHz 的晶体。

3)隔离:为了有效抑制单片机对接收模块的电磁干扰,采用了电源隔离和端口隔离技术。实践表明,采用隔离的效

果非常明显。

图5 软件流程图

5 结束语

本系统采用了软、硬件混合解码的方式,吸取了硬件解

码速度快与软件解码灵活的特点,已成功地应用到产品中,经过实际检验,取得了很好的效果。

参考文献

[1] 何立民.MCS 251单片机应用系统设计[M ].北京:北京

航空航天大学出版社,1990.

[2] 李坚.PT22622IR 2PT2272芯片应用[J ].现代通信,

1997(2).

The Decoding of PT 2262with the Method of H ardw are and Soft w are Joint

Wang Xiao 2dong

(S tate Ow ned 785Factory ,Taiyuan S hanxi 030024,China )

Abstract :In IR /wireless remote areas ,PT2262/2272is one of the most common chip.This paper ,from the PT2262coding theory ,starting with waveform characteristics ,through an application example ,combining with the characteristic of software and hardware decoding ,puts forward the decoding methods and measures.Finally ,a block diagram of the corresponding circuit and soft 2ware design process are given.

K ey w ords :PT2262;remote control ;software decoding ;hardware decoder

1

4第5期 王晓东:用软、硬件结合的方法实现对PT 2262的解码

梅塞德斯—奔驰新技术(COMAND)结构原理与维修

梅塞德斯—奔驰新技术(COMAND)结构原理与维修 侯振芳 北京博瑞祥驰汽车销售服务有限公司 摘要:分析了梅塞德—奔驰COMAND系统结构、工作原理、维修技术分析。此系统的技术覆盖面很广,如无线电、计算机基础、光线的工作原理、电话的工作原理、家用电器如CD、DVD、电视等。通过实践、探索,总结出一套使用的维修思路和方法,很大程度的提高了维修功效,大大地缩短了维修时间。文中以W211系列的COMAND系统为例。 关键词:COMAND系统;COMAND系统功能;COMAND系统操作;COMAND系统故障分析与排除 1. COMAND系统 COMMAND可以翻译为驾驶室管理及数据系统。它主要功能为: (1)驾驶室内娱乐功能; (2)驾驶室内通讯功能; (3)驾驶员导航功能。 奔驰公司全新推出此系统,巩固了其在世界汽车行业中技术领先的地位。那末该系统是由什么来组成的呢?如图1所示。

https://www.wendangku.net/doc/1713996620.html,AND系统功能 COMAND 操作、显示和控制单元 (A40/3)是娱乐和通讯系统 ( 集成在车辆中 , 处于MOST( 媒体定向系统传输 ) 内 ) 的中央操作单元。所有参与的系统部件和控制单元 CAN-Be 均可通过COMAND 操作、显示和控制单元 (A40/3)使用左多功能方向盘按钮组 (S110) 和右多功能方向盘按钮组 (S111)选择和操作。 COMAND 操作、显示和控制单元 (A40/3)具有一个可播放视频的 LCD彩色显示器 , 用于显示导航系统和视频图像的操作菜单和地图数据。 COMAND 操作、显示和控制单元(A40/3)可以通过三个主控板操作 , 这三个主控制板位于屏幕的左右两侧和下方的十字形翘板按钮( 光标、输入 ) 以及旋转式开关 ( 音量、 ON/OFF) 。、

丰田汽车音响解码

丰田汽车音响解码 丰田汽车音响确认号一览表 汽车类别丰田号码前面板确认号码规格明细 CROWN 86120-3A030 1458 AM/FM收音机 86260-30291 1935 磁带放音机 86120-3A350 17404 收音机、磁带放音机 86270-30090 ————CD自动转换机(安装在车尾的行李箱内 CELICACAMRY SUPRA等86120-33110 16804 三合一组合装置(收音机、磁带放音机、CD机) 86120-06030 11708 收音机、磁带组合装置 86120-2B340 A11708 收音机、磁带组合装置 PREVIA 86120-28140 16805 三合一收音机、组合装置 (收音机、磁带放音机、CD机) 08601-00821 34212 CD机 08601-00813 34212 CD机 HILUXT等商用车86120-16350 86120-1A040 1007 12101 AM收音机 CCROLLA·TERCEL·CELICA·CAMRYPRENI等 86120-06010 86120-12840 11402 A11402 AF/FM收音机 86120-06020 86120-12850 16404 组合装置收音机、磁带放音机 COROLLA·TERCEL·OASEO等86120-16580 86120-19215 11202 AM收音机 适用于其它车辆(PREVIA除外)08601-00812 09601-00820 34210 CD 丰田音响解码方法(通用码) (一)各种型的通用码(如下表所示) 一.凌志汽车音响通用密码: (一)凌志LS400: 512810 ,769800 ,810284 ,279239 ,334989 ,180824 ,740850 , 283689 ,241239 ,906743 ,540471 ,596239 ,412923 (二)凌志ES300:840 960,891 440 ,481960 (三)凌志GS300:891 440,588 (四)RS300通用码:547219 ,689243 ,838269 ,715269 二.亚洲龙(A V ALON):266 614,120,167 366614 254810 641283 609533 三.佳美(CAMRY): 906743

SOC的软硬件协同设计方法和技术

SOC的软硬件协同设计方法和技术 摘要: 随着嵌入式系统与微电子技术的飞速发展,硬件的集成度越来越高,这使得将CPU、存储器和I/O设备集成到一个硅片上成为可能,SOC应运而生,并以其集成度高、可靠性好、产品问世周期短等特点逐步成为当前嵌入式系统设计技术的主流。传统的嵌入式系统设计开发方法无法满足Soc设计的特殊要求,这给系统设计人员带来了巨大的挑战和机遇,因此针对Soc的设计方法学己经成为当前研究的热点课题。 论文首先分析了嵌入式系统设计的发展趋势,论述了传统设计开发方法和工具的局限性,针对Soc设计技术的特点探究了Soc软硬件协同设计方法的流程,并讨论了目前软硬件协同设计的现状。 关键词: 软硬件协同设计,可重用设计,SOC 背景: 计算机从1946年诞生以来,经历了一个快速发展的过程,现在的计算机没有变成科幻片电影中那样贪婪、庞大的怪物,而是变得小巧玲珑、无处不在,它们藏身在任何地方,又消失在所有地方,功能强大,却又无影无踪,这就是嵌入式系统。嵌入式系统是以应用为中心、计算机技术为基础、软件硬件可剪裁、适应应用系统对功能、可靠性、成本、体积、功耗严格要求的专用计算机系统。嵌入式系统是将先进的计算机技术、微电子技术和现代电子系统技术与各个行业的具体应用相结合的产物,这一点决定了它必然是一个技术密集、高度分散、不断创新的知识集成系统。嵌入式系纫‘泛应用于国民经济和国防建设的各个领域,发展非常迅速,调查数据表明,嵌入式系统的增长为每年18%,大约是整个信息技术产业平均增长的两倍[1],目前世界上大约有2亿台通用计算机,而嵌入式处理器大约60亿个,嵌入式系统产业是二十一世纪信息产业的重要增长点。 随着集成电路制造工艺的飞速发展,嵌入式系统硬件的集成度越来越高,这使得将嵌入式微处理器、存储器、I/O设备等硬件组成部件集成到单个芯片上成为可能,片上系统SoC (System on Chip)应运而生[2]。SOC极大地缩小了系统体积;减少了板级系统SoB(System on Board)中芯片与芯片之间的互连延迟,从而提高了系统的性能; 强调设计重用思想,提高了设计效率,缩短了设计周期,减少了产品的上市时间。因此SOC以其集成度高、体积小、功耗少、可靠性好、产品问世周期短等优点得到了越来越广泛地应用,并且正在逐渐成为当前嵌入式系统设计的主流技术[3]。但Soc设计不同于传统嵌入式系统的开发,如何快速、有效地开发和设计Soc产品是当前嵌入式设计开发方法学的一个十分重要的研究领

部分汽车音响密码计算

部分汽车音响密码计算 蓝宝25160机密码1361 4B0 1C F7 85 87 76 BA 4C0 E3 08 7A 78 89 45 4D0 46 AD DF DD 2C E0 4E0为等待行 蓝宝25160机密码1643 4B0 1C 02 E7 E5 20 8E 4C0 E3 F D 18 1A DF 71 4D0 46 58 BD BF 7A D4 蓝宝25160机密码0030 4B0 2D A4 70 B6 A2 4C 4C0 D2 5B 8F 49 5D B3 4D0 77 FE 2A EC F8 16 Polo汽车音响解码蓝宝机芯片为:25160 十六进制代码其转换方法如下:

超范的计算:把这些代码查表得出来的结果相加即可! 注意:个位十位百位千位只能相同位相加 4C0.4C1.4C2.4C3如果4C0超出常规范围那么4C1查表的结果向左移一位 千位由0填补然后再与4C0查表得出的结果相加. 如果4C1在常规范围内.4C2超出常规范围那么4C2查表的结果向左移一位 千位由0填补然后再与4C1.4C2查表得出的结果相加. 以此论推 (特殊代码有:4C2.内的代码中的.5查表得:0080.这个代码切4C0.4C1.为常规范围内时此时4C3代码查表结果不用移位 特殊代码有 4C0的B------8000 4C1的3--------0800性质同上 ?奔驰CQ-LP26117 地址: 01H 02H CODE: 34 12 =1234 ?奔驰CQ-LP1320 地址: 01H 02H CODE: 34 12=1234

?奔驰BE0876-9235码片(74252)密码数据重复6次 26H 33H定位 1.1D 1E 1F 20 地址 A3 A8 A9 A F=9235 密码389F-9235 2.21 22 23 24 A3 A8 A9 AF=9235 3.27 28 29 2A A3 A8 A9 AF=9235 4.9D 9E 9F A0 A3 A8 A9 AF=9235 5.A1 A2 A3 A4 A3 A8 A9 AF=9235 6.A7 A8 A9 AA A3 A8 A9 AF=9235 ?奔驰BE0728 BE0729(直接显示) 61H低位千位 6AH低百位. 63H低位十位. 68H低位个位 等待位:66H 03为无等待数据 ?奔驰BE1302(5149)85C82 BE1120 BE1240 BE1302 BE1310 BE1319 BE1320 1.5A 5B FB E3=5149 2.5C 5D FB E3=5149 3.5E 5F FB E3=5149 ?奔驰BE0774 (CODE2957)85C82 BE1810 BE1430 BE1431 BE1432 BE1436 BE1460 BE1560 1.1D 1E 1F 20 28 A3 AF AD=2957 2.21 22 23 24 28 A3 AF AD=2957 3.27 28 29 2A 28 A3 AF AD=2957 等待位:26H CODE=99 WAIT=8A ?奔驰BE2340 BE2330(3928)85C92 BE1088 1.94 95 93 82=3928 2.97 98 93 82=3928 3.9C 9D 93 82=3928 等待位:9B CODE=AA WAIT=00 ?奔驰BE3200 BE1490 BE1491 BE1492 BE1691 BE1690 BE1130 BE1150 BE1350 BE2010 (CODE12345)85C82

各种汽车音响密码输入方法

各种汽车音响密码输入方法 第一节丰田车系 1、丰田子弹头(Previa )音响锁止的解码操作程序 解码操作程序(一): 首先将点火开关开启后,暂时不打开音响开关,两手指同时按住音响装饰面板中的6 个预置电台存储键中的1 键,而后将音响电源控制开 关开启,此时音响面板的液晶显示为"SEC" 字样,则表示该音响因某种原因已被锁止(音响BA TT电源瞬间中断,或蓄电池供中断及蓄电池电压过低等)。 解码操作程序(二): 此种车型音响的解码为 3 位数密码,输入音响解锁密码进行解码,利用音响装饰面板中的 6 个预置电台存储键,兼做音响的解码操作输入按键。 解码操作程序(三): 例如输入密码186 按动面板操作存储键中的 1 键 2 次,观察液晶显示出1 为止。 按动面板操作存储键中的 2 键9 次,观察液晶显示出8 为止。 按动面板操作存储键中的 3 键7 次,观察液晶显示出6 为止。 如经以上操作输入的密码正确无误后,再按下音响装饰面板中的"ESC" 键稍等片刻即会自动消失。此时则表示该音响解码成功,音响恢复原设计功能。 需要说明的是,当此种车型的音响被锁止后,即使点火开关闭后,音响的防盗指示发光二极管都会不断的出现闪动指示。 另外该车型的密码最多可输入9 次,如9 次输入的密码均为错误密码时,则需要耐心等待24 小时后才可重新输入正确的密码进行解锁。 2、丰田凌志轿车音响解码方法 大多数凌志轿车都安装了音响防盗系统,如果不解开所设置的防盗音响系统就不会起作用。下面简单地介绍凌志轿车音响防盗系统的使用 方法。1.设置防盗系统 (1)点火开关处于“ACC”状态时,音响处于关闭状态; (2)按左边1,2框中的“1”键和右边5,6框中的“6”键,再按“PWRVOL”键,直到显示屏上显示“ESC”;先按TUNE/SEEK键,再1,2框

软硬件测试方案

1.1.1软硬件测试方案 1.1.1.1测试目的和要求 1.1.1.1.1测试目的 作为软件开发的重要环节,软件测试越来越受到人们的重视,软件测试是软件工程过程的一个重要阶段,是在软件投入运行前,对软件需求分析、设计和编码各阶段产品的最终检查,是为了保证软件的正确性、完全性和一致性,从而检测软件错误、修正软件错误的过程。随着软件开发规模的增大、复杂程度的增加,以寻找软件中的错误为目的的测试工作就显得更加困难,因此要求测试计划和测试管理更加完备。本次测试安排在项目进行编码过程中和编码完成后进行,测试的内容包括系统界面风格、主要功能、容错能力、模块间的关联等等,依据正规步骤完成单元测试、边缘测试、整体测试。通过测试,及时发现存在于程序中的错误并根据测试结果对程序进行修改,从而确保提交给用户的程序是经过检验并能顺利运行的。 1.1.1.1.2测试的总体要求 软件测试可运用多种不同的测试策略来实现,最常用的方式是自底向上分阶段进行,对不同开发阶段的产品采用不同的测试方法进行检测,从测试开始,然后进行功能测试,最终进行系统测试。 尽早地和不断地进行软件测试。 保证系统风格与界面统一。 保证各系统联接正确,数据传送正常。

抽检程序的内部编写情况无误。 测试用例应由测试输入数据和对应的预期输出结果两部分组 成。 程序员应避免负责测试自己编写的程序。 测试用例,应当包括合理和不合理的输入条件。 应当检查程序是否有不希望的副作用。 程序流程和接口内容绝不可忽视。 充分注意测试中的群体现象。 严格执行测试计划。 对每个测试结果严格检查。 妥善保存文档。 性能测试和功能测试同等重要。 1.1.1.1.3测试人员及组织分工 参加测试人员包括技术支持组部分人员、开发小组全体成员、质保组测试成员和用户人员。组织分工如下: 单元测试:由实施组成员在编码过程中,各自以及交叉进行单元测试。 集成测试:由质保组两名测试成员、实施组两名成员进行集成测试。 系统测试:由技术组项目技术负责人、系统设计师、用户人员进行系统测试。

曼彻斯特解码程序

曼彻斯特解码 1、变量定义 (2) 2、Manchest初始化 (2) 3、Manchest解码信号翻转 (3) 4、过滤错误的卡号 (4) 5、获取正确的卡号 (5) 6、Manchest获取卡号数据 (6) 7、通过中断采样获取刷卡数据 (9)

1、变量定义 #define TH1_370US_H 0XFE //晶振11.0592MHZ,12T模式 #define TL1_370US_L 0XAB #define SIGNAL_FLIP_TIME 10 //每隔100ms翻转一次读卡信号 #define REPEAT_TIME 5 //500ms后重复读卡 #define CLEAR_CARD_TIME 20 //2S后清除卡号数据 #define MANCHEST_TIME 5 sbit PULSE = P3^2; sbit RFEN = P3^5; //曼彻斯特解码脉冲信号 sbit MANCHEST0= P3^2; //wiegand0 sbit MANCHEST1= P3^3; //wiegand1 uchar code CheckingTab[32]={ //接收到10组卡号的偶校验 0X00,0X01,0X01,0X00,0X01,0X00,0X00,0X01, //这里数值是低五位的偶校验值 0X01,0X00,0X00,0X01,0X00,0X01,0X01,0X00, 0X01,0X00,0X00,0X01,0X00,0X01,0X01,0X00, 0X00,0X01,0X01,0X00,0X01,0X00,0X00,0X01}; uchar WGCardBuf[5]; //卡号 uchar CopyCardBuf[5]; //备份卡号 uchar ManchestBuf[11]; //暂存接收到的11组数据 uchar idata g_ucManchestTime = MANCHEST_TIME; // uchar idata g_ucDWithCardTime= 0; //隔500ms处理该卡号 uchar idata g_ucPreambleFlag = 0; uchar idata g_ucERAgainTimer = 0; //每隔100ms翻转一次RFEN uchar idata g_ucStoreGroupCnt= 0; //接收到几组数据,这里为11组才可能正确 uchar idata g_ucEGroupBitCnt = 0; //每组数据有5个为,5=4位卡号+1位偶校验 uchar idata g_ucPreambleCount= 0; //9位为1的引导码 uchar idata g_ucRemvoeCardTime=0; //隔多久清除以前的卡号数据,这里为3s 2、Manchest初始化 /******************************************************************** 函数原型:ManchestInit 功能:曼彻斯特解码变量初始化 输入:无 输出:无 说明:无

8种解除防盗的方法

进口高级轿车音响解码器资料及防盗系统设定与解除方法 港深高级轿车维修技术研究中心 前言 高级轿车上的音响,一般都装有防盗系统,一旦被盗音响会自动锁住而不能工作。 音响制造厂家在机内设置了防盗密码电路,储存三位或四位防盗密码,轿车在维修时,若音响插头被拨掉、音响保险被烧断、或蓄电池被拆下都有可能使音响锁死。这时则需要输入正确的密码,收音机方能工作,本书同时介绍了在密码丢失情况下,如何解码的方法。 另外,大多数高级轿车均设有车身防盗系统,在维修与使用过程中如触发了防盗系统,轿车将不能起动或打开车门。 本书这里将对音响的解码方法及车身防盗系统的设定与解除方法加以介绍,以供广大维修人员参考。 港深高级轿车维修技术研究中心 二000年八月

目录 欧洲车系 奔驰BE143、BE149系列轿车音响解码方法(通用码)1奔驰280SE、560SE轿车音响解码方法2奔驰S320、S420轿车音响解码方法4奔驰S500、S600轿车音响解码方法 旧款奥迪EOS、GAMMA音响解码方法 新款奥迪音响解码方法 奥迪V6轿车音响解码方法 96款奥迪V6轿车音响解码方法 宝马轿车音响解码方法(一) 宝马轿车音响解码方法(二) 欧宝轿车音响解码方法(一) 欧宝轿车音响解码方法(二) 92款美洲豹音响解码方法 陆虎吉普车音响解码方法 雪铁龙XM音响解码方法 富豪轿车音响解码方法(通用码) 93款富豪轿车960音响解码方法 96款绅宝9000CS轿车音响解码方法 亚洲车系 丰田音响解码方法(通用码) 丰田凌志轿车音响解码方法

丰田大霸王子弹头音响解码方法25 本田音响解码方法(通用码)26 本田HONDA、ACURA轿车音响解码方法(通用码)27 本田ACCORD轿车音响解码方法29 本田丰田轿车音响解码方法30 日产风度轿车音响解码方法31 马自达929轿车音响解码方法31 三菱旅行车音响解码方法33 美洲车系 三星道奇子弹头面包车音响解码方法35 福特(天蝎座)轿车音响解码方法36 欧、亚、美车系防盗系统设定与解除方法宝马轿车发动机防盗系统解除方法37 宝马车身防盗窃案系统解除37 新款宝马轿车防盗系统解除程序39 欧宝轿车防盗系统解除方法39 富豪轿车7/8系列车系防盗模式设定40 丰田凌志LS400轿车防盗系统设定与解除41 96款本田极品1.8轿车防盗系统解除方法43 极品(ACURA)、本田(HONDA)防盗遥控系统检测45 福特(FORD)防盗/遥控系统设定51 通用公司车系防盗系统重新设定方法52 克莱斯勒防盗系统解除方法53

曼彻斯特码编解码的FPGA设计与实现

武汉理工大学 本科生毕业设计(论文)开题报告

目录 摘要 .......................................................................................................................................................... I ABSTRACT ............................................................................................................................................. II 1 绪论 (1) 1.1 背景及目的意义 (1) 1.2 国内外研究现状 (1) 1.2.1 在电信业的应用 (1) 1.2.2 在工业控制中的应用 (2) 1.2.3 在车辆总线中的应用 (2) 1.2.4 在石油勘测探井中的应用 (2) 1.3 项目研究内容及组织结构 (2) 2. 开发工具及仿真软件 (4) 2.1 FPGA原理 (4) 2.2 QuartusⅡ (5) 2.2.1 QuartusⅡ系统的特点 (5) 2.2.2 Quartus II下的FPGA设计 (6) 2.2.3 QuartusⅡ的仿真 (8) 2.3 Modelsim (8) 3 曼彻斯特码 (10) 3.1 数字通信中位同步与线路编码 (10) 3.2 曼彻斯特码及几种相关的二元码码型介绍 (11) 3.2.1 曼彻斯特码 (11) 3.2.2 单极性非归零波形 (12) 3.2.3 密勒码――曼彻斯特码的一种变形码 (12) 3.3 曼彻斯特码及几种常见二元码的包含定时信息的讨论 (12) 3.4曼彻斯特码的优点 (18) 3.5曼彻斯特码的应用范围 (19) 3.5.1在LAN中的应用 (19) 3.5.2在测井系统中的应用 (19) 3.6 曼彻斯特编码规则 (20) 4 系统方案设计 (23) 4.1 编码电路的设计 (23) 4.1.1 并串转换器的设计 (24) 4.1.2 NRZ码转换为曼彻斯特码 (25) 4.2 解码电路的设计 (26) 4.2.1 总体设计 (26) 4.2.2 各模块设计 (27) 5系统功能的实现 (30) 5.1 Verilog HDL语言简介 (30)

上汽通用别克轿车音响解码方法

上汽通用别克轿车音响解码方法 上汽通用别克(BUICK)轿车的音响系统在出厂时并不设置密码,而是由车主购买后自行输入000-1999之间的三位或四位数的密码。因此,维修人员有必要了解此车防盗音响的系统设 置和解码方法。 首先介绍一下它的防盗功能:THEFTLOCK(防盗锁)是为防止汽车音响被盗而设计的。它的特点是:在防盗功能起作用的情况下,任何时候只要拆去蓄电池电源或音响保险丝烧坏或人为的拆除音响等,防盗系统通过密码使音响所有功能丧失,同时在音响系统打开时在它的显示屏上显示出LOCK(锁住)表明是一种锁住状态。您必须用密码为音响系统解码,音响才能正 常工作。 一、使防盗功能起作用的设定方法,即如何输入车密码,使THEFTLOCK(防盗锁)功能起作用。注意:如果您进行任何两个步骤的间隔时间超过15s,音响系统会自动地复位计时,并且您 必须从第四步重新开始。 ①写下一个在000到1999之间的任意三位数字或四位数字并将它保存在车外一个较为安全的地方。②将点火开关转到ACCESSORY(附件)或RUN(运行)位置。③关掉音响系统。④同时按下音响系统的数字键1和4键,按住它们一直到“----”出现在显示屏上。将您已经写下来的密码拿出来备用。⑤按MIN(分钟)键000会出现在显示屏上。⑥再按MIN(分钟)键使后两位数字和您的密码相符。⑦按HRS(小时)键使前一位或两位数字和您的密码相符。⑧确认这个数字和您写下来的密码相符之后按AM-FM(调幅-调频)键,显示屏上出现REP(重复)告诉您需要重复5到7步骤确认您的密码。⑨按AM-FM(调幅-调频)键,这次显示屏上显示SEC(安全)表明车上的音响系统处于防盗状态。当点火开关断开时,音量控制旋扭旁边的“LED”指示灯闪动,表明防盗系统已经起作用了,您可以放心的使用了。 二、使防盗功能无效的设定方法,按下面的步骤输入您的密码,在任意两步骤之间停顿不要超过15s。①将点火开关转到ACCESSORY(附件)或RUN(运行)位置。②关掉音响系统。③同时按下音响系统的数字键1和4键,按住直到SEC(安全)出现在显示屏上。④按MIN(分钟)键“000”会出现在显示屏上。⑤再按MIN(分钟)键使后两位数字和您的密码相符。⑥按HRS(小时)键使前一位或两位数和您的密码相符。⑦确认这个数字和您写下来的密码相符之后,按AM-FM(调幅-调频)键,显示屏上出现“----”,表明音响系统不在防盗状态。此时如遇到电瓶电源断电或音响系统保险烧坏等,音响就不会出现锁死状态,点火开关断开时,音量控制旋扭旁边的LED指示灯不再闪动。这时表明防盗功能被解除。 三、断电后给防盗功能解码的设定方法:按以下步骤输入您的密码,在任何两个步骤之间停 顿不要超过15s。 ①当接通点火开关时,“LOCK”(锁住)出现在显示屏上。②按MIN(分钟)键,“000”会出现在显示屏上。③再按MIN(分钟)键使后两位数和您的密码相符。④按HRS(小时)键使前一位或两位数字和您的密码相符。⑤确认这个数字和您记下来的密码相符之后按AM-FM(调幅-调频)键,显示屏上显示“SEC”(安全),表明音响系统可以工作并处于防盗状态。

一种简便的ID卡曼彻斯特解码方法

一种简便的ID卡曼彻斯特解码方法 我这里介绍的是常用的125KHz的ID卡。ID卡内固化了64位数据,由5个区组成:9个引导位、10个行偶校验位“PO~P9′’、4个列偶校验位“PC0~PC3”、40个数据位“D00~D93”和1个停止位S0。9个引导位是出厂时就已掩膜在芯片内的,其值为“111111111”,当它输出数据时,首先输出9个引导位,然后是10组由4个数据位和1个行偶校验位组成的数据串,其次是4个列偶校验位,最后是停止位“0”。“D00~D13”是一个8位的晶体版本号或ID识别码。“D20~D93”是8组32位的芯片信息,即卡号。注意校验位都是偶校验,网上有些资料写的是奇校验,很明显是错的,如果是奇校验的话,在一个字节是FF 的情况下,很容易就出现9个1,这样引导位就不是唯一的了,也就无法判断64位数据的起始位了。 数据结构如下图:

我读的一个ID卡数据是111111111 10001 00101 00000 00011 00000 01010 00000 11011 00110 01100 01100,对应的ID卡号是01050d36。 ID卡数据采用曼彻斯特编码,1对应着电平下跳,0对应着电平上跳。每一位数据的时间宽度都是一样的(1T)。由于电路参数的差别,时间宽度要实际测量。解码芯片采用U2270B,单片机采用89S52。U2270B的输出脚把解码得到的曼彻斯特码输出到89S52的INT脚。在89S52的外部中断程序中完成解码。 在没有ID卡在读卡器射频范围内时,U2270B的输出脚会有杂波输出,ID卡进入读卡器射频范围内后,会循环发送64位数据,直到ID卡离开读卡器的有效工作区域。 根据ID卡的数据结构,64位数据的最后一位停止位是0。最开始的9位引导位是1,可以把0111111111做为引导码。也就是说在ID卡进入读卡器工作范围后,丢掉ID卡发送的第一个64位码,检测最后1位0,然后检测ID卡发送的第2个64位码的9个引导码111111111,引导码检测成功后,解码剩余的55位码。得到ID卡的数据。然后丢掉ID卡发送的第3个64位码,检测第3个64位码的最后1位0,再检测ID卡发送的第4个64位码。这样连续3次检测到同一个码,就认为解码到了正确的ID卡号。 之所以要丢掉ID卡发送的第一个64位数据,是因为U2270B在没有ID卡刷卡时,也会输出波形到89S52的INT脚,这样将无法判断ID卡数据的头码。从第2个码开始解码能确保检测的头码正确。丢掉第3个码的原因是在检测第2个码时,最后一位停止位也被解码,那么就不能采用 0111111111来检测第3个码了,只能检测第3个码的最后1位0,再解码第4个码。 下面详细介绍解码原理,程序中要用到的变量定义如下: Bit_over:为0,表示1位数据处理完,为1,表示当前处于数据位的跳变处。Head_start:检测到头码0时,把head_start置1,然后连续检测到8次下降沿时间间隔大于0.75T,小于1.25T,并且 head_start为1,置位头码标志head_flag。Head_start的作用就是保证是连续检测到0111111111。 Head_flag:头码标志,检测到0111111111后置1。 Prev_bit:保存当前数据位的值,下一位数据的值要根据当前位的值来判断。Pulse_width:16 位数据,保存INT脚两次下降沿之间的时间间隔。 Bit_cnt:检测完头码后,每次检测5位数据,也就是一行。 Row:行数,不包括头码,总共11行,用来判断64位数据是否接收完。 Buff[11]:缓冲区,用来保存接收的11行数据。每个数据只有低5位有效。 Id_data[11]:保存缓冲区的11个数据,进行校验,得到ID卡号。

单片机软硬件联合仿真解决方案

单片机软硬件联合仿真解决方案摘要:本文介绍一种嵌入式系统仿真方法,通过一种特殊设计的指令集仿真器ISS将软件调试器软件Keil uVision2和硬件语言仿真器软件Modelsim连接起来,实现了软件和硬件的同步仿真。关键词:BFM,TCL,Verilog,Vhdl,PLI,Modelsim,Keil uVision2,ISS,TFTP,HTTP,虚拟网卡,Sniffer,SMART MEDIA,DMA,MAC,SRAM,CPLD缩略词解释:BFM:总线功能模块。在HDL硬件语言仿真中,BFM完成抽象描述数据和具体的时序信号之间的转换。PLI:Verilog编程语言接口,是C语言模块和Verilog 语言模块之间交换数据的接口定义。TCL:字面意思是工具命令语言,是一种解释执行语言,流行EDA软件一般都集成有TCL。使用TCL用户可以编写控制EDA工具的脚本程序,实现工具操作自动化。ISS:CPU指令集仿真器,可以执行CPU的机器码。TFTP:简单文件传输协议,Windows的tftp.exe既是该协议的客户端实现。SMART MEDIA:一种存储卡,常用于数码相机、MP3。DMA:直接内存访问。用于外部设备之间高速数据转移。MAC:媒体接入控制器。本文中是指网卡芯片。前言传统的嵌入式系统中,设计周期、硬件和软件的开发是分开进行的,并在硬件完成后才将系统集成在一起,很多情况下,硬件完成后才开始进行实时软件和整体调试。软硬件联合仿真是一种在物理原型可用前,能尽早开始调试程序的技术。软硬件联合仿真有可能使软件设计工程师在设计早期着手调试,而采用传统的方法,设计工程师直到硬件设计完成才能进行除错处理。有些软件可在没有硬件支持的情况下完成任务的编码,如不涉及到硬件的算法。与硬件相互作用的编码在获得硬件之前编写,但只有在硬件上运行后,才能真正对编码进行调试。通过采用软硬件联合仿真技术,可在设计早期开始这一设计调试过程。由于软件的开发通常在系统开发的后段完成,在设计周期中较早的开始调试有可能将使这一项目提早完成,该技术会降低首次将硬件和软件连接在一起时出现意外而致使项目延期完成所造成的风险。在取得物理原型前,采用软硬件联合仿真技术对硬件和软件之间的接口进行验证,将使你不会花太多的时间在后期系统调试上。当你确实拿到物理原型开始在上面跑软件的时候,你会发现经过测试的软件部分将会正常工作,这会节省项目后期的大量时间及努力。软硬件联合仿真系统由一个硬件执行环境和一个软件执行环境组成,通常软件环境和硬件环境都有自己的除错和控制界面,软件通过一系列由处理器启动的总线周期与硬件的交互作用。本文以一个Mini Web卡的开发介绍一种软硬件联合仿真系统。[!--empirenews.page--]该方案的核心是采用一个51单片机仿真引擎GoldBull ISS51(以下简称ISS51),ISS51是51单片机开发环境Keil uVision2的一个插件,ISS51具有连接Keil 和硬件仿真环境Modelsim的接口,可以实现软硬件同步仿真。在该系统中,Keil作为软件调试界面,Modelsim作为硬件仿真和调试界面,ISS51负责软件执行、监控软件断点、单步执行、内存和寄存器数据返回给Keil、CPU总线时序产生和捕获、内部功能模块(如定时器,串口)的运行等功能。Mini Web卡介绍Mini Web卡是一个运行在单片机上的Web服务器,提供网口连接,有大容量文件系统,提供TFTP和HTTP服务。尽管软件系统比较复杂,但优化编译后,执行代码还不足25K,为后续升级留下了足够空间。 51CPU采用SST89系列,这种CPU具有ISP功能,可以通过RS232串口,直接将目标码下载到CPU。DMA控制逻辑是一个可编程逻辑器件,采用的是ALTERA的CPLD EPM240,主要功能是实现外围器件之间的DMA传递。因为51CPU进行IO访问是很低效的,需要24个时钟周期才能进行一次IO访问,在外围设备之间转移数据则需要更多的时钟周期,使用DMA控制逻辑可以达到3个时钟周期就能转移一个字节。本系统中处理多种网络协议,需要大量报文收发和文件系统访问,采用DMA可以极大地提高51单片机的数据处理速度。DMA通道主要有MAC芯片与RAM之间的数据块转移,SMART MEDIA和RAM之间的数据块转移。网卡芯片采用的是AX88796,主要的优点是可以和51CPU方便地接口;支持100M以太网,速度高;有较大的接收报文缓存,能够平滑网络流量,减少因51CPU处理速度慢导致的报文丢弃和重发。SMART MEDIA是一个移动存储卡,主要用于存储文件,Mini Web卡支持8M到256M的SMD卡。文件系统是Mini Web卡的新开发模块,

奔驰车归零解码之一

奔驰车归零解码之一 新款奔驰ML350 W164机油保养灯归零 1、点火开关转到“1”档位置 2、按压系统选择确认键 S110s3直到仪表显示A1p13出现里程 或温度显示 3、快速按压里程复位按键A1s3 3次,在显示屏A1p13会出现蓄 电池信息 4、按压前进 / 后退键 S110s1 ,直到出现“SERVICE MENU” 5、按压“+”和“-”键S111s1,选择“CONFIRMATION” 6、按压选择确认按键S110s3,选择“COMPLETE SERVICE” 7、按压选择确认按键S110s3,选择“SERVICE CONFIRMED” 8、按压选择确认按键S110s3,选择“SERVICE MENU” 9、按压“+”和“-”键S111s1,选择“SPECIAL WORK” 10、按压选择确认按键S110s1 11、按压“+”和“-”键S111s1,选择“SERVICE 3” 12、按压选择确认按键S110s3 13、按压“+”和“-”键S111s1,选择“OIL QUALITY 229.5” 14、按压选择确认按键S110s3,A1p13显示 “POSITION CONFIRMED” 15、按压选择确认按键S110s3,A1p13显示“里程 或温度” 16、关闭点火开关,保养归零结束。. 奔驰W211轿车保养完毕后重设保养周期的方法如下: (1)将点火开关转到“ON”位置。 (2)一直按“↓”或“↑”钮,知道显示器上出现保养显示为 止。 (3)按住仪表板上的“R”钮约5 s,在多功能显示器上会出现 “SERVICE MENU”。 (4)按“+”或“-”按钮,选择“CONFIRMATION”。 (5)一直按多功能转向盘上“”钮,选择“CONFIRM”。(6)按“+”或“-”按钮,设置特殊功能、容量和油级别。

软硬件开发流程及规范

机密

机密 0目录 0目录 (2) 1概述 (4) 1.1硬件开发过程简介 (4) 1.1.1硬件开发的基本过程 (4) 1.1.2硬件开发的规范化 (4) 1.2硬件工程师职责与基本技能 (5) 1.2.1硬件工程师职责 (5) 1.2.2硬件工程师基本素质与技术 (5) 2软硬件开发规范化管理 (6) 2.1硬件开发流程 (6) 2.1.1硬件开发流程文件介绍 (6) 2.1.2硬件开发流程详解 (6) 2.2硬件开发文档规范 (10) 2.2.1硬件开发文档规范文件介绍 (10) 2.2.2硬件开发文档编制规范详解 (11) 2.3与硬件开发相关的流程文件介绍 (13) 2.3.1项目立项流程: (13) 2.3.2项目实施管理流程: (14) 2.3.3软件开发流程: (14) 2.3.4系统测试工作流程: (14) 2.3.5内部验收流程 (14)

机密3附录一. 硬件设计流程图: (16) 4附录二. 软件设计流程图: (17) 5附录三. 编程规范 (19)

机密1概述 1.1 硬件开发过程简介 1.1.1硬件开发的基本过程 硬件开发的基本过程: 1.明确硬件总体需求情况,如CPU 处理能力、存储容量及速度,I/O 端口的分配、接口要求、电平要求、特殊电路(厚膜等)要求等等。 2.根据需求分析制定硬件总体方案,寻求关键器件及电路的技术资料、技术途径、技术支持,要比较充分地考虑技术可能性、可靠性以及成本控制,并对开发调试工具提出明确的要求。关键器件索取样品。 3.总体方案确定后,作硬件和单板软件的详细设计,包括绘制硬件原理图、单板软件功能框图及编码、PCB 布线,同时完成发物料清单。 4.领回PCB 板及物料后由焊工焊好1~2 块单板,作单板调试,对原理设计中的各功能进行调测,必要时修改原理图并作记录。 5.软硬件系统联调,一般的单板需硬件人员、单板软件人员的配合,特殊的单板(如主机板)需比较大型软件的开发,参与联调的软件人员更多。一般地,经过单板调试后在原理及PCB布线方面有些调整,需第二次投板。 6.内部验收及转中试,硬件项目完成开发过程。 1.1.2硬件开发的规范化 硬件开发的基本过程应遵循硬件开发流程规范文件执行,不仅如此,硬件开发涉及到技术的应用、器件的选择等,必须遵照相应的规范化措施才能达到质量保障的要求。这主要表现在,技术的采用要经过总体组的评审,器件和厂家的选择要参照物料认证部的相关文件,开发过程完成相应的规定文档,另外,常用的

曼彻斯特解码原则+125K EM4100系列RFID卡解码源程序分析

曼彻斯特解码原则+125K EM4100系列RFID卡解码源程序分析 曼彻斯特解码原则 1.曼彻斯特编码 曼彻斯特编码(Manchester Encoding),也叫做相位编码(PE),是一个同步时钟编码技术,被物理层使用来编码一个同步位流的时钟和数据。曼彻斯特编码被用在以太网媒介系统中。曼彻斯特编码提供一个简单的方式给编码简单的二进制序列而没有长的周期没有转换级别,因而防止时钟同步的丢失,或来自低频率位移在贫乏补偿的模拟链接位错误。在这个技术下,实际上的二进制数据被传输通过这个电缆,不是作为一个序列的逻辑1或0来发送的(技术上叫做反向不归零制(NRZ))。相反地,这些位被转换为一个稍微不同的格式,它通过使用直接的二进制编码有很多的优点。 曼彻斯特编码,常用于局域网传输。在曼彻斯特编码中,每一位的中间有一跳变,位中间的跳变既作时钟信号,又作数据信号;从高到低跳变表示"1",从低到高跳变表示"0"。还有一种是差分曼彻斯特编码,每位中间的跳变仅提供时钟定时,而用每位开始时有无跳变表示"0"或"1",有跳变为"0",无跳变为"1"。 对于以上电平跳变观点有歧义:关于曼彻斯特编码电平跳变,在雷振甲编写的<<网络工程师教程>>中对曼彻斯特编码的解释为:从低电平到高电平的转换表示1,从高电平到低电平的转换表示0,模拟卷中的答案也是如此,张友生写的考点分析中也是这样讲的,而《计算机网络(第4版)》中(P232页)则解释为高电平到低电平的转换为1,低电平到高电平的转换为0。清华大学的《计算机通信与网络教程》《计算机网络(第4版)》采用如下方式:曼彻斯特编码从高到低的跳变是0 从低到高的跳变是1。 两种曼彻斯特编码是将时钟和数据包含在数据流中,在传输代码信息的同时,也将时钟同步信号一起传输到对方,每位编码中有一跳变,不存在直流分量,因此具有自同步能力和良好的抗干扰性能。但每一个码元都被调成两个电平,所以数据传输速率只有调制速率的1/2。 就是说主要用在数据同步传输的一种编码方式。 【在曼彻斯特编码中,用电压跳变的相位不同来区分1和0,即用正的电压跳变表示0,用负的电压跳变表示1。因此,这种编码也称为相应编码。由于跳变都发生在每一个码元的中间,接收端可以方便地利用它作为位同步时钟,因此,这种编码也称为自同步编码。】 2. 曼彻斯特编码(Manchester Encoding),也叫做相位编码(PE);常用于局域网传输。在曼

安全软件理论与软硬件协同设计可行性研究报告

安全软件理论与软硬件协同设计可行性研究报告

安全软件理论与软硬件协同设计可行性研究报告 一、项目定义 1.项目名称 安全软件理论与软硬件协同设计 2.项目领域 本项目属于基础产业和高新技术领域,涉及计算机软件与理论,系统芯片设计及计算机应用等学科。 二、项目背景 1.项目背景 软件可靠性一直是计算机界关心的关键课题,1967年欧洲软件工程先驱者Floyd提出用归纳断言法来验证程序的正确性;1969年图灵奖获得者Hoare提出使用程序公理系统来验证程序的性质。 七十年代的典型程序语言的数学理论并不涉及程序的规范说明,因此不能用于软件的设计和开发。同时期的工作包括着重于程序性质的后验证的方法,被用于一些常见算法的分析与正确性证明,但缺乏支持规范分析和指导安全软件设计的演算技术。 长期以来国际上不少软件公司投入了大量的人力、物力和财

力探索软件设计可靠性技术。 设计严格安全软件系统需要解决下述二项关键技术问题: ●建立程序和软件规范的演算系统,在软件开发生命周期各阶段均使用数学演算技术来建立软件设计和开发文档。 ●设计完整的演算法则用来指导下述关键开发任务: (a)从用户需求导出软件系统各部件的规范说明; (b)从部件的规范说明演算出低层软件模块过程的功能说明。 在软件设计中用数学理论来指导严格安全软件系统设计,包括: ●同一数学框架中处理程序和软件规范; ●用符号演算实现程序和软件规范间的演算; ●用谓词演算验证设计方法的正确性; ●用代数方法从软件部件的抽象规范说明推算出低层次程序模块各个过程的规范说明。 学科负责人自1985年起对设计严格安全软件的完备演算理论进行了深入研究,取得了重大突破。主要创新点有: ●演算理论强调了设计正确软件的开发方法和使用数学演算来支持从软件到程序代码的转换; ●首先提出程序分解算式并第一次提出了求解规范方程的演算法则;

相关文档
相关文档 最新文档