Haskell语言的列表内涵特性及其应用

Haskell语言的列表内涵特性使笔者在开发软件时的代码编写量成倍缩减,但如何充分利用这一特性,讨论的文章非常少。该文介绍Haskell语言的列表内涵特性,并通过几个相关的例子,阐述如何利用Haskell语言的列表内涵特性来编写功能强大但却简短优美的程序。     

均匀线阵波束的电子聚焦扫描方法

本文提出了一种可用数字电路实现,能同时完成波束聚焦与方位扫描的均匀线阵波束聚焦扫描方法。发射换能器辐射单频脉冲,均匀线阵接收目标回波。一个较低频率的单频信号通过抽头延迟线产生各种相移,与水听器接收的信号相乘,以消除空间位置引起的相位差。所描述的原理可用在近场声纳上。     

钽铌酸钾晶体相结构和相变的研究

本文采用 X 射线粉末衍射法研究了不同组分钽铌酸钾的相结构、高温相变特征和温度与组分的关系等。并讨论了相变的过程。     

网络化智能测控技术分析与展望

计算机网络、自动控制、分布式人工智能等理论和技术的融合促进了网络化智能测控技术的产生,网络化智能测控技术的发展和广泛应用正改变着人们的生产和生活方式,也引起了相关技术和理论的变革.本文围绕工业现场测控网络、远程智能测控、网络化分布式智能测控等技术中的国内外研究热点问题,阐述了其发展现状及技术特点,分析了其关键技术及发展趋势.     

基于小波萎缩法的非线性自适应数字滤波器的设计

本文中,将小波萎缩法应用于非线性自适应数字滤波器的设计,介绍利用基于离散正交小波变换的小波萎缩迭代滤波方法,设计出非线性自适应小波萎缩滤波器的模型.文中给出了非线性自适应小波萎缩滤波器的一个消噪实例,证实了非线性自适应小波萎缩滤波器鲁棒性好的特性.     

基于证据推理的程序恶意性判定方法

针对可执行程序恶意性难以判定的情况,提出一种基于证据推理的程序恶意性判定方法.首先,建立程序恶意性判定模型;然后,通过对程序进行反编译,抽取影响程序安全性的特征,建立程序行为集合;使用BP神经网络对模型进行训练得到各个行为的概率分配函数BPAF(basic probability assignment functions),并使用加权和形式的合成法则对程序行为进行合成;最后,实现对程序恶意性的判定.实验结果表明了该方法的有效性.     

采用GSM技术的远程监控系统

本文对一种基于GSM和PLC的分布式远程监控系统的工作原理、硬件配置、软件设计及系统性能进行了论述。该系统采用具有SMS短信功能的M90系列PLC实现离散现场站的测控，通过监控中心集中监控和适时手机查询，形成完整的远程监控应用方案。这种系统功能完备、配置灵活、性价比高，实践证明该系统工作可靠性非常高：     

实时系统软件开发过程中形式方法的作用

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。     

铁路运输安全管理决策支持系统

本文结合我局安全生产的实践,探讨计算机辅助安全管理系统的模式、内容、特征、功能及维护。     

工程出图新选择

随着技术的不断进步,国外大幅面打印机正在建筑设计、工程施工、机械制造、服装设计生产、卫星遥感测绘、广告制作等专业领域大显身手。在CAD领域中,大幅面打印机甚至已经逐步替代了早期的笔式绘图仪;相应的,国内大幅面打印机市场也得到了迅速的发展。作为国内大幅面打印机行业的先行者,HP公司的GL/2语言已经成为大幅面打印领域的事实标准,其产品在专业技术领域的市场占有率已经超过了90％,HP DesignJet系列产品更是这一领域的佼佼者,它出色的性能表现倍受专业人士称道。日前,HP公司在世界范围内推出了几个全新系列大幅面打…