给出主函数的主要流程步骤:#include "system.h" #include "lcd12864_st7920.h" #include "delay.h" #include <stdio.h> #include "18b20.h" sbit buzzer = P1^3 ; sbit yeweiG =P1^0; sbit yeweiD =P1^1; unsigned char xdata dis0[16];//定义显示区域临时存储数组 unsigned char xdata dis1[16]; unsigned char xdata dis2[16]; unsigned char xdata dis3[16]; unsigned char i; unsigned char ReadTempFlag;//定义读时间标志 int temp1; //温度读取值 float temperature; unsigned long time_20ms=0; //定时器计数 float Sudu =0; //速度值 unsigned int PluNum = 0; //脉冲数 unsigned int disPlu = 0; //脉冲数 bit dealSuduFlag =0; //处理速度标志 float xdata juli=0; //距离 bit disFlag =0;//更新显示 unsigned char yeweiFlag = 'N';//液位标志 void main(void) { Init_Timer0(); //定时器0初始化 UART_Init(); DelayMs(200); //延时有助于稳定 Init_ST7920(); //初始化 ClrScreen(); buzzer =1; // sprintf(dis0,"20%02d-%02d-%02d ",(int)time_buf1[1],(int)time_buf1[2],(int)time_buf1[3],(int)time_buf1[7]);//年月日周 // LCD_PutString(0,1,dis0,16);//显示第时间 // // sprintf(dis0,"%02d:%02d:%02d ",(int)time_buf1[4],(int)time_buf1[5],(int)time_buf1[6]);//时分秒 // LCD_PutString(0,2,dis0,16);//显示第时间 // // LCD_PutString(0,3,"起:5元 3元/km ",16); //固定显示价格 // LCD_PutString(0,4,"实际价格",8); // uartSendStr("ready ok !",10); // Ds1302_Write_Time(); while(1) { if(dealSuduFlag == 1) { Sudu=(float)PluNum0.23.6/2; //m/s 20个脉冲为1圈 3s时间进行检测 disPlu = PluNum/2; //转速 PluNum=0; dealSuduFlag=0; juli = juli+Sudu0.2; //公里 } if(disFlag==1) //显示 { disFlag=0; //标志位清零 ReadTempFlag++; //读取温度计时 if(ReadTempFlag >= 3) { ReadTempFlag=0; temp1=ReadTemperature(); //读取温度 temperature=(float)temp10.0625; //温度值转换 } if((yeweiG == 0)&&(yeweiD == 0))//上下液位有水 { yeweiFlag = 'H'; } sprintf(dis0,"液位 %c ",yeweiFlag);//打印 LCD_PutString(0,1,dis0,16);//显示 sprintf(dis1,"温度 %4.1fC 40 ",temperature);//打印 LCD_PutString(0,2,dis1,16);//显示 if((Sudu>1.5)||(temperature>40)||(yeweiFlag=='L')) //异常情况 {buzzer = !buzzer;} } } }

时间: 2023-12-11 16:02:49 浏览: 139
1. 引入所需头文件:system.h、lcd12864_st7920.h、delay.h、stdio.h、18b20.h; 2. 定义引脚及变量:定义蜂鸣器、液位传感器引脚,定义显示区域临时存储数组、温度读取标志、温度读取值、速度值、脉冲数、距离、更新显示标志、液位标志; 3. 初始化定时器0、串口; 4. 清空 LCD 显示屏; 5. 进入无限循环; 6. 如果处理速度标志为1,则计算速度、脉冲数、距离,处理速度标志清零; 7. 如果更新显示标志为1,则更新 LCD 显示,包括液位、温度、异常情况等; 8. 循环结束,回到第5步。
相关问题

#include "cmsis_version.h" ..\SYSTEM\delay\delay.c: 0 warnings, 1 error compiling stm32f1xx_ll_usb.c... ..\core\core_cm3.h(63): error: #5: cannot open source input file "cmsis_version.h": No such file or directory

这个错误提示说找不到 "cmsis_version.h" 这个头文件,可能是库文件路径或者头文件路径没有设置正确。您需要确认您的开发环境是否正确安装了 CMSIS 库,并且正确设置了库文件路径和头文件路径。 如果您已经安装了 CMSIS 库,可以尝试在代码中添加以下语句: ```c #include "path/to/cmsis_version.h" ``` 其中 "path/to/" 是 CMSIS 库的安装路径。如果您不知道 CMSIS 库的安装路径,可以在开发环境中搜索该文件,找到其绝对路径。 另外,您还需要确认您的开发环境是否正确设置了编译选项。在编译选项中,需要将 CMSIS 库路径添加到库文件路径和头文件路径中。具体操作方法可以参考您所使用的开发环境的文档。

假设这段代码是在一个名为delay.c的文件中实现的,那么它应该引用一个名为delay.h的头文件,其中应该包含以下内容: 在delay.h文件中: 复制 #ifndef __DELAY_H #define __DELAY_H #include "stm32f4xx.h" void delay_init(void); void delay_ms(uint16_t ms); #endif 在delay.c文件中: 复制 #include "delay.h" static __IO uint32_t delay_ms_ticks; void delay_init(void) { SysTick_Config(SystemCoreClock/1000); } void delay_ms(uint16_t ms) { delay_ms_ticks = ms; while(delay_ms_ticks); } void SysTick_Handler() { if (delay_ms_ticks > 0) { delay_ms_ticks--; } } 需要注意的是,这个代码使用了STM32F4xx的库函数,因此需要在代码中包含相应的头文件,如stm32f4xx.h。同时,这个代码的延时函数是基于SysTick中断实现的,因此需要先调用delay_init()函数初始化SysTick。可以直接使用SysTick_Config(SystemCoreClock/1000);不要定义吗

在delay.c文件中,如果没有定义`SystemCoreClock`,就需要在代码中添加相关定义,否则编译器会报错。`SystemCoreClock`是一个内核时钟频率的全局变量,它通常由启动文件(startup文件)提供。如果启动文件中没有定义该变量,那么可以在代码中手动定义,例如: ``` #include "delay.h" #define SYSTEM_CLOCK_FREQ 168000000UL // 定义系统时钟频率为168MHz static __IO uint32_t delay_ms_ticks; void delay_init(void) { SysTick_Config(SYSTEM_CLOCK_FREQ/1000); } void delay_ms(uint16_t ms) { delay_ms_ticks = ms; while(delay_ms_ticks); } void SysTick_Handler() { if (delay_ms_ticks > 0) { delay_ms_ticks--; } } ``` 这样,在使用`SysTick_Config(SystemCoreClock/1000)`之前,先定义了`SYSTEM_CLOCK_FREQ`,并在`SysTick_Config`中使用该变量。这样就可以避免编译器报错。
阅读全文

相关推荐

#include "main.h" #include "stdio.h" #include "string.h" #include "time.h" UART_HandleTypeDef huart1; void SystemClock_Config(void); static void MX_GPIO_Init(void); static void MX_USART1_UART_Init(void); int main(void) { HAL_Init(); SystemClock_Config(); MX_GPIO_Init(); MX_USART1_UART_Init(); while (1) { time_t now = time(NULL); struct tm *timeinfo = localtime(&now); char time_str[9]; sprintf(time_str, "%02d:%02d:%02d", timeinfo->tm_hour, timeinfo->tm_min, timeinfo->tm_sec); HAL_UART_Transmit(&huart1, (uint8_t *)time_str, strlen(time_str), HAL_MAX_DELAY); HAL_Delay(1000); } } void SystemClock_Config(void) { RCC_OscInitTypeDef RCC_OscInitStruct = {0}; RCC_ClkInitTypeDef RCC_ClkInitStruct = {0}; /** Initializes the RCC Oscillators according to the specified parameters * in the RCC_OscInitTypeDef structure. */ RCC_OscInitStruct.OscillatorType = RCC_OSCILLATORTYPE_HSE; RCC_OscInitStruct.HSEState = RCC_HSE_ON; RCC_OscInitStruct.HSEPredivValue = RCC_HSE_PREDIV_DIV1; RCC_OscInitStruct.PLL.PLLState = RCC_PLL_ON; RCC_OscInitStruct.PLL.PLLSource = RCC_PLLSOURCE_HSE; RCC_OscInitStruct.PLL.PLLMUL = RCC_PLL_MUL9; if (HAL_RCC_OscConfig(&RCC_OscInitStruct) != HAL_OK) { Error_Handler(); } /** Initializes the CPU, AHB and APB buses clocks */ RCC_ClkInitStruct.ClockType = RCC_CLOCKTYPE_HCLK | RCC_CLOCKTYPE_SYSCLK | RCC_CLOCKTYPE_PCLK1 | RCC_CLOCKTYPE_PCLK2; RCC_ClkInitStruct.SYSCLKSource = RCC_SYSCLKSOURCE_PLLCLK; RCC_ClkInitStruct.AHBCLKDivider = RCC_SYSCLK_DIV1; RCC_ClkInitStruct.APB1CLKDivider = RCC_HCLK_DIV2; RCC_ClkInitStruct.APB2CLKDivider = RCC_HCLK_DIV1; if (HAL_RCC_ClockConfig(&RCC_ClkInitStruct, FLASH_LATENCY_2) != HAL_OK) { Error_Handler(); } } static void MX_USART1_UART_Init(void) { huart1.Instance = USART1; huart1.Init.BaudRate = 115200; huart1.Init.WordLength = UART_WORDLENGTH_8B; huart1.Init.StopBits = UART_STOPBITS_1; huart1.Init.Parity = UART_PARITY_NONE; huart1.Init.Mode = UART_MODE_TX_RX; huart1.Init.HwFlowCtl = UART_HWCONTROL_NONE; huart1.Init.OverSampling = UART_OVERSAMPLING_16; if (HAL_UART_Init(&huart1) != HAL_OK) { Error_Handler(); } } static void MX_GPIO_Init(void) { GPIO_InitTypeDef GPIO_InitStruct = {0}; /* GPIO Ports Clock Enable */ __HAL_RCC_GPIOA_CLK_ENABLE(); /*Configure GPIO pin Output Level */ HAL_GPIO_WritePin(GPIOA, GPIO_PIN_9, GPIO_PIN_RESET); /*Configure GPIO pin : PA9 */ GPIO_InitStruct.Pin = GPIO_PIN_9; GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP; GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_LOW; HAL_GPIO_Init(GPIOA, &GPIO_InitStruct); } 在以上代码的基础上,编写代码以实现计算发送 hh:mm:ss到单片机,修改单片机时间

最新推荐

recommend-type

S7-PDIAG工具使用教程及技术资料下载指南

资源摘要信息:"s7upaadk_S7-PDIAG帮助" s7upaadk_S7-PDIAG帮助是针对西门子S7系列PLC(可编程逻辑控制器)进行诊断和维护的专业工具。S7-PDIAG是西门子提供的诊断软件包,能够帮助工程师和技术人员有效地检测和解决S7 PLC系统中出现的问题。它提供了一系列的诊断功能,包括但不限于错误诊断、性能分析、系统状态监控以及远程访问等。 S7-PDIAG软件广泛应用于自动化领域中,尤其在工业控制系统中扮演着重要角色。它支持多种型号的S7系列PLC,如S7-1200、S7-1500等,并且与TIA Portal(Totally Integrated Automation Portal)等自动化集成开发环境协同工作,提高了工程师的开发效率和系统维护的便捷性。 该压缩包文件包含两个关键文件,一个是“快速接线模块.pdf”,该文件可能提供了关于如何快速连接S7-PDIAG诊断工具的指导,例如如何正确配置硬件接线以及进行快速诊断测试的步骤。另一个文件是“s7upaadk_S7-PDIAG帮助.chm”,这是一个已编译的HTML帮助文件,它包含了详细的操作说明、故障排除指南、软件更新信息以及技术支持资源等。 了解S7-PDIAG及其相关工具的使用,对于任何负责西门子自动化系统维护的专业人士都是至关重要的。使用这款工具,工程师可以迅速定位问题所在,从而减少系统停机时间,确保生产的连续性和效率。 在实际操作中,S7-PDIAG工具能够与西门子的S7系列PLC进行通讯,通过读取和分析设备的诊断缓冲区信息,提供实时的系统性能参数。用户可以通过它监控PLC的运行状态,分析程序的执行流程,甚至远程访问PLC进行维护和升级。 另外,该帮助文件可能还提供了与其他产品的技术资料下载链接,这意味着用户可以通过S7-PDIAG获得一系列扩展支持。例如,用户可能需要下载与S7-PDIAG配套的软件更新或补丁,或者是需要更多高级功能的第三方工具。这些资源的下载能够进一步提升工程师解决复杂问题的能力。 在实践中,熟练掌握S7-PDIAG的使用技巧是提升西门子PLC系统维护效率的关键。这要求工程师不仅要有扎实的理论基础,还需要通过实践不断积累经验。此外,了解与S7-PDIAG相关的软件和硬件产品的技术文档,对确保自动化系统的稳定运行同样不可或缺。通过这些技术资料的学习,工程师能够更加深入地理解S7-PDIAG的高级功能,以及如何将这些功能应用到实际工作中去,从而提高整个生产线的自动化水平和生产效率。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

CC-LINK远程IO模块AJ65SBTB1现场应用指南:常见问题快速解决

# 摘要 CC-LINK远程IO模块作为一种工业通信技术,为自动化和控制系统提供了高效的数据交换和设备管理能力。本文首先概述了CC-LINK远程IO模块的基础知识,接着详细介绍了其安装与配置流程,包括硬件的物理连接和系统集成要求,以及软件的参数设置与优化。为应对潜在的故障问题,本文还提供了故障诊断与排除的方法,并探讨了故障解决的实践案例。在高级应用方面,文中讲述了如何进行编程与控制,以及如何实现系统扩展与集成。最后,本文强调了CC-LINK远程IO模块的维护与管理的重要性,并对未来技术发展趋势进行了展望。 # 关键字 CC-LINK远程IO模块;系统集成;故障诊断;性能优化;编程与控制;维护
recommend-type

python 画一个进度条

在Python中,你可以使用`tkinter`库来创建一个简单的进度条。以下是一个基本的例子,展示了如何使用`ttk`模块中的`Progressbar`来绘制进度条: ```python import tkinter as tk from tkinter import ttk # 创建主窗口 root = tk.Tk() # 设置进度条范围 max_value = 100 # 初始化进度条 progress_bar = ttk.Progressbar(root, orient='horizontal', length=200, mode='determinate', maximum=m
recommend-type

Nginx 1.19.0版本Windows服务器部署指南

资源摘要信息:"nginx-1.19.0-windows.zip" 1. Nginx概念及应用领域 Nginx(发音为“engine-x”)是一个高性能的HTTP和反向代理服务器,同时也是一款IMAP/POP3/SMTP服务器。它以开源的形式发布,在BSD许可证下运行,这使得它可以在遵守BSD协议的前提下自由地使用、修改和分发。Nginx特别适合于作为静态内容的服务器,也可以作为反向代理服务器用来负载均衡、HTTP缓存、Web和反向代理等多种功能。 2. Nginx的主要特点 Nginx的一个显著特点是它的轻量级设计,这意味着它占用的系统资源非常少,包括CPU和内存。这使得Nginx成为在物理资源有限的环境下(如虚拟主机和云服务)的理想选择。Nginx支持高并发,其内部采用的是多进程模型,以及高效的事件驱动架构,能够处理大量的并发连接,这一点在需要支持大量用户访问的网站中尤其重要。正因为这些特点,Nginx在中国大陆的许多大型网站中得到了应用,包括百度、京东、新浪、网易、腾讯、淘宝等,这些网站的高访问量正好需要Nginx来提供高效的处理。 3. Nginx的技术优势 Nginx的另一个技术优势是其配置的灵活性和简单性。Nginx的配置文件通常很小,结构清晰,易于理解,使得即使是初学者也能较快上手。它支持模块化的设计,可以根据需要加载不同的功能模块,提供了很高的可扩展性。此外,Nginx的稳定性和可靠性也得到了业界的认可,它可以在长时间运行中维持高效率和稳定性。 4. Nginx的版本信息 本次提供的资源是Nginx的1.19.0版本,该版本属于较新的稳定版。在版本迭代中,Nginx持续改进性能和功能,修复发现的问题,并添加新的特性。开发团队会根据实际的使用情况和用户反馈,定期更新和发布新版本,以保持Nginx在服务器软件领域的竞争力。 5. Nginx在Windows平台的应用 Nginx的Windows版本支持在Windows操作系统上运行。虽然Nginx最初是为类Unix系统设计的,但随着版本的更新,对Windows平台的支持也越来越完善。Windows版本的Nginx可以为Windows用户提供同样的高性能、高并发以及稳定性,使其可以构建跨平台的Web解决方案。同时,这也意味着开发者可以在开发环境中使用熟悉的Windows系统来测试和开发Nginx。 6. 压缩包文件名称解析 压缩包文件名称为"nginx-1.19.0-windows.zip",这表明了压缩包的内容是Nginx的Windows版本,且版本号为1.19.0。该文件包含了运行Nginx服务器所需的所有文件和配置,用户解压后即可进行安装和配置。文件名称简洁明了,有助于用户识别和确认版本信息,方便根据需要下载和使用。 7. Nginx在中国大陆的应用实例 Nginx在中国大陆的广泛使用,证明了其在实际部署中的卓越表现。这包括但不限于百度、京东、新浪、网易、腾讯、淘宝等大型互联网公司。这些网站的高访问量要求服务器能够处理数以百万计的并发请求,而Nginx正是凭借其出色的性能和稳定性满足了这一需求。这些大型网站的使用案例为Nginx带来了良好的口碑,同时也证明了Nginx作为一款服务器软件的领先地位。 总结以上信息,Nginx-1.19.0-windows.zip是一个适用于Windows操作系统的Nginx服务器软件压缩包,提供了高性能的Web服务和反向代理功能,并被广泛应用于中国大陆的大型互联网企业中。用户在使用该压缩包时,可以期待一个稳定、高效且易于配置的服务器环境。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依
recommend-type

CC-LINK远程IO模块在环境监控中的应用:技术与案例探讨

![CC-LINK](https://www.mitsubishielectric.com/fa/products/cnt/plcnet/pmerit/cclink_ie/concept/img/main_img.jpg) # 摘要 CC-LINK远程IO模块作为一种先进的工业通信技术,在环境监控系统中具有广泛应用。本文首先概述了CC-LINK远程IO模块的基本概念及其在环境监控系统中的基础理论,包括硬件组成、软件架构及技术优势。随后,详细介绍了其在实时监控与远程控制、系统集成与配置、安全维护方面的具体实践应用。案例分析部分深入探讨了CC-LINK模块在不同环境监控场景中的应用效果与技术解决
recommend-type

Linux C开发中,如何判断open()函数创建的fd没有被close()

在Linux C开发中,判断`open()`函数创建的文件描述符(file descriptor, fd)是否已经被`close()`通常涉及到检查该fd是否处于有效的状态。你可以通过以下几个步骤进行: 1. **检查fd是否为-1**:如果fd值为-1,这通常表示错误发生或者文件操作已经完成,它可能已经被关闭。 ```c if (fd == -1) { // 处理失败或已关闭的情况 } ``` 2. **检查errno**:系统调用返回-1并设置errno时,可以查阅相关的错误码来判断问题。比如,`ENOTTY`可能表示尝试访问非块设备,而这可能是由`close()`造成的。
recommend-type

欧美风格生活信息网站模板下载

资源摘要信息:"生活信息网站_欧美模版" 知识点一:网站模板定义与用途 网站模板是一种预先设计好的网页框架,包括布局、颜色、字体等元素,目的是为了让开发者或设计者能够快速创建出具有专业外观的网站,而无需从零开始设计。生活信息网站模板专注于展示生活相关信息,如社区活动、地方新闻、商家信息、便民服务等内容,这类模板通常包括首页、分类页面、详情页等,适合个人、社区组织或小型企业使用。 知识点二:欧美风格特点 欧美风格的网站模板往往具有简洁的布局、清晰的导航、丰富的空白区域(Negative Space),以及强调可用性和用户体验的设计原则。色彩通常比较中性,可能搭配大胆的图形或颜色区块,字体选择倾向于简约现代或经典优雅的样式。这种风格的模板对于追求国际化、时尚感的用户群体非常具有吸引力。 知识点三:模板文件结构分析 从文件名称列表中可以看出,该生活信息网站_欧美模版可能包含以下几种文件类型: 1. _desktop.ini:这是一个Windows系统中的桌面配置文件,用于存储关于一个文件夹的显示属性,包括图标、视图设置等信息。在网站模板中,该文件可能用于描述模板文件夹的相关信息,比如模板名称、版本、作者等。 2. Blank:这个文件夹可能包含模板的空白或基础版本,即没有填充具体内容的模板,用户可以在此基础上添加自己的内容。 3. PSD:这是Photoshop的文件扩展名,表明该文件夹可能包含了源文件,即设计师可以用来编辑的矢量图形、文本、图层和样式等。对于想要自定义设计的用户来说,这提供了一定程度的灵活性。 4. Filled:此文件夹可能包含了模板的预填充内容版本,即模板中已经填充了某些占位内容或示例数据,用户可以直观地看到设计效果。 5. Fonts:这个文件夹包含了模板中使用到的所有字体文件,确保在不同计算机或编辑器中打开模板时字体能够被正确显示。 知识点四:模板使用环境 该生活信息网站_欧美模版可能被设计为兼容多种设备和浏览器,以提供更好的用户体验。这意味着在设计和开发阶段,会考虑到响应式设计(Responsive Design),确保网站能够适配不同的屏幕尺寸和分辨率,包括手机、平板电脑和桌面显示器。 知识点五:模板的扩展性和可定制性 一个优秀的网站模板通常允许用户进行一定程度的定制,以满足特定的需求。这可能包括对布局的调整、颜色方案的更改、字体样式的选择等。在实际使用时,开发者或设计师会根据项目需求,利用提供的PSD源文件对模板进行修改和优化。 总结,生活信息网站_欧美模版是一种为展示生活相关信息而设计的网页模板,它结合了国际化的美观设计和功能实用的布局,适合各种个人和商业项目。通过理解和操作模板中的文件结构,用户可以快速搭建起具有专业外观的网站平台,同时保持一定的个性化调整空间,以符合各自的业务需求。
recommend-type

关系数据表示学习

关系数据卢多维奇·多斯桑托斯引用此版本:卢多维奇·多斯桑托斯。关系数据的表示学习机器学习[cs.LG]。皮埃尔和玛丽·居里大学-巴黎第六大学,2017年。英语。NNT:2017PA066480。电话:01803188HAL ID:电话:01803188https://theses.hal.science/tel-01803188提交日期:2018年HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaireUNIVERSITY PIERRE和 MARIE CURIE计算机科学、电信和电子学博士学院(巴黎)巴黎6号计算机科学实验室D八角形T HESIS关系数据表示学习作者:Ludovic DOS SAntos主管:Patrick GALLINARI联合主管:本杰明·P·伊沃瓦斯基为满足计算机科学博士学位的要求而提交的论文评审团成员:先生蒂埃里·A·退休记者先生尤尼斯·B·恩