期刊文献+
共找到29篇文章
< 1 2 >
每页显示 20 50 100
一种基于变量依赖关系的需求模型耦合分析方法
1
作者 尹伟 窦霖 +2 位作者 高忠杰 王立松 孙倩 《计算机科学》 北大核心 2025年第7期58-68,共11页
机载软件是典型的安全关键软件,其开发和验证过程在航空业内受到严格控制。机载软件的复杂性和多样性使得需求分析成为关键的研究内容,特别是在需求验证阶段,需要关注系统部件之间的交互方式以及变量之间的依赖关系是否满足预期。对此,... 机载软件是典型的安全关键软件,其开发和验证过程在航空业内受到严格控制。机载软件的复杂性和多样性使得需求分析成为关键的研究内容,特别是在需求验证阶段,需要关注系统部件之间的交互方式以及变量之间的依赖关系是否满足预期。对此,提出了一种面向机载软件需求的基于VRM模型的耦合分析方法,定义了需求中变量之间的依赖关系,通过度量指标来衡量系统部件之间的数据耦合和控制耦合。为了弥补基于需求层面的耦合分析技术的不足,使用VRM模型作为形式化需求模型,在系统需求层次进行建模和分析,有效支撑了DO-178C对数据耦合、控制耦合和软件部件的相关要求。同时,提出了基于变量间层次依赖关系的耦合度量方法,将变量间的关系定义为n叉依赖树的结构,并使用一系列算法对变量划分权重。通过构造变量矩阵、需求变量依赖树等方法对耦合度进行度量,形成了基于变量依赖关系的数据耦合和控制耦合分析原型。该研究突破了基于需求层面的耦合分析技术,为复杂系统的设计提供了帮助,提高了机载软件开发的质量和可靠性。 展开更多
关键词 vrm模型 数据耦合 控制耦合 需求变量依赖树
在线阅读 下载PDF
粗粒土三阶状态相关本构模型研究 被引量:1
2
作者 郭万里 蔡正银 朱俊高 《岩土工程学报》 北大核心 2025年第2期234-242,共9页
岩土工程中普遍存在材料空间变异性问题,对粗粒土而言,其空间变异性主要体现在颗粒级配与密度的非均匀分布。然而,经典的状态相关理论只能描述密度与应力水平这两个状态量的影响,建立能综合考虑级配、密度和应力水平的粗粒土三阶状态相... 岩土工程中普遍存在材料空间变异性问题,对粗粒土而言,其空间变异性主要体现在颗粒级配与密度的非均匀分布。然而,经典的状态相关理论只能描述密度与应力水平这两个状态量的影响,建立能综合考虑级配、密度和应力水平的粗粒土三阶状态相关本构模型是精细化模拟的迫切需求。通过引入归一化级配参数来定量表征粗粒土初始级配的变化,在此基础上提出了考虑级配、密度和应力水平影响的等向固结线和临界状态线方程,并结合广义塑性理论,建立了粗粒土三阶状态相关本构模型。验证结果表明,该模型仅采用一套模型参数,就能较好地反映粗粒土在不同级配、不同密度、不同围压条件下的应力应变特性,可应用于粗粒土工程中考虑材料空间变异性的数值分析。 展开更多
关键词 粗粒土 级配 临界状态 三阶状态相关 本构模型
在线阅读 下载PDF
基于VWM-GRA的新型Fuzzy-FMEA复杂装备风险评估方法 被引量:2
3
作者 程永波 刘晓 +1 位作者 张巧可 万良琪 《机械设计》 CSCD 北大核心 2024年第7期89-98,共10页
失效模式和影响分析(Failure Mode and Effect Analysis,FMEA)是一种识别和预防复杂装备潜在故障模式的风险评估方法,然而,现有FMEA方法采用等权重和精确数表征不确定情形下的风险因素评估信息,导致风险优先数(Risk Priority Number,RPN... 失效模式和影响分析(Failure Mode and Effect Analysis,FMEA)是一种识别和预防复杂装备潜在故障模式的风险评估方法,然而,现有FMEA方法采用等权重和精确数表征不确定情形下的风险因素评估信息,导致风险优先数(Risk Priority Number,RPN)难以准确评估复杂装备故障模式的风险优先级。针对这一难题,文中提出了一种基于变权方法-灰色关联分析(Variable Weight Method-Grey Relation Analysis,VWM-GRA)的新型Fuzzy-FMEA复杂装备风险评估方法。在风险因素权重分配方面,在模糊熵值法的基础上,考虑风险评估信息对风险因素权重的影响,构建风险因素变权综合模型以动态调整风险因素权重值,据此确定风险因素的客观变权重;在风险优先数排序方面,在模糊语言变量表征风险因素评估信息的基础上,考虑风险因素评估信息不确定性量化对故障模式排序精度的影响,构建故障模式模糊灰色关联分析模型,以获取评估信息数据序列间的相对关联度,据此评估故障模式的风险优先级。最后,通过航空发动机主轴轴承的故障模式风险实例,分析验证文中方法的有效性。案例分析表明:该方法能够有效解决不确定情形下准确评估复杂装备故障模式风险优先级的难题。 展开更多
关键词 失效模式和影响分析 变权综合模型 模糊灰色关联分析 风险评估
在线阅读 下载PDF
一个机载软件需求形式化建模与分析实例研究 被引量:5
4
作者 胡军 吕佳润 +3 位作者 王立松 康介祥 王辉 高忠杰 《软件学报》 EI CSCD 北大核心 2022年第5期1652-1673,共22页
现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分... 现代民机机载软件系统的功能与复杂度在快速增长的同时还必须满足更严格的安全标准,使得在机载软件需求层级必须进行诸如一致性、完整性等分析与验证成为重要的挑战.工作基于一个自主设计实现的面向机载软件自然语言需求形式化建模与分析工具平台(ART)展开对座舱显控软件子系统(EICAS)需求的建模与分析,包括:ART工具平台所采用的变量关系(VRM)理论模型、平台架构和平台工具链,基于多范式的需求一致性、完整性形式化分析方法,EICAS系统的条目化初始自然语言需求的形式化建模和需求模型的自动化分析过程,如:需求条目的预处理、规范化处理、需求模型自动生成以及多范式分析等;给出了工程需求实例研究的经验总结和思考. 展开更多
关键词 机载软件形式化建模 变量关系模型 自然语言需求建模 形式化方法
在线阅读 下载PDF
一般关系下的变精度粗糙集模型 被引量:27
5
作者 巩增泰 孙秉珍 +1 位作者 邵亚斌 陈得刚 《兰州大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第6期110-114,共5页
通过分析一般关系下基本粗糙集模型的不足,定义了一般关系下的多数包含关系,借助引入的 误差参数α(0≤α<1/2),给出了一般关系下的变精度粗糙集模型.在该模型中,当α=0时,退化为一般关 系下的基本粗糙集模型(Z.Pawlak模型);当|Rs(... 通过分析一般关系下基本粗糙集模型的不足,定义了一般关系下的多数包含关系,借助引入的 误差参数α(0≤α<1/2),给出了一般关系下的变精度粗糙集模型.在该模型中,当α=0时,退化为一般关 系下的基本粗糙集模型(Z.Pawlak模型);当|Rs(x)|·α=k时(|Rs(x)|表示元素x后继邻域Rs(x)之基 数,k为非负整数),退化为常见的程度粗糙集模型.通过它与一般关系下基本粗糙集模型(Z.Pawlak模 型)的比较,可以看出,在引入误差参数α后,能够使尽可能多的有用信息被提取、挖掘.从而克服了基 本粗糙集模型中由于要求绝对精确的包含关系而使大量有用信息丢失的现象,并讨论了所给模型的一 些性质.最后,在所给模型基础上讨论了一种广义近似空间中集合的相对可辨性、近似依赖和属性约 简. 展开更多
关键词 粗糙集 二元关系 多数包含关系 变精度粗糙集模型
在线阅读 下载PDF
电力变压器运行状态的灰色层次评估模型 被引量:85
6
作者 熊浩 孙才新 +2 位作者 张昀 谭志红 代姚 《电力系统自动化》 EI CSCD 北大核心 2007年第7期55-60,共6页
电力变压器运行状态评估是指导变压器状态检修及提高电力系统运行可靠性的重要手段。根据变压器状态信息的多层次性和多因素性,文中建立和量化了变压器状态评估的层次指标体系。引入了灰色层次评估法,分别建立变压器突变状态和渐变状态... 电力变压器运行状态评估是指导变压器状态检修及提高电力系统运行可靠性的重要手段。根据变压器状态信息的多层次性和多因素性,文中建立和量化了变压器状态评估的层次指标体系。引入了灰色层次评估法,分别建立变压器突变状态和渐变状态评估模型,利用关联层次分析确定变压器的具体状态。指标的权重先由灰色关联分析法确定常权权重,并对常权权重进行修正得到其变权权重,以提高状态评估的准确性。实例分析表明了变压器运行状态的灰色层次评估模型的合理性和有效性。 展开更多
关键词 电力变压器 状态评估 灰色层次评估模型 灰色关联分析 变权 状态检修
在线阅读 下载PDF
智能电网环境下采用关联分析和多变量灰色模型的用电量预测 被引量:36
7
作者 王允平 黄殿勋 +1 位作者 熊浩清 牛元立 《电力系统保护与控制》 EI CSCD 北大核心 2012年第1期96-100,共5页
智能电网的发展将给传统用电方式带来重大变化,在此背景下,基于灰色理论提出一种用电量预测新方法。首先通过灰色关联分析法确定影响用电量的主因素变量,然后采用多变量灰色模型(multi-variable grey model,MGM)(1,n)进行用电量预测,该... 智能电网的发展将给传统用电方式带来重大变化,在此背景下,基于灰色理论提出一种用电量预测新方法。首先通过灰色关联分析法确定影响用电量的主因素变量,然后采用多变量灰色模型(multi-variable grey model,MGM)(1,n)进行用电量预测,该方法能够反映各因素间的相互制约、相互促进的关系,避免了传统灰色模型GM(1,1)未考虑其他随机因素对用电量影响的局限性。对一个实际电力系统的用电量进行预测,结果表明所提方法能有效提高预测精度且适用于中长期电量预测。 展开更多
关键词 智能电网 关联分析 多变量灰色模型 用电量预测
在线阅读 下载PDF
基于灰色模糊变权理论的矿井热害综合评价模型 被引量:11
8
作者 诸葛福民 周刚 +1 位作者 程卫民 鲍庆国 《煤炭科学技术》 CAS 北大核心 2009年第7期60-63,共4页
为了科学评价矿井热害,采用灰色关联分析法和模糊变权评判理论对影响矿井热害的各空气气象参数进行研究,利用模糊统计方法构造各参数的隶属度函数,运用灰色关联分析法确定评判中初始权值的分配,根据各气象参数重要性影响程度的动态变化... 为了科学评价矿井热害,采用灰色关联分析法和模糊变权评判理论对影响矿井热害的各空气气象参数进行研究,利用模糊统计方法构造各参数的隶属度函数,运用灰色关联分析法确定评判中初始权值的分配,根据各气象参数重要性影响程度的动态变化特点,提出了矿井不同采掘工作面热害的多因素模糊变权综合评价模型,并以兖矿集团东滩煤矿的实测数据进行计算,结果表明:当不同采掘工作面空气气象参数较相近时,该研究所提出的评价模型比普通模糊评判法的精度高。 展开更多
关键词 灰色关联分析 模糊变权理论 矿井热害 综合评价模型
在线阅读 下载PDF
输入变量关联约束对约束优化控制的影响特性分析 被引量:5
9
作者 罗雄麟 周晓龙 王书斌 《自动化学报》 EI CSCD 北大核心 2013年第5期679-689,共11页
过程工业控制中除了存在常见的输入变量和输出变量幅值高低限约束,由于工艺或者控制的需要也可能具有关于输入变量线性函数的关联约束.不同约束条件之间的矛盾可能会造成约束条件无法全部满足,失去了实施预测控制的基础.从凸体顶点角度... 过程工业控制中除了存在常见的输入变量和输出变量幅值高低限约束,由于工艺或者控制的需要也可能具有关于输入变量线性函数的关联约束.不同约束条件之间的矛盾可能会造成约束条件无法全部满足,失去了实施预测控制的基础.从凸体顶点角度,将具有输入关联约束的约束优化控制的可行性判定转化为凸多面集是否非空的问题.为保证具有输入关联约束预测控制的有效实施,本文将输入关联约束纳入到预测控制控制律的求解当中.基于Newton控制框架,考虑具有输入关联约束条件下,得到基于区间控制思想的预测控制律的解析表达式,从而分析输入关联约束条件对控制的影响.通过典型系统模型的控制仿真实验,验证以上方法的有效性. 展开更多
关键词 输入变量关联约束 可行性 凸多面集 预测控制
在线阅读 下载PDF
ⅡS中基于限制容差关系的变精度粗糙集模型 被引量:4
10
作者 曾雪兰 梅良才 +1 位作者 陈胜 于莹莹 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第6期819-822,共4页
在不完备信息系统中的限制容差关系的基础上,建立了变精度粗糙集模型,并且对其相关性质进行了分析。从构造区分函数出发,给出了求不完备信息系统近似约简的一般方法,定义了β近似约简,β近似区分函数等概念,给出了求其β近似优化决策规... 在不完备信息系统中的限制容差关系的基础上,建立了变精度粗糙集模型,并且对其相关性质进行了分析。从构造区分函数出发,给出了求不完备信息系统近似约简的一般方法,定义了β近似约简,β近似区分函数等概念,给出了求其β近似优化决策规则的一般步骤,最后通过实例说明所提到的理论是符合客观实际的。 展开更多
关键词 不完备信息系统 变精度粗糙集模型 限制容差关系 优化规则
在线阅读 下载PDF
广义变精度粗糙集模型中近似算子研究 被引量:4
11
作者 孙士保 普杰信 秦克云 《计算机科学》 CSCD 北大核心 2007年第9期194-197,共4页
定义了多数包含关系;借助引入的误差参数β(0≤β<0.5),提出了基于后继邻域的广义变精度粗糙集模型的β上近似■X、β下近似■X、β边界bnr_β和β负域negr_β的定义;详细讨论了β上、下近似算子■与■X的性质;从对偶性角度出发推广... 定义了多数包含关系;借助引入的误差参数β(0≤β<0.5),提出了基于后继邻域的广义变精度粗糙集模型的β上近似■X、β下近似■X、β边界bnr_β和β负域negr_β的定义;详细讨论了β上、下近似算子■与■X的性质;从对偶性角度出发推广了β上近似、β下近似算子■X与■X,得到了两对对偶的上、下近似算子■X与■X和■X;最后全面讨论了推广后的两对上、下近似算子■X与■X和■X与■X的性质,详细分析了它们同广义变精度粗糙集模型中上、下近似算子■X与■X和一般关系下的变精度粗糙集模型中上、下近似算子■X与■X的关系。 展开更多
关键词 变精度粗糙集模型 近似算子 二元关系 后继邻域
在线阅读 下载PDF
粗糙集理论研究的矩阵方法 被引量:7
12
作者 罗来鹏 刘二根 曾毅 《系统工程与电子技术》 EI CSCD 北大核心 2009年第4期859-862,共4页
针对粗糙集研究中集合之间关系的计算问题,提出了一种基于矩阵的度量和计算方法。该方法通过引入类矩阵算子、关系矩阵算子、集合矩阵等概念和借助水平截矩阵,得到集合的矩阵表示以及集合与等价类之间关系的矩阵计算。通过对该方法的一... 针对粗糙集研究中集合之间关系的计算问题,提出了一种基于矩阵的度量和计算方法。该方法通过引入类矩阵算子、关系矩阵算子、集合矩阵等概念和借助水平截矩阵,得到集合的矩阵表示以及集合与等价类之间关系的矩阵计算。通过对该方法的一些基本性质讨论,给出了该方法在变精度粗糙集模型中属性约简的具体步骤,并用实例说明了其有效性。 展开更多
关键词 粗糙集 属性约简 关系矩阵算子 变精度粗糙集模型 数据挖掘 数据约简
在线阅读 下载PDF
病态加权总体最小二乘靶向病灶的正则化方法 被引量:4
13
作者 顾勇为 归庆明 赵俊 《大地测量与地球动力学》 CSCD 北大核心 2016年第3期253-256,共4页
病态EIV模型的病灶源于设计矩阵的部分数据列之间存在复共线性关系。针对病灶特点制定正则化策略,在克服病态性的同时尽量减小正则化过程所引起的副作用,提出靶向病灶的正则化方法。通过数值试验,与总体最小二乘方法、病态总体正则化方... 病态EIV模型的病灶源于设计矩阵的部分数据列之间存在复共线性关系。针对病灶特点制定正则化策略,在克服病态性的同时尽量减小正则化过程所引起的副作用,提出靶向病灶的正则化方法。通过数值试验,与总体最小二乘方法、病态总体正则化方法等进行比较,结果表明靶向病灶的正则化方法最优。 展开更多
关键词 EIV模型 总体最小二乘 复共线性 涉扰数据列 正则化方法 靶向病灶
在线阅读 下载PDF
青少年运动健康传播模式:理论框架、变量关系及效果评估 被引量:20
14
作者 张业安 《成都体育学院学报》 CSSCI 北大核心 2018年第2期24-30,共7页
基于媒介化社会背景,在对国内外青少年运动健康传播相关研究成果进行综述的基础上,提出运动健康传播的定义。借鉴HBM、EMPA等相关理论,结合专家建议,构建了一套包含"一背景(媒介化)、三维度(宏观、中观和微观)、三因素(媒介使用、... 基于媒介化社会背景,在对国内外青少年运动健康传播相关研究成果进行综述的基础上,提出运动健康传播的定义。借鉴HBM、EMPA等相关理论,结合专家建议,构建了一套包含"一背景(媒介化)、三维度(宏观、中观和微观)、三因素(媒介使用、运动、健康)"的青少年运动健康传播模式。该模式揭示了影响青少年健康的社会环境、媒介传播和体育运动因素。分析该模式中各维度和因素对青少年健康的影响、具体变量之间的相互作用关系及其效果评估,为后续定量研究(大样本调查和实验分析)青少年运动健康传播实践奠定理论基础。 展开更多
关键词 青少年 运动健康传播 模式 理论框架 变量关系 效果评估
在线阅读 下载PDF
应用Fuzzy集合理论测辨系统Fuzzy模型的新方法——Fuzzy推理合成法 被引量:10
15
作者 李友善 赵福顺 《自动化学报》 EI CSCD 北大核心 1991年第3期257-263,共7页
本文基于Fuzzy集合理论,根据待辨识系统的量测数据,应用Fuzzy推理合成规则,提出建立系统Fuzzy模型的新方法,通过建立水泥回转窑热工过程Fuzzy模型,证实了该方法的可行性.
关键词 FUZZY 水泥回转窑 模型 热工过程
在线阅读 下载PDF
基于(α,τ)限制相似关系的变精度粗糙集模型 被引量:4
16
作者 高阳 钟波 《系统工程与电子技术》 EI CSCD 北大核心 2009年第7期1639-1641,1719,共4页
针对经典粗糙集模型只能处理完备信息系统,将变精度粗糙集模型引入到不完备信息系统中。给出了(α,τ)限制相似关系的定义及其相关性质,并提出了基于(α,τ)限制相似关系的变精度粗糙集模型,提出了基于属性重要度和近似分类质量的知识... 针对经典粗糙集模型只能处理完备信息系统,将变精度粗糙集模型引入到不完备信息系统中。给出了(α,τ)限制相似关系的定义及其相关性质,并提出了基于(α,τ)限制相似关系的变精度粗糙集模型,提出了基于属性重要度和近似分类质量的知识约简算法。通过算例分析验证了该模型知识约简算法的有效性。 展开更多
关键词 粗糙集 变精度粗糙集模型 近似分类质量 τ)限制相似关系 知识约简
在线阅读 下载PDF
认知加工速度研究中常用的实验和统计方法 被引量:6
17
作者 罗婷 焦书兰 《心理科学进展》 CSSCI CSCD 北大核心 2002年第1期21-28,共8页
认知加工速度理论是解释年龄与认知老年化现象的理论之一,也是近年来心理学研究中的热点之一。该文从理论要点、实验设计、指标选择和统计分析手段四个方面对认知加工速度的研究进行了回顾。在阐述理论要点的基础上,介绍了常用的实验指... 认知加工速度理论是解释年龄与认知老年化现象的理论之一,也是近年来心理学研究中的热点之一。该文从理论要点、实验设计、指标选择和统计分析手段四个方面对认知加工速度的研究进行了回顾。在阐述理论要点的基础上,介绍了常用的实验指标和选择指标的标准,以及一些常用的统计分析手段。作者认为除了深入理解理论之外,谨慎地设计实验方案、选择适当的实验指标,以及采用恰当的统计手段都是研究得以顺利进行的必要保障。 展开更多
关键词 加工速度 中介因子 系统相关分析 结构方程模型.
在线阅读 下载PDF
基于时态变量对象关系模型及代数运算 被引量:3
18
作者 叶小平 《计算机研究与发展》 EI CSCD 北大核心 2007年第11期1971-1979,共9页
时态数据处理多是基于关系数据库平台,时态数据库模型也以时态关系数据模型为主.关系数据模型难以处理具有复杂类型的数据对象,而面向对象数据模型还缺乏商业化应用平台.现有关系数据库平台大多增加了面向对象基本功能,形成了对象关系... 时态数据处理多是基于关系数据库平台,时态数据库模型也以时态关系数据模型为主.关系数据模型难以处理具有复杂类型的数据对象,而面向对象数据模型还缺乏商业化应用平台.现有关系数据库平台大多增加了面向对象基本功能,形成了对象关系数据库系统,因此将对象关系数据模型进行时态扩充就显得十分必要和具有可行性.首先在现有时态关系数据模型基础上,提出了一种基于对象关系双时态数据模型,而这种数据模型适合于在现有数据库平台上实现;其次,在该模型框架内,讨论了时态对象关系模式与时态关系模式相互间的联系与转换,这也是由时态关系扩充到对象关系的基本要求;再次,分析了时态模型中时态变量复杂语义和相应绑定算法,这是时态数据库能够有效运行的基本课题之一;最后,研究了基于时态变量复杂语义的时态对象关系数据操作代数,从而为时态对象关系模式的查询进行了必要的理论探讨. 展开更多
关键词 时态数据模型 对象关系模型 代数运算 面向对象数据模型 关系数据模型 对象关系数据库系统 数据库平台 对象关系模式
在线阅读 下载PDF
基于一种新的量化容差关系的变精度粗糙集模型 被引量:3
19
作者 王金山 王磊 《东华理工大学学报(自然科学版)》 CAS 2013年第1期96-100,共5页
提出了一种新的量化容差关系,建立了变精度粗糙集模型并提出了基于重要度的属性约简算法。新的模型考虑了决策属性值对条件属性值概率分布的影响并且具有一定噪声数据处理和错误分类容许能力。最后通过实例表明了该模型具有处理含有空... 提出了一种新的量化容差关系,建立了变精度粗糙集模型并提出了基于重要度的属性约简算法。新的模型考虑了决策属性值对条件属性值概率分布的影响并且具有一定噪声数据处理和错误分类容许能力。最后通过实例表明了该模型具有处理含有空值数据问题的能力。 展开更多
关键词 量化容差关系 变精度粗糙集模型 不完备信息系统 属性约简 重要度
在线阅读 下载PDF
变精度覆盖近似算子与覆盖近似算子的关系 被引量:2
20
作者 梁俊奇 张文君 《计算机科学》 CSCD 北大核心 2011年第3期222-223,共2页
变精度覆盖粗糙集模型是在放宽了覆盖标准的前提下给出的,因而导致近似算子发生了变化,但其变化有一定的规律。在介绍了覆盖粗糙集模型和变精度覆盖粗糙集模型的概念的基础上,给出并证明了变精度覆盖粗糙近似算子与覆盖粗糙近似算子之... 变精度覆盖粗糙集模型是在放宽了覆盖标准的前提下给出的,因而导致近似算子发生了变化,但其变化有一定的规律。在介绍了覆盖粗糙集模型和变精度覆盖粗糙集模型的概念的基础上,给出并证明了变精度覆盖粗糙近似算子与覆盖粗糙近似算子之间的关系,即定理1、定理2及其推论。 展开更多
关键词 覆盖粗糙集模型 变精度覆盖粗糙集模型 β覆盖近似算子 覆盖近似算子 关系
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部