期刊文献+
共找到432篇文章
< 1 2 22 >
每页显示 20 50 100
基于逻辑模型的多偏好旅游路线规划研究
1
作者 王文成 王曦雅 +1 位作者 牛秦州 董明刚 《现代电子技术》 北大核心 2025年第7期169-176,共8页
针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题,考虑到不同用户的需求,提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先,运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好... 针对现有生成个性化旅游路线过程中用户个人偏好分析单一以及时间和成本预算选择单一的问题,考虑到不同用户的需求,提出一种基于一阶逻辑约束下的个性化旅游路线规划。首先,运用模型论中的结构对旅游规划中成本、时间和景点等相关偏好问题进行形式化建模;其次,利用一阶公式对结构实例进行查询求解,并对计算复杂度进行评估;最后,以典型的个性化旅游路线规划的推荐问题作为实例,针对上述结构使用回答集编程(ASP)进行求解。实验结果表明,该方法能够满足不同用户的多个偏好需求,提高了用户对于旅游路线推荐的满意度,同时可以将问题限制在一定复杂度内,为实现个性化推荐服务提供了一种新方法。 展开更多
关键词 路线规划 用户多偏好 形式化建模 回答集程序 个性化偏好 逻辑模型
在线阅读 下载PDF
基于逻辑模型的高校附属医院科技成果转化评价指标体系构建研究 被引量:4
2
作者 赵佳洁 郝三元 +2 位作者 许紫文 许栋 陈任 《中国医院管理》 北大核心 2024年第11期12-17,共6页
目的构建高校附属医院科技成果转化评价指标体系,为科学、系统地衡量高校附属医院科技成果转化水平提供参考。方法通过梳理国内医院科技成果转化评价相关研究文献和法规政策,依据逻辑模型拟定评价指标体系初稿,开展两轮德尔菲专家咨询... 目的构建高校附属医院科技成果转化评价指标体系,为科学、系统地衡量高校附属医院科技成果转化水平提供参考。方法通过梳理国内医院科技成果转化评价相关研究文献和法规政策,依据逻辑模型拟定评价指标体系初稿,开展两轮德尔菲专家咨询以确定评价指标体系。结果两轮专家积极系数均为100%,权威系数分别为0.875和0.874,Ken-dall’sW系数逐轮上升,最终确定了涵盖4个一级指标、12个二级指标、44个三级指标的高校附属医院科技成果转化评价指标体系。结论所构建的高校附属医院科技成果转化评价指标体系具有一定的可靠性与科学性,主体特色明显,对推动高校附属医院科技成果转化发展、提高转化效率具有指导意义和实践价值。 展开更多
关键词 科技成果转化 高校附属医院 评价指标体系 逻辑模型
在线阅读 下载PDF
模糊逻辑模型在珠勒地区遥感找矿中的应用 被引量:3
3
作者 王生礼 李志军 +1 位作者 余杰 司永强 《科学技术与工程》 北大核心 2024年第1期134-142,共9页
近年来遥感技术在地质矿产勘察中发挥着重要作用,基于多源遥感数据对蚀变矿物的提取在工作中大大缩减了靶区范围和时间成本。基于Landsat-9、ASTER和Sentinel-2遥感数据开展西藏珠勒地区的矿物蚀变信息的增强与提取。通过线性隶属函数... 近年来遥感技术在地质矿产勘察中发挥着重要作用,基于多源遥感数据对蚀变矿物的提取在工作中大大缩减了靶区范围和时间成本。基于Landsat-9、ASTER和Sentinel-2遥感数据开展西藏珠勒地区的矿物蚀变信息的增强与提取。通过线性隶属函数将多源遥感数据主成分分析(principal component analysis,PCA)中的特征分量归一化后采用Fuzzy Gamma算子进行叠加绘制找矿靶区。实验中γ参数的设置分别是0.7、0.75、0.8、0.85和0.9,最终经过试验测定γ=0.85效果相对较好。实验共圈定了8个靶区,通过野外调查验证了该方法在高海拔地区靶区圈定的可行性。同时,野外调查结果显示该地区发育高硫型浅成低温热液蚀变矿物组合,具有斑岩-浅成低温热液矿床的成矿潜力。 展开更多
关键词 西藏革吉 靶区圈定 模糊逻辑模型 多源遥感 矿产勘察
在线阅读 下载PDF
智慧煤矿信息逻辑模型及开采系统决策控制方法 被引量:73
4
作者 任怀伟 王国法 +3 位作者 赵国瑞 曹现刚 杜毅博 李帅帅 《煤炭学报》 EI CAS CSCD 北大核心 2019年第9期2923-2935,共13页
针对数字矿山向智慧矿山发展过程中信息关联层次不清晰、框架结构不完善、缺少智能决策依据及有效控制方法的问题,提出了智慧煤矿信息逻辑模型,基于本体和语义网技术建立了煤矿多源、异构关系数据的信息“实体”和虚实映射机理,提出基... 针对数字矿山向智慧矿山发展过程中信息关联层次不清晰、框架结构不完善、缺少智能决策依据及有效控制方法的问题,提出了智慧煤矿信息逻辑模型,基于本体和语义网技术建立了煤矿多源、异构关系数据的信息“实体”和虚实映射机理,提出基于知识需求模型的信息实体主动匹配与推送策略,构建基于开采行为预测推理的智慧逻辑模型进化机制,形成了层级清晰、结构明确、全面覆盖的智慧煤矿信息模型;构建了综采设备群空间位姿关系模型,提出了考虑随机误差的强耦合设备群空间坐标统一描述及各设备关联坐标系转换方法,建立了多参量融合分析和评估的开采环境-生产系统耦合关系模型,为煤矿装备位姿控制及智能决策提供支撑;给出了时变多因素影响下的开采设备群全局最优规划和分布式协同控制方法。将综采设备群全局最优规划归结为一个二次积分模型的燃料最优规划问题,提出了基于多模态控制的综采设备群全局最优推进路径规划及控制策略,可兼顾开采条件、设备能力、工艺流程及能量消耗,确保生产成本、效率的有效改善。给出了同时考虑环境干扰和传感器数据时延特性的液压支架群组分布式协同控制方法。上述基础架构和数学模型为深层次挖掘智慧煤矿海量信息之间的关联关系、解决大数据环境下开采系统的最优化协同控制、实现复杂地质条件下连续稳定开采提供了基础理论支撑,可有效推动智慧煤矿技术的发展。 展开更多
关键词 智慧煤矿 逻辑模型 信息实体 决策控制 协同控制
在线阅读 下载PDF
计算机支持的协同工作系统的时序逻辑模型 被引量:8
5
作者 王国意 史元春 徐光佑 《软件学报》 EI CSCD 北大核心 1998年第3期169-173,共5页
为了使群体能够协同完成任务,CSCW(computersupportedcooperativework)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行... 为了使群体能够协同完成任务,CSCW(computersupportedcooperativework)系统不仅要解决各种分布性、处理应用领域的特殊性,而且要提供面向用户的协作支持,从而使其行为异常复杂.然而对系统行为进行形式化的描述是构造软件系统的必经阶段.为了清晰地描述CSCW系统的行为,使其特定性质的验证成为可能,本文在时序逻辑的基础上,建立了CSCW系统行为的抽象描述模型.在此模型中,CSCW系统由分布运行实体和信息对象组成,系统的主要行为表现为用时序逻辑语言XYZ/E描述的实体间的交互.此模型可较好地对系统的分析和构造进行指导. 展开更多
关键词 CSCW 时序逻辑模型 人机系统 软件工程
在线阅读 下载PDF
中英文双语交叉过滤的逻辑模型 被引量:9
6
作者 林鸿飞 李业丽 姚天顺 《计算机工程与应用》 CSCD 北大核心 2000年第8期48-50,共3页
文章简要地描述了文本过滤的背景,提出了基于潜在语义索引的中英文双语交叉过滤的逻辑模型。其基本思想是改进双语交叉过滤中基于词汇对译的方法,而是利用双语文本中潜在的语义结构,作为用户模板与文本匹配的基础。将出现的双语词汇... 文章简要地描述了文本过滤的背景,提出了基于潜在语义索引的中英文双语交叉过滤的逻辑模型。其基本思想是改进双语交叉过滤中基于词汇对译的方法,而是利用双语文本中潜在的语义结构,作为用户模板与文本匹配的基础。将出现的双语词汇和文本映射为语义空间的向量,不必翻译对译词,甚至不需要出现相应的对译词,也能匹配成功,极大地改善了交叉过滤的精度,效果良好。 展开更多
关键词 中英文双语交叉过滤 用户模板 逻辑模型
在线阅读 下载PDF
安全协议的扩展Horn逻辑模型及其验证方法 被引量:7
7
作者 李梦君 李舟军 陈火旺 《计算机学报》 EI CSCD 北大核心 2006年第9期1666-1678,共13页
分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn... 分析了Bruno Blanchet和Martin Abadi提出的基于Horn逻辑的安全协议模型及其验证方法,针对它们构造不满足安全性质的安全协议反例的不足,提出了安全协议的扩展Horn逻辑模型和修改版本的安全协议验证方法,使得能够从安全协议的扩展Horn逻辑模型和修改版本的安全协议验证过程中自动构造不满足安全性质的安全协议反例.在基于函数式编程语言Objective Caml开发的安全协议验证工具SPVT中,实现了上述算法,验证了算法的正确性. 展开更多
关键词 安全协议 扩展Horn逻辑模型 形式化验证
在线阅读 下载PDF
论情报检索的逻辑模型 被引量:11
8
作者 巢乃鹏 倪波 《情报学报》 CSSCI 北大核心 2000年第1期1-10,共10页
近年来,利用逻辑来建构情报检索系统的模型逐渐成为国际情报学界研究的一大热点。本文对这一新兴领域进行了全面的概述,指出了情报检索古典逻辑模型的不足之处。
关键词 信息 情报检索 逻辑模型 模型
在线阅读 下载PDF
耿贝尔逻辑模型在极值风速和有效波高联合概率分布中的应用 被引量:26
9
作者 周道成 段忠东 《海洋工程》 CSCD 北大核心 2003年第2期45-51,共7页
首先介绍了耿贝尔逻辑模型,采用该模型对南海海域的涠州岛海洋站的风速和有效波高实测数据进行了分析,结果表明耿贝尔逻辑模型较好地描述了年极值风速和有效波高两随机变量的联合分布;采用得到的极值风浪联合概率分布推算了不同重现期... 首先介绍了耿贝尔逻辑模型,采用该模型对南海海域的涠州岛海洋站的风速和有效波高实测数据进行了分析,结果表明耿贝尔逻辑模型较好地描述了年极值风速和有效波高两随机变量的联合分布;采用得到的极值风浪联合概率分布推算了不同重现期的极值风速和波高,表明考虑风速和波高相关性对设计荷载的确定有显著影响。由于耿贝尔逻辑模型具有函数结构简单,参数估计方便,因此有望成为极值风速和波高联合分布的较理想概率模型。 展开更多
关键词 耿贝尔逻辑模型 联合概率分布 边缘分布 相关系数
在线阅读 下载PDF
构建基于逻辑模型的财政支出绩效评价体系——以农业财政支出为例 被引量:31
10
作者 吴建南 刘佳 《中南财经政法大学学报》 CSSCI 北大核心 2007年第2期69-74,共6页
现有评价指标较少对财政支出的整个过程进行评价,难以全面反映财政支出的真实绩效。将逻辑模型引入指标设计中,从“投入—产出—中短期结果—长期结果”四个层面构建财政支出绩效评价指标体系,可更好地体现绩效评价的经济、效率和效果... 现有评价指标较少对财政支出的整个过程进行评价,难以全面反映财政支出的真实绩效。将逻辑模型引入指标设计中,从“投入—产出—中短期结果—长期结果”四个层面构建财政支出绩效评价指标体系,可更好地体现绩效评价的经济、效率和效果原则。 展开更多
关键词 财政支出 逻辑模型
在线阅读 下载PDF
大学生学习满意度测评逻辑模型的构建 被引量:17
11
作者 史秋衡 文静 《大学教育科学》 CSSCI 北大核心 2013年第4期53-60,共8页
逻辑模型表征着组织要素之间的学理关系,成为高等教育系统的主要分析框架之一,运用于大学生学习满意度的评价。基于大学生学习满意度测评结果,使用逻辑模型构建分析框架,从而呈现出各要素指标之间的学理关系、组织流程和出现的绩效结果... 逻辑模型表征着组织要素之间的学理关系,成为高等教育系统的主要分析框架之一,运用于大学生学习满意度的评价。基于大学生学习满意度测评结果,使用逻辑模型构建分析框架,从而呈现出各要素指标之间的学理关系、组织流程和出现的绩效结果、影响形式。根据分类学的视角,在对大学生学习满意度测评构建逻辑模型时,分别对个人发展、群体收获、项目管理和制度建设条件下的大学生满意度进行具体分析与研究,从不同层面构建大学生学习满意度测评的逻辑模型。 展开更多
关键词 逻辑模型 大学生学习满意度 分类学
在线阅读 下载PDF
变革理论逻辑模型在科技评价中的应用及启示 被引量:5
12
作者 陶蕊 胡维佳 《科技进步与对策》 CSSCI 北大核心 2015年第12期119-123,共5页
变革理论(Theory of Change)是国际评价界广泛使用的经典评价工具,主要用于分析被评对象的要素和干预措施作用过程,但在我国现行的科技评价实践中尚未引入该工具。在阐述变革理论的基础上,尝试提出科技项目的变革理论模型,最后结合案例... 变革理论(Theory of Change)是国际评价界广泛使用的经典评价工具,主要用于分析被评对象的要素和干预措施作用过程,但在我国现行的科技评价实践中尚未引入该工具。在阐述变革理论的基础上,尝试提出科技项目的变革理论模型,最后结合案例,分析该模型如何在评价中应用。 展开更多
关键词 变革理论 逻辑模型 科技评价
在线阅读 下载PDF
人工神经网络的逻辑模型 被引量:1
13
作者 李川 吴晟 +2 位作者 刘辉 李俊 黄才文 《计算机应用》 CSCD 北大核心 2003年第z1期227-228,共2页
引入了统一建模语言 (UML)的方法 ,建立了一种神经网络的面向对象模型 ,即神经网络的逻辑模型。在神经网络的静态结构中 ,类图描述了组成神经网络的基本元素及其相互关系 ,包括 :神经元、神经元集、输入层、中间层、输出层、神经元层、... 引入了统一建模语言 (UML)的方法 ,建立了一种神经网络的面向对象模型 ,即神经网络的逻辑模型。在神经网络的静态结构中 ,类图描述了组成神经网络的基本元素及其相互关系 ,包括 :神经元、神经元集、输入层、中间层、输出层、神经元层、训练层和辅助层 ,并通过继承抽象神经网络类给出了具体的神经网络类。在神经网络的动态运行中 ,活动图把神经网络的活动状态分成外部激励和内部运行两组 。 展开更多
关键词 神经网络 逻辑模型 类图 活动图.
在线阅读 下载PDF
基于表单的业务系统界面逻辑模型获取的研究 被引量:3
14
作者 梁伟晟 李磊 《计算机工程》 CAS CSCD 北大核心 2007年第5期56-58,共3页
为了支持界面设计的自动化,国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些需求模型元素的算法。
关键词 需求模型 用户界面逻辑模型 表单
在线阅读 下载PDF
DES算法的一种电路逻辑模型及实现方案 被引量:1
15
作者 戴紫彬 苏锦海 +1 位作者 刘建国 张顺新 《系统工程与电子技术》 EI CSCD 北大核心 2002年第5期88-90,共3页
密码技术是信息安全的关键技术 ,密码算法的快速实现日益重要 ,解决这一问题的有效途径之一是采用CPLD/FPGA实现算法。通过对数据加密标准DES算法的分析 ,设计了一种针对该算法的电路模型 ,并给出了基于Altera公司的CPLD的实现方案。针... 密码技术是信息安全的关键技术 ,密码算法的快速实现日益重要 ,解决这一问题的有效途径之一是采用CPLD/FPGA实现算法。通过对数据加密标准DES算法的分析 ,设计了一种针对该算法的电路模型 ,并给出了基于Altera公司的CPLD的实现方案。针对DES算法的关键部分S盒 ,讨论了几种可能的设计方案 ,给出了优化结果 ,并对结果做出比较。该算法已经下载到FLEX10K30E器件内 ,加 /解密速度可达 2 0 展开更多
关键词 DES算法 电路逻辑模型 保密通信
在线阅读 下载PDF
农村人群就医选择行为逻辑模型构建 被引量:1
16
作者 张宇 张鹭鹭 +1 位作者 马玉琴 欧崇阳 《中国全科医学》 CAS CSCD 北大核心 2010年第22期2467-2470,共4页
目的分析我国农村人群就医选择行为模型主要回路,建立逻辑模型,为国家农村卫生政策制定提供理论与方法学依据。方法依据系统动力学(system dynamics,SD)理论,应用Multi-Agent建模技术,构建农村人群就医选择行为逻辑模型。结果分析主体... 目的分析我国农村人群就医选择行为模型主要回路,建立逻辑模型,为国家农村卫生政策制定提供理论与方法学依据。方法依据系统动力学(system dynamics,SD)理论,应用Multi-Agent建模技术,构建农村人群就医选择行为逻辑模型。结果分析主体行为规则、关联特征与模型主要回路,并在此基础上构建农村人群就医选择行为逻辑模型。结论系统动力学建模方法是研究农村人群就医行为复杂性的有效工具,模型能有效分析并解释系统主体行为特征,促进农村人群健康水平。 展开更多
关键词 农村人群 就医 逻辑模型
在线阅读 下载PDF
CSCW时序逻辑模型交互行为的正确性研究 被引量:1
17
作者 张俊彩 余镇危 潘耘 《计算机工程与应用》 CSCD 北大核心 2003年第5期121-123,共3页
正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为,较好地实现了CSCW的系统要求。文章在XYZ系统的框架内,从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面,对CSCW的... 正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为,较好地实现了CSCW的系统要求。文章在XYZ系统的框架内,从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面,对CSCW的时序逻辑模型交互行为描述的正确性进行了论证,这为CSCW时序逻辑模型的实现奠定了坚实的基础。 展开更多
关键词 CSCW 时序逻辑模型 交互行为 正确性 正确性证明 软件系统
在线阅读 下载PDF
基于逻辑模型的雷达目标识别方法研究 被引量:1
18
作者 杨峰 赵鹏鹏 李磊 《弹箭与制导学报》 CSCD 北大核心 2012年第1期199-200,204,共3页
文中定义了目标逻辑模型概念。根据目标逻辑模型,建立了目标属性分布函数和目标属性矩阵(MS矩阵),提出了基于逻辑模型的目标识别方法。以目标高度、目标速度和散射面积为目标逻辑模型参量,任意抽取三组目标参数样本对逻辑模型识别法进... 文中定义了目标逻辑模型概念。根据目标逻辑模型,建立了目标属性分布函数和目标属性矩阵(MS矩阵),提出了基于逻辑模型的目标识别方法。以目标高度、目标速度和散射面积为目标逻辑模型参量,任意抽取三组目标参数样本对逻辑模型识别法进行了仿真,结果表明该方法具有原理简单、易于实现、可信度高等特点。 展开更多
关键词 目标识别 逻辑模型 属性分布函数 属性矩阵
在线阅读 下载PDF
地方医院动员系统逻辑模型构建 被引量:1
19
作者 栗美娜 张鹭鹭 +3 位作者 许苹 连斌 马玉琴 张振华 《中国医院》 2010年第3期34-36,共3页
研究分析了地方医院动员系统各主体之间的定性关系,通过主体关联分析及主回路分析建立地方医院动员系统的逻辑模型,揭示该系统内部及其与自身社会环境间的复杂相互联系。
关键词 地方医院 动员系统 逻辑模型
在线阅读 下载PDF
图书馆全面社会价值评估的逻辑模型与标准化测度公式 被引量:6
20
作者 熊伟 《国家图书馆学刊》 CSSCI 北大核心 2012年第2期37-43,共7页
社会价值评估是图书馆评估工作的高级发展阶段。基效价值评估、绩效价值评估、成效价值评估和乘效价值评估顺序关联构成图书馆全面社会价值评估的逻辑模型。综合馆力、智力资本、相对竞争力、社会信息化程度、用户全息共享水平、用户利... 社会价值评估是图书馆评估工作的高级发展阶段。基效价值评估、绩效价值评估、成效价值评估和乘效价值评估顺序关联构成图书馆全面社会价值评估的逻辑模型。综合馆力、智力资本、相对竞争力、社会信息化程度、用户全息共享水平、用户利用转化能力和社会应用扩散能力等主要因素,影响着图书馆对社会投入实现创造性转移与倍增性输出的价值变换过程。特定图书馆显在社会价值产出总增量的标准化测度公式为:Y=ABCDEτ(1+α)(1+β)(1+γ)X。 展开更多
关键词 图书馆 社会价值评估 逻辑模型 标准化测度
在线阅读 下载PDF
上一页 1 2 22 下一页 到第
使用帮助 返回顶部