陈宁
- 作品数：21 被引量：41H指数：2
- 供职机构：西安交通大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信理学医药卫生更多>>
- 基于Pi演算的人工神经网络模型
- 人工神经网络是一种重要的人工智能实现方法,但是目前人工神经网络缺乏通用的数学模型,用来模拟各种结构的神经网络.然而形式化方法对于建模和验证系统是一种有效的方法,所以对人工神经网络的形式化描述和验证是一个重要的研究方向.P...
- 陈宁冯博琴
- 关键词：人工神经网络PI演算模式识别数学模型形式化描述
- 文献传递
- 基于系统论的业务模型实现的自动化技术的研究
- 系统论是系统分解和系统组合思想之间的桥梁,研究整体和部分之间的关系．基于这个理论,提出一个自动化的、优化的建模技术,采用流程建模分析业务流程,自动动态重构业务流程,实现按需设计．
- 陈宁冯博琴
- 关键词：系统论
- 文献传递
- 新型常规CPU散热器的优化设计与制造工艺研究
- 陈宁
- 关键词：散热器数值模拟优化设计
- CD44v6和E-Cadherin在肺癌组织中的表达及其临床意义
- 为了探讨变异型白细胞分化抗原(CD44v6)及上皮型钙粘蛋白(E-cadherin,E-cd)在肺癌组织中的表达情况以及其与肺癌浸润和转移的关系,该研究采用免疫组化SP法,应用抗CD44v6及抗E-cd单克隆抗体,对46...
- 陈宁
- 关键词：肺癌上皮型钙粘蛋白免疫组织化学
- 文献传递
- 真空微电子管的研究
- 1996年
- 综合了已有的真空微电子器件理论的研究成果，提出了真空微电子三极管优化模型，并且进行了初步计算，得到了真空微电子三极管优化模型的理论特性。同时，利用独创的无版光刻工艺制作了真空微电子三极管，进行了测试，并且与理论结果进行了比较。
- 关辉朱长纯陈宁张声良
- 关键词：计算机模拟真空器件微结构
- 基于粗糙集和模糊决策的自动验证方法
- 提出了一个车辆引擎钢印的自动验证方法.每年车辆年审都需要比较车辆引擎钢印的拓印图像和车辆第一次注册时的引擎钢印的拓印图像.通过铅笔拓印的方法采集这些图像,然后扫描作为二值图像文件保存.由于采样技术通过手工完成,引擎表面的...
- 陈宁冯博琴王海笑张浩
- 关键词：准确率粗糙集模糊决策
- 一种基于情境演算的进化MAS系统被引量：1
- 2006年
- 给出了一个基于情境演算的多Agent系统(MAS)建模的框架,可以帮助更好地理解和分析MAS的静态结构和动态行为,尤其是意向驱动将MAS中相互独立的元素包括实体、活动等关联起来形成MAS系统,能够随着环境的变化驱动MAS进化.
- 陈宁冯博琴
- 关键词：MAS情境演算进化
- 嵌入式实时操作系统移植技术的分析与应用被引量：37
- 2003年
- 介绍了一种嵌入式实时操作系统———μCOS II的内核结构,着重分析了它的移植技术,详细描述了该系统移植到Motorola基于PowerPC构架的32位单片机MPC555上的实现过程,从而总结了μCOS II移植到不同目标板的一般性方法。
- 黄涛徐宏喆陈宁聂科峰
- 关键词：实时操作系统MPC555
- 立即计费查询系统的设计与实现
- 随着社会的发展,电信领域的垄断格局被打破,社会上涌现出经营电信业务的多家运营商,市场竞争更加激烈.服务的优劣是企业能否赢得市场的决定性因素之一,其中计费是用户普遍关心的问题.该论文从市场竞争、企业服务和用户需求的角度出发...
- 陈宁
- 关键词：查询
- 文献传递
- 一种基于情境演算的进化MAS系统
- 给出了一个基于情境演算的多Agent系统(MAS)建模的框架,可以帮助更好地理解和分析MAS的静态结构和动态行为,尤其是意向驱动将MAS中相互独立的元素包括实体、活动等关联起来形成MAS系统,能够随着环境的变化驱动MAS...
- 陈宁冯博琴
- 关键词：情境演算多AGENT系统触发活动形式化方法
- 文献传递
