IEEE/ACM计算机工程教程CCCE简介

1991年, IEEE 计算机协会(IEEE/CS)与美国计算机协会(ACM)两大学术团体为了促进美国大学计算机本科教育的发展,制定了著名的计算教程(Curriculafor Computing, 简称为CC1991),对美国以及其他国家的计算机本科教育产生了很大的影响。1998年秋天,IEEE 计算机协会(IEEE/CS)与美国计算机协会(ACM)再次建立计算教程联合任务组,致力于总结过去十年计算机技术的发展,修订CC1991,希望能够提出一个全新的能适应未来十年发展、具有全球视野的计算教程。经过3年的努力,联合任务组在2001年12月15日公布了新教程(Computing Curricula2001,简称CC2001)的计算机科学卷最终报告,报告说明了CC2001划分为计算机科学、计算机工程、软件工程、信息系统、信息技术等多卷结构的指导思想,同时公布了计算机科学卷(Computing Curricula 2001 Computer Science FinalReport,简称CCCS2001)最终报告的内容。继CCCS2001发表之后,CC2001联合任务组于2004年6月8日公布了CC2001另一卷,计算机工程卷的铁人草案报告(Computing Curricula 2001: Computer Engineering,Ironman Draft Report,简称CCCE2004),草案包括报告正文以及知识体系、课程设置等附录。本文仅将报告中的重要部分作一简单介绍,感兴趣的读者可以访问http://www.eng.auburn.edu网站。     

Prolog访问FoxBASE数据库文件的方法

人工智能和数据库的结合是计算机技术发展的必然结果,而数据库和逻辑推理机结合的关键是逻辑推理机与传统数据库间的接口。设计了一组Ｐｒｏｌｏｇ 访问ＦｏｘＢＡＳＥ数据库文件的工具谓词,具有普遍适用性。依据提出的思路和方法,很容易地实现其它逻辑推理机和数据库间的接口。     

TCP/IP网络面向对象通信程序设计及应用

本文介绍了ＴＣＰ／ＩＰ网络的面向对象程序设计方法,并给出了用ＶｉｓｕａｌＣ＋＋４２中ＭＦＣ开发的Ｗｉｎｓｏｃｋ９５程序实例。     

基于替代和补偿的嵌套Web Service事务模型

作为一种崭新的并行计算模式,Web Service以其平台独立性、松耦合及自治性等优势,在涉及复杂业务流程的事务性服务行业具有极大潜力和需求.考虑到Web Service环境的限制和特征,传统事务模型无法适应.从Web Service事务系统体系结构出发,分析Web Service的特点及Web Service事务性应用在开放的Web环境下的特性,提出了一个基于替代和补偿的嵌套Web Service事务模型,阐述了结合替代和补偿的Web Service事务结构和处理,给出了形式化描述.     

广播环境中的移动实时事务并发控制

研究了实时数据广播中的一致性问题，由于广播环境的通信不对称性，传统的可串行化并发控制协议显得过于严格，不必要，不可行，为此，提出使用伪可串行化并发控制；形式化定义了伪可串行化的概念，证明了它虽经传统可串行宽松但能保证数据一致性，给出相应的并发控制协议，实验结果表明，新协议可显著降低平均响应时间，使更多移动实时事务满足截止期要求。     

数据库系统原理课程思政建设实践

针对数据库系统原理课程思政建设的现状,探讨如何在此课程教学中进行创新性的思政建设,提出该课程的思政建设方向"大学生思想政治与数据库技术无缝融合"以及思政建设的重点"数据库知识和能力的培养过程中自然渗透科学、创新、奉献和爱国精神",从教学软件的选择、实验设计、教材设计、教学评价机制几方面介绍具体课程思政建设实践,最后说明课程思政建设效果。     

数控铣削中心可视化智能自动编程软件的设计

本文用可视化的Visual C 语言设计了一个用于数控铣削中心的自动编程软件。首先,用一个机加工专家系统来实现刀具及工艺参数的选择;其次,用从实践中总结出的大量经常用到的图形模型输入刀具轨迹以简化操作、提高计算效率;并可将形成的NC程序以动画方式进行直观的加工模拟。本软件虽以铣削加工为背景,经适当修改也可适应于其它机床。     

TCP／IP网络面向对象通信程序设计及应用

本文介绍了ＴＣＰ／ＩＰ网络的面向对象程序设计方法,并给出了用Ｖｉｓｕａｌ Ｃ＋＋４．２中ＭＦＣ开发的Ｗｉｎｓｏｃｋ９５程序实例。     

基于XML的信息安全风险评估系统研究与开发

针对典型的信息安全风险评估要求,提出了综合的评估流程,完成了系统的设计和实现.系统信息库设计时除去了大量繁冗的信息;评估识别时,对资产、威胁和脆弱点的内容进行了详细地分类;评估赋值时,在单一的系统赋值基础上扩展了用户和专家同时参与的功能.同时,在风险矩阵计算的前期工作中加入了对系统、用户和专家赋值综合考量的处理思想.基于JavaEE及XML等上乘主流技术开发方案为该系统的安全性,多平台适应性提供了良好的条件.     

并行数据广播中的亚可串行化并发控制

考虑到移动计算环境的诸多限制以及移动数据库应用的特征,传统冲突可串行化在不对称通信的数据广播环境中显得过于严格而不必要.为此,文中提出一种并行亚可串行化并发控制协议.首先,形式化定义亚可串行化正确性准则,证明亚可串行化虽然比冲突可串行化宽松但能始终保证一致性,给出保证亚可串行化的充分必要条件.进而,提出相应的并行亚可串行化并发控制协议BCC-HSR.实验结果表明,BCC-HSR协议能有效改进移动事务的平均响应时间,更好地满足并行数据广播环境中高性能事务处理的要求.