简介：利用系统生物学原理和计算机理论,研究HIV的结构和生命周期。扩展通用图灵机模型是一种计算机模型,使用这种模型描述HIV的结构和生命周期,能够将计算机与HIV结合起来,将生物化学反应过程转化为计算机运算模拟过程,从而简化了生物化学实验,减短实验周期。基于扩展通用图灵机的HIV描述不仅能够反映HIV的结构和生命周期,而且更加突出了HIV的感染特性。

简介：图灵，英国数学家、数理逻辑学家、计算机科学家。

简介：月球背面靠近中心处有一座名为代达罗斯的环形山，山体呈匀称的圆形，轮廓分明。20世纪中叶之前，还没有人知晓它的存在。那个地方是你从地球出发所能到达的最为遥远、同时基本上也是最为宁静的—块月球领土了。

简介：

简介：如果电脑没有合适的,这些问题以及质问者收到的回答,自愿者真实地回答问题并试图说服质问者

简介：<正>第二次世界大战期间,纳粹德国对欧洲各国发动了一次又一次的突然袭击、隐秘轰炸、潜艇偷袭,让盟军苦不堪言。如果能破译德军的密电,提前知道他们的行动计划,许多无辜的生命就能得到拯救。可是在当时,几乎所有的人部认为,破译德军的密码是不可能的……精英的聚会1939年9月4日,第二次世界大战爆发后的第3天,位于伦敦西北的布莱奇利无线广播公司里,一次秘密会议正在进行。

简介：今天，我们可以很方便地利用计算机查询地图，收看视频，甚至帮你找出问题的答案。计算机几乎无所不能，是我们生活中不可或缺的伙伴，它为什么这么厉害呢？这一切都要归功于一个伟大的数学家——艾伦·图灵。

简介：

简介：ACM宣布把2008年度的图灵奖颁发给麻省理工学院教授BarbaraLiskov，表彰她在编程语言和系统设计等方面的贡献。Liskov是第．一位获得计算机科学博士学位的女性，但她被人所知往往是因为面向对象设计中一条很重要的原则：Liskov替换原则（LSP），

简介：三人分享图灵奖正当我们忙于抗震救灾和准备奥运的时候，2008年6月21日晚，美国计算机协会（ACM）在旧金山召开了2007年度ACM颁奖盛典。颁布了2007年度图灵奖、ACMInfosys基金会奖以及人工智能、软件系统、计算机理论与实践、计算科学与工程等领域的多个奖项。

简介：定义在全体实数上的可计算函数是一个很重要的概念．在这以前定义可计算的实数函数有两个途径．第一个途径是首先要定义可计算实数的指标．想要确定实数函数y=f（x）是不是可以计算就要看是否存在一个自然数的（部分）递归函数将可计算实数x的指标对应到可计算实数y的指标．这样一来对实数函数的研究依赖于对自然数函数的研究．第二个定义可计算的实数函数的途径是以逼近为基础的．一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的．用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数．例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数．本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义．我们的定义不需要用到自然数的（部分）递归函数．根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的．用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多．

简介：

简介：图灵著名的“通用机”的属性长期以来支撑着关于认知本质的功能主义直觉。克里斯·伊利亚史密斯认为，对可多样实现性的标准的功能主义论证有一个逻辑问题。这些论证实质上都依赖于图灵对计算的强有力的洞察。在处理了对这一批评的一种可能的答复之后，克里斯·伊利亚史密斯进一步论证了功能主义不是理解什么是具有心灵的一种有效途径。特别是他证明了在区别执行和功能时所涉及的难题会使可多样实现性无法检验，难以提供新的信息。因此，可以得出结论：图灵机在心灵哲学中的作用还需重新考虑。

简介：以知识自动化为研究对象,研究适合流程行业的知识自动化技术,提出了一种实现智能化的理论架构。实践表明,用实时数据库等多种数据库构建数据池,在深入挖掘数据价值的目标下,通过灵活运用知识自动化三种手段可有效实现流程行业知识自动化,提高流程行业数据的价值。运用函数式编程思维,知识自动化实现过程中知识价值损失率很小。这条实现路径既有效地实现了知识的沉淀和复用,又有效地确保了知识应用的科学性,从而构建出高可用、高可靠、高价值的行业知识系统。

简介：摘要图灵奖是计算机界的最高荣誉，有“计算机诺贝尔奖”之称。根据1966年2009年历届图灵奖获奖者的相关统计资料，从获奖内容、创新角度、研究领域、年龄分布、兴趣爱好等方面对图灵奖获得者进行分析。认为图灵奖注重原始理论创新和学科交叉，具有科研优势积累现象和中青年现象，是团队合作精神的体现。最后，为计算机科技者进行科学技术创新提供一些建议。

简介：模型是将设计方案物化为与实物相似的形象直观的一种物体。模型制作既能增强技术设计的视觉感染力，又可帮助设计者通过反复观摩、推敲分析、不断修改完善设计方案的可靠性，进而求得最佳设计效果。模型是对设计理念的具体表达，是设计委托者与设计人员和使用者之间交流的“技术语言”，而这种“技术语言”是三维实体造型，展现了设计“物”的具体形态。

简介：模型教学成为继探究教学、概念教学之外更新的一种教学模式.建模与模型教学不仅仅为实现教学目标的一种教学方法或手段,其本身也可为教学目标之一.同时,也要注意到两个局限性：模型的局限性,了解模型与真实事物之间的差异;建构模型的局限性,从而了解构建模型的多样性.

简介：模型的验证是指对模型的性能指标(区分度、校准度)进行考察的过程。根据考察过程中是否使用预测模型的开发队列数据,模型验证可分为内部验证和外部验证。内部验证是检验模型开发过程的可重复性,常见形式包括随机拆分验证、交叉验证、Bootstrap重抽样以及“内部-外部”交叉验证。外部验证考察的是模型的可移植性和可泛化性,常见形式包括时段验证、空间验证以及领域验证。

简介：资本资产定价模型（CAPM）和套利定价理论（APT）是关于资本市场均衡的两个比较著名的模型。二种模型虽然在解释的角度、基本很设、方法、以及适用范围上均有重大区别，但是殊途同归，它们得出的结论是一致的：期望收益与风险之间存在着正相关的关系。

简介：