【摘要】规范的IT服务管理实践的电子信息化对于解决随着企业规模的增大,IT服务项目的增多而产生的项目和IT工程师的管理问题有重要意义。本文基于合胜IT运维一体化部门的IT服务管理的实践,分析现有IT服务管理规划与实施,设计并实现基于位置的一体化运维管理系统。该系统为合胜IT运维一体化部门项目,现已完成并上线运行。论文主要工作如下：第一,支持IT服务管理框架。讨论IT,IT管理,IT服务管理等概念, […]

【摘要】背景和目的结直肠癌是全世界严重的公共健康问题,是美国及欧洲癌症死亡的主要病因。由于生活方式快速的西方化,亚太地区的结直肠癌发病率迅速上升,在中国更为明显。一直以来,大肠镜是发现和切除结直肠癌的癌前病变,预防进展期结直肠癌的主要手段。·近年来,结直肠平坦型病变逐渐引起了关注,结直肠平坦型病变比隆起型病变具有更高的恶性潜能和黏膜下浸润癌发生率。研究证实结直肠平坦型病变直径≥1Omm和直径&lt […]

【摘要】可计算性逻辑(ComputabilityLogic)简称CoL,是由Japaridze首先提出的,它将经典逻辑中的真值理论发展成为可计算性的正式理论,是对经典逻辑的发展。在CoL中,我们将可计算性的问题看成是由机器和环境两种角色参加的博弈,问题的可计算性表示存在一个交互图灵机总能在表示这个问题的博弈中取胜；逻辑运算符代表可计算性问题上的运算；逻辑公式的永真性表示是永远可计算的问题。在对博弈 […]