n维有限射影空间上d~e——析取矩阵的新构作

利用n维有限射影空间上的一些性质,构作了组合群验的数学模型de-析取矩阵,并研究了它的参数和Hamming距离.     

基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

辐射型漏泄同轴电缆的设计

总结了漏泄同轴电缆的理论研究现状。围绕使用频带和耦合损耗这两个重要电气参数，讨论辐射型漏泄同轴电缆的设计方法。基于周期性槽孔结构的空间谐波的分析，讨论了抑制高次谐波以拓展使用频带的方法。利用时域有限差分方法和Matlab软件计算耦合损耗。     

一种适合∑-△A／D转换器的FIR数字滤波器

讨论了一种用于∑-△A／D转换器的固定系数半带（half-band）FIR数字滤波器，分析了其线性相位特性和低通滤波特性，给出了频率仿真结果，以及在Cadence设计系统中的电路和版图实现。     

光刻版图形处理过程的计算机仿真

采用有限状态机模型来仿真集成电路行业中光刻版图形的处理过程,涵括了层次处理、涨缩处理和反转处理。将不同的处理过程定义为相应的状态,将图形处理要求定义为输入条件触发状态转换。该模型已应用于光刻版数据处理的电子设计自动化软件。     

基于Windows的GSM系统的仿真

移动通信系统仿真工具价格昂贵,不利于在教学环节中推广。本文提出了利用Windows操作系统对GSM系统进行仿真,并主要介绍了移动交换机系统部分的仿真。着重阐述了MSC的FSM模型的仿真实现,并且根据最新的资费方案对GSM系统的计费模型进行了仿真。     

一种有效减少ADI-FDTD数值色散的方法

ADI—FDTD算法的数值色散效应较为明显，本文的研究表明一种通过添加各向异性媒质来修正相速误差，从而减少FDTD数值色散的方法，同样适用于ADI-FDTD，且收效更为显著。数值运算结果证明该方法能够简单有效地去除较宽频带范围内的色散。     

MVC模式在J2EE中的应用

文章介绍了模型-视图-控制器(MVC)模式在J2EE体系结构中的应用，以及XML数据交换、数据库连接池等技术。这些技术使得J2EE应用的业务层与表现层相互独立，系统结构清晰，便于开发与维护。     

基于有限状态的全周期序列混沌映射的研究

在有限长度的数字计算机中，混沌迭代序列是一个有限周期序列，其相关性能远远低于理想序列。基于skew tent映射，提出一种离散化的有限状态混沌映射，它允许精确的数值计算，没有舍入误差，通过选择合适的参数，映射能产生全周期长度的序列。仿真实验表明，归一化的序列平均周期对计算机精度不敏感，生成的二进制序列具有良好的相关性能。     

青海省网选用算通电子节目指南EPG系统

国内领先的条件接收系统和数字电视前端技术提供商北京算通科技发展有限公司日前在京宣布,算通公司已经同青海省网签订合同,算通EPG系统将为青海省有线网络用户提供电子节目指南服务。电子节目指南EPG是数字电视中最普及也是最重要的应用之一,随着中国数字电视进程的逐步加快,各地纷纷开始部署数字电视基础技术架构,包括开始电子节目指南系统的选型。算通科技积极响应用户的需求,推出了极富特色的算通电子节目指南系统。算通EPG系统采用分布式结构设计,完全符合相关国际和国家行业标准,支持标准中规定的所有描述子,能够为运营商的业务扩…