面向方面设计中干涉问题的分析工具

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.本文设计开发了一个基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具.它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中没有干涉存在或者为修正干涉问题提供线索.     

撕去“癌王”的三个假面

在人体的五脏六腑中,胰腺被提及的次数显然不及"心肝宝贝"。只有谈到糖尿病,人们才会把关注的焦点集中到胰腺上。然而,正是这样一个"默默无闻"的器官不断掀起波澜,原本少见的胰腺癌频繁向人们     

秋季养生 润肺为先

俗话说:"秋天无病三分虚。"入秋后,天气比较干燥,对人的新陈代谢会产生很大影响,如果不及时调整很容易患病。秋季是滋补养阴、储存能量的好时机,能为"秋冬养阴"打好基础。中医还有"燥易伤肺"的说法,而"肺燥"是秋季就医时患者听到最多的名词。因此,秋天养生,最重要的就是润肺。     

亚健康和风湿病如何冬令进补

秋冬是人体进补的最佳时令。因为人体在冬季代谢降低,消耗减少,消化酶分泌旺盛,消化机能增强,体内高热量食品需求增加、容易吸收,并把富余营养储存于体内,以强健的体魄迎接来年的挑战。     

北京奥运菜单里的中国美食

东京奥运会让人们记住了日本的寿司，汉城奥运会则让泡菜闻名世界，2008年北京拿什么美味奉献给了世界呢？ 很多业内专家表示，越是民族的越是世界的，饺子、馄饨、汤圆、粽子、四川凉面、炸酱面，还有充满北京特色的烤鸭，可谓各领风骚。     

正确理解胃病的“三分治七分养”

有些人认为胃病就是＂三分治七分养＂,不需要就医,只要注意饮食就行了。其实,胃病是一个很宽泛的概念,常见的胃病包括胃炎、胃溃疡、胃癌等。如果是幽门螺杆菌感染引起的胃炎，必须通过医生的正规治疗，杀灭病菌，否则，再怎么调养，胃炎也很难自愈。所以说，“养”是在“治”的基础上进行的，而不是单纯地“养”。     

蛋白质粉，到底该吃不该吃？——访东方医院营养科主任谢良民

面对市场上琳琅满目的蛋白质粉，消费者往往迷失方向，不知道要不要服用这种保健品，也不知道该怎么服用或者哪些人应该服用，笔者为此特地走访了上海东方医院的营养科主任谢良民。     

秋风乍起，膏方正当时

俗话说"冬天进补,春天打虎。"又到秋风乍起时,市民对于进补的热情再次燃烧了起来。笔者在上海市中医医院看到,前来求方的市民络绎不绝,其中更不乏二三十岁的年轻人。市民陈小姐表示,自己服用膏方已经有4年了,因为觉得疗效不错,亚健康的状态有比较明显的改善,所以现在每年都会来医院求方。     

中医食疗助力癌症患者康复

每个癌症患者经过治疗后说的最多的一句话就是"元气大伤"。复旦大学附属肿瘤医院中西医结合科周振华副教授指出,传统的中医食疗理念和方法,可以逐步改善癌症患者放化疗之后体质虚弱的情况,助力癌症患者快速康复。癌症患者不能"十全大补"不同的肿瘤治疗手段,会造成不同的副反应。经过化学治疗的患者,一般都会出现吃东西没有味道,身体非常累甚至连走路都非常困难,或者     

营养盐比普通盐更有益吗？

前段时间关于食盐加碘的争论尚未平息，如今五花八门营养盐的问题又甚嚣尘上。消费者必须明白一个科学常识：任何营养成分都是适量才有益，过量则会危害健康。