软件学院12-13-2学期《人工智能》课程项目报告.docVIP

软件学院12-13-2学期《人工智能》课程项目报告 题目：使用Co-Training方法进行手写体数字识别 姓名：王生原 学号 请填写以下信息： 算法名称 算法种类： 监督/半监督学习 算法实现： 原创/实现/调用 若为调用 软件为 比较算法： 有/无 参数分析： 有/无 Co-training 半监督 实现 有 有 并发面向对象中的继承反常现象生原 摘 要: 如果不考虑继承性,并发性与对象技术的结合是很自然的.继承反常(又称继承异常)现象是继承性和并发性不相容的主要原因之一.现阶段人们对继承反常现象的认识有许多模糊之处,出发点不尽相同,形式化的工作也很少.对不同的subtyping关系考虑其特有的渐增式继承方法有利于把握继承反常现象的实质,也丰富了“在并发面向对象语言中应将inheritance层次和subtyping层次区别对待”这一认识的内涵.在阐述基本观点之后,采用范畴论的术语对相关的概念和定义做了形式化工作.一些观点和结论适用于区分和解释相关工作的出发点和贡献,并对并发面向对象技术中继承性的建模问题有所启示. 关键词: 并发性;面向对象;继承反常;渐增式继承;范畴论 认识继承反常现象 如图1所示,类Buffer实现了一个有界缓冲区类型,可以并发地接受消息put和get.同步机制采用了“method guards”方式,即为每一个method附加一个guard谓词[2].构造Buffer的另一个子类LockableBuffer也会引发同样的问题.这种“为获得有效继承而必须对父类代码进行实质性修改的现象”就是所谓的继承反常(inheritance anomaly)[3~5]. 理解继承反常现象 区别Inheritance和Subtyping 综合各种观点,要理解和解释继承反常现象,首先必须正确区别inheritance层次和subtyping层次,并深刻领会二者的联系[6,7].对于这个问题,文献[1,8]的观点是比较权威的.在此基础上,我们的理解是:Inheritance是在代码层次上作修改,而subtyping是在语义层次上作修改.前者是代码共享的一种重要途径,但不能保证subclass能够继承superclass的行为;后者要求subtype保持supertype的某种外部可观察行为(或语义行为),在规范一级共享,同代码没有关系.Inheritance层次关系可以理解为“is_similar_to”(或“like”)的关系,而将“is_a”关系更适合用在理解subtyping层次关系上,见表1[9]. Table 1 Latency of macro-instructions 表1 宏指令的时延 Acronym Macro-Instructions Latency (ns) Event symbol Value Symbol NSI NET_SLICE_INIT() 87 (( n((,e) NST NET_SLICE_STOP() 154 ( ( NSE NET_SLICE_EXIT() 904 (1.4%) (( n((,e) NSO Inter-Overhead between NET_SLICE_START() and NET_SLICE_STOP() 150 (o n(o,e) NSA Overhead of NET_SLICE_START() 303 (( n((,e) 命题1. 设R(RL,R((R,R定义的Class范畴为CR,R(定义的Class范畴为CR(,则CR(是CR的子范畴,并称之为CR的子Class范畴. 证明:对任何A,B(ob CR=ob CR(,homCR((A,B)(homCR(A,B). □ 推论1. 任何R(RL定义的Class范畴CR都是CL的子Class范畴. 渐增式继承 Subtyping要求subtype保持supertype的某种行为(可看作是一种不变量,比如同步约束)[10].Subclass在增加新的属性或方法时,为了避免破坏这种不变量,难免要对继承的代码进行扩展或修改.这种扩展或修改很可能是重大的或实质性的,结果使得代码共享失去意义.这便是继承反常的直观含义. 假定非线性优化问题: (1) 的近似解为,其中由边界条件决定.确定其余几个Bézier系数是一个非线性约束优化问题.我们采用基于一维线性搜索的整体收敛的Newton迭代方法来求解.其基本的迭代格式为 步长采用回溯线性搜索方法确定,下降方向是Newton方向,这种非线性优化方法是一个比较成功