首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   11篇
  免费   1篇
综合类   3篇
无线电   5篇
自动化技术   4篇
  2021年   1篇
  2019年   1篇
  2015年   1篇
  2009年   2篇
  2008年   5篇
  2006年   1篇
  2005年   1篇
排序方式: 共有12条查询结果,搜索用时 31 毫秒
1.
文中给出了形式化验证的基本理论,介绍了VIS综合系统的验证技术和验证流程.以乘法器为实例对组合电路的正确性进行了验证,并与传统仿真结果进行比较,利用自动化验证工具对系统模型的相关属性进行检测和验证.  相似文献   
2.
基于数据压缩的雷达网络定位研究   总被引:2,自引:1,他引:1  
针对双基地雷达空间定位系统在发射站附近区域的定位性能较差,存在基线盲区的问题,为提高定位精度,提出了特定的三基地雷达空间定位数据压缩算法.将多个雷达测量组合表示的目标位置压缩冗余,利用非线性坐标方程在目标的真实坐标附近展开为泰勒级数,并采用加权最小二乘法对冗余数据进行压缩合并,充分利用各雷达站的定位信息,进行仿真.仿真结果表明直线布站定位性能略优于均匀布站,三基地定位性能明显优于双基地定位性能,改善了发射站附近区域的定位性能,解决了双基地雷达空间定位的基线肓区问题.算法明显提高了目标定位精度,具有一定的有效性和实用性.  相似文献   
3.
为了解决信息在复杂网络中的传播和控制问题,众多学者使用了传染病动力学作为建模和研究方法。本文介绍了传播动力学的研究意义,介绍了传染病动力学的SI、SIS、SIR和SEIR模型,并分析了各模型的特点。最后对传播动力学的研究提出了一些展望。  相似文献   
4.
本文通过关联引擎对基于规则的攻击场景的识别来关联入侵检测系统和防火墙等安全设备发来的事件,自动确定安全事故,从而消除入侵检测系统和防火墙等安全设备的误报与漏报,并且提出了一种并行的关联算法来提高关联引擎的关联的实时性。  相似文献   
5.
在通信、电子领域知识快速更新的现状下,《信号与系统》课程实行多媒体课件辅助的双语教学模式是十分必要的。本文在总结西安邮电学院《信号与系统》课程教学实践的基础上,对该课程开展双语教学的组织方式、教材选择、考核方式、授课对象、师资队伍等方面加以研究。  相似文献   
6.
提出了综合业务数据库系统的设计方案,数据库系统的设计采用软件总线思想,模块化的设计,通过实现SCP,SDP,SMP,SCEP的功能,为用户提供标准的智能网业务,定制各种增值业务,并能满足下一代网络NGN的智能业务应用.  相似文献   
7.
本文针对双基地雷达空间定位时的数据冗余提出了一种相关数据压缩算法。在不增加设备量的前提下,将双基地雷达二维定位理论推广到三维空间定位。仿真结果显示,该算法与只采用单一测量数据组合时的定位性能相比较,可大大改善发射站近区和接收机远区的定位精度。  相似文献   
8.
9.
程序设计系列课程教学改革实践   总被引:1,自引:0,他引:1  
分析了非计算机专业程序设计能力的基本要求,从教学大纲、教材、实践环节三个方面阐述程序设计类课程的培养方案。该方案有利于培养学生的程序设计能力,更重要的是增加了老师与学生的沟通,训练了学生的团队协作能力,对建设相关课程有很好的借鉴意义。  相似文献   
10.
BLP安全模型的分析及改进   总被引:1,自引:0,他引:1  
本文分析了BLP模型在机密性、数据完整性和可用性方面存在的缺陷,通过修改密级、范围和规则增强系统的安全性,引入多实例以解决机密性和完整性的矛盾,使用主表和从表对BLP模型加以改造,使得BLP模型具有较高的安全性和可用性,通过重新定义读写规则消除信号通道,增强系统的数据完整性。改进后的模型可以作为多级安全数据库管理系统的安全模型。  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号