您的位置： 专家智库 > >

王兵

作品数：4 被引量：0H指数：0
供职机构：南昌大学更多>>
发文基金：江西省教育厅科技计划项目江西省自然科学基金国家重点基础研究发展计划更多>>
相关领域：医药卫生文化科学自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 3篇学位论文
  • 1篇期刊文章

领域

  • 1篇经济管理
  • 1篇电子电信
  • 1篇自动化与计算...
  • 1篇医药卫生
  • 1篇文化科学

主题

  • 2篇电子商务
  • 2篇电子商务协议
  • 2篇商务
  • 1篇形式化
  • 1篇形式化分析
  • 1篇抑制胶质瘤
  • 1篇原子性
  • 1篇皂苷
  • 1篇增殖
  • 1篇人参
  • 1篇人参皂苷
  • 1篇肿瘤
  • 1篇肿瘤作用
  • 1篇子机
  • 1篇细胞
  • 1篇细胞增殖
  • 1篇模态逻辑
  • 1篇抗肿瘤
  • 1篇抗肿瘤作用
  • 1篇胶质

机构

  • 4篇南昌大学

作者

  • 4篇王兵
  • 1篇肖美华
  • 1篇刘晓清
  • 1篇朱宜炳

传媒

  • 1篇南昌大学学报...

年份

  • 1篇2023
  • 1篇2022
  • 2篇2007
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
电子商务协议的形式化分析
电子商务协议的安全性、原子性、不可否认性等性质的验证的方法一直制约着电子商务的发展。形式化分析技术可使协议设计者通过系统分析将注意力集中于接口、系统环境的假设、在不同条件下系统的状态、条件不满足时出现的情况以及系统不变的...
王兵
关键词：电子商务协议形式化分析模态逻辑安全协议
文献传递
电子商务协议原子性的SPIN分析
2007年
电子商务协议的研究有利于促进电子商务的发展,电子商务协议的原子性是电子商务协议研究的重点.对NetBill协议及其原子性在开放性的环境中进行形式化描述的基础上,给出基于SPIN平台的NetBill协议模型,用LTL刻画协议需要满足的性质,用模型检测器SPIN对NetBill协议分析结果表明NetBill协议满足原子性.该方法对类似电子商务协议的其它性质分析具有一定的通用性.
王兵肖美华刘晓清朱宜炳
关键词：电子商务协议SPIN原子性
人参皂苷CK抑制胶质瘤细胞增殖及其分子机制研究
目的：　　胶质瘤是中枢神经系统（CNS）最常见的原发性恶性肿瘤，发病率和死亡率均较高。尽管采取了手术、化疗和放疗等治疗措施，由于肿瘤复发及治疗抵抗等因素，患者的预后仍不理想。为克服现有疗法的局限性，寻找新的药物或治疗方法...
王兵
关键词：人参皂苷胶质瘤细胞增殖抗肿瘤作用
TPACK框架下初中生物教学设计的研究
在教育信息化发展的趋势下，教师必须不断提升对于信息技术的掌握，创新与改革有效的教学方法。TPACK框架的提出，为教师将信息技术与学科教学的高效整合提供了新的思路与方法。然而，如何将TPACK框架与初中生物学科结合仍然是一...
王兵
关键词：初中生物教学设计
全选 清除 导出
共1页<1>
聚类工具0