期刊文献+
共找到11,305篇文章
< 1 2 250 >
每页显示 20 50 100
Individual Software Expertise Formalization and Assessment from Project Management Tool Databases
1
作者 Traian-Radu Plosca Alexandru-Mihai Pescaru +1 位作者 Bianca-Valeria Rus Daniel-Ioan Curiac 《Computers, Materials & Continua》 2026年第1期389-411,共23页
Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods... Objective expertise evaluation of individuals,as a prerequisite stage for team formation,has been a long-term desideratum in large software development companies.With the rapid advancements in machine learning methods,based on reliable existing data stored in project management tools’datasets,automating this evaluation process becomes a natural step forward.In this context,our approach focuses on quantifying software developer expertise by using metadata from the task-tracking systems.For this,we mathematically formalize two categories of expertise:technology-specific expertise,which denotes the skills required for a particular technology,and general expertise,which encapsulates overall knowledge in the software industry.Afterward,we automatically classify the zones of expertise associated with each task a developer has worked on using Bidirectional Encoder Representations from Transformers(BERT)-like transformers to handle the unique characteristics of project tool datasets effectively.Finally,our method evaluates the proficiency of each software specialist across already completed projects from both technology-specific and general perspectives.The method was experimentally validated,yielding promising results. 展开更多
关键词 Expertise formalization transformer-based models natural language processing augmented data project management tool skill classification
在线阅读 下载PDF
自“形式连接”向“实质融合”:教育强国建设背景下中小学综合体育活动实施困境与突破路径
2
作者 陈海雄 汤长发 +1 位作者 张强峰 崔龙 《武汉体育学院学报》 北大核心 2026年第2期86-93,共8页
在梳理我国中小学综合体育活动实施形态、主要变化与价值体现基础上,借助“形式连接”向“实质融合”理论逻辑,剖析中小学综合体育活动实施困境及原因,并提出优化路径。研究发现,中小学综合体育活动“上学日校内加节假日校外”与“校内... 在梳理我国中小学综合体育活动实施形态、主要变化与价值体现基础上,借助“形式连接”向“实质融合”理论逻辑,剖析中小学综合体育活动实施困境及原因,并提出优化路径。研究发现,中小学综合体育活动“上学日校内加节假日校外”与“校内不够校外补”的两种实施形态,强化了学校的主体责任,学校教育主阵地进一步稳固。但总体来看,中小学综合体育活动的学校整体实施忙于时间累加,教师具体落实难免认知分歧,条件组织保障存在先天不足等形式连接困境,其原因在于系统整体设计欠缺、综合育人思维缺失,质量监控建设滞后,需要从压实学校主体责任、强化教师团队学习、变革学校组织文化等方面实现实质融合。 展开更多
关键词 教育强国建设 中小学 综合体育活动 形式连接 实质融合
在线阅读 下载PDF
基于事件逻辑的改进型Helsinki协议的形式化分析
3
作者 肖美华 罗运先 钟小妹 《计算机应用与软件》 北大核心 2026年第1期325-332,共8页
安全协议是现代网络通信的基础,证明协议的安全性问题是当今研究热点之一。事件逻辑是一种基于事件系统证明协议安全属性的形式化方法,结合事件类以及事件序语言,利用原子类型表示随机数、密钥等不可猜测的数据,能有效刻画协议系统。针... 安全协议是现代网络通信的基础,证明协议的安全性问题是当今研究热点之一。事件逻辑是一种基于事件系统证明协议安全属性的形式化方法,结合事件类以及事件序语言,利用原子类型表示随机数、密钥等不可猜测的数据,能有效刻画协议系统。针对改进型Helsinki协议的安全性问题,对事件逻辑扩充谓词Fresh和FirstSend及其推理规则,利用扩充后的事件逻辑对协议进行形式化分析,首先对协议构建基本序列,然后通过事件逻辑对协议的认证性以及秘密性进行形式化规约,最后利用公理系统和推理规则证明改进型Helsinki协议满足认证性和秘密性。结果表明事件逻辑理论能有效证明安全协议的认证性和秘密性。 展开更多
关键词 安全协议 事件逻辑 形式化方法 Helsinki协议
在线阅读 下载PDF
弱化·重构·消解·新建:西方当代音乐的曲式演变路径
4
作者 陈鸿铎 《星海音乐学院学报》 北大核心 2026年第2期48-72,共25页
对于西方当代音乐中的曲式演进,一直以来个案研究较多,而整体性研究较为缺乏。针对这一现状,文章以弱化、重构和消解三个角度,从整体上就西方当代音乐曲式创新的演变路径进行深入探讨,提出并分析了“一体化结构”“偶然结构”“循环相... 对于西方当代音乐中的曲式演进,一直以来个案研究较多,而整体性研究较为缺乏。针对这一现状,文章以弱化、重构和消解三个角度,从整体上就西方当代音乐曲式创新的演变路径进行深入探讨,提出并分析了“一体化结构”“偶然结构”“循环相位结构”与“时段结构”等四种新的结构类型。 展开更多
关键词 曲式范式 弱化 重构 消解 演变路径 过程曲式
在线阅读 下载PDF
土地流转、经营规模与农户借贷
5
作者 尹志超 蒋佳伶 《改革》 北大核心 2026年第3期103-118,共16页
提升农村家庭信贷可得性是推进乡村全面振兴、夯实社会主义现代化强国根基的重要举措。基于中国家庭金融调查(CHFS)2017、2019、2021、2023年的面板数据,运用固定效应模型和工具变量法估计了土地流转和经营规模对农户借贷的影响。研究发... 提升农村家庭信贷可得性是推进乡村全面振兴、夯实社会主义现代化强国根基的重要举措。基于中国家庭金融调查(CHFS)2017、2019、2021、2023年的面板数据,运用固定效应模型和工具变量法估计了土地流转和经营规模对农户借贷的影响。研究发现,土地流入显著促进家庭进行农业经营正规借贷和农业经营民间借入。进一步研究发现,土地流入增加了土地经营规模,土地经营规模扩大通过提高生产效率、扩大生产要素投入两种渠道提升农户信贷可得性。 展开更多
关键词 土地流转 土地经营规模 正规借贷 民间借贷
在线阅读 下载PDF
基于时间-事件逻辑的ID-AOFE协议形式化分析
6
作者 肖美华 乔珊珊 杨科 《郑州大学学报(理学版)》 北大核心 2026年第2期48-54,共7页
公平交换协议旨在为数字信息交换提供安全、公平的机制,分析该类协议的公平性是信息安全领域中一个重要的研究内容。时间-事件逻辑具有描述协议主体知识和状态随时间变化的机制,是一种分析协议安全属性的有效方法。基于时间-事件逻辑针... 公平交换协议旨在为数字信息交换提供安全、公平的机制,分析该类协议的公平性是信息安全领域中一个重要的研究内容。时间-事件逻辑具有描述协议主体知识和状态随时间变化的机制,是一种分析协议安全属性的有效方法。基于时间-事件逻辑针对公平交换协议中主体互不信任、存在欺骗行为的特点,通过分析当协议结束运行时,是否存在使不诚实主体获得额外优势的策略来分析协议的公平性。以一个基于身份的混淆乐观公平交换(identity based-ambiguous optimistic fair exchange,ID-AOFE)协议为例进行分析,定义了一种规范的消息交互过程,对ID-AOFE协议消息交互过程中的时间进行了细粒度分析,发现协议中存在两个公平性漏洞,结合图形描述方式给出了攻击发生的全过程,说明了时间-事件逻辑理论的有效性。 展开更多
关键词 形式化方法 时间事件逻辑 ID-AOFE协议 公平性分析
在线阅读 下载PDF
三支决策在提取对象结构信息中的应用
7
作者 毛华 于俊萍 +2 位作者 刘川 杜宝苍 袁晓垒 《河北大学学报(自然科学版)》 北大核心 2026年第2期194-203,共10页
针对现有三支概念的研究中,仅考虑对象与属性之间关系所产生的知识内容,却忽略了对象之间的结构信息所产生的知识内容问题,本文将经典的形式概念分析理论与图论相结合,得到对象之间结构信息的图表示,将此表示与三支决策理论有机融合,产... 针对现有三支概念的研究中,仅考虑对象与属性之间关系所产生的知识内容,却忽略了对象之间的结构信息所产生的知识内容问题,本文将经典的形式概念分析理论与图论相结合,得到对象之间结构信息的图表示,将此表示与三支决策理论有机融合,产生新的知识表述——三支全局概念和三支局部概念.通过搭建这2种知识的提取平台——伪双布尔代数,在此平台上实现获取三支全局(局部)概念的方法,并通过与一些已有相关方法的对比,体现出本方法的优势.在由对象导出的三支概念的基础上,挖掘出蕴含对象之间结构信息的知识,丰富了三支概念知识体系,为利用三支决策理论挖掘概念知识提供了一种新思路. 展开更多
关键词 形式概念分析 图论 对象结构信息 三支决策 知识提取
在线阅读 下载PDF
图像的“褶皱”:图像的形式之变及其社会阐释模式——兼论图像阐释学的文化逻辑问题
8
作者 刘涛 《暨南学报(哲学社会科学版)》 北大核心 2026年第1期92-108,共17页
图像在其生命历程中,往往承受着诸多力量、话语、欲望的塑造——无论是作者的重绘或重刻,还是他人的临摹或翻刻,图像由此呈现出一定的形变。图像的形式之变已然上升为一个有待回应的图像阐释学问题。如同一个有待“展开”的视觉“褶皱”... 图像在其生命历程中,往往承受着诸多力量、话语、欲望的塑造——无论是作者的重绘或重刻,还是他人的临摹或翻刻,图像由此呈现出一定的形变。图像的形式之变已然上升为一个有待回应的图像阐释学问题。如同一个有待“展开”的视觉“褶皱”,图像中的“变化”是图像观念史研究的重要阐释“入口”,其中潜藏着图像形式与社会观念之间的接合密码和转化语言。因此,图像阐释学亟待探索和发展以“形变”为方法的社会阐释模式:一方面将形变视为一种生成之物,探讨图像变化背后的连接模式;另一方面将形变视为一个意义事件,探讨图像变化深层的社会逻辑。相应地,图像的社会阐释模式主要包括三个阐释层次——“有何变化”旨在打开图像本体维度的形式逻辑;“为何变化”旨在回应图像传播维度的功能逻辑;“变化何为”旨在发掘图像观念维度的文化逻辑。为了阐明图像的社会阐释方法,本文进一步聚焦于著名版画家古元在延安时期先后创作的版画《离婚诉》(1940/1942),研究发现,在“文艺下乡”和整风运动语境下,《离婚诉》的形式之变悄然诉说着一场正在发生的社会文化之变。 展开更多
关键词 图像社会学 图像阐释 形式之变 褶皱 古元 《离婚诉》
在线阅读 下载PDF
官民共举 礼俗兼具:明清浙江地区迎春礼及其用乐
9
作者 柏互玖 叶青 《星海音乐学院学报》 北大核心 2026年第1期11-24,共14页
迎春礼作为中国古代重要岁时礼仪,源于先秦,发展至明清已然成熟,形成了完备的仪式体系。明清时期,浙江地区迎春礼作为官民共举的重要典礼,兼具嘉礼与吉礼的双重属性,形成中央与地方分层、礼制与礼俗融合的实践样态。浙江地区迎春礼分“... 迎春礼作为中国古代重要岁时礼仪,源于先秦,发展至明清已然成熟,形成了完备的仪式体系。明清时期,浙江地区迎春礼作为官民共举的重要典礼,兼具嘉礼与吉礼的双重属性,形成中央与地方分层、礼制与礼俗融合的实践样态。浙江地区迎春礼分“迎春”“鞭春”两日进行,官方主导仪式流程,民间参与制作神祇、祈愿占验等活动,共同构建起从准备、迎接至祭祀、祈福的完整仪式。在用乐方面,官府以鼓乐导行,彰显其权威性。民间以装扮、演剧等形式参与仪式,增加其娱乐性。明清浙江地区迎春礼及其用乐呈现官民共举、礼俗兼具的样态。 展开更多
关键词 迎春礼 明清 浙江 礼制 礼俗
在线阅读 下载PDF
正式环境规制强度对企业绩效的门槛效应研究——基于重污染行业的数据
10
作者 袁亮 曾文生 +1 位作者 程娟 陈玉颖 《生态经济》 北大核心 2026年第1期210-218,共9页
基于重污染行业数据,构建面板门槛模型,分析正式环境规制强度对重污染行业企业绩效的门槛效应。研究发现:(1)对于重污染行业,正式环境规制强度对企业绩效存在单门槛效应,当正式环境规制强度高于中等规制强度时,对企业绩效存在显著的正... 基于重污染行业数据,构建面板门槛模型,分析正式环境规制强度对重污染行业企业绩效的门槛效应。研究发现:(1)对于重污染行业,正式环境规制强度对企业绩效存在单门槛效应,当正式环境规制强度高于中等规制强度时,对企业绩效存在显著的正向促进作用;当正式环境规制强度低于中等强度时,则不存在显著促进作用。(2)正式环境规制强度对国有和民营企业绩效均存在单门槛效应。对于民营企业,当正式环境规制强度高于中等规制强度时,对企业绩效存在显著的正向促进作用;当强度低于中等强度时,则不存在显著促进作用。(3)正式环境规制强度对不同规模企业绩效均存在单门槛效应,当正式环境规制强度低于中等规制强度时,对大规模企业绩效的提升存在正向促进作用,而对中小规模企业绩效会产生负向抑制作用。基于此,从政府和企业两个维度提出重污染行业企业高质量绿色发展的对策与建议。 展开更多
关键词 正式环境规制强度 企业绩效 门槛效应 重污染行业
原文传递
分类推进高校改革发展及其价值取向
11
作者 刘振天 钟蕊坤 《现代教育管理》 北大核心 2026年第1期14-28,共15页
我国已建成世界规模最大、结构多样齐全的高等教育体系,但“结构已分、功能未分”“声望单峰、同质竞逐”等形式多样化问题仍然突出,尚未实现实质多样化。我国高等教育形式多样化具体表现在横向和纵向两个维度,在横向维度上呈现明显的... 我国已建成世界规模最大、结构多样齐全的高等教育体系,但“结构已分、功能未分”“声望单峰、同质竞逐”等形式多样化问题仍然突出,尚未实现实质多样化。我国高等教育形式多样化具体表现在横向和纵向两个维度,在横向维度上呈现明显的外观与结构多样化,在纵向维度上呈现一定梯度分层。高等教育实质多样化以多层级、全流程分类为纲,实行按类型的资源精准供给与培养目标制定,以确保高等教育体系分工有秩、协同有效、运转有序,具体包括“系统—省域—类别内部—教育过程”四个层次实质多样化体系。为此,建议从目标、结构、评价、观念和体制机制五个维度分类推进高校改革发展,促使各类高校“各安其道而卓越”。一是入口分类,先定类型化培养目标与规格,再定招生与流动规则;二是类别画像,以数据与案例构建高校类型学画像与发展图谱;三是评价分道,坚持人机共评、学生为本,构建“应为”与“能为”双层指标体系;四是观念革新,以类型平权取代优劣等级,重塑“多路径成才”的公共叙事;五是主体分工,政府、高校、市场之间形成平衡的制度化协同。 展开更多
关键词 高等教育 形式多样化 实质多样化 高校分类改革 教育强国
在线阅读 下载PDF
当代语言学关键词·意义单位
12
作者 卫乃兴 《外语研究》 北大核心 2026年第2期1-7,112,F0003,共9页
本文系统评述语料库语言学中最具影响力的概念——意义单位,阐述其核心构成、要义及其演变的内在逻辑。简而言之,意义单位这一复杂概念几经表述与修订,已发展为一个系统完整的理论,体现在约翰·辛克莱于20世纪最后20年间相继提出的... 本文系统评述语料库语言学中最具影响力的概念——意义单位,阐述其核心构成、要义及其演变的内在逻辑。简而言之,意义单位这一复杂概念几经表述与修订,已发展为一个系统完整的理论,体现在约翰·辛克莱于20世纪最后20年间相继提出的成语原则模型、扩展意义单位模型以及意义移变单位理论。意义单位理论认为,交际过程中的语言选择是在意义驱动下的词语共选,由此产生大量高频的意义-句法复合体,成为事实上的意义承载单位和文本构建单位,严重挑战了传统语言理论所秉持的“句法主导下的单词自足意义单位”观点。这些理论论证了意义单位的核心构成、不同层面上的词语共选及其结构配置特征,表述了词汇-语法一体、形式-意义同一等重要立场,对人们理解意义传递、语言生成及文本构建具有重要的形塑意义。 展开更多
关键词 成语原则 扩展意义单位 意义移变 意义-句法复合体 形式构型
在线阅读 下载PDF
非正规经济就业者社会保障的路径选择思考——基于国际劳工组织公约、建议及系列报告解析
13
作者 孙启泮 《黑河学院学报》 2026年第3期59-62,共4页
缺乏全面有力的社会保障是非正规经济就业者脆弱性的一个重要来源。国际劳工组织的关于非正规经济就业者的公约、建议及出版的系列报告对我国非正规经济就业者的社会保障权利完善提供有益的参考。非正规经济就业者的社会保障权利的实现... 缺乏全面有力的社会保障是非正规经济就业者脆弱性的一个重要来源。国际劳工组织的关于非正规经济就业者的公约、建议及出版的系列报告对我国非正规经济就业者的社会保障权利完善提供有益的参考。非正规经济就业者的社会保障权利的实现路径包括制定、实施灵活的社会保障政策,完善非正规经济就业者社会保障体系;完善社会保障法律、法规制度体系,扩大社会保障覆盖的就业者范围,夯实非正规经济就业者的社会保障权利;加大非正规经济就业者社会保障的合规化和激励措施;加强非正规经济就业者社会保障权利的宣传和认识;促进非正规经济向正规经济的社会转型,实现非正规经济就业者社会保障正规化。 展开更多
关键词 非正规经济 正规经济 社会保障 路径选择
在线阅读 下载PDF
国家间政治关系对中间品贸易网络韧性的影响——基于RCEP区域的经验研究
14
作者 胡昭玲 张静婷 《云南财经大学学报》 北大核心 2026年第3期26-38,共13页
在地缘政治冲突频发的背景下,国家间政治关系对中间品贸易网络韧性的影响机理值得关注。基于1995—2020年联合国大会投票数据库和OECD-ICIO表的匹配数据分析国家间政治关系对RCEP成员国中间品贸易网络韧性的影响。研究发现:国家间友好... 在地缘政治冲突频发的背景下,国家间政治关系对中间品贸易网络韧性的影响机理值得关注。基于1995—2020年联合国大会投票数据库和OECD-ICIO表的匹配数据分析国家间政治关系对RCEP成员国中间品贸易网络韧性的影响。研究发现:国家间友好政治关系显著提升RCEP成员国中间品贸易网络韧性。机制检验表明,正式制度视角的自由贸易协定深化效应大于非正式制度视角的跨国信任程度提升效应。异质性检验表明,国家间政治关系的显著促进作用发生在后金融危机时代;不同类型国家间政治关系的改善发挥显著提升作用,并且对北方国家、非东盟国家、低政治风险国家的影响尤为强烈;而东盟国家间友好政治关系抑制其中间品贸易网络韧性的提高。分位数检验表明,国家间友好政治关系的推动作用随着分位点数的增加而减弱。研究结论对中国协调国际政治关系以应对外部风险冲击、强化亚太区域经济合作具有重要的现实意义。 展开更多
关键词 国家间政治关系 RCEP区域 中间品贸易网络韧性 正式制度 非正式制度
在线阅读 下载PDF
显隐之间——徽州木雕的图像营造与形成机制研究
15
作者 伍鹏飞 《大连大学学报》 2026年第2期126-133,共8页
徽州木雕图像不仅是建筑装饰,更是徽商身份建构与文化记忆的物质媒介。利用田野调查与图像学、符号学方法,以“显隐之间”为视角,可以揭示其生成机制。徽州木雕在造型上采用“刀代笔、体代面”与层叠满雕的视觉范式,通过吉祥符号双重编... 徽州木雕图像不仅是建筑装饰,更是徽商身份建构与文化记忆的物质媒介。利用田野调查与图像学、符号学方法,以“显隐之间”为视角,可以揭示其生成机制。徽州木雕在造型上采用“刀代笔、体代面”与层叠满雕的视觉范式,通过吉祥符号双重编码、三教世俗化再造及图文互渗,将经济资本转化为文化—象征资本,固化宗族、国家、乡土多重认同,形成程朱理学主导的“评、观、作”模式,使木雕成为身份与记忆的能动场域,“显隐”机制贯穿创作与观看全环节,将“贾而好儒”转化为可传承的物质叙事。本研究突破装饰性范式,为徽州建筑木雕图像研究提供了新路径。 展开更多
关键词 徽州木雕 造型范式 身份建构 形成机制
在线阅读 下载PDF
译字·译音·译形·译意——何为“以诗译诗”?
16
作者 张智中 《湖南工业大学学报(社会科学版)》 2026年第1期56-63,共8页
中国古诗的英译,大概有四种策略:逐字的翻译,押韵的翻译,形似的翻译,自由的翻译。就中国译者而言,押韵的翻译,占据多数,所谓格律派译者。译者常言“以诗译诗”,但究竟何谓“以诗译诗”?一般认为,译诗只要押韵,便是“以诗译诗”,其实并... 中国古诗的英译,大概有四种策略:逐字的翻译,押韵的翻译,形似的翻译,自由的翻译。就中国译者而言,押韵的翻译,占据多数,所谓格律派译者。译者常言“以诗译诗”,但究竟何谓“以诗译诗”?一般认为,译诗只要押韵,便是“以诗译诗”,其实并非如此。译诗,不见得非要严格遵守原诗的文字和音韵,而是要忠于原诗之诗意、之意境,这才是真正意义上的“以诗译诗”。译者只有采取灵活而诗意之手法,才能真正“以诗”译诗,译出真正意义上的诗歌佳作。另外,押尾韵,并非判断格律体译诗的唯一标准,头韵、元音韵等,如果运用足够密集,也当归于格律体译诗之类。译字、译音、译形,都必须服务于译意,译意是译诗的最高境界。 展开更多
关键词 译字 译音 译形 译意 以诗译诗
在线阅读 下载PDF
数字乡村建设中形式主义的表征、归因与消解
17
作者 鹿斌 高金越 《江西农业学报》 2026年第2期127-132,共6页
数字乡村建设对实现乡村全面振兴及数字中国建设具有重要的推动作用,而技术应用的规范化水平有待提升,技术与组织之间的适配度也存在一定差距,易于产生形式主义问题,进而影响数字乡村的发展。基于对现有研究的梳理和对实践的观察,尝试... 数字乡村建设对实现乡村全面振兴及数字中国建设具有重要的推动作用,而技术应用的规范化水平有待提升,技术与组织之间的适配度也存在一定差距,易于产生形式主义问题,进而影响数字乡村的发展。基于对现有研究的梳理和对实践的观察,尝试构建“技术—组织”分析框架对数字乡村建设中形式主义的生成逻辑进行分析。研究表明,技术与组织互动异化会对基层干部产生影响,进而引发技术刚性对组织弹性、组织刚性对技术弹性的双重负面影响,滋生形式主义问题。为消解数字乡村建设中的形式主义问题,建议通过调节治理压力平衡点、加快技术的价值理性融合、推动组织的观念复位与行为重塑等路径,持续推进贴合乡村实际情境下的技术应用与组织优化,以期实现技术与组织的良性互构,从源头遏制数字乡村建设中的形式主义问题。 展开更多
关键词 数字乡村建设 形式主义 价值理性 技术与组织互构
在线阅读 下载PDF
美育识要:观念与行动
18
作者 尹少淳 《美育学刊》 2026年第2期1-7,共7页
聚焦美育的观念与行动需从两方面展开,一是从历史溯源角度梳理美育发展脉络,剖析其在不同历史阶段呈现的观念与特点;二是在行动层面,提出体验式学习、掌握形式美法则、环境育人以及利用社会文化艺术资源等具体策略。这些举措旨在为新时... 聚焦美育的观念与行动需从两方面展开,一是从历史溯源角度梳理美育发展脉络,剖析其在不同历史阶段呈现的观念与特点;二是在行动层面,提出体验式学习、掌握形式美法则、环境育人以及利用社会文化艺术资源等具体策略。这些举措旨在为新时代美育的有效开展提供理论支撑与实践指导,进而促进美育在培养全面发展人才中发挥更大作用。 展开更多
关键词 美育观念 美育行动策略 体验式学习 形式美法则 环境育人 审美资源
在线阅读 下载PDF
形式背景的基与基数及其性质
19
作者 张琴 魏玲 《西北大学学报(自然科学版)》 北大核心 2026年第1期141-150,共10页
保持二元关系不变的概念约简是形式概念分析中的一个重要研究方向,可在不丢失原始信息的前提下仅选择一部分概念进行知识发现。一个形式背景的不同概念约简中的概念个数可能不同,其中概念个数最少的概念约简表明用最少的概念就能恢复原... 保持二元关系不变的概念约简是形式概念分析中的一个重要研究方向,可在不丢失原始信息的前提下仅选择一部分概念进行知识发现。一个形式背景的不同概念约简中的概念个数可能不同,其中概念个数最少的概念约简表明用最少的概念就能恢复原始背景的所有二元关系,可极大地简化知识表示方式。首先,给出形式背景的基与基数、最膨胀概念约简及最压缩概念约简的定义,并研究它们的性质;其次,研究形式背景的基与对象概念集(属性概念集)的关系,继而给出对象概念集(属性概念集)是基的等价刻画;最后,从形式背景的Ferrers维数与集合维数角度给出形式背景的基数范围。 展开更多
关键词 形式概念分析 形式背景 概念约简 基数
在线阅读 下载PDF
嵌入式软件IP通用模型
20
作者 徐雄 马旭 +10 位作者 高强 计泽坤 王淑灵 詹博华 詹乃军 李晓锋 顾斌 董晓刚 杨孟飞 刘洋 冀振燕 《软件学报》 北大核心 2026年第3期1240-1263,共24页
软件IP(intellectual property)是具有知识产权的可复用的软件知识实体,是软件智能合成的基石.针对嵌入式系统的关键特性,提出了面向嵌入式系统的软件IP通用模型,包括知识模型、形式模型和实现,并且讨论了它们三者之间的一致性关系.与... 软件IP(intellectual property)是具有知识产权的可复用的软件知识实体,是软件智能合成的基石.针对嵌入式系统的关键特性,提出了面向嵌入式系统的软件IP通用模型,包括知识模型、形式模型和实现,并且讨论了它们三者之间的一致性关系.与目前的主流模型相比,该方法充分考虑了嵌入式系统的关键特性、系统对环境和平台的假设、软件中间知识的表示和使用、模型组装的正确性,以及模型与实现之间的关系,因此具有明显的优势.提出的嵌入式软件IP通用模型在一定程度上揭示了软件构成的本质,即软件并非代码的集合,而是知识、规约和代码的三位一体.此外,为了简化软件IP的使用,根据不同的使用目的(关注点),将软件IP表示为不同的视图.最后,提出从存量嵌入式软件资产提取软件IP的方法,并且通过实际案例展示了提取方法的有效性和可行性. 展开更多
关键词 嵌入式系统 软件IP 智能合成 知识 形式模型
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部