逻辑模型

摘要： 草书自潦草书写而来,后者源于日常书写,是书体演变的重要助力之一。潦草书写构成了草书的基础技术,但其本身不具备审美动机,因此仅当其同时符合书法审美规约时方能部分地属于书法艺术。本文通过艺术语言系统论解构草书的工具、材料、技术以及功能,展示草书艺术的流变与草体形态变异的本质动力及内在联系,利用形式逻辑符号建立关于书法艺术语言的理想模型。

摘要： 我国中小学生的营养状况在不断改善的同时,仍面临超重肥胖凸显、慢性病低龄化等问题。为了改善中小学生的营养状况,为地方性干预政策的出台提供参考依据和建议,本研究利用逻辑模型的理论构建出了符合我国国情、可推广的校园营养干预逻辑模型框架。该模型包括输入、输出、结果3大部分内容:输入包括学生、家长、老师、学校食堂工作人员、资金提供者、教育行政部门、卫生行政部门、技术支持部门等所有参与项目的利益相关者;输出包括营养教育、膳食指导、促进身体活动和塑造营养环境4项具体干预活动,以及学生、家长、老师、食堂工作人员等干预对象;结果包括干预项目产生的短期、中期及长期影响。以此校园营养干预逻辑模型为框架的试点项目——“营养校园”,已在全国10个省市进行了初步实践,通过干预1年后的评估发现,干预前后学生的营养知识水平、饮食行为、身体活动等都得到了较好的改善。建议各地结合自身经济发展水平、饮食结构特点等构建地方校园营养干预逻辑模型,并保持其长期性和稳定性,以达到改善中小学生营养健康状况的最终目标。

摘要： 基于模型的系统工程(MBSE)的发展催生了工业界的数字化变革,也为解决系统设计与可靠性和安全性分析“两张皮”的难题提供了新的思路。但目前基于模型的风险分析方法不适用于复杂航天任务这样多阶段、多状态系统。因此,将蒙特卡洛风险分析方法融入系统设计之中。首先,基于SysML拓展机制完成系统模型和故障模型的构建,实现同源化。在系统功能分析阶段,依靠定义的功能架构逻辑模型,将故障信息和对应的处置策略融入其中,从而生成故障发生时的任务逻辑。基于此,进一步构建全任务剖面的蒙特卡洛仿真模型,通过统计获得各类后果的频率,估计对应的发生概率。最后,以阿波罗载人登月任务为背景,对其进行了验证。

摘要： 在当前国内国外双循环的格局下,制造业要以顾客和制造商为主体依托,以顾客需求变化为依据,以寻求更高的价值增值空间为着手点,进行转型升级。在这种形势下,急需建立服务于地区制造业转型升级的高效区域物流体系。文章分析了当前制造业转型升级的发展趋势,并研究了其与物流体系之间的影响,阐述了服务于制造业转型升级的区域物流体系运作内涵、运作关系要素及模型。在此基础上,构建了服务于制造业转型升级的区域物流体系运作逻辑模型,为建立服务于制造业转型升级的高效物流体系运作模式提供理论支持和应用参考。

摘要： 本文根据南开大学滨海学院实验室管理信息化的实际应用需求,提出了一种实验室信息管理[1]及在线故障报修[2]的综合信息管理系统的逻辑模型的建立与整体设计,旨在通过该文阐述实验室信息管理所涉及的内容及故障报修所需完成的功能,从而为本校的实验室信息管理提供一个综合的管理与在线故障报修的实现提供整体解决思路。

摘要： 为解决可试验数字孪生体在可视化、控制逻辑一致性和数据实时交互方面存在的问题,提出了一种汽车白车身焊接生产线可试验数字孪生体建模方法.通过构建汽车白车身焊接生产线可视化模型、逻辑模型与数据模型,完成了焊接生产线数字孪生体的创建.以某汽车白车身自动焊接生产线为例,对可试验数字孪生体建模方法进行了验证.通过反复试验,得到了物理生产线的运行数据和关键信息,缩短了生产线搭建和调试的时间,节约了设计成本.

摘要： [目的/意义]欧盟委员会对成员国落实"欧洲2020战略"中本国方案的进展情况每年开展评估,并根据评估结果对成员国提出具体的建议,战略评估已成为促进战略实施的有效手段.[方法/过程]本文在分析现有研究战略与规划评估、指标体系构建、评估内容方法的基础上,以"中国制造2025"为例,研究从投入、活动、产出、效果、影响为基础的逻辑框架下,考虑制造业影响环境作用下的"中国制造2025"战略的评估模型,提出评估总体框架;研究了过程检测、利益相关者评价和影响评估包含的主要内容.[结果/结论]本评估在关注执行和产出的同时,也关注效果和影响,促进战略活动内容的动态调整和战略的顺利实施.

摘要： 本文构建了基于MENU的实训原料精准化管理模型,描述了菜单标准化的意义,形成原料采购管理模型,依逻辑模型分析了模型用例及功能,推动烹饪实训物理流程向系统标准化转化。论文的研究为实现烹饪原理标准化、效率化、实时性供应保障模式提供了有益的参考,并为菜单实训计划时令化、优化节约成本和完善课程内容等具有里程碑式意义。

摘要： 近年来,在人工智能、云计算、大数据、区块链等新技术发展以及国家新基建等政策的双重推动下,各地政府普遍将"城市大脑"建设纳入了城市发展建设计划,"城市大脑"相关的实践活动也在蓬勃开展,"城市大脑"已经成为了城市发展和科技创新领域的新热点.然而,学术界、产业界对有关"城市大脑"的诸多问题尚未达成共识,亟待研究探讨.从智能的视角出发,城市大脑是城市智能的载体,建设城市大脑可提高城市治理的效率与效果.城市大脑具有动态演进特征,可自学习、自优化、自生长,其逻辑模型包括识别处理组件、逻辑计算组件、知识图谱组件、时空构建组件和指令输出组件等构成要素.

摘要： 随着电力企业的信息化建设的发展,运行的事务管理系统保存了海量的运行数据,成为电力企业决策管理的最有价值的原始资源.然而,各地区及部门间信息化建设的不平衡性和独立性致使无法构建有效的知识管理系统,难以提供企业级的决策分析支持.数据仓库的建立可以解决为电力企业提供决策分析信息存在的困难.本文引入了数据仓库的概念,详细介绍了数据仓库的构成、内容和技术特点.研究了数据仓库建模的方法.结合电力系统的特点,提取出适合于数据仓库建立的主题概念.通过数据处理技术对电力系统事务管理系统保存的海量数据进行整合,构造面向决策的电力系统数据仓库.

摘要： 逻辑模型分析可以为机构分析和优化设计提供重要的理论指导.针对子弹引信保险机构逻辑模型分析欠缺的发展现状,从结构组成、敏感环境以及作用时机等方面认真分析现有子弹引信保险机构,概括出子弹引信保险件类型,并分析和抽象子弹引信保险机构逻辑模型,为子弹引信保险机构优化设计提供借鉴.

摘要： 对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画；构造模互模拟的商模型与模语言等价的商模型,证明了它们都是∑-过滤的特例——Form(◇,Φ)-过滤(Form∞(◇,Φ)-过滤/Form(Τ,Φ)-过滤/Form∞(Τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系.

摘要： 本研究探讨儒家价值观概念模型.六个重要的儒家价值观是“仁、义、礼、忠、孝、信”,这六个儒家价值观和“中庸”思想一起影响着“买卖”双方建立商业关系.由于买卖双方利益角度差异,指导交易的核心儒家价值观不完全相同,一般来说,消费者更多认为“仁”是儒家文化核心价值观,而零售商方则认为“信”是交易中传统的价值观,各儒家价值观影响“买卖关系”的逻辑也会有差异,将在分析这些原因的基础上建立顾客关系模型.

摘要： 中国多数发电企业都具备财务管理信息系统,但是它主要是针对日常财务事务的管理,不能满足决策层的需要.文章针对发电企业的财务数据分析需求,采用数据仓库技术构建了一个发电企业财务数据仓库系统.首先给出了系统的体系结构,其次分析设计了逻辑模型,其中包括主题设计、维度层次设计,最后采用SQL server 2005 AnalysisService做分析服务器,实现了系统的物理结构并进行多维分析实现.该系统对发电企业财务决策有参考价值.

摘要： 逻辑模型向物理模型的自动转换问题是面向Artifact的BPMS(Business Process Management System)面临的一个关键问题．本文选取ArtiFlow作为逻辑模型，BPEL作为物理模型，重点研究ArtiFlow到BEPL转换过程中库与Services间的匹配问题．给出了ArtiFlow的形式化定义和库的逻辑模型，扩展了物理模型中的操作模型，将库与Services间的匹配问题转化为XML数据的匹配问题，提出了两层匹配算法．

摘要： 现有的网络安全防护手段缺乏对内网主机的安全管理。本文分析了来自内网的主要安全威胁,实现了一个内网安全检测工具,结合该检测工具以及漏洞扫描的结果,给出了一个分析内网安全性的逻辑模型。该模型能综合考虑内网中不符合规定的主机、主机的漏洞、主机间的逻辑关系以及内网的边界防护规则等因素,对内网主机的安全性分析更合理。

摘要： 皮特的实用主义分析技术哲学,从技术与社会的关系角度对技术进行思考,有其独特之处.但是,他对技术的定义和技术失效的技术解释过多的涉及技术之外的原因.以哈勃望远镜的失效为例,引入三值逻辑,从逻辑分析角度对其进行具体的技术解释,指出了对应原则的不足.在从结构到功能的技术解释模式中,应当用原子结构-功能子来替代,这使得技术解释具有演绎推理的意义.皮特关于技术是"人类在劳作"的定义过于宽泛,而技术是理性的实践能力,同时也是一个实践的过程,需要不断的检验.

摘要： 皮特的实用主义分析技术哲学,从技术与社会的关系角度对技术进行思考,有其独特之处.但是,他对技术的定义和技术失效的技术解释过多的涉及技术之外的原因.以哈勃望远镜的失效为例,引入三值逻辑,从逻辑分析角度对其进行具体的技术解释,指出了对应原则的不足.在从结构到功能的技术解释模式中,应当用原子结构-功能子来替代,这使得技术解释具有演绎推理的意义.皮特关于技术是"人类在劳作"的定义过于宽泛,而技术是理性的实践能力,同时也是一个实践的过程,需要不断的检验.

摘要： 皮特的实用主义分析技术哲学,从技术与社会的关系角度对技术进行思考,有其独特之处.但是,他对技术的定义和技术失效的技术解释过多的涉及技术之外的原因.以哈勃望远镜的失效为例,引入三值逻辑,从逻辑分析角度对其进行具体的技术解释,指出了对应原则的不足.在从结构到功能的技术解释模式中,应当用原子结构-功能子来替代,这使得技术解释具有演绎推理的意义.皮特关于技术是"人类在劳作"的定义过于宽泛,而技术是理性的实践能力,同时也是一个实践的过程,需要不断的检验.

摘要： 皮特的实用主义分析技术哲学,从技术与社会的关系角度对技术进行思考,有其独特之处.但是,他对技术的定义和技术失效的技术解释过多的涉及技术之外的原因.以哈勃望远镜的失效为例,引入三值逻辑,从逻辑分析角度对其进行具体的技术解释,指出了对应原则的不足.在从结构到功能的技术解释模式中,应当用原子结构-功能子来替代,这使得技术解释具有演绎推理的意义.皮特关于技术是"人类在劳作"的定义过于宽泛,而技术是理性的实践能力,同时也是一个实践的过程,需要不断的检验.

摘要： 本发明属于电子设计自动化技术领域，具体为一种FPGA逻辑单元的功能模型及通用性逻辑单元装箱算法。该模型首先提取出FPGA逻辑单元中的功能元件，然后用功能元件和开关多路选择器的连接描述整个逻辑单元的结构，接着通过对逻辑单元进行不同的配置，生成许多仅由功能元件连接而成的有效功能电路，该模型能广泛地描述现有FPGA的逻辑单元的结构，并可由逻辑单元对应的有效功能电路得到逻辑单元的所有逻辑功能。基于此FPGA逻辑单元的功能模型，提出了通用性逻辑单元装箱算法FDUPack。FDUPack算法的核心思想是在用户电路中对每个有效功能电路反复进行电路图的模式匹配，是处理各种逻辑单元装箱问题的一种普适性算法。

摘要： 本发明公开了一种基于决策树模型与逻辑回归模型组合的感染筛查方法，其检测操作方便，可提高感染筛查准确性，该方法基于生命体征监护仪实现，生命体征监护仪与远程数据服务平台通信连接，远程数据服务平台依据临床数据进行感染筛查，该方法包括：通过生命体征监护仪检测获取用户临床数据，将临床数据随机划分为训练集、测试集，将训练集均分为两份：训练集A、训练集B，基于训练集A构建决策树模型，同时，对训练集A进行特征选择，将关键特征向量作为已构建的决策树模型的输入，获取新构造特征向量，基于组合特征向量，构造逻辑回归模型，基于决策树模型和逻辑回归模型组合，对测试集进行预测分类，获取分类结果。

摘要： 本发明提供基于逻辑回归模型的评分卡模型的建立方法，包括确定样本数据，进行特征衍生，自动及人工对特征进行分箱处理，对分箱进行woe转换处理，利用XGBoost进行特征二次衍生，再利用逐步回归选择最终建模的特征，最终利用Lasso逻辑回归模型建模。本发明能够使得最后入选的特征和业务逻辑保持高度一致，使得模型的可解释性得到了进一步的提高，同时利用了XGBoost、Lasso算法，自动化衍生出高IV值特征、提供了内嵌的特征选择，显著提高模型拟合以及稳定效果。

摘要： 本发明提供了一种基于逻辑回归模型和决策树模型的健康管理方法，其特征在于，包括以下步骤：收集每个个体的身体指标数据、遗传病史数据以及相对应的目标变量，目标变量为个体是否认为自己健康；利用决策树模型对遗传病对健康的影响进行建模，决策树模型的输入数据为遗传病史数据，决策树模型的目标变量为个体是否认为自己健康；利用逻辑回归模型进行健康管理的建模；实时获得某个个体的身体指标数据及遗传病史数据，将遗传病史数据输入决策树模型，得到当前个体的遗传史对健康的得分，将该得分与当前个体的身体指标数据共同输入训练好的逻辑回归模型中，得到逻辑回归模型输出的p值最小的n个字段组成的模型结果。

摘要： 本发明公开了一种基于元模型和建构逻辑的建筑信息模型自动建模方法，首先建立传统木构建筑的元模型框架，元模型包括元对象、元属性、元关系和元方法；然后提取传统木构建筑的木构体系建筑逻辑，木构体系建筑逻辑决定了木构体系的构件分类、空间关系和组合次序；接着确定元模型传统木构建筑的元对象和元属性，再根据传统木构建筑的木构体系建构逻辑构建木构体系中所有构件的空间拓扑框架，基于该空间拓扑框架和元方法，使用建模软件工具建立元模型；最后结合元模型和测绘数据，使用建模软件工具自动建构出传统木构建筑的建筑信息模型。本发明能够快速构建具有高完整度和高准确度、记录有营造技艺且精度可调的传统木构建筑的建筑信息模型。

摘要： 本发明涉及一种逻辑模型支持多物理模型转换的方法及存储设备，该方法包括：设置数据模型系统，其中，预置有常用数据库；创建逻辑模型的实体信息，确认所要转换为物理模型的实体，并建立实体间的关联关系；获取所有实体以及相应实体属性完成物理模型转换。本发明可以快速实现对同一逻辑模型实现多数据库版本的物理模型转换。

摘要： 本申请提供的一种逻辑模型到物理模型的自动转换方法和装置，服务器获取到待转换的逻辑模型和目标数据库类型，然后查找模型转换表中是否存在该目标数据库类型，模型转换表是根据用户的设计需求生成的，模型转换表中包括各逻辑模型的属性数据类型与至少一个数据库类型对应的物理模型数据类型的映射关系。当模型转换表中存在目标数据库类型，则服务器将待转换的逻辑模型按照用户推荐的映射关系转换为对应的物理模型。用户通过配置模型转换表，实现数据库类型的扩展，还能满足用户对逻辑模型转换到物理模型的数据类型映射关系的个性化需求。

摘要： 本发明涉及电气设计数据处理技术领域，公开了一种电气二次设计光电缆回路的二维逻辑模型与三维模型关联方法，包括步骤1：解析二维逻辑模型文件中的网络配置，将解析出来的数特定格式进行存储；步骤2：解析三维模型文件中模型，将解析出来的数据按照特定存储格式进行存储；步骤3：将提取的信息分别对设备和光电缆进行关联；步骤4：关联得到设备关联的装置信息以及光电缆信息。本发明通过定义数据类型后自动匹配，完成数据自动关联。

摘要： 本申请涉及一种逻辑模型与物理模型故障特性映射关系的处理方法、装置、计算机设备、存储介质和计算机程序产品。所述方法包括：建立表征装备系统性能故障的逻辑模型和表征装备物理特性的物理仿真模型；获取根据逻辑模型生成的第一失效信息和第二失效信息；第一失效信息是指根据一种故障模式确定一种性能影响；第二失效信息是指根据一种性能影响确定至少一种故障模式；将第一失效信息和第二失效信息分别输入至扩展后的物理仿真模型，输出仿真结果；通过仿真结果对第一失效信息和第二失效信息的验证，完成对逻辑模型的故障传递路径的修正。采用本方法能够通过对逻辑模型中故障传递路径的修正，确保了逻辑模型的准确性和完整性。

摘要： 本发明涉及一种逻辑模型支持多物理模型转换的方法及存储设备，该方法包括：设置数据模型系统，其中，预置有常用数据库；创建逻辑模型的实体信息，确认所要转换为物理模型的实体，并建立实体间的关联关系；获取所有实体以及相应实体属性完成物理模型转换。本发明可以快速实现对同一逻辑模型实现多数据库版本的物理模型转换。