-
陈彬
-
-
- 所属机构:解放军理工大学
- 所在地区:江苏省 南京市
- 研究方向:电子电信
- 发文基金:国家自然科学基金
相关作者
- 周璧华
- 作品数：151被引量：565H指数：14
- 供职机构：解放军理工大学
- 研究主题：电磁脉冲 时域有限差分法 屏蔽效能 雷电电磁脉冲 雷电
- 高成
- 作品数：114被引量：403H指数：14
- 供职机构：解放军理工大学
- 研究主题：屏蔽效能 电磁脉冲 脉冲磁场 雷电流 脉冲电场
- 石立华
- 作品数：207被引量：682H指数：16
- 供职机构：解放军理工大学
- 研究主题：电磁脉冲 屏蔽效能 LAMB波 脉冲磁场 智能结构
- 陈海林
- 作品数：27被引量：46H指数：4
- 供职机构：解放军理工大学
- 研究主题：屏蔽效能 旋转对称体 时域有限差分 时域有限差分法 屏蔽
- 王智学
- 作品数：117被引量：301H指数：10
- 供职机构：解放军理工大学
- 研究主题：本体 体系结构 C^4ISR系统 C^4ISR C4ISR系统
- 基于CPLD技术的数字时序控制电路设计
- 本文根据六自由度电磁敏感定位系统的工作原理,结合数字控制技术,设计了一种新的基于复杂可编程逻辑器件CPLD的时序控制电路,解决了六自由度电磁定位系统模拟时序电路时序控制精度较低和受温度影响产生时序控制漂移的问题。该时序控...
- 殷勤陈彬周璧华汪莹周许申
- 关键词：CPLD技术VHDL语言
- 文献传递
- 地闪雷电电磁脉冲防护研究中的几个问题被引量：1
- 2002年
- 发生在云地之间的地闪对地面物体和人类构成的威胁是不言而喻的,其回击过程对地面输送大量电荷,产生极强的电流,因而也伴随产生了极强的电磁辐射,这就是本文所要涉及的雷电电磁脉冲(LEMP).
……
- 周璧华石立华高成陈彬
- 关键词：雷电流微电子设备水平电场电磁脉冲地闪
- 基于UML模型的C^4ISR系统能力需求分析与验证被引量：18
- 2009年
- 针对复杂的C4ISR需求分析,提出一种系统的能力需求获取和分析方法。该方法从分析作战使命入手,采用统一建模语言(unified modeling language,UML)建模技术对作战目标和任务场景建模,通过活动模型分析自动建立C4ISR能力需求的概念模型。此外,采用本体描述语言(OWL DL)对能力概念形式化描述,由此可以通过符号推理系统检查模型的完整性和一致性。给出了应用该方法的具体示例,并通过实验工具验证其有效性。
- 王智学董庆超陈彬陈剑
- 一种基于元模型和多视图的企业目标建模方法被引量：2
- 2009年
- 信息系统的成功研发很大程度上依赖于高质量的系统需求。企业建模可以析出目标模型,为系统需求提供依据。给出了反映企业本质属性的,具有严格语义的企业元模型。在元模型驱动下,用组织视图和业务视图对企业的组织结构和动态行为进行建模,并通过组织和业务视图建模间接地构建目标模型。这种方法使分析人员在实际建模时,能够有效地理解企业,构建目标模型。
- 陈彬王智学吴越
- 关键词：元模型
- 反雷达伪装成像检测系统二维超分辨实现被引量：1
- 2009年
- 设计和完成了一套微波成像系统。根据反雷达伪装微波成像的应用需求,系统采用阶跃调频连续波体制和合成孔径技术,可实现对外场全尺寸伪装目标的高分辨二维成像。传统FFT成像方法计算过程比较简单,但分辨率低,图像相对比较粗糙,对50米远处目标的二维分辨率仅能达到0.5m×0.5m。非线性空间谱估计(DOA)即超分辨技术可大大改善在系统带宽内处理空间信号的估计精度和分辨率。随着该技术的日益完善,近年来被广泛应用于雷达成像领域,用来提高距离和方位分辨率。2D-RELAX算法是较易实现的一种精度高、鲁棒性好的超分辨算法。通过对某型伪装示假目标的成像结果表明,在同样的硬件条件下,其对分辨率确有较大改善,可以达到0.25m×0.25m,接近系统分辨率的理论最小值,图像也较精确。
- 周许申陈彬盛卫星方大纲
- 关键词：合成孔径雷达分辨率空间谱估计超分辨
- 基于Split-Field FDTD法的近埋地无限长散射体二维算法被引量：1
- 2007年
- 提出了一种基于周期结构split-field FDTD法的近埋地无限长散射体二维算法。该方法根据散射体轴向均匀性将三维split-field FDTD法转化为二维算法,减少了内存和计算量,可分析斜入射脉冲波照射下近地、埋地无限长散射体散射问题。为了进一步减小计算量,连接边界上的入射波(地上为原始入射波和反射波的叠加,地下为透射波)采用一维FDTD法引入。吸收边界采用了UPML匹配层,导出了适用于split-field FDTD算法与有耗介质匹配的UPML方程。通过数值算例,验证了此二维算法应用于近埋地无限长散射体问题的有效性和实用性。
- 易韵陈彬
- 关键词：时域有限差分电磁散射
- 任务时序关系的形式化和传递闭包建模算法
- 2009年
- 建立正确、有效的任务模型是正确引导出军事需求的关键步骤。针对任务间时序关系,给出与任务建模相关的若干形式定义和命题;并根据时序关系的传递性质,给出一种建模算法。该算法通过构建时序关系上的传递闭包,帮助分析人员直观地判断任务间可能存在的时序关系,以及可能产生的并发和死锁;在传递闭包图上科学、合理地标记各个任务的时序等级属性,明确各个任务在执行序列中所处的相对位置,以及在执行序列的每个阶段需要同时展开哪些任务。
- 陈彬王智学吴越
- 关键词：军事需求
- 基于六自由度定位的SAR阵元位置误差校正
- 2010年
- 为了能够消除采用阶跃调频连续波体制的地面合成孔径雷达(GB-SAR)由于偏离理想航线产生的误差,提出了一种基于六自由度电磁敏感度定位系统测量SAR精确航线的方法,对雷达自身的位置进行定位、校正。使系统定位距离误差小于1 cm,角度误差小于1,°但仍然对成像效果有一定影响。因此,对于由定位系统产生的阵元误差采用对信号导向矢量的绝对相位进行最小二乘线性拟合,进而估计出阵元位置误差的方法,并对其进行校正。仿真的成像结果表明,不需迭代运算即可完成对阵元位置误差的有效校正,具有较低的运算复杂度和较高的估计精度。
- 周许申陈彬盛卫星殷勤汪莹
- 关键词：六自由度
- 需求模型中目标的关系及其发现方法被引量：3
- 2008年
- KAOS方法在分析系统目标时只考虑具有负面影响的冲突关系,没有提供支撑作用的判断方法。该文定义一组类似于Tropos中目标间的二元关系,扩展KAOS的目标模型语义框架,使目标间的支撑和抑制作用明朗化。构造目标关系的推理规则和推导算法,以发现模型中隐含的关系,进而分析目标模型的一致性和可行性,为需求可行性评估奠定了理论基础。
- 吴越王智学陈彬
- 关键词：面向目标语义框架
- 时态认知逻辑CTL*K的符号化模型检查算法
- 2009年
- 时序认知逻辑是由时序逻辑和认知逻辑组合而成的逻辑,主要应用于多主体系统的规范定义。大多数时序认知逻辑是基于CTL的,表达能力有限。并且已知的一些模型检查算法存在内存不足和状态爆炸等问题。讨论了基于CTL*的时态认知逻辑CTL*K的语法、语义和模型,它能够在表达力很强的时态逻辑CTL*基础上描述智能体的知识、目标等意向特征。并给出了CTL*K的模型检查算法,其核心思想就是将CTL*K公式的检查问题转化为CTL*公式的模型检查问题,可以使检查的系统规模得以大幅度提高。并且将算法编码后容易集成到NuSMV模型检查器。
- 陈彬王智学
- 关键词：符号模型检测多主体系统时态认知逻辑
