基于PC/104总线的某型飞机武器控制系统的ATS

介绍了基于PC／104总线的武器控制系统自动调试系统(ATS)的调试背景与测试需求，详细论述了测试系统的软硬件设计方案，给出了部分关键电路的具体实现。达到了武器控制系统测试自动化的目的。     

一种新的相位编码面炮记录叠前深度偏移方法

提出一种新的面炮记录相位编码叠前深度偏移方法．理论上证明了把相位编码的震源作为面积震源，可减少面炮记录合成的数量，是一种更有效的叠前深度偏移计算方法．运用声波方程解的性质，分析合成算子，可把面炮记录偏移的平面波震源推广为非平面波震源，缩短了面炮记录长度，从而提高了相位编码面炮记录偏移的效率．     

小时滞鲁棒稳定性的等价条件

研究了时滞项具无界算子的时滞方程的小时滞鲁棒稳定性．作者首先引入基本算子族的概念。然后应用它得到了几个小时滞鲁棒稳定性的等价条件．     

基于FPGA的高速大容量固态存储设备数据ECC的设计与实现

针对目前高速大容量固态存储设备中,影响数据存储可靠性的错"位"问题,设计和实现了一种基于FPGA的专用ECC (Error correction code)纠错方法.在读、写操作时分别对存储数据的行和列生成校验码,通过比较两次操作的校验码,对错"位"进行精确定位和纠错,纠错能力为1 bit/512 B.相比传统纠错算法,ECC纠错方法电路实现简洁,纠错能力强,易于硬件实现.实际运行结果表明,设计完全满足高速数据记录的需求,为大容量数据存储器的可靠性提供了重要保障.     

企业核心竞争力培育研究述评

核心竞争力是企业持续竞争优势之源,有效地培育核心竞争力是核心竞争力理论的核心内容。文中对国内外最新的核心竞争力的研究成果进行总结与评价的基础上,将众多学者和专家的研究成果进行归类总结,并探讨企业核心竞争力培育研究的发展方向。     

一类时滞四种群食物链生态模型的渐近性态

利用解的整体存在性定理、上下解方法和相应的单调迭代序列，研究了一类在有界区域上具有牛曼边界条件的时滞四种群食物链反应扩散模型，给出了简单和易验证的解的存在-}生和平衡态方程正解的全局渐近稳定性的充分条件。这个结果隐含着食物链系统的共存是持久的，平凡解和所有半平凡解是不稳定的。     

海岸河口开发研究在国民经济中的地位

一地球上大部分面积为海洋所覆盖,人类赖以居住的陆地只占其中的29%。海洋是一个巨大的聚宝盆。在陆地资源濒临枯竭的今天,人类更加渴望向海洋索取财富。海岸是陆地与海洋之间的过渡地带,也是     

川北米仓山地区晚前寒武纪熔结凝灰岩的发现及铁船山组时代归属的探讨

米仓山位于川陕两省交界处,在其中段铁船山地区出露有一套以酸性为主的火山岩系。1965年四川省地质局第二区测队将该火山岩系命名为铁船山组,并将其时代归属于前震旦纪,置于上两组(P_1s)和麻窝子组(P_1m)之下。且将三者一起命名为火地垭群。作     

关于Banach空间中平均非扩张映象的不动点理论

关于用映象伸缩性的单侧估计,研究Banach空间中映象的不动点问题,最早是Banach的压缩映象原理,其次是对于一致凸Banach空间中的非扩张映象(具列紧象)用逐次逼近法求不动点的定理,而Browder和kirk分别对一致凸Banach空间的和具正规结构[3]的自反Banach空间中的映有界凸闭集到自身的非扩张映象证明了不动点的存在。最近Kannan[4]对映自反Banach空间E的有界凸闭集K到自身的连续映象,在满足条件:     

Banach空间中单调和增生算子扰动的非线性特征值问题

建立了一些关于算子对Ｔ,Ｐ（或Ｃ）的某类非线性性特征值λ的存在性结果,其中Ｔ是极大单调算子或ｍ－增生算子,Ｐ是（Ｓ）＋算子,Ｃ是紧算子。其结果推广并改进了一些已有的结果。