公共文化服务平台

何智涛: 作品数：18 被引量：40H指数：4; 供职机构：北京航空航天大学计算机学院更多>>; 发文基金：国家自然科学基金“九五”国家科技攻关计划北京市自然科学基金更多>>; 相关领域：自动化与计算机技术理学文化科学哲学宗教更多>>

合作作者

基于量化分析的软件测试过程的控制技术被引量：7: 2001年; 论述了软件测试的基本过程以及涉及的文档、角色和活动 .在此基础上重点讨论了如何通过在测试过程中提取的有效数据来对整个测试过程进行监督、控制和管理的技术 ,如对测试进度变化、软件问题分布、人力资源情况、软件问题处理时间以及软件问题重现等情况进行分析的技术 .为保证被测系统的质量、提高效率。; 钱红兵刘超晏海华何智涛; 关键词：软件工程程序系统过程控制

软件测试的度量方法及其应用被引量：7: 1998年; 软件测试是找出软件中的错误，它是保证软件质量的关键，软件测试的度量是对影响软件测试的属性所进行的定量测量．本文简述了应用软件测试度量技术时所应具有的基本知识，通过一个实例，介绍并讨论了一种实用的关于软件测试进度安排和软件错误数的度量方法．; 邓昳何智涛; 关键词：软件工程测量方法软件测试

软件集成测试的群体协同工作模式及其特性被引量：11: 2000年; 该文论述了在大型软件的集成测试中开发组和测试组之间的协同工作方式及其对软件产品质量和开发效率的影响 .文章着重讨论了集成测试的基本测试过程、必需的测试任务、测试人员的职责、其他各类相关人员的角色及其相互之间的各种关系 ,并通过采用标准建模语言 UML(unified modeling language)给出了这种协同工作方式的可视化模型 .文章还重点研究了软件问题报告的生命周期概念及其在软件质量保证过程中的作用 .最后 ,通过实际案例的分析 ,说明了这种协同工作模式的一些特点 .; 刘超张茂林晏海华杨峰何智涛; 关键词：软件工程软件测试软件集成测试

无穷概念的重新统一被引量：2: 2010年; 康托尔是用数学方法系统研究实无穷概念的第一人,为此他创立了集合论,为现代数学奠定了重要的理论基础,但其中的连续统假设和层次实无穷观又给数学带来了许多问题.130多年来不断有人怀疑连续统假设,但一直没有找到解决这个问题的有效办法.文章首先在图灵机基础上提出完全编码算法和完全译码算法,揭示了无穷编码的不变性(ICI原理),证明了实数可数、连续统假设不成立,实现了实无穷概念的重新统一,从根本上解决了希尔伯特第一问题.然后进一步证明所有的无穷集都可通过自然数集变换出来,自然数集是所有无穷集的数学模型.最后讨论了有关无穷的数学哲学问题.无穷概念的统一奠定了实无穷理论的基础,对数学、物理、逻辑、哲学和其他许多学科都将产生广泛而深远的影响.; 何华灿何智涛; 关键词：实无穷图灵机连续统假设希尔伯特问题自然数集

ABDOM的参数规范化与离散化改进被引量：1: 2012年; 为了更好利用叠加式双阻尼振荡模型(ABDOM,Accumulative Bi-Damped Os-cillation Model)来描述、预测和评估真实软件缺陷发现时序过程,在提出理想软件缺陷发现时序过程范型(ISPSDD,Ideal Sequential Process of Software Defects Discovery)的基础上,对AB-DOM中软件缺陷发现阻尼a和软件缺陷发现周期阻尼b的规范化进行了进一步讨论,提出了软件缺陷发现时序过程质量评价指数Q,给出了其典型取值和相关意义,并将其引入ABDOM,最终得到了经过参数规范化和离散化改进后的ABDOM-Qd,并利用一个真实的工程实践项目数据对ABDOM-Qd进行了验证.; 何智涛晏海华刘超

泛逻辑学——逻辑学的大一统理论: 2025年; 人工智能80年研究实践证明,不能用传统物质学科范式做指导,需要进行学科范式变革,接受信息学科范式的指导。相应的,作为智能学科基础理论之一的逻辑学,也需要进行逻辑范式变革,由数理形式逻辑主导变革为由数理辩证逻辑主导。本文阐述了数理形式逻辑和数理辩证逻辑的区别和关系,确认两者是对立不充分的统一体,具有相互补充、各司其职的关系,本文提出的泛逻辑学,可以在数理形式逻辑的基础上,逐步把它拓展成为数理辩证逻辑。因为数理形式逻辑(标准逻辑、刚性逻辑)是全面受到“非此即彼性”约束的理想化的基本逻辑,而数理辩证逻辑是面向现实世界的具有“亦此亦彼性”、甚至“非此非彼性”的高级逻辑,基本逻辑是高级逻辑的一个特例,如同代数是微积分的特例一样。泛逻辑的使命就是在基本逻辑基础上,逐步放开某些逻辑因素的“非此非彼性”,引入“亦此亦彼性”、甚至“非此非彼性”,形成各种不同的非标准逻辑或超协调逻辑,这些逻辑都是整个数理辩证逻辑的组成部分。而且研究证明,柔性命题逻辑算子与柔性神经元可以存在一体两面的等价关系,神经网络可以不是黑箱,而具有明确的逻辑含义。最后指出,数理辩证逻辑是一个开放的逻辑体系,其边界可以不断扩张,没有上限。泛逻辑可以全面无死角地支撑智能学科范式变革的需要。; 何华灿何智涛; 关键词：形式逻辑辩证逻辑博弈逻辑数理逻辑泛逻辑学

一种通用测试文档的生成方法: 本发明涉及一种通用测试文档的生成方法，包含两个步骤：步骤一：定制文档模板；定制文档模板可以分为三个步骤：第一步，文档模板结构定义；第二步，文档模板内容样式定义；第三步，生成XML描述文件保存入库；步骤二：文档生成：首先，...; 晏海华钱红兵杨海燕何智涛张茂林

一种面向非结构化环境的机械臂抓取方法及系统: 一种面向非结构化环境的机械臂抓取方法及系统，该方法具有三个明显的特征：(1)具有复杂非结构化场景处理能力。通过挖掘机械臂抓取场景中的先验知识来约束深度强化学习方法数据输入的状态表示，将复杂高维的原始数据处理成低维的状态信...; 肖利民张华梁何智涛韩萌王良孟令达郑帅张晨浩

有关在计算机学科教学中开展双语教学的思考被引量：7: 2009年; 本文总结了当前计算机学科中开展双语教学的意义，针对双语教学在计算机专业教学所面临的基本问题，提出基于当前国内的教育状况，在计算机专业学科教学中开展双语教学需慎重和全面考虑。; 何智涛; 关键词：计算机双语教学课程

一种基于测试数据的软件质量评价方法: 一种基于测试数据来对软件质量进行评价的方法，首先确定功能性测试用例集评价公式和非功能性测试用例集评价公式，根据测试用例集评价公式确定软件质量子特性评价公式，根据软件质量子特性评价公式确定软件质量特性评价公式，根据软件质量...; 晏海华钱红兵惠喻张茂林杨海燕何智涛贾兴华

何智涛

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

何智涛

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈