江西兰科一新记录种—线柱兰

报道了产于南昌的兰科Orchidaceae线柱兰属Zeuxine线柱兰Z.strateumatica（L.）Schltr.,该种及其所在属均为江西首次发现。     

武当榔梅的前世今生

它非李非杏、非桃非梅,又似李似杏、似桃似梅,在《中国高等植物图鉴》中虽无记载,但却是明永乐年间的御点贡品。有传说是真武大帝将梅枝插在榔树上,插栽成活,并开花结果;也有人说是鸟衔各     

人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

广东工业母机(机床)发展情况分析及对策建议

机床,被誉为"工业母机",是战略性、基础性产业,事关产业基础高级化和制造业转型升级,其发展水平是衡量一个国家装备制造业水平的重要标志.数控技术是战略性核心技术,五轴联动以上高档数控系统和机床装备被视作国际战略物资,受到西方国家严格的出口限制.本文分析了广东数控机床产业发展情况,并针对存在问题提出了几点对策建议.     

多面体不确定线性系统的鲁棒D-稳定研究

针对一类多面体不确定线性系统给出一种新的鲁棒D-稳定的充分条件,该条件可以由一族线性矩阵不等式(LM Is)的可行解得到,而这族LM Is可以由多面体的顶点描述。通过引入参数相关Lyapunov函数使得该条件的保守性降低,与其他条件相比这个条件具有更广泛的适用性,推广并改进了现有成果。     

周期性需求下多级库存缺货控制模型研究

从一个以区域分销中心(DC)为主导地位且由多个供应商与零售商共同组成的多级库存系统出发,系统在假设DC和零售商都实行连续性盘点的(R,Q)库存控制策略,提前期为常量,零售商需求为正态分布的前提下,采用缺货策略的思想来确定订货临界点及订货批量.并且以确定DC的库存策略为目标,建立了缺货条件下的多级库存控制模型,从而达到有效控制库存的目的.最后,给出了一个算例,说明了该库存控制模型的可行度.     

基于空域滤波的抗干扰信号同步算法

信号同步是无线通信中最为关键的一步。同步质量的好坏,决定了通信能否建立。针对存在较强有色干扰的通信环境,提出了基于空域滤波的采用雅可比旋转法实现奇异值分解的信号抗干扰同步算法。具有较强的抗干扰性能,减少了计算量,有利于工程实现。在实际环境中对算法进行了验证。     

n值标准序列逻辑系统中的近似推理理论

在n值标准序列逻辑系统中引入公式的真度概念,利用真度定义了公式间的相似度和伪距离并证明了真度推理规则,同时给出一种推理误差的定义,这就为进一步在n值标准序列逻辑系统中展开近似推理奠定了基础.     

一种基于MEMS反射镜的平视显示器

MEMS反射镜由1mm的反射镜板和四个静电斥力致动器构成。MEMS反射镜使用表面微加工工艺Poly MUMPs制造而成,包括四个致动器的MEMS反射镜的整体尺寸是3.5mm×3.5mm,体积非常小。每个执行器可以通过改变施加的电压单独控制。在操作中,改变一个或两个执行器的电压会使镜片朝所需的方向倾斜。     

认知生成主义的方法论意义

生成主义是认知生态学奉行的认知研究纲领,它超越了传统的认知主义和联结主义。作为一种全新的认知哲学观,它在方法论上超越了传统的客观主义和建构主义,它自身蕴涵了以欧陆现象学和东方佛学静心修持传统为代表的第一人称方法,以生物学方法和动力学方法为代表的第三人称方法,以及基于一三人称整合的、以丹尼特的异类现象学和瓦雷拉的神经现象学为代表的第二人称方法,这是它特有的三种方法论。