某雷达数据处理机时序控制模块的设计与实现

时序控制模块做为某雷达数据处理机的核心模块，为雷达整机提供各种定时信号，同时还提供与TV显示处理机、指挥仪、敌我识别器等的交联信号．文章详细介绍了采用超大规模集成电路设计时序控制模块的方法．     

中介时序逻辑系统MTL的模型性性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中介时序逻辑系统ＭＴＬ。讨论了它的形式系统和语义解释，但未论及其完备性。本文对ＭＴＬ系统作进一步的讨论。在一可传结构下，讨论了它的可传、连通和过滤等模型论性质，为进一步讨论ＭＴＬ系统的完备性作了理论上的准备。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

第八代索纳塔超值中高级轿车

近期北京现代推出了第八代索纳塔自动领先天窗版、自动豪华版及全景天窗选装版三款超值车型,弥补了18万～20万元这一空间的空白,让消费者能够以较为亲民的价格买到一辆中高级轿车。     

基于时序相关性的信息效用评价模型研究

事务处理中的时间相关性数据蕴涵着对预测与决策具有情报效用的信息,可以通过构建一定的特征模式对其效用大小进行评价。文章对时变序列数据的相关性特征进行了分析,研究了基于时序与波动变化的特征抽取模式;在时变序列的差分及相对变化基础上,进一步综合利用偏态、离散、相关等特征构建了影响变量与响应变量之间的相关度计算模型。该模型可降低效用评价计算复杂度,增强评价的可靠性并可用于模型预测。     

航母中程对潜防御区声呐舰配置方法

针对航母中程对潜防御区声呐舰配置问题,在分析航渡过程中航母受敌导弹攻击威胁的基础上,从有效应 对敌潜艇导弹攻击,保障航母安全的要求出发,对中程对潜防御区声呐舰的配置问题进行了研究,提出了中程对潜 防御区声呐舰的配置原则和方法,对航母编队反潜作战的兵力配置具有重要的参考指导作用。     

紫外CCD敏感器头部电路系统的研究

介绍了我国探月工程之嫦娥一号卫星的紫外CCD敏感器系统的CCD电路的软硬件的开发研究.紫外CCD敏感器由光学结构、CCD及处理线路、数据处理单元及其软件组成.入射光经光学系统后,照射在CCD敏感元件,经视频处理电路处理后形成数字图像信号.数字图像信号保存在数据存储器中,由数据处理器进行分析处理.计算得到月球的中心并转换为探测器对月姿态角,其中紫外CCD敏感器头部电路包括CCD电路、时序电路、驱动电路、视频处理电路和电源电路.核心器件CCD采用E2V公司的CCD48-20芯片,文中重点介绍该CCD的时序、驱动和Smear等难点问题.      

基于振动传递符号有向图的齿轮箱嵌入式传感器优化配置模型与算法

针对嵌入式条件下振动信号的采集方式、传递路径与传统方式不同的特点,采用有限元仿真方法,分析了嵌入式传感下齿轮箱故障振动的传递特性,在此基础上建立了基于故障振动传递符号有向图的优化配置模型,并研究了基于粒子群优化的求解算法.案例仿真结果验证了上述方法的有效性,为在齿轮箱内部合理嵌入传感器提供了一种可行途径.      

轴流透平时序定位方法的探讨

利用时序效应原理,对一个1.5级轴流透平前后级静叶的周向定位提出简单的方案,以期能够达到最高效率,并利用Numeca软件对此周向定位方法进行了准三维的数值模拟验证,结果表明:该方法在叶轮机构前后级叶片定位的设计中有一定的参考价值.      

高速电路PCB设计与仿真

在某测试系统核心板PCB设计中,基于IBIS模型,利用Cadence软件对SDRAM和主CPU间的高速信号进行信号完整性仿真,依靠仿真结果指导PCB设计,对关键网络的走线长度以及拓扑结构等做预先设计,有助于提高系统性能、减小失败风险和缩短开发周期。