您的位置: 专家智库 > >

张乃孝

作品数:24 被引量:125H指数:8
供职机构:北京大学数学科学学院更多>>
发文基金:国家自然科学基金国家高技术研究发展计划高等学校骨干教师资助计划更多>>
相关领域:自动化与计算机技术文化科学电子电信更多>>

领域

  • 12个自动化与计算...
  • 5个理学
  • 4个文化科学
  • 3个电子电信
  • 2个经济管理
  • 2个生物学
  • 2个自然科学总论
  • 1个天文地球
  • 1个化学工程
  • 1个金属学及工艺
  • 1个机械工程
  • 1个电气工程
  • 1个建筑科学
  • 1个水利工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个环境科学与工...
  • 1个医药卫生
  • 1个农业科学
  • 1个一般工业技术

主题

  • 6个程序设计
  • 5个软件开发
  • 5个网络
  • 4个形式化
  • 4个形式化方法
  • 4个语言
  • 4个自动生成
  • 4个领域语言
  • 3个一致性
  • 3个软件结构
  • 3个软件开发方法
  • 3个设计语言
  • 3个神经网
  • 3个神经网络
  • 2个银行
  • 2个商业银行
  • 2个时态逻辑
  • 2个实证
  • 2个实证分析
  • 2个数据结构

机构

  • 11个北京大学
  • 3个吉林大学
  • 1个长春邮电学院
  • 1个大连大学
  • 1个华东师范大学
  • 1个吉林大学中日...
  • 1个北京工业大学
  • 1个教育部
  • 1个上海财经大学
  • 1个新疆农业大学
  • 1个新疆畜牧科学...
  • 1个吉林化建安装...
  • 1个吉林省电力有...

资助

  • 12个国家自然科学...
  • 4个国家高技术研...
  • 3个国家重点基础...
  • 2个高等学校骨干...
  • 2个中国博士后科...
  • 2个国家教育部博...
  • 2个吉林省科委基...
  • 1个北京市自然科...
  • 1个吉林大学研究...
  • 1个国家科技支撑...
  • 1个吉林省科技发...
  • 1个吉林省自然科...
  • 1个教育部科学技...
  • 1个吉林省科技厅...
  • 1个国家大学生创...
  • 1个“十一五”国...
  • 1个北京市教育委...
  • 1个长春市科技局...
  • 1个国家基础科学...
  • 1个国家农业科技...

传媒

  • 7个计算机科学
  • 5个计算机研究与...
  • 5个北京大学学报...
  • 5个软件学报
  • 4个计算机学报
  • 3个吉林大学自然...
  • 2个计算机工程与...
  • 2个传感技术学报
  • 2个全国程序设计...
  • 1个传感器世界
  • 1个金融电子化
  • 1个土壤通报
  • 1个中国实验诊断...
  • 1个Intern...
  • 1个硅酸盐通报
  • 1个中国农村水利...
  • 1个中国兽医学报
  • 1个光学精密工程
  • 1个吉林大学学报...
  • 1个高等学校化学...

地区

  • 9个北京市
  • 2个上海市
  • 1个吉林省
12 条 记 录,以下是 1-10
郑红军
供职机构:北京大学数学科学学院信息科学系
研究主题:程序设计语言 GARMENT 部分求值技术 部分求值 软件自动生成
发表作品相关人物供职机构所获资助研究领域
范少锋
供职机构:北京大学科学研究部
研究主题:科学基金 863计划 经费预算 国家创新体系 共同体
发表作品相关人物供职机构所获资助研究领域
屈婉玲
供职机构:北京大学信息科学技术学院
研究主题:PETRI网 工作流 工作流模式 连接器 程序设计
发表作品相关人物供职机构所获资助研究领域
裘宗燕
供职机构:北京大学数学科学学院
研究主题:程序设计语言 语言 形式化方法 异常处理 程序设计
发表作品相关人物供职机构所获资助研究领域
孙猛
供职机构:北京大学
研究主题:UML RSL 形式化 MEDIATOR CSP
发表作品相关人物供职机构所获资助研究领域
珺小明
供职机构:华东师范大学软件学院
研究主题:GARMENT 集成开发环境 领域语言 自动生成 GARDEN
发表作品相关人物供职机构所获资助研究领域
杨红丽
供职机构:北京工业大学
研究主题:XML SCHEMA 数据收集协议 无线传感器网络 XML_SCHEMA
发表作品相关人物供职机构所获资助研究领域
刘英
供职机构:北京大学数学科学学院信息科学系
研究主题:JAVA语言 JAVA 面向对象 程序自动并行化 程序设计
发表作品相关人物供职机构所获资助研究领域
张明恒
供职机构:上海财经大学经济学院
研究主题:金融资产 COPULA VAR 概率论 基础资产
发表作品相关人物供职机构所获资助研究领域
刘磊
供职机构:吉林大学
研究主题:程序设计 本体 检定装置 汽车 营运汽车
发表作品相关人物供职机构所获资助研究领域
共2页<12>
聚类工具0