The evaluation of a possible future Sino-Japanese armed conflict through the application of the ACEI-model

There is relatively little formal modeling of the economic effects of armed conflicts even though they have substantial economic effects. We set forth a new model, namely the armed conflict economic impact model – ACEI-Model. The model looks at the economic effects of war in three different stages: (i) pre-conflict stage; (ii) armed conflict stage; and (iii) post-conflict stage. The model is based on economic desgrowth (-δ) and other new conceptual indicators. We evaluate an imaginary armed conflict between China and Japan by applying the ACEI-Model.     

一种基于辩论的协作型CGF分层协商模型

针对作战仿真对人类行为表示(HBR)的准确性要求,建立真实反映战场行为的冲突消解模型是非常重要的.根据已有研究的不足和冲突行为分析,提出了基于辩论的协作型计算机生成兵力(CGF)分层协商模型,在给出相关定义的基础上,研究了冲突下的协商行为过程,实现了基于效用理论的论据强度定量评估算法,算法用于实现首选议题的选取和共同信...     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

关系数据库自动生成器

本文论述了使用函数依赖(FD)的概念进行关系数据库的设计。对于给定一组函数依赖,确定全部最小覆盖的传统综合算法进行了改进,给出了一个改进的新算法。并且开发了称为“关系数据库自动生成器”的关系数据库自动设计工具,该工具使用编译dBASEⅢ语言编写,在长城0520机上运行,它支持需求分析阶段的信息收集,关系数据库设计阶段的概念性和逻辑性设计。     

Laplace分布的均值被半序约束时的极大似然估计

讨论了Laplaoe分布中,方差已知的情况下,均值θ在简单半序约束下的最小L_1保序回归(ML_1IR),就最小L_1保序回归的唯一性以及一些其它性质予以了讨论,并且给出了计算方法。     

基于并发式检测时序的几何级冲突检测策略研究

以三维CAD实时协同设计为背景,深入研究了实时协同设计中的数据冲突检测问题,提出了三维实时协同设计中的数据冲突本质上就是实体特征冲突的思想。在此基础上,探讨了基于特征的冲突检测方法,并针对其不足之处,提出了一种可行性较高的几何级冲突检测策略及其相应的检测时序方案,研究了其冲突检测数据结构、冲突检测规则。此冲突检测思想在PTC公司的Pro/Engineer平台上进行了算法验证,取得了较好的冲突检测效果。     

MAS中Agent属性冲突形式化描述及消解系统研究

由于多智能体系统(MAS)中各个Agent具有自治性、分布性和异构性等特征,导致MAS内部经常会出现冲突现象。首先,运用数学方法对MAS中存在的属性冲突进行形式化描述,并将其分为6类,针对每类冲突提出了相应的消解对策。其次,对属性冲突智能消解系统(AACIRS)流程框架进行了分析,并在此基础上建立了AACIRS系统,实现了MAS中属性冲突的消解。从而为解决MAS中Agent属性冲突提供了解决方案,为MAS的稳定运行提供了技术保证。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

Managing Withdrawal: Afghanistan as the Forgotten Example in Attempting Conflict Resolution and State Reconstruction

Perhaps surprisingly, given the availability of new Russian memoir material, some excellent individual monographs, and a large variety of declassified documents, a full operational–political account of the Soviet Union's withdrawal strategy from Afghanistan has yet to be written. This article, utilising openly published yet neglected sources, attempts to fill that gap. The final fate of the Najibullah regime, and the contradictory effect of the National Reconciliation Policy in Afghanistan itself, suggests four key lessons for international forces today as disengagement from both Iraq and Afghanistan again becomes a pressing issue, and as questions around re-creating stability within a failed state scenario again occupy the international community.     

Reassessing private military and security company (PMSC) ‘competition‘ in civil war: lessons from Sierra Leone

ABSTRACT

This paper challenges recent claims that competitive market dynamics incentivize Private Military and Security Companies (PMSCs) to fully commit to providing effective services, thereby reducing the duration of civil war. Our assessment of a most-likely case scenario for this argument – Sierra Leone – reveals four critical problems. First, there is rarely direct competition, even if numerous companies are present. Second, the presence of multiple PMSCs usually represents a collaboration among subsidiaries providing distinct services, often under the same corporate umbrella. Third, data aggregation obfuscates the overlap of PMSC presence, inflating the amount of perceived competition. Finally, we raise concerns regarding how quantitative analyses can conflate conflict intensity with conflict termination.