王小兵
- 作品数：202 被引量：218H指数：8
- 供职机构：西安电子科技大学更多>>
- 发文基金：陕西省自然科学基金国防科技技术预先研究基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学一般工业技术机械工程更多>>
- 移动点对点网络MHP2P的架构及相关服务实现方法
- 本发明属于互联网计算技术领域，公开了一种移动点对点网络MHP2P的架构及相关服务实现方法。本发明基于一种稳定性和查询效率高、可扩展的HP2P网络，通过普通结点作为热点的形式使邻近的移动结点连接到普通结点，以使在原有网络拓...
- 段振华姜品田聪张南王小兵黄伯虎赵亮
- 文献传递
- 一种面向中断驱动程序的原子性违反缺陷检测方法及装置
- 本发明公开了一种面向中断驱动程序的原子性违反缺陷检测方法及装置，该方法包括：确定中断驱动程序对应的所有节点中的中断节点，以及每个中断节点对应的中断驱动程序中的会受影响的中断服务例程；根据中断驱动程序生成可达树，得到所有节...
- 于斌刘元哲邢恒睿王宇兴林滕劼李鸿杨铠铭陆旭田聪王小兵赵亮
- 基于源代码插桩的社交网络安全运行时验证方法及系统
- 本发明属于计算机应用技术领域，公开了一种基于源代码插桩的社交网络安全运行时验证方法及系统，通过对开源社交网络进行代码插桩来捕获事件，用PPTL<Sub>3</Sub>来描述性质并生成相应的性质监控模块，然后将事件和性质监...
- 王小兵郭文轩段振华赵亮田聪张南
- 文献传递
- 一种从扩展π演算p-π到MSVL的转换方法
- 一种扩展π演算p-π到MSVL的转换方法，包括采用p-π对时间相关并发系统建立系统模型，其特征在于：包括制定名字和原子命题到MSVL的映射规则，制定p-π进程到MSVL程序的转换规则，通过所述p-π建立的系统模型采用相应...
- 段振华罗玲田聪张南王小兵
- 文献传递
- 一种保证质量的快速软硬件划分方法
- 本发明公开了一种保证质量的快速软硬件划分方法，保留遗传算法的交叉运算和变异运算，并引入阴性选择算法的阴性选择过程和基于等位基因浓度来指导产生新个体的策略，采取一种新型的进化方法来加速进化的过程并保证个体的质量，从而克服传...
- 段振华李炳岩张南黄伯虎田聪王小兵
- 文献传递
- 智能板结构动力有限元模型的建立及仿真被引量：7
- 2004年
- 基于智能板结构中压电材料均匀分布和单元的压电层上镀电极之间彼此绝缘的假设,从Hamil ton原理出发,详细推导了一类压电弹性智能板结构的有限元动力微分方程,并通过编程对一压电智能悬臂板结构的动力响应进行了计算机数字仿真。结果表明模型与处理方法是合理可行的。
- 王小兵陈建军高伟杜雷马芳
- 关键词：压电材料有限元
- 一种基于MSVL的BP神经网络的构建和训练方法及系统
- 本发明属于BP神经网络技术领域，公开了一种基于MSVL的BP神经网络的构建和训练方法及系统，所述基于MSVL的BP神经网络的构建和训练方法包括：根据BP神经网络基本的层次化结构和属性行为特征，构建基于MSVL的BP神经网...
- 赵亮冯哲段振华王小兵田聪张南
- 文献传递
- 压电智能板结构的振动模型预测控制研究被引量：3
- 2005年
- 研究了压电智能板结构的振动预测控制问题,在导出其有限元运动微分方程后,对其进行解耦,在状态空间中利用最小实现和平衡降阶法对其进行降阶处理,据此降阶模型设计了模型预测控制器,将其应用于对原系统的振动控制,并讨论了预测步长和控制步长对控制性能的影响。以智能悬臂板结构为例,求出了相应的预测控制器,仿真结果表明它成功地实现了压电智能板结构对干扰的抑制。
- 黄平陈建军王小兵徐亚兰高伟
- 关键词：模型降阶预测控制
- 基于神经网络的驾驶员违规预测方法
- 本发明公开了一种基于神经网络的驾驶员违规预测方法，涉及违规预测技术领域，包括：获取原始数据；对原始数据进行处理，得到第一数据；采用第一数据对预设的第一模型进行训练，得到违规时间间隔预测模型，并对违规时间间隔预测模型进行评...
- 王小兵朱星光李伟康段振华赵亮田聪张南
- 一种基于程序不变量的合约式软件故障预警方法
- 一种基于程序不变量的合约式软件故障预警方法，（1）使用Daikon工具为需要预警的程序生成程序不变量，根据测试用例集在Daikon工具上运行源程序产生不变量，输出程序不变量；（2）筛选不变量；（3）手动生成由布尔断言组成...
- 段振华刘艳艳田聪张南王小兵
- 文献传递
