您的位置： 专家智库 > >

朱宜炳

作品数：18 被引量：28H指数：3
供职机构：江西科技学院更多>>
发文基金：江西省自然科学基金江西省高等学校教学改革研究课题江西省社会科学规划项目更多>>
相关领域：自动化与计算机技术电子电信文化科学经济管理更多>>

合作作者

领域

  • 8个自动化与计算...
  • 5个经济管理
  • 5个文化科学
  • 4个电子电信
  • 2个建筑科学
  • 2个医药卫生
  • 2个社会学
  • 1个哲学宗教
  • 1个生物学
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个政治法律
  • 1个理学

主题

  • 5个SPIN
  • 4个电子商务
  • 4个形式化
  • 4个商务
  • 4个数据库
  • 3个电子商务协议
  • 3个形式化分析
  • 3个原子性
  • 3个云计算
  • 2个定理
  • 2个定理证明
  • 2个对比度
  • 2个信息化
  • 2个形成期
  • 2个形式化方法
  • 2个形式化验证
  • 2个元件
  • 2个云计算环境
  • 2个射频识别
  • 2个射频识别技术

机构

  • 5个南昌大学
  • 2个江西科技学院
  • 1个华东交通大学
  • 1个江西蓝天学院
  • 1个江西师范大学
  • 1个天津师范大学
  • 1个中国科学院软...
  • 1个海南科技职业...
  • 1个江西省计算技...

资助

  • 5个江西省自然科...
  • 5个江西省教育厅...
  • 3个国家重点基础...
  • 3个江西省科技攻...
  • 3个江西省教育厅...
  • 2个国家自然科学...
  • 2个江西省研究生...
  • 1个国家科技支撑...
  • 1个江西省软科学...
  • 1个中国博士后科...
  • 1个国家级大学生...
  • 1个国家重大基础...
  • 1个国家重点实验...
  • 1个江西省对外科...
  • 1个江西省高等学...
  • 1个江西省高校党...
  • 1个江西省高校人...
  • 1个江西省科技计...
  • 1个江西省科技厅...
  • 1个江西省科技支...

传媒

  • 4个南昌大学学报...
  • 3个计算机工程与...
  • 3个计算机与现代...
  • 2个南昌大学学报...
  • 2个企业经济
  • 2个华东交通大学...
  • 2个电脑知识与技...
  • 1个计算机安全
  • 1个电脑编程技巧...
  • 1个商业研究
  • 1个佳木斯大学学...
  • 1个科学管理研究
  • 1个计算机研究与...
  • 1个计算机时代
  • 1个统计与决策
  • 1个华中科技大学...
  • 1个计算机工程与...
  • 1个计算机工程
  • 1个计算机应用与...
  • 1个江西教育学院...

地区

  • 7个江西省
  • 1个天津市
共 8 条 记 录，以下是 1-8
罗敏
供职机构：江西省计算技术研究所
研究主题：安全协议 形式化方法 RFID 形式化分析 逻辑推理
发表作品相关人物供职机构所获资助研究领域
肖美华
供职机构：华东交通大学
研究主题：形式化方法 SPIN 安全协议 形式化分析 形式化
发表作品相关人物供职机构所获资助研究领域
张常泉
供职机构：江西科技学院
研究主题：计算机网络 网络安全 高校党建 工作绩效评价 物联网
发表作品相关人物供职机构所获资助研究领域
刘俏威
供职机构：南昌大学信息工程学院
研究主题：SPIN 安全协议 自动生成 PROMELA 形式化
发表作品相关人物供职机构所获资助研究领域
匡青
供职机构：天津师范大学
研究主题：高职院校 教学改革探索 教学改革 软件测试课程 软件测试
发表作品相关人物供职机构所获资助研究领域
刘晓清
供职机构：南昌大学
研究主题：程序设计 C++BUILDER C++_BUILDER VCL SPIN
发表作品相关人物供职机构所获资助研究领域
王兵
供职机构：南昌大学
研究主题：电子商务协议 抑制胶质瘤 初中生物 TPACK SPIN
发表作品相关人物供职机构所获资助研究领域
邱芬
供职机构：南昌大学科学技术学院
研究主题：网络心理咨询 高校网络 心理咨询 云计算环境 高校
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0