一种余度捷联惯导系统标定结果的验证方法

以余度捷联惯导系统为研究对象,提出了一种使用余度系统传感器冗余信息对标定结果进行检验的方法.该方法利用已有标定结果对惯性器件进行补偿,然后选取与标定过程不同的敏感轴向组合构建系统并重复标定过程,可以获得标定验证结果.通过对标定验证结果的量级大小进行判断来检测标定结果是否达到预期要求,或者标定过程是否合理.给出了应用该方法的具体过程,通过仿真试验证明该方法的有效性.     

面向对象建模技术开发大型培训仿真系统的一种方法

面向对象建模技术（ＯＭＴ）是对客观世界的一种模型描述方法。本文讨论了应用标准ＯＭＴ对大型培训仿真系统进行建模时所遇到的问题，提出了使用ＯＭＴ对复杂的大系统进行建模时的一种改进方法，即把子系统的确定从系统的设计阶段提前到系统的分析阶段的初期。通过把子系统作为一种特殊的对象进行对象建模，将使分析者得到被建模系统及其子系统的一个全面准确的模型。使用这种方法有助于在系统分析阶段确定整个系统的界面，各子系统之间的调用关系及对于系统硬件部分的要求。     

一种有效评估大型复杂仿真系统可信度的新方法

根据大型复杂仿真系统的特点,文章提出了一种基于相似理论利用模糊数学评估可信度的新方法,作者给出了建立大型复杂仿真系统可信度评估的模糊综合评估体系的原则和模糊评判矩阵的建立方法及模糊定量评估方法和算法,这种方法尤其适用于“黑盒”和“灰盒”仿真系统可信度的评估。     

一种基于“独立性差”的分类学习新算法

从独立性差角度出发,提出了ISE准则下的独立性差估计新方法(difference of independence estimation,DOIE).从数学模型上证明该算法与单类SVM等价且可用于解决分类问题.当数据集规模较大时,该算法的优势在于可用较少样本点表示两数据集中样本点间的关系,在保证精度的前提下,提高运算速度.该算法还可应用于两数据集独立性判断、检测流数据分布改变点的位置.若退化为单类数据集,可应用于概率密度估计.Benchmark和UCI数据集上的实验表明,该算法具有较好的性能.     

一种事故预报的动态模型

本文提出了一种系统安全动态模型,其用途除可用于预报系统的近中期事故外,也可用于长期的安全控制和规划。     

耗散结构理论与“技术—文化”系统——一种研究技术与文化关系的自组织理论视角

技术—文化系统是耗散结构系统:技术—文化系统具有开放性,它始终处于远离平衡态,系统内部诸要素间及其与外部环境间的作用是非线性作用,系统通过涨落推动其循环演化;运用耗散结构理论不仅有助于论述技术与文化的关系,还有助于研究技术的发明、转移、创新和文化的关系。     

一种基于虚拟现实技术的导弹模拟训练系统

针对目前便携式防空导弹训练模拟器存在的问题,该训练模拟器以图形工作站、OpenGVS软件作为核心开发平台,采用虚拟现实、三维动画、多媒体模拟、数据库管理等技术开发了训练仿真软件;采用角度跟踪器提高了角度测量精度,简化了训练校准过程;开发了通过事件驱动的硬件信号采集电路,使训练过程计时更加精确,符合训练模拟器发展的趋势,该课题的研究具有较高的应用价值。     

一种验证反坦克导弹系统仿真模型的方法

本文针对复杂的反坦克导弹系统的仿真模型，提出了一种采用现代谱分析法的验证方法。该方法适合于反坦克导弹系统动态过程仿真的输出为短时序、低信噪比的特点，并能定量地给出仿真模型与实际系统一致性的程度。本文用某型号反坦克导弹系统的仿真数据给出了应用上述方法的验证结果。     

一种新型的分布协同仿真系统—“仿真网格”

简要介绍了作者研究开发仿真网格的研究背景,提出了仿真网格的技术内涵、体系结构和目前的实施方案;进而结合近几年的研究进展,较为详细的介绍了阶段性研究成果,包括已完成的仿真网格原型系统Cosim-Grid 1.0v、攻克的部分关键技术和仿真网格Cosim-Grid 1.0v的典型应用示范系统.初步研究与应用表明:(1)提出和开发的仿真网格是一种新型的分布建模与仿真平台,它能克服传统网络化建模与仿真平台在仿真资源动态共享、自组织、协同能力和安全应用机制等方面的局限性,能支持"仿真系统工程"的实施,能扩展分布仿真应用的模式,为协同仿真应用提供新的途径;(2)开发的仿真网格原型系统Cosim-Grid 1.0v在体系结构,门户技术、基于WEB的RTI、服务虚拟化、基于语义的模型资源发现等技术方面有新意;(3)坊真网格是一类具有特色的网格,它拓展了"网格"在具有时、空一致性要求的分布、异构资源(服务)协同工作方面的能力.最后,给出结论和下一步的工作展望.     

大型海军舰船研制技术风险综合评估的一种结构化方法

给出了海军舰船系统的产品分解结构, 以美国NASA所提出的技术成熟度等级(TRL)为基础, 探讨了各个TRL级别对应的工程标志, 提出了确定底层单元技术成熟度的2种实施方式. 在系统指标综合过程中, 提出并分析了确定底层单元TLR权重的技术需求和难度因子、 技术关键程度因子和技术重要程度因子, 给出了权重要素的三维表示方法, 基于工程知识和应用经验确定了三类权重的确定方法. 在此基础上, 给出了各一级系统以及全舰级别TRL的计算表示法和图形表示法, 并对进一步的研究方向进行了分析.     

技术哲学研究方法的转向——一种系统的整体方法的进路

技术哲学随方法的变迁而发展,每次研究方法的转变都带来了技术哲学的大发展。本文按照历史的和逻辑的相结合的方法分析了技术哲学研究方法,经还原方法、整体方法到系统的整体方法的转向,并以芬伯格的技术哲学为例进行了深入而详细的分析。指出,系统的整体方法为技术哲学的大发展开辟了广阔的空间。     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。     

一种权值在线学习的分布式检测系统的融合算法

研究了一种基于最小错误概率准则的权值在线学习的分布式检测系统的融合算法。该算法能够根据观测数据的变化,自动在线调整权值大小,逐步改善系统的检测性能。计算机仿真结果表明,该算法能够较快地收敛到最优解。     

战略性企业社会责任实施的系统动力学分析

在企业社会责任日益受到关注的背景下,企业战略与企业社会责任的实施能否有效地融合成为制约企业发展的重要因素。本文以利益相关者理论为出发点,从六个主要维度剖析了战略性企业社会责任实施的机理,并运用系统动力学的原理和方法,从各维度要素间的因果关系出发,分析建立了战略性企业社会责任实施的系统动力学模型。选择企业社会责任投资占比以及其中的人力投资比例、商业伙伴投资比例、环保投资比例进行模拟分析,比较不同要素的投资占比对财务资源表现的影响。研究结果对各项投资占比的选择具有重要参考价值。     

社会资本、技术创新与“资源诅咒”的拐点效应

通过内生化社会资本与技术创新,构建包含资源开发和制造业在内的四部门内生经济增长模型,剖析社会资本与技术创新影响经济增长的内在机制.结果表明:社会资本加速积累,引导更多劳动力流向技术创新部门,激励技术创新,弱化资源开发对技术创新的"挤出效应",切断"资源诅咒"的传导途径,社会资本成为打破资源诅咒的关键.进一步,以政府机构质量和信息沟通共享构建社会资本指标,运用1998-2013年间全国省际面板数据,验证了社会资本对技术创新和经济增长的影响,随着社会资本与技术创新"交叉效应"的引入,资源与经济倒U关系的拐点逐渐往后推移,证实了社会资本打破"资源诅咒"的内生作用机制.     

一种非线性的BP学习算法

提出了一种非线性学习规则,以非线性函数th(x)取代传统学习算法中的线性函数x,来调整BP网络的连接权值和阈值。与传统的BP学习算法相比,其连接权值与阈值的调整量不仅与误差函数对连接权与阈值梯度的一次幂有关,而且也与梯度的高次幂有关。因此,克服了传统的BP学习算法过程中难以跳出局部极小值与收敛速度慢的缺点。模拟实验表明,该算法比传统的BP网络学习算法在学习时间和迭代次数方面都具有显著优势。     

一种求解大型生产计划模型的算法

本文考虑在允许缺贷的条件下,多产品、多阶段生产计划问题,给出了求解该问题的算法。这种算法不需要对原问题直接求解,而是先将原问题进行分解,得到一个由一系列非常小且易解的子问题组成的序列,然后用迭代的方法求得一个初始解,再对这个解进行修正,从而得到原问题的最优解。这种算法较好地解决了大规模生产计划模型的求解难问题。     

论信息社会人的异化——基于马克思社会时间理论的一种系统分析

当今社会已经进入信息时代,人类在享受新技术带来便利的同时,也付出了沉重的代价,突出表现为信息社会人的异化问题。马克思的社会时间理论为理解信息社会人的异化问题提供了一个系统的视角,即:人的实践活动是社会时间理论的出发点,劳动时间和非劳动时间是社会时间理论的主要内容,人的自由全面发展是社会时间理论的价值归宿。信息社会中,马克思社会时间理论的在场状态表现在:信息实践是人的实践活动的新形式,信息社会是资本主义社会发展的新阶段,信息解放是人的自由全面发展的题中之意。基于社会时间理论对信息社会人的异化现象进行系统分析可知:信息技术动摇了人的主体地位,信息技术加深了劳动时间和非劳动时间中的剥削,监控社会和信息茧房限制了人的自由全面发展。     

作为“范式”的突现模型

按照托马斯·库恩本人对“范式”的理解,范式概念应该包括基本概念、基本规律、基本信念与纲领、范例等。本文正是在这一意义上探讨传统的机械还原论向突现论的范式转换,从而尝试建立不同于传统科学的突现论模型。