作战逻辑模型及其运作模式

为畅通战略谋势、战役筹划、战术行动的作战逻辑链路,构建贯通战略至战术的作战逻辑模型,并立足多维视角分析作战逻辑模型的运作模式。探索构建设计-分解-校验-选择(DDVC)逻辑模型,并分析“观察,判断,决策,行动”(OODA)、筹划-准备-执行-评估(PREA)、DDVC模型的制胜关键。总结DDVC-PREA-OODA作战逻辑模型之间的层级关系、嵌套关系和涌现关系。从战略-战役-战术、宏观-中观-微观、推演-验证-复盘、平时-危机-战时、威慑-相持-对抗、信息-认知-物理等6个维度解读作战逻辑模型,并探索不同维度的运转模式。

基于逻辑模型的高校附属医院科技成果转化评价指标体系构建研究

目的构建高校附属医院科技成果转化评价指标体系,为科学、系统地衡量高校附属医院科技成果转化水平提供参考。方法通过梳理国内医院科技成果转化评价相关研究文献和法规政策,依据逻辑模型拟定评价指标体系初稿,开展两轮德尔菲专家咨询以确定评价指标体系。结果两轮专家积极系数均为100%,权威系数分别为0.875和0.874,Ken-dall’sW系数逐轮上升,最终确定了涵盖4个一级指标、12个二级指标、44个三级指标的高校附属医院科技成果转化评价指标体系。结论所构建的高校附属医院科技成果转化评价指标体系具有一定的可靠性与科学性,主体特色明显,对推动高校附属医院科技成果转化发展、提高转化效率具有指导意义和实践价值。

模糊逻辑模型在珠勒地区遥感找矿中的应用

近年来遥感技术在地质矿产勘察中发挥着重要作用,基于多源遥感数据对蚀变矿物的提取在工作中大大缩减了靶区范围和时间成本。基于Landsat-9、ASTER和Sentinel-2遥感数据开展西藏珠勒地区的矿物蚀变信息的增强与提取。通过线性隶属函数将多源遥感数据主成分分析(principal component analysis,PCA)中的特征分量归一化后采用Fuzzy Gamma算子进行叠加绘制找矿靶区。实验中γ参数的设置分别是0.7、0.75、0.8、0.85和0.9,最终经过试验测定γ=0.85效果相对较好。实验共圈定了8个靶区,通过野外调查验证了该方法在高海拔地区靶区圈定的可行性。同时,野外调查结果显示该地区发育高硫型浅成低温热液蚀变矿物组合,具有斑岩-浅成低温热液矿床的成矿潜力。

基于逻辑模型的数据链体系架构框架设计与验证

架构设计是数据链体系构建中的核心,而逻辑架构模型构建与验证是数据链体系数字化和模型化设计的重要手段。首先,分析了采用逻辑模型开展体系架构设计的必要性,并从问题解决、领域需求和综合效能等角度对体系架构设计进行了归纳;然后,从体系级、系统级和装备级开展逻辑模型设计,并给出了每个层级的设计方法论、建模框架和工具语言;接着,展示了体系级向系统级传递以及系统级向装备级传递的具体模型;最后,给出了各层级独立闭环验证和跨层级逻辑闭环验证的方法。

智慧煤矿信息逻辑模型及开采系统决策控制方法

针对数字矿山向智慧矿山发展过程中信息关联层次不清晰、框架结构不完善、缺少智能决策依据及有效控制方法的问题,提出了智慧煤矿信息逻辑模型,基于本体和语义网技术建立了煤矿多源、异构关系数据的信息“实体”和虚实映射机理,提出基于知识需求模型的信息实体主动匹配与推送策略,构建基于开采行为预测推理的智慧逻辑模型进化机制,形成了层级清晰、结构明确、全面覆盖的智慧煤矿信息模型;构建了综采设备群空间位姿关系模型,提出了考虑随机误差的强耦合设备群空间坐标统一描述及各设备关联坐标系转换方法,建立了多参量融合分析和评估的开采环境-生产系统耦合关系模型,为煤矿装备位姿控制及智能决策提供支撑;给出了时变多因素影响下的开采设备群全局最优规划和分布式协同控制方法。将综采设备群全局最优规划归结为一个二次积分模型的燃料最优规划问题,提出了基于多模态控制的综采设备群全局最优推进路径规划及控制策略,可兼顾开采条件、设备能力、工艺流程及能量消耗,确保生产成本、效率的有效改善。给出了同时考虑环境干扰和传感器数据时延特性的液压支架群组分布式协同控制方法。上述基础架构和数学模型为深层次挖掘智慧煤矿海量信息之间的关联关系、解决大数据环境下开采系统的最优化协同控制、实现复杂地质条件下连续稳定开采提供了基础理论支撑,可有效推动智慧煤矿技术的发展。

企业信息生态系统的逻辑模型与运行机制

通过对信息生态学的分析,介绍了企业信息生态系统的内涵,并构建了企业信息生态系统逻辑模型,重点对企业信息生态系统的运行机制进行分析,最后构建了运行机制间的总体关系图。

计算机支持的协同工作系统的时序逻辑模型

为了使群体能够协同完成任务，ＣＳＣＷ（ｃｏｍｐｕｔｅｒｓｕｐｐｏｒｔｅｄｃｏｏｐｅｒａｔｉｖｅｗｏｒｋ）系统不仅要解决各种分布性、处理应用领域的特殊性，而且要提供面向用户的协作支持，从而使其行为异常复杂．然而对系统行为进行形式化的描述是构造软件系统的必经阶段．为了清晰地描述ＣＳＣＷ系统的行为，使其特定性质的验证成为可能，本文在时序逻辑的基础上，建立了ＣＳＣＷ系统行为的抽象描述模型．在此模型中，ＣＳＣＷ系统由分布运行实体和信息对象组成，系统的主要行为表现为用时序逻辑语言ＸＹＺ／Ｅ描述的实体间的交互．此模型可较好地对系统的分析和构造进行指导．

中英文双语交叉过滤的逻辑模型

文章简要地描述了文本过滤的背景，提出了基于潜在语义索引的中英文双语交叉过滤的逻辑模型。其基本思想是改进双语交叉过滤中基于词汇对译的方法，而是利用双语文本中潜在的语义结构，作为用户模板与文本匹配的基础。将出现的双语词汇和文本映射为语义空间的向量，不必翻译对译词，甚至不需要出现相应的对译词，也能匹配成功，极大地改善了交叉过滤的精度，效果良好。

安全协议的扩展Horn逻辑模型及其验证方法

分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn逻辑模型和修改版本的安全协议验证过程中自动构造不满足安全性质的安全协议反例.在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中,实现了上述算法,验证了算法的正确性.

论情报检索的逻辑模型

近年来,利用逻辑来建构情报检索系统的模型逐渐成为国际情报学界研究的一大热点。本文对这一新兴领域进行了全面的概述,指出了情报检索古典逻辑模型的不足之处。

耿贝尔逻辑模型在极值风速和有效波高联合概率分布中的应用

首先介绍了耿贝尔逻辑模型,采用该模型对南海海域的涠州岛海洋站的风速和有效波高实测数据进行了分析,结果表明耿贝尔逻辑模型较好地描述了年极值风速和有效波高两随机变量的联合分布;采用得到的极值风浪联合概率分布推算了不同重现期的极值风速和波高,表明考虑风速和波高相关性对设计荷载的确定有显著影响。由于耿贝尔逻辑模型具有函数结构简单,参数估计方便,因此有望成为极值风速和波高联合分布的较理想概率模型。

构建基于逻辑模型的财政支出绩效评价体系——以农业财政支出为例

现有评价指标较少对财政支出的整个过程进行评价,难以全面反映财政支出的真实绩效。将逻辑模型引入指标设计中,从“投入—产出—中短期结果—长期结果”四个层面构建财政支出绩效评价指标体系,可更好地体现绩效评价的经济、效率和效果原则。

大学生学习满意度测评逻辑模型的构建

逻辑模型表征着组织要素之间的学理关系,成为高等教育系统的主要分析框架之一,运用于大学生学习满意度的评价。基于大学生学习满意度测评结果,使用逻辑模型构建分析框架,从而呈现出各要素指标之间的学理关系、组织流程和出现的绩效结果、影响形式。根据分类学的视角,在对大学生学习满意度测评构建逻辑模型时,分别对个人发展、群体收获、项目管理和制度建设条件下的大学生满意度进行具体分析与研究,从不同层面构建大学生学习满意度测评的逻辑模型。

科技成果转化逻辑模型及其系统分析

首先对科技成果转化过程进行了阶段划分;其次,根据转化阶段的特点构建了科技成果转化逻辑模型,详细分析了转化过程中的不同主体(企业、科研院所、技术市场、孵化器、高新技术开发区、政府)的作用.最后,本文归纳了在科技成果转化过程中与阶段相关的一些问题,即转化内容分布不均,转化过程缺少延续性,转化模式存在缺陷,转化机制不顺畅.

中国科学院研究所评价的逻辑模型研究

1993年,中科院开始对所属研究所进行系统评价,10多年来,中国科学院根据各研究所不同发展阶段的特点不断完善和调整评价方法。从评价逻辑模型来看,中科院研究所评价大致可分为定量排名的逻辑模型和多信号决策的逻辑模型。结合中科院研究所评价实践对这两大评价模型进行了分析,并探讨了中科院未来可能的关键指标标杆的评价模型。

基于逻辑模型的中职教师培训质量评价体系构建研究

政府为主导、中央财政投入支持,决定了我国中职教师素质提高培训计划的社会公共属性。按照公共绩效评价的逻辑模型,文章把培训质量的评价体系从结构上划分为培训质量的支撑评价、促进教学质量提高的评价及社会贡献和影响等中远期成果评价三个部分,在各个层次的评价指标选择上以《中等职业学校教师专业标准(试行)》作为参考。

变革理论逻辑模型在科技评价中的应用及启示

变革理论(Theory of Change)是国际评价界广泛使用的经典评价工具,主要用于分析被评对象的要素和干预措施作用过程,但在我国现行的科技评价实践中尚未引入该工具。在阐述变革理论的基础上,尝试提出科技项目的变革理论模型,最后结合案例,分析该模型如何在评价中应用。

人工神经网络的逻辑模型

引入了统一建模语言 (UML)的方法 ,建立了一种神经网络的面向对象模型 ,即神经网络的逻辑模型。在神经网络的静态结构中 ,类图描述了组成神经网络的基本元素及其相互关系 ,包括 :神经元、神经元集、输入层、中间层、输出层、神经元层、训练层和辅助层 ,并通过继承抽象神经网络类给出了具体的神经网络类。在神经网络的动态运行中 ,活动图把神经网络的活动状态分成外部激励和内部运行两组 。

模糊逻辑模型与交股模型的解析与重组

模糊逻辑模型和交股模型是心理语言学有关言语感知研究中解释言语听辨机制的重要模型理论。模糊逻辑模型运用模糊逻辑和原型的两个概念生动明确地描述了言语听辨的过程和言语在记忆中的储存情况。交股模型将各个层面的因素及影响都包括在言语听辨的过程中。然而 ,这两个模型也有各自的局限性。模糊逻辑模型主要强调语音因素的作用 ,而交股模型则误将听辩过程看作是去除交股中与目标词不相似词的过程。本文通过对两个模型局限性的解析 ,将二者的优点重组 ,以寻找一种更为合理地解释言语听辨过程的新途径。

基于表单的业务系统界面逻辑模型获取的研究

为了支持界面设计的自动化,国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些需求模型元素的算法。