从未承诺放弃对台使用武力——中共三代领导集体解决台湾问题方针的历史考察

台湾问题是国共内战遗留下来的问题。解决台湾问题关系中国的最终统一,牵动着１２亿炎黄子孙的民族感情,容不得半点犹豫和动摇。解决台湾问题无非是和战两种方式,和平方式较之战争方式更有利于海峡两岸人民的福祉和亚太的和平稳定,但和平方式能否实现统一的目的,却最终取决于台湾当局有无和平统一的愿望和诚意。５０年来,中国共产党的三代领导集体在解决台湾问题的方式选择上,虽然经历了一个以武力为主、和战并用到和平方式为主的变化,但从未承诺过对台放弃使用武力。武力解放台湾方针作为解放战争的继续,新中国成立前后毛泽东自然…     

DD-21容颜初现

几十年来,美国海军第一次准备建造、部署不是根据冷战的需求所设计的新一级水面战舰。这种面向21世纪的军舰的设计受三种因素影响:其一是美国海军曾把在蓝水作战视为首要任务,现已让位于向岸上甚至内陆纵深投送威慑力量与对岸作战;第二是兵种联合作战成为新的重点。这要求部署在海上的军舰,不仅能实时地向岸上的陆战队、陆军部队和飞机传输话音、视频信号以及其他电子数据,而且还要能同空间平台和盟军/多国部队     

瞻望新世纪美国航母

冷战时期,美国海军军事战略确定其作战空间是公海及大洋深水水域;作战模式是远洋舰队决战;作战规模是进行全面战争。在这种战略的指导下,美国海军航母的主要作战任务是夺取制海权;扼守海上要冲、控制海上交通线;以     

Banyan网的一类非阻塞特性及其在ATM交换机设计中的应用

Ｂａｎｙａｎ网具有结构简单、自寻址、硬件复杂度低等优点，因而被许多交换系统和多机系统作为基本互连网络，但其内阻塞特性限制了它的性能。对某些特定输入模式，Ｂａｎｙａｎ网是非阻塞的。本文讨论Ｂａｎｙａｎ网的一类非阻塞特性，说明它们在ＡＴＭ交换机设计中的应用——通过数据分布提高ＡＴＭ交换机的负载均衡能力，用更小的硬件代价实现多目广播功能。     

特大规模组合电路高速测试生成系统ATGTA-1

针对特大规模组合电路和全扫描设计电路提出了一种高速测试生成方法，并建成了相应的测试生成系统ＡＴＧＴＡ－１。该系统采用有限回溯测试模式产生方法生成测试码，采用ｎ（机器字长）个测试码并行的单故障传播方法模拟验证测试覆盖。测试生成与故障模拟为ｎ对１紧耦合集成方式。该系统运行１０个Ｂｅｎｃｈｍａｒｋ电路，取得了低测试长度、高故障覆盖、高效率的良好效果。     

Petri 网在 C￣3I 系统中的应用

Ｐｅｔｒｉ网最早用作模拟数字计算机的分析工具,是一种图示和数学兼具的模型工具。近１０年来,Ｐｅｔｒｉ网在Ｃ３Ｉ系统中得到广泛应用。介绍了Ｐｅｔｒｉ网的基本概念,综述了Ｐｅｔｒｉ网在Ｃ３Ｉ系统建模、性能分析和系统设计中的应用。     

用于实时系统性能分析中的扩展Petri网

Petri网(PN)是用于系统建模和性能分析的一个强有力的工具。当用于实时系统时,需要对其进行扩展以能表达实时时间属性。本文介绍几种与时间有关的扩展Petri网及其应用,并从使能规则、点火规则和点火方式几个方面对它们进行了分析比较。     

最优化方法与工程测量

本文论述了最优化方法与工程测量的关系,重点讨论了最优化方法在工程测量中的应用,建立了建筑测量控制网设计最优化模型,指出了最优化理论与方法在工程测量中的广泛应用前景。