基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。     

论系统环境下的法律运行轨迹

法律运行是社会客观系统与法律自身结构系统相互作用的过程,表现为在社会有机体的系统环境下,通过系统控制在公共利益与个体利益区间寻求合理性的结合点与实现方式。社会系统的不平衡性决定法律运行呈现出时间上的波动性和空间上的跳跃性或差异性特征。法律运行的每一步足迹是法律实现的一种合理性状态。     

系统结构模型分部的底层要素法

本文从系统的底层要素出发，提出并证明了底层要素存在性、底层要素后果集并集的完全性以及它们在同一部分的充分必要条件，由此导出了系统结构模型分部的算法，实际应用进一步说明了这一方法的有效性。     

“罗兰特”和“长剑”在西德竞争

美国和西德两国的国防部长于今年2月初聚会,就用来保卫西德空军基地(12个)和设在西德境内的美国空军基地(7个)的地空武器系统的选择问题进行了磋商。双方达成协议,成立一个联合专家小组,来负责研究各种可能的选择方案。西德希望选用法德联合研制的罗兰特武器系统,由西德部队使用。而美国方面却认为,这不能排除选用其它武器系统。英国人则特别建议选用长剑地空导弹系统(总额5,000万美元),配置在     

重大水利工程建设的区域社会系统及其稳定性研究

本文阐述了重大水利工程建设区域社会系统的特征,视重大水利工程建设项目为外部干扰,将社会系统结构划分为七个子系统,构建出重大水利工程建设区域社会系统的逻辑结构模型,基于ISM解释结构模型技术对重大水利工程建设区域社会系统进行层次化处理,得出社会心理系统是影响重大水利工程区域社会稳定的最终系统,而决定区域社会系统稳定的深层原因是社会保障机制和控制体系的完善程度。     

人机融合社会中的系统调控

科学技术的深入发展和广泛应用正在深刻改变人类社会的生产和生活模式,尤其是信息技术的快速发展,推动人工智能(AI)与人的关系由"辅助"到"互助"和"融合"不断深化.相应地,社会调控对象向着能力不断增强的AI系统以及AI赋能的人和组织演变,社会系统将呈现"信息-物理-社会"的高度耦合,调控环境也相应转换为人机融合的复杂社会系统.这一显著变化将倒逼法律体系的变革,对社会系统调控能力提出更高要求,迫切需要人文社科与科学技术相关方法的交叉融合.论文基于对人机融合社会系统发展的研判,在分析法律体系、控制论、人工智能等所面临挑战的基础上,从法律规制和系统控制的角度,提出将调控工程系统的控制科学与调控社会系统的法律充分结合,在系统科学框架内研究处理人工智能时代社会中的系统调控问题;并进一步归纳探讨了以人为本、优势互补、系统分析、量化支撑、算法规制、博弈控制等若干调控原则和可尝试的前瞻领域,以及需要深入研究的问题.这一思路可望量化表达公平正义等法学基本问题,优化调控系统技术指标,促进人机融合社会系统实现其安全稳定、公平正义、民主自由、和谐发展等价值目标.     

工业企业活力综合评价模型研究

企业活力评价是对企业进行多目标的综合评价.在评价过程中,评价信息的不确切和完全性,决定了评价系统的灰色性,以灰色系统理论为基础的灰色评价具有可行性.针对目前一般评价方法在各类灰色程度评价信息的利用上的缺陷,本文提出了基于多层次灰色理论的工业企业活力综合评价模型,使评价结果客观合理.     

复杂系统的认识与系统模型

在现有复杂社会系统的组元、结构、功能的系统概念基础上,增加系统运行、产品和进化等概念,为认识、理解复杂社会系统提供了准确而完整的系统概念架构;提升与完善系统认识方法(“物理-事理-文化”系统方法论)与企业建模理论,使其成为对复杂社会系统的认识方法与系统研究方法(系统模型方法论),为复杂系统的运行与进化的认识、描述和研究提供了科学而准确的方法和技术手段,使复杂系统的模型研究、系统仿真成为复杂系统研究和发展的科学手段。以系统模型作为系统知识模型,建立相应的知识管理系统,实现系统知识的转化、传输、共享、使用、存储的有效管理,使我们的社会在逐步实现信息化的同时真正建成知识化社会、创新型国家。     

社会系统的新模型

在马克思历史唯物论系统模型的基础上，吸收拉兹洛系统模型和钱学森系统模型的优点加以创造，建立社会系统的新模型：在自然环境和社会环境的基础上，以人为元素，以文化信息库为核心，包含物质、人、文化信息三种生产系统和作为上层建筑的管理系统的远离平衡的非平衡态复杂系统；并时中国共产党新时期的理论创新做出系统论解释。     

一类离散线性时变系统的稳定性

若A(k)为常数矩阵,则系统(1)为线性定常系统,其稳定性判定问题已有不少令人满意又很漂亮的结果。然而,如果A(k)为时变矩阵,则问题就变得复杂得多,并且定常系统的许多判据此时往往不成立。A(k)为时变矩阵时,有关系统(1)的稳定性的判据结果还很少,本文试图作一点初探。 引理1 若常阵A的所有特征值满足     

社会系统可持续性建模与仿真研究

提出了社会系统的狭义可持续性与广义可持续性的概念与数学定义,建立了社会系统的控制论模型以及狭义可持续性约束与广义可持续性衡量标准,并对社会系统可持续发展模型进行了仿真,仿真结果预测了系统未来的演化趋势,分析仿真结果得出的结论可以为制定可持续发展政策提供参考建议.     

社会资本、法律制度环境与银行贷款契约——基于GMM的动态面板数据分析

结合"契约代理理论",本文选取2007~2014年690家上市公司为研究样本,应用差分GMM和系统GMM估计方法实证检验社会资本、法律制度环境与银行贷款契约之间的关系。研究结果表明:(1)社会资本的发展水平越高,银行贷款利率越低,贷款金额越多,贷款期限越长;(2)法律制度环境越好,银行贷款利率越低,贷款金额越多,贷款期限越长;(3)良好的法律制度环境将减弱社会资本对银行贷款契约的正面影响,社会资本和法律制度环境具有相互替代的作用。     

一类参数不确定规划的三目标规划解决方法

针对目标函数具有区间参数的不确定优化问题，分析了以往不确定优化命题双目标优化满意解的缺陷，给出了一种鲁棒优化的定义，提出了不确定系统的优化需考虑悔度，把不确定的优化命题转化为确定型的三目标优化命题。实例分析考虑决策后悔度的三目标优化命题作为不确定优化命题的替代命题更加合理。该方法的成功作为一个具体实例印证了顾基发研究员“物理-事物-人理”的系统方法论的普遍指导意义。     

SD模型的系统极小反馈基模集入树组合删除生成法——以德邦规模养种系统发展为例

反馈基模是社会经济复杂系统分析的有效工具,在穷举可能经嵌运算生成极小基模的入树组合原则下,给出了三个入树组合删除法则,利用法则可删除大量不能生成极小基模的入树组合,从而实现简单有效计算一个确定复杂系统极小基模集的目的.根据二阶反馈环中流位变量、流率变量的关联特征,给出二阶极小基模生成步骤;根据入树组合删除法则,给出三到n阶极小基模生成步骤.由此,得到规范化的系统极小反馈基模集生成的步骤.以德邦牧业规模养种生态能源反馈系统为例,建立了含八棵入树的流率基本入树模型,利用此方法计算出系统八个极小基模构成的系统极小反馈基模集.此八个极小基模可有效刻画养殖废弃物污染制约系统发展、厌氧发酵产出物二次污染制约系统发展、场户合作低碳循环农业模式促进系统发展三个不同阶段的系统主导结构,并基于极小基模分析生成促进系统发展的三条管理对策.建立了德邦牧业规模养种生态能源反馈系统模型仿真方程,仿真分析三条管理对策的实施效应,实现了定性至定量综合集成分析,此实证分析效果揭示极小基模集入树组合删除生成法为系统进行反馈环分析提供了一种新的方法.     

SD模型的系统极小反馈基模集人树组合删除生成法——以德邦规模养种系统发展为例

反馈基模是社会经济复杂系统分析的有效工具,在穷举可能经嵌运算生成极小基模的入树组合原则下,给出了三个入树组合删除法则,利用法则可删除大量不能生成极小基模的入树组合,从而实现简单有效计算一个确定复杂系统极小基模集的目的.根据二阶反馈环中流位变量、流率变量的关联特征,给出二阶极小基模生成步骤;根据入树组合删除法则,给出三到n阶极小基模生成步骤.由此,得到规范化的系统极小反馈基模集生成的步骤.以德邦牧业规模养种生态能源反馈系统为例,建立了含八棵入树的流率基本入树模型,利用此方法计算出系统八个极小基模构成的系统极小反馈基模集.此八个极小基模可有效刻画养殖废弃物污染制约系统发展、厌氧发酵产出物二次污染制约系统发展、场户合作低碳循环农业模式促进系统发展三个不同阶段的系统主导结构,并基于极小基模分析生成促进系统发展的三条管理对策.建立了德邦牧业规模养种生态能源反馈系统模型仿真方程,仿真分析三条管理对策的实施效应,实现了定性至定量综合集成分析,此实证分析效果揭示极小基模集入树组合删除生成法为系统进行反馈环分析提供了一种新的方法.     

区域基础设施系统的复杂性与长效性

基于系统科学理论归纳了基础设施的系统特性,解析了区域发展复合系统中基础设施子系统与其它子系统的耦合关系;提出4个命题,论证区域发展复合系统演进过程中各子系统的耦合机理,从子系统间耦合作用的角度阐释基础设施系统长效性的内涵;运用系统动力学构建基础设施系统长效性模型,进行政策实验,提出了长效性保持策略.     

社会、经济与资源环境复合系统协同进化模型的构建及应用——以大连市为例

社会、经济与资源环境系统之间相互作用, 构成了一个动态开放的复合系统. 文章以协同学理论和加速遗传算法为基础, 构建了社会、经济与资源环境三系统的有序度模型和协同进化模型, 并给出相应的计算方法. 采用大连市的历史统计数据, 开展社会、经济与资源环境复合系统协同进化的实证研究, 以模型计算结果为依据, 给出了相应的政策建议. 结果表明, 该模型可较好地反映各子系统间的协同进化关系, 完整地体现了这一复杂系统的局部相关性和整体演化趋于稳定性, 在三系统构成的复合系统中具有广泛应用价值.     

考虑费用时值的库存系统的EOQ模型

一般经典的ＥＯＱ模型所解决的问题都是忽略系统费用时值的库存问题。而本文则揭示了在考虑费用时值的情形下库存系统的内在规律,发展了该库存系统销售（或库存）单一的变质性物品的ＥＯＱ模型。为库存系统的管理决策提供了理论依据.     

基于和谐思想的交互式多属性群决策方法

为解决现有研究因并未考虑和则、和谐主题两项要素对交互决策效率与效果的影响而存在的决策过程难于控制和决策结果难以满意的问题,基于和谐思想分别从最小化认知分歧和最大化系统和则度的技术视角构建了用于提取最优属性价值的谐则模型与和则模型,并在此基础上以和谐主题为决策交互目标导向提出了促进决策系统螺旋推进与和谐运行的交互决策方法步骤.模拟验证结果表明所提出的方法具有科学有效性与应用可行性.     

考虑不完美维修的定期检测与备件策略联合优化

针对退化过程服从三阶段故障过程的单部件系统提出了定期检测与备件订购策略联合优化.该策略下,根据检测时系统的状态执行不同的维修活动:当系统处于正常状态,不执行任何维修活动;若识别轻缺陷进行不完美维修并采用比例役龄回退模型描述不完美维修效果;若识别严重缺陷则更换系统.当更换系统时需考虑备件状态:若处于存货状态则立即更换,若正处于途中则到货时更换,若未订货需立即订货并在到货时刻更换.考虑所有更新事件采用更新报酬理论建立以最小化单位时间内期望成本为目标的模型,同时优化检测周期和订货点.最后,设计枚举优化算法和离散仿真算法求解模型,并在算例分析中验证模型的有效性和适用性.