期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到278篇文章
< 1 2 … 14 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
核能装备安全控制代码自动生成软件研发与应用的构想与成果展望 被引量：2
1
作者 刘明星 马权 +5 位作者 吴鹏 杨斐 侯荣彬 王俊峰 黄滟鸿 吴延群 《工程科学与技术》 EI CAS CSCD 北大核心 2024年第2期1-16,共16页
目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围... 目前,核能装备等安全关键系统中软件的作用越来越重要,对系统的安全稳定运行具有至关重要的影响。安全关键软件规模的增长和复杂度的增加给设计和开发高可信的软件带来了新的挑战,亟需新的软件开发和验证方法与模式。针对此需求,本文围绕核能装备安全控制代码自动生成软件研究面临的三大关键科学问题,分别开展一个基础理论、七大关键技术及一套原型系统的研究。通过核能安全控制代码自动生成软件总体设计集成与评估、核能安全控制与交互系统软件建模技术、核能安全控制系统模型分析与验证技术、核能安全控制系统可信软件代码自动生成技术等方面的研究,突破核能装备安全控制代码自动生成软件在建模、代码生成和测试验证面临的系统性技术瓶颈,建立起新的安全关键软件开发和验证方法与模式。通过可信安全控制代码自动生成软件工程化应用与认证技术研究,构建一个核能装备安全控制代码自动生成的原型系统,并在核能、汽车等领域对研究成果进行验证。通过上述研究实现以下5个方面创新:一是形式化方法与模型驱动开发融合理论,用确定的数学理论保证模型的高可信;二是状态机扩展同步数据流语言形式化定义方法,建立适用于核能、航空、汽车等场景的软件建模方法;三是基于交互式定理证明的可信代码生成器构造方法,形成经过形式化验证的可信代码生成器;四是数据驱动的测试用例智能生成方法,实现测试验证的自动化;五是一套面向核能装备控制软件的一体化研发平台,构建完整的开发和验证工具链。本文旨在以形式化和模型驱动方法为基础,对安全关键软件的建模、模型验证、代码生成、测试验证等方面进行系统性研究,以形成高可信的安全关键软件开发和验证新方法。研究成果对核能等领域安全关键软件开发相关工业软件的科学研究、技术研发、产业发展等具有十分重要的理论意义和实际应用价值。 展开更多
关键词 核能装备 代码生成 形式化 模型驱动
在线阅读 下载PDF
基于Ollivier-Ricci曲率的图扩散节点分类算法
2
作者 孙宁 李胤萱 +2 位作者 张帅 汤璇 魏宪 《计算机应用研究》 北大核心 2025年第1期165-170,共6页
为解决图扩散方法在处理复杂边关系时精度降低的局限性,提出了一种基于曲率的图扩散神经网络。首先,引入Ollivier-Ricci曲率量化图的边曲率,提供关于图结构的几何度量;其次,运用曲率调整随机转移矩阵的权重,根据几何关系进行相应的权重... 为解决图扩散方法在处理复杂边关系时精度降低的局限性,提出了一种基于曲率的图扩散神经网络。首先,引入Ollivier-Ricci曲率量化图的边曲率,提供关于图结构的几何度量;其次,运用曲率调整随机转移矩阵的权重,根据几何关系进行相应的权重修改;最后,将处理后的曲率矩阵与图扩散矩阵结合,更新权重系数进行模型训练。实验结果表明,与传统的图扩散方法相比,改良后的方法保持了有效地平滑图信号和减少高频噪声的优点,并在不同边和节点数量的数据集上将精度提高0.3~2.0百分点。该方法通过优化图扩散的消息聚合,能够更有效地利用图结构中的节点信息和边权重,从而提升节点分类任务中的模型性能,为未来基于图方法的研究提供了更可靠的方法与实验。 展开更多
关键词 图神经网络 图扩散 Ollivier-Ricci曲率 节点分类
在线阅读 下载PDF
软件动态正确性的形式化描述 被引量：4
3
作者 马艳芳 张敏 陈仪香 《计算机研究与发展》 EI CSCD 北大核心 2013年第3期626-635,共10页
软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互... 软件正确性是一个逐渐改进的过程.通过不断地修改,软件越来越接近于正确.同时软件的执行依赖于环境.为了刻画软件的动态正确性并考虑环境的因素,以参数化互模拟为基础,利用极限的观点,建立软件动态正确性的形式化描述.首先建立参数化互模拟的无限演化理论,给出参数化极限互模拟的定义,并给出几个特殊的参数化极限互模拟实例.其次,建立参数化互模拟极限,给出参数化互模拟极限的规约刻画.最后,证明参数化互模拟极限的唯一性、与参数化互模拟的相容性等代数性质. 展开更多
关键词 软件正确性 参数化互模拟 形式化 极限 拓扑
在线阅读 下载PDF
专业英语在软件工程建设中的教学改革与实践 被引量：5
4
作者 毛宏燕 姜宁康 张居阳 《计算机工程与科学》 CSCD 北大核心 2011年第S1期31-33,共3页
专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中如何改善专业英语... 专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中如何改善专业英语课程教学内容,改革教学形式,使学生及时获知软件技术前沿领域发展动态,培养学生商务沟通和写作能力,以适应国际软件行业和市场发展变化的需求。 展开更多
关键词 软件工程 专业英语 阅读能力 商务沟通 技术发展
在线阅读 下载PDF
一种面向语义Web服务的软件设计语言和设计方法 被引量：4
5
作者 曹虹华 应时 +1 位作者 杜德慧 贾向阳 《电子学报》 EI CAS CSCD 北大核心 2007年第B12期129-135,共7页
在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域... 在分析已有的面向服务的设计和开发方法的基础上，设计了一种语义编程语言SPL，并基于该语言提出一种面向语义web服务的软件设计和开发方法，试图提供一种有效的解决方案，用于设计和开发面向语义web服务的软件系统．结合旅游预订领域的一个实例，讨论了该方法的全过程．还给出了SPL语言和相关语言的比较．该研究对面向语义Web服务的软件分析、设计和开发具有一定的参考作用 . 展开更多
关键词 语义WEB服务 语义编程语言SPL 软件设计方法
在线阅读 下载PDF
一种基于软件属性相互影响和重要性的属性权重分配方法 被引量：2
6
作者 张俊 周勇 《计算机应用研究》 CSCD 北大核心 2016年第5期1390-1394,共5页
为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实... 为了确定可信度量中的属性权重,提出一种新的软件属性权重的分配方法。对软件属性模型进行分层划分属性,引入软件属性互相影响的概念,结合基于属性相互影响和属性重要性的权重分配方法,从两个层次对属性的权重进行综合预测,最后通过实际的例子对软件属性权重进行量化的分析,详细描述了该方法的具体过程。提出的软件属性权重的分配方法是一个通用的方法,对于各种软件可信度量中的属性权重可以进行相应的分析,在可信度量中软件属性权重的确定上有一定的实际意义和作了积极的探索。 展开更多
关键词 软件可信性 软件属性 可信属性模型 权重分配 权重影响
在线阅读 下载PDF
社会排斥视角下贫困大学生就业歧视研究 被引量：13
7
作者 庞荣 《中国青年研究》 CSSCI 北大核心 2013年第5期20-23,44,共5页
本文在社会排斥理论视角下主要从经济、制度和关系这三个维度分析了贫困大学生在劳动力市场中受到的歧视,全面展现了这种歧视导致的贫困大学生就业弱势地位,并从招生制度、户籍制度、社会保障制度与就业制度四个方面提出了消减贫困大学... 本文在社会排斥理论视角下主要从经济、制度和关系这三个维度分析了贫困大学生在劳动力市场中受到的歧视,全面展现了这种歧视导致的贫困大学生就业弱势地位,并从招生制度、户籍制度、社会保障制度与就业制度四个方面提出了消减贫困大学生就业歧视的对策。 展开更多
关键词 社会排斥 贫困大学生 就业歧视 对策
在线阅读 下载PDF
智能嵌入式系统结构与软件关键技术专题序言 被引量：5
8
作者 王泉 杨天若 +9 位作者 朱大开 邓庆绪 郭兵 陈铭松 董云卫 严义 江建慧 张凯龙 谢国琪 周俊龙 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2021年第6期1-7,共7页
作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年以来已被广泛应用在社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。在人工智能、云计算、物联网、大数据等新兴技术不断发... 作为数字与物理、信息与应用交叉融合的重要基石,嵌入式系统技术在近十年以来已被广泛应用在社会生产、生活、国防等诸多领域,并快速推动了这些领域的数字化、网络化和智能化发展。在人工智能、云计算、物联网、大数据等新兴技术不断发展和交叉应用的万物智联大计算背景下,信息物理深度融合、多维智能能力支撑、应用形态日益多元等新特征对嵌入式系统的体系结构以及软硬件技术的发展都提出了新的需求和挑战。诸如,空、天、地、海军民领域的复杂安全有关应用对高可信的多态嵌入式计算体系与技术,移动计算与物联网对高性能、低功耗的嵌入式系统、网络通信与网络安全技术,以智能驾驶为代表的复杂信息物理系统对实时智能计算体系与技术,智能制造对工业机器人以及工业互联网等基于嵌入式系统的行业技术等,新业态迫切需要新技术的支持。 展开更多
关键词 嵌入式系统 工业机器人 嵌入式计算 移动计算 物联网 云计算 大数据 智能制造
在线阅读 下载PDF
Internet环境下基于构件的软件理论与方法专刊前言 被引量：1
9
作者 何积丰 李宣东 《软件学报》 EI CSCD 北大核心 2008年第5期1081-1082,共2页
Internet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放．为了适应这样一种发展趋势，软件系统开始呈现出一种柔性、多目标、连续反应式的新系统形态．从技术的角度，以软件构件等技术支持的软件实体以开放、自主的方... Internet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放．为了适应这样一种发展趋势，软件系统开始呈现出一种柔性、多目标、连续反应式的新系统形态．从技术的角度，以软件构件等技术支持的软件实体以开放、自主的方式存在于Internet的各个节点之上，任何一个软件实体可以在开放的环境下通过某种方式加以发布， 展开更多
关键词 INTERNET环境 计算机软件 基于构件 软件系统 技术支持 发展趋势 软件构件 多目标
在线阅读 下载PDF
软件项目的时间管理 被引量：2
10
作者 曹桂涛 喻姗姗 《计算机应用与软件》 CSCD 2010年第7期74-76,共3页
项目时间管理又称为项目进度管理或项目工期管理,是为确保项目按时完工所进行的一系列管理过程。对于软件项目来说,由于软件是由人开发的,不仅项目的进度需要管理,项目开发团队的时间也需要管理。首先介绍软件项目时间管理的理论,然后... 项目时间管理又称为项目进度管理或项目工期管理,是为确保项目按时完工所进行的一系列管理过程。对于软件项目来说,由于软件是由人开发的,不仅项目的进度需要管理,项目开发团队的时间也需要管理。首先介绍软件项目时间管理的理论,然后结合软件开发过程的特点,分析了软件项目的时间管理方法;然后用一个实例加以分析,指出软件项目在时间管理中存在的问题并提出建议,希望软件项目管理者在保证进度管理有序执行的同时,也注重对人的管理,保证软件项目能按时、保质完成。 展开更多
关键词 软件项目 时间管理 进度
在线阅读 下载PDF
信息物理系统软件设计自动化专题前言 被引量：2
11
作者 卜磊 陈铭松 +1 位作者 朱祺 刘超 《软件学报》 EI CSCD 北大核心 2020年第6期1585-1586,共2页
为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系... 为了更精确地认识与改造世界,新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知,实现集计算、通信与控制于一体的深度融合的理论体系与技术框架,即信息物理系统(cyber-physical systems,简称CPS).与传统嵌入式系统不同,CPS充分考虑了计算部件与物理环境的深度融合,通过将设备智能化连接,实现物理环境系统与计算系统之间精确感知与高效协同.基于CPS理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑,精确智能地获取外部物理环境信息并做出针对性的实时反应,完成安全可靠的控制服务,从而实现物理世界与信息世界的有机统一. 展开更多
关键词 物理环境 深度融合 设计自动化 设备智能化 嵌入式系统 计算设备 信息物理系统 技术框架
在线阅读 下载PDF
项目驱动的基于过程的小组开发在软件工程教学中的运用 被引量：1
12
作者 周勇 黄国兴 《计算机工程与科学》 CSCD 2006年第z1期92-95,共4页
本文介绍了项目驱动的基于过程的小组开发方法,并将其应用于软件工程教学实践,分析并总结了实践结果,表明了这一方法对课程教学起到的显著作用.
关键词 项目驱动 基于过程 小组开发 软件工程
在线阅读 下载PDF
协同创新 培养高端软件人才 被引量：1
13
作者 何积丰 姜宁康 《中国大学教学》 CSSCI 北大核心 2014年第10期9-11,16,共4页
传统的软件人才培养偏重于学生实用型技能的培养,缺少面向大系统的架构设计能力、创新能力和综合能力。为解决国家战略性新兴产业对软件研发人才,特别是高端软件人才的巨大需求,我们提出并实践了高端软件人才的协同创新培养模式。
关键词 高端软件人才 协同创新 培养模式
在线阅读 下载PDF
一种基于WebMO模型的迭代式软件估算方法
14
作者 周勇 鲍钰 《计算机应用》 CSCD 北大核心 2007年第B06期310-311,共2页
改进了基于WebMO模型的软件规模和工作量估算方法,通过调整项目的计数规范、修正基于Web的规模预测因子、增加软件配置模块等途径,对实际的Web项目进行了迭代式估算。应用结果表明,改进方法在对Web软件项目的估算可靠性方面有了一定的... 改进了基于WebMO模型的软件规模和工作量估算方法,通过调整项目的计数规范、修正基于Web的规模预测因子、增加软件配置模块等途径,对实际的Web项目进行了迭代式估算。应用结果表明,改进方法在对Web软件项目的估算可靠性方面有了一定的提高。 展开更多
关键词 规模和工作量估算 WEB对象 WebMO 迭代方法
在线阅读 下载PDF
一种面向控制软件需求分析的方法 被引量：2
15
作者 张丽芸 蒲戈光 +1 位作者 王政 李建文 《计算机应用研究》 CSCD 北大核心 2013年第2期465-468,475,共5页
设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工... 设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具。SPARDL可以描述周期性的控制系统,首先将需求文档转换为SPARDL模型,且提供了图形化的表示方法;然后运用原型生成技术去仿真系统的行为,进一步分析需求的准确性。最后以一个案例表明了用SPARDL分析一个简单的航天控制系统需求的有效性。 展开更多
关键词 控制系统 需求分析 图形化 原型生成 系统仿真
在线阅读 下载PDF
基于Android平台的公交信息发布终端软件的设计与实现 被引量：10
16
作者 郭健傧 蔡雪松 《计算机应用与软件》 CSCD 北大核心 2014年第9期322-324,333,共4页
公交信息发布系统是城市公交系统的重要组成部分,它为人们的日常出行提供导乘服务。但是与日俱增的公交线路和车辆、班次的临时延误和线路的临时调整等公交信息的频繁变化,严重制约了公交系统的服务水平,给乘客出行带来诸多不便。智能... 公交信息发布系统是城市公交系统的重要组成部分,它为人们的日常出行提供导乘服务。但是与日俱增的公交线路和车辆、班次的临时延误和线路的临时调整等公交信息的频繁变化,严重制约了公交系统的服务水平,给乘客出行带来诸多不便。智能手机的普及为该问题的解决提供了新的思路。基于Android操作系统设计并开发一套手机终端公交信息发布软件,该软件提供基于公交车实时的进出站数据,方便用户查询了解公交车的最新动态,从而进一步提高公交系统人性化服务水平和服务质量。该系统应用在上海市杨浦区,运行结果表明了该设计是有效、可行的。 展开更多
关键词 ANDROID系统 公交信息发布 GPRS 手机软件 通信协议
在线阅读 下载PDF
基于服务更新的网构软件可靠性模型研究(英文) 被引量：1
17
作者 杜育根 李永钢 《计算机科学与探索》 CSCD 2008年第4期431-438,共8页
网构软件是在开放、动态和多变的Internet环境下软件系统基本形态的一种抽象。这种新的软件系统,它的构建依赖于开放环境中各异构、自治的软件服务实体之间的有效协同。其可靠性不单取决于拥有自主性的软件服务实体本身,还取决于外部环... 网构软件是在开放、动态和多变的Internet环境下软件系统基本形态的一种抽象。这种新的软件系统,它的构建依赖于开放环境中各异构、自治的软件服务实体之间的有效协同。其可靠性不单取决于拥有自主性的软件服务实体本身,还取决于外部环境的动态变化,主要表现为开放环境下服务实体元素的更新,所以传统的软件可靠性的度量模型已不能适应这种新的软件形态。能否在网构软件形态下建立一个好的可靠性度量模型成为其中一个较为核心的问题。文章以服务更新过程中失效数(failurecounts)为基础,将服务更新强度引入Musa-Okumoto(M-O)模型中,作为M-O模型在新的软件形态下的一个推广。最后讨论了网构软件退化的情形和退化条件,为开放环境下网构软件可靠性研究提供一种思路。 展开更多
关键词 网构软件 服务更新 可靠性模型 开放环境
在线阅读 下载PDF
基于决策树的大学生科研活动与毕业走向的关联研究
18
作者 胡灵敏 骆力明 +1 位作者 茅潇潇 高明 《计算机工程与科学》 CSCD 北大核心 2016年第6期1275-1280,共6页
本科生的科研活动越来越得到教育研究者的重视,然而,研究者很少关注学生科研活动与毕业走向之间的关联问题。为了探究本科生参与科研情况对其未来发展的影响,从学生毕业走向切入,挖掘影响学生未来毕业去向的重要因素。以北京市某师范高... 本科生的科研活动越来越得到教育研究者的重视,然而,研究者很少关注学生科研活动与毕业走向之间的关联问题。为了探究本科生参与科研情况对其未来发展的影响,从学生毕业走向切入,挖掘影响学生未来毕业去向的重要因素。以北京市某师范高校计算机相关专业的2009级的所有学生的科研情况与毕业走向作为数据主要来源,以Weka作为模型建立和评估的辅助工具,采用J48决策树分类,进行十折交叉验证,建立了基于学生科研活动的毕业走向预测模型,并通过对模型进行验证评估,证明了模型预测准确率良好。研究结果表明,学生参与竞赛的数量、专业、作为项目负责人的项目数量、参与教学类项目的数量对学生的未来走向有着重要影响。 展开更多
关键词 科研活动 决策树 毕业走向 WEKA
在线阅读 下载PDF
轨道交通控制软件中基于场景的需求分析方法 被引量：1
19
作者 闫倩倩 缪炜恺 《计算机工程》 CAS CSCD 北大核心 2021年第8期284-293,300,共11页
针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供... 针对轨道交通控制软件的形式化方法,在实际工程应用中存在形式化建模和系统级场景验证困难的问题。提出一种面向轨道交通领域的形式化建模和需求确认及验证方法。通过非形式化、半形式化到形式化规约三步演化过程,为形式化规约构建提供模板。在对需求的确认和验证中,根据形式化规范建立需求模型,导出相关图表,基于此检查领域专家关注的场景。同时制定场景描述规则,使场景可以在需求模型中正确执行。在此基础上,从特殊变量、效率、场景质量三方面对场景进行优化,更充分地验证需求的正确性。实验结果表明,对于典型车载控制软件,该方法较传统分析方法可多探测到10%的潜在缺陷,效率提升80%以上。 展开更多
关键词 形式化方法 需求规约 需求确认和验证 场景优化 轨道交通控制软件
在线阅读 下载PDF
非交互密钥协商综述 被引量：1
20
作者 张明瑞 张蕊 张磊 《计算机学报》 EI CAS CSCD 北大核心 2024年第3期558-574,共17页
非交互密钥协商作为一种重要的密码学原语是一种极具潜力的安全信道建立范式,持续受到学术界和工业界的密切关注.本文综述了非交互密钥协商协议的发展概况以及待解决的问题.有别于以往的综述,我们在对传统的非交互密钥协商协议进行全面... 非交互密钥协商作为一种重要的密码学原语是一种极具潜力的安全信道建立范式,持续受到学术界和工业界的密切关注.本文综述了非交互密钥协商协议的发展概况以及待解决的问题.有别于以往的综述,我们在对传统的非交互密钥协商协议进行全面回顾的同时,还对由消息层安全协议衍生的一类部分非交互密钥协商协议进行了深入的探讨.这类协议的突出特点在于,它们能够(部分)非交互式地为群组建立(初次)会话密钥;且后续在群组需要动态变化时,仅需其中一个参与者发送一条请求消息,其他参与者进行监听就能完成群组会话密钥的更新.此外,本文首次讨论了一种基于非对称群密钥协商构造多方非交互密钥协商协议的潜在技术路线,以及利用区块链技术作为公钥基础设施扩充组件用于解决非交互密钥协商协议设计中潜在风险的方法. 展开更多
关键词 密钥协商 群密钥协商 非交互密钥协商 消息层安全协议
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 14 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部