继承异常的一种解决方法

继承异常用来描述在并发面向对象语言中继承与并发的冲突．对继承异常做了系统的分析，给出一种新的分类．提出在一并发对象中将同步部分与顺序部分分离，生成两个对象，通过将同步代码放入一单独对象，将继承过程分为顺序部分和同步部分，这种分离大大地减少了继承异常的发生．     

论凡·高自画像的艺术符号

文章通过基本的符号学原理来解析凡.高的自画像,所要用到的原理包括能指与所指,深层结构与表层结构,艺术的冷信息,符号—功能体,艺术符号的自指性和易率符号原理;分别从凡高自画像的构图、背景、道具、笔触、神态五个方面进行作品分析。     

含临界指数项和双重奇异项的Kirchhoff型椭圆边值方程的正解

讨论了一类含临界指数项和双重奇异项的Kirchhoff型椭圆边值方程.应用Lions集中紧性原理和Ekeland变分原理,证明了该方程在适当条件下正解的存在性与多重性,推广和改进了一些最近的结果.     

继承异常的一种解决方法

继承异常用来描述在并发面向对象语言中继承与并发的冲突。对继承异常做了系统的分析，给出一种新的分类。提出在一并发对象中将同步部分与顺序部分分离，生成两个对象，通过将同步代码放入一单独对象，将继承过程分为顺序部分和同步部分，这种分离大大地减少了继承的发生。     

计算逻辑中的波动策略

以计算逻辑为基础,介绍了定理机器证明中一种新的启发式方法——波动方法,它是一种在证明中通过处理归纳结论来激活归纳假设的策略。