论文部分内容阅读
可计算性和计算复杂性的研究及其进展
【机 构】
：
华中师范大学计算机科学系
【出 处】
：
高等函授学报：自然科学版
【发表日期】
：
1998年4期
其他文献
网络应用的发展要求路由器必须有能力支持防火墙、提供QoS、流量计费等一系列功能,这些功能都要求路由器对IP包进行分类以完成对数据包的不同处理.在Grid of Tries算法的基础
协议是计算机网络的命脉，协议复杂性的提高导致了协议工程学科的出现。该文首先分析了协议工程各项活动的内容，方法和相互关系，讨论了各种形式描述技术（ｆｏｒｍａｌ ｄｅｓｃｒｉｐｔｉｏｎ ｔｅｃｈｎｉｑｕｅ，简称ＦＤＴ）的特性及其优缺点
通过问卷调查，分析我校农科专业《有机化学》课程教学中存在的问题，提出相应的建议和改革措施，以提高我校农科专业《有机化学》课程教学水平和教学质量。