收敛无穷计算及其应用

经典计算不能很好地刻画无穷计算的行为.基于形式系统序列及其极限,讨论一类称为收敛无穷计算的问题,旨在建立刻画无穷计算在变化的环境中如何交互与演化以及演化的极限状态的逻辑理论基础.提出了收敛无穷计算的一个逻辑和推理系统,其表达能力超过一阶逻辑.还基于经典计算模型图灵(Turing)机和形式系统序列及其极限,提出了收敛无穷计算的模型,称为过程模式.在极限计算的意义下,其计算能力超过了Turing机和实数机器.讨论了上述研究在数据挖掘中的应用,用收敛无穷计算研究了数据挖掘的极限行为.     

宽带卫星通信系统发展现状与展望

随着全球信息高速公路因特网的飞速发展和普及,以及交互式多媒体业务的迅速增加,各行各业对宽带的需求越来越紧迫。宽带卫星通信将以其灵活、大范围的覆盖能力,成为无地面网络覆盖地区宽带接入的最佳解决方案。宽带通信卫星正引领着卫星通信的重大变革。Ku等商用频段能够提供的总容量已经无法满足与日俱增的用户带宽需求。Ka频段新型卫星宽带通信系统由于其较宽的可用频段、远端设备小巧、点波束增益高、安     

台军另类新战法烟幕作战

近几年来，随着科技强兵训练的深入，解放军空军作战训练模式已由单一机种的“长途跨区机动转场”、“异地驻训”到多机型“大编队出海”，意味着解放军空军战斗力已大幅跃升，解放军战机再度成为反台独的强有力威慑；虽然台湾在二代机陆续服役及增购野战防空导弹后，台军空防实力也大幅提升，但这些根本不能抵抗越来越精练的解放军空军。     

运载火箭故障模式及制导自适应技术应用分析

为提高制导控制系统在运载火箭全发射任务周期中的智慧水平，提高运载火箭完成任务的鲁棒能力，从不同角度阐述了运载火箭故障模式，创新提出了基于能量属性的故障分类方法。针对不同级别的能量故障提出了对制导控制系统的功能、性能需求。尤其针对小、中级别能量故障，简述了运载火箭故障飞行制导自适应方法应用，包含案例及任务目标变更原则等，并分析了制导自适应技术后续工程化应用的实施途径。基于能量属性的故障分类方法及制导自适应方法可应用于后续中国运载火箭工程研制。     

国内要闻

▲4月1日，全国民航安全监管工作研讨会在宁波召开。     

管理层持股是完善股份公司激励机制的有力措施

AnEfficientSolutiontotheCompletionoftheStockCompany'sEncouragingMechanism随着企业体制改革的深入，越来越多的民航企业也将采取股份制形式，而管理层持股是一个敏感而又不能回避的问题，本文对此问题进行一些理论和实践方面的探讨。从科斯（Coase）的产权理论起，西方经济学形成了研究现代企业理论的一些重要学术流派，他们从不同侧重点出发深入研究了现代企业的本质。代理成本理论从代理成本入手来分析代理人和委托人的关系，以詹森（Jensen）、麦克林（Meekling）和法马（Fama）等人为代表。委托人通过合约授权给代理人从事某…     

打开宇宙之门

本文所阐述的，是一种比较复杂的膨胀模式。相信读者在看完之后，会对宇宙产生一种全新的、更加深刻的认识。笔者说明，由于中微子在本文中唱主角，所以这里首先介绍一下它的身世与特点，以便加深我们对它的整体印像。     

联想双模式发展的启示

目前我国三大航空公司纷纷开通国际航线,实施国际化战略,但如何在走出去的同时,固守国内市场,防止国内市场份额被蚕食将成为我国三大航空公司面临的严峻挑战。本文对联想大本营模式进行了深入研究,希望对我国航空公司发展具有借鉴作用。     

基于技术成熟度的企业科研管理模式研究

通过识别企业产品/技术研发过程中的技术活动,探讨了企业以高风险、领先发展模式为大背景、为降低技术风险而采取的基于技术成熟度的科研管理模式框架,分析了这种模式向企业自主创新科研管理模式转变的必然趋势。