林东
- 作品数：11 被引量：79H指数：2
- 供职机构：国防大学更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：军事自动化与计算机技术理学更多>>
- 构造类型论与计算机程序设计被引量：1
- 2002年
- 1.引言近些年来,在计算机程序设计语言理论、自动演绎以及更一般的逻辑和计算领域研究中,出现了多种以构造类型论为基础的系统,如LCF、ALF、LEGO、Coq等,它们被用来为程序设计语言设计类型系统,进行程序开发和验证、形式化证明以及作为数学和计算的基础.构造类型论为计算机科学家提供了一个框架,以一种优雅和灵活的方式把逻辑和程序设计语言结合起来:在同一形式系统中,可以同时表达规约和(函数式语言)程序,从证明规则可以导出正确的程序,并验证程序具有某种性质,从而在同一系统内完成程序的开发和验证[26,19].
- 蒋慧林东孙泉谢希仁
- 关键词：构造数学计算机程序设计程序设计语言
- 揭开“恐怖的海峡”的神秘面纱
- 2002年
- 进入新世纪以来,美国战略研究机构频频发表“协防”台湾的研究报告。其中,美国著名思想库——兰德公司于2000年11月18日在国际因特网上发表的《恐怖的海峡?中台对抗的军事问题与美国的政策选择》(以下简称《恐怖的海峡》)一文,引起了国际政治、军事界的普遍关注。 一、一石击起千重浪 《恐怖的海峡》一发表。
- 林东
- 关键词：台海冲突人民战争海峡台海战争
- 以战略创新引领军事转型
- 2009年
- 冷战结束以来我国军事战略的发展，是一部在风云变幻的时代大变革中谋求主动的战略指导史，是一部在百舸争流的军事大发展中赢得主动的战略实践史。历史雄辩地证明，军事战略的创新发展是新军事变革活的灵魂。只有牢牢把握军事斗争和军队发展的时代脉络，适时推进军事战略的创新发展，才能指引我军在充满变数的时代挑战面前立于不败之地。
- 林东
- 关键词：军事转型
- 基于Agent的仿真软件系统集成设计方法被引量：15
- 2001年
- 提出一个面向Agent设计的仿真软件系统集成设计方法，它实现将现有DIS系统面向HLA的结构改造。该方法是在面向对象设计基础上，将Object Class扩展成系统级的具有自控机制的Agent Class，并以此为模板生成各种仿真系统成员Agent。同时将RTI接口设计成分别体现通信协议、同步协议和交互协议的三级公共父类，由Agent继承。从而实现了一个具有HLA结构的多Agent组合式集成仿真系统。
- 蒋慧林东
- 关键词：软件设计方法AGENT仿真软件面向对象系统集成
- 信息技术革命与指挥理论的创新被引量：1
- 2001年
- 指挥活动是指挥思维活动、行为活动和信息活动的统一体。信息技术革命以人机互动的方式重构指挥系统，使指挥系统及其活动的自然属性——信息系统和信息活动逐渐成熟起来。从信息科学的角度诠释现代指挥理论，构建指挥基础理论、指挥技术理论和指挥应用理论三组理论体系，目的在于推动基于人-人互动的“谋略型”指挥与人-机互动的“技术型”指挥走向统一。探索建立在自动化指挥信息系统之上的新型指挥理论。
- 林东汪江淮陈太一
- 关键词：信息技术革命作战指挥军事转型
- 全文增补中
- 历史的转向：拓海运动和海洋工业革命的兴起
- 2010年
- 21世纪，人类面对工业化带来的陆地资源枯竭和环境破坏的巨大压力，将无可逆转地依赖海洋生存与发展，从而推动传统海洋商业文明向现代海洋工业文明迈进。本文分析海洋工业革命的兴起及其对历史的影响：海土价值大发现推动海洋成为人类新的依存空间，人类发展面临战略性转进；拓海运动开启海洋经济的现代化进程，社会生产将在大陆和海洋之间发生空间大分工，实现涉海商品主导的新物质生产；海土扩张代表国家竞争新态势，海洋国界的出现将重塑国家概念，重写国家和民族的历史命运；最终将打破以陆地为中心的历史，开辟以海洋为重心的历史。
- 林东
- 关键词：海洋经济
- UML状态机的形式语义被引量：61
- 2002年
- 许多大型系统在进行分析和设计时,均采用UML作为需求描述语言,尤其是一些对安全性要求较高的系统,更是广泛采用UML的动态行为描述机制——状态机来描述协议及控制机制.但是,由于UML没有形式化的动态语义,不利于对其所描述的需求进行形式化验证和证明,为了解决这一问题,采用以下方法为UML状态机构建形式语义.把UML状态机中的状态映射到一种项代数上,用归纳的状态项表示状态机的状态.然后,把状态项映射到一种加标记的变迁系统LTS上,LTS-状态是状态机的状态项,LTS-变迁是UML状态机的微步.最后,用Plotkin风格的结构操作语义SOS(structural operational semantics)规则归纳地给出满足组合性的UML状态机语义.此方法既是对一些经典Statechart形式化方法的综合,又针对UML状态机的特点作了创新,使状态项能够动态地描述任意时刻UML状态机的配置树,简化LTS的标记,同时,结构化的语义规则更为形式化验证奠定了基础.
- 蒋慧谢希仁林东
- 关键词：UML状态机形式语义面向对象建模语言
- 试论现代国防与军队发展的系统科学原理
- 2007年
- 20世纪，为解决工业革命机器化大生产的分工与管理等复杂动力学问题，科学技术的融合发展产生了以世界的系统观为基点的系统科学。系统科学通过对无机世界牛顿力学机械决定论的否定，提出了关于有机世界构成形式及其运动规律的认识，认为世界是一个由相互联系的不同部分所组成的、不断发展变化的系统，由此创立了以整体性为思想灵魂、以系统思维和系统方法为主体的现代科学技术哲学思想和科学技术方法论。系统科学经历了从一般系统科学到复杂系统科学的两个认识发展阶段，导致自动化的发展形成了机械化和信息化两个相互联系又相互区别的阶段，衍生出综合创新、系统集成、虚拟实践与和谐发展等指导现代化发展的一系列新理念、新理论。早期，以控制论为主导的一般系统思维在军事领域依靠电子驾驭钢铁进行平台级的综合与分化，促发了军事工程革命，将机械化战争推向顶峰，并为信息化发展提供了条件。尔后，以协同论为主导的体系思维，将整体性思想从主客体控制论的初级阶段推入到群体和谐论的高级阶段，促发了军事信息革命，开启了信息化战争时代。
- 林东
- 关键词：机械化军事军事变革
- 谁在制造“恐怖的海峡”？
- 2002年
- 美国兰德公司曾在因特网上发布题为《恐怖的海峡?中台对抗的军事问题与美国的政策选择》的研究报告，以作战模拟结果的方式，论述了台湾的防卫能力和获得美国军事援助的必要性。该报告论据不实，数据不准，指导模拟实验的军事理论失当，导致模拟实验片面化。结论缺乏可信度。该报告之所以能在台湾岛内和美国产生一定影响，是有些人利用这项并不成功的课题研究，巧妙宣扬武器决定论，制造恐怖的宣传，给台独势力以武拒统打气，对大陆制造心理威慑，给美国的军火商提供谋取利益的机会。其实，正是支持台独势力以武拒统的人试图制造“恐怖的海峡”。
- 林东
- 关键词：防卫能力军事理论
- 制濒海权：控制海土的地缘制权——试论新的濒海冲突及新型地缘大国的崛起被引量：1
- 2010年
- 21世纪，海洋工业革命将造就以海上政权、海洋国界和海上邻国为标示的地缘政治新版图，导致海洋利益重心从海运转向海土，引发海上权力角逐向控制濒海的转移。保卫海土的重要性上升，围绕海运的冲突下降为从属地位；以控制海上通道为核心的海权要素架构被打破，代之以控制海洋国界为核心的新海权要素架构。海权重构推动全球利益重组，海土争夺演绎濒海冲突新潮流，人类进入第二依存空间主宰下的地缘动荡期。由此，国土防御将从对海防御前推到海上防御，控制濒海成为衔接近海防御和远海防卫的战略枢纽，所有战场制权交汇于夺取制濒海权。鉴于濒海具有陆权与海权的关联特性，维护海权的方式将跳出“一个国家不能同时拥有陆权和海权”的历史周期律，形成大陆支配海洋方式对海洋控制大陆方式的战略均势，由此改变“地理困境”与“地理优势”形势，推动新型地缘大国崛起，并使由海向陆的传统海洋霸权受到抑制。其结果，制濒海权被赋予地缘政治和军事战略双重使命。
- 林东
- 关键词：地缘战略
