期刊文献+
共找到217篇文章
< 1 2 11 >
每页显示 20 50 100
软件开发环境国家重点实验室的科研队伍建设 被引量:5
1
作者 任飏 马世龙 《实验技术与管理》 CAS 2004年第3期1-6,18,共7页
本文阐述了软件开发环境国家重点实验室采取各种措施,积极创造良好的学术环境和工作条件,坚持"以人为本"的管理思想,进一步加大对中青年学术带头人和学术骨干特别是对科技将帅才的培养、发现和吸引的工作力度,加大对研究生的... 本文阐述了软件开发环境国家重点实验室采取各种措施,积极创造良好的学术环境和工作条件,坚持"以人为本"的管理思想,进一步加大对中青年学术带头人和学术骨干特别是对科技将帅才的培养、发现和吸引的工作力度,加大对研究生的培养,为人才成长创造良好条件.已造就一支阵容强大、研究梯队分布合理、多学科交叉、管理队伍精干高效的科研队伍. 展开更多
关键词 国家重点实验室 人才培养 科研队伍 北京航空航天大学 软件开发
在线阅读 下载PDF
开展“为我为主”的国际合作与交流 提高国家重点实验室的国际竞争力 被引量:9
2
作者 马世龙 任飏 《实验技术与管理》 CAS 2003年第4期1-6,共6页
国内外学术交流与合作,尤其是在国际科技合作中争取"以我为主"是国家重点实验室提高研究水平、学术水平、管理水平和国际竞争力的重要前提.本文简要介绍了软件开发环境国家重点实验室在国际交流与合作中如何开展"以我为... 国内外学术交流与合作,尤其是在国际科技合作中争取"以我为主"是国家重点实验室提高研究水平、学术水平、管理水平和国际竞争力的重要前提.本文简要介绍了软件开发环境国家重点实验室在国际交流与合作中如何开展"以我为主"的实质性合作研究,以及我们在这方面的一些体会和思考. 展开更多
关键词 国家重点实验室 国际竞争力 学术交流 国际合作 “为我为主” 实验室管理
在线阅读 下载PDF
基于知识管理的国家重点实验室管理 被引量:5
3
作者 任飏 陈安 罗小景 《中国科技论坛》 CSSCI 北大核心 2006年第5期56-60,共5页
首先介绍了知识管理和知识管理系统的有关概念,然后从知识管理的角度,分析了国家重点实验室目前管理模式存在的问题,提出在建立国家重点实验室知识管理系统的基础上,构建以知识为中心的国家重点实验室管理模式。
关键词 知识管理 知识管理系统 知识管理平台 知识库 国家重点实验室
在线阅读 下载PDF
提升国家重点实验室国际竞争力初探——从国际交流与合作视角 被引量:5
4
作者 任飏 黄昌利 《中国软科学》 CSSCI 北大核心 2003年第12期95-99,共5页
科学研究尤其是基础研究的国际化趋势日益突出。广泛深入地开展实质性的国际交流与合作已成为提高我国国家重点实验室基础研究水平、培养具有国际竞争力的高素质人才的重要方式和支撑。本文主要从开展国际交流与合作的角度,对提高我国... 科学研究尤其是基础研究的国际化趋势日益突出。广泛深入地开展实质性的国际交流与合作已成为提高我国国家重点实验室基础研究水平、培养具有国际竞争力的高素质人才的重要方式和支撑。本文主要从开展国际交流与合作的角度,对提高我国国家重点实验室的国际竞争力进行了探讨。 展开更多
关键词 国家重点实验室 国际竞争力 科学研究 国际交流 国际合作
在线阅读 下载PDF
国家重点实验室多项目与项目组合动态网络管理模式研究 被引量:1
5
作者 任飏 马世龙 《实验技术与管理》 CAS 2006年第11期128-131,共4页
有效地进行多项目管理是当前国家重点实验室项目管理中面对的关键问题。在资源有限的基础上完成在内容上呈现出相关关系的多个项目,从实验室面临的实际情况看,人力资源的有效配置是实验室进行多项目管理的核心和瓶颈。该文首先分析了... 有效地进行多项目管理是当前国家重点实验室项目管理中面对的关键问题。在资源有限的基础上完成在内容上呈现出相关关系的多个项目,从实验室面临的实际情况看,人力资源的有效配置是实验室进行多项目管理的核心和瓶颈。该文首先分析了国家重点实验室承担的科研项目的新特点,然后讨论了影响实验室人力资源分配的组织管理模式以及科研人员的压力管理等问题,给出了国家重点实验室实施多项目网络式动态管理的解决方案。 展开更多
关键词 项目群 多项目管理 国家重点实验室
在线阅读 下载PDF
设备协同技术及其系统软件研究综述 被引量:7
6
作者 陈峰 荣晓慧 +1 位作者 邓攀 马世龙 《电子学报》 EI CAS CSCD 北大核心 2011年第2期440-447,共8页
设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控... 设备协同技术是大规模区域管理、物联网等领域的支撑技术,对设备协同技术及其系统软件进行研究具有重要意义.本文首先总结设备协同技术的发展阶段,指出大规模设备协同技术是目前的关键研究问题,主要研究如何支持设备协同的大规模性、控制的快捷性和协同的安全性.之后,归纳了大规模设备协同系统软件的体系结构,并分析了大规模设备协同中的三个关键技术.通过分析若干设备协同典型应用系统以及采用的技术方案,指出了目前研究的特点、优势和不足.同时本文分析了基础网络方案对设备协同系统软件的影响.最后指出了进一步的发展方向. 展开更多
关键词 设备协同 大规模设备协同 协同流程建模语言 协同执行机制
在线阅读 下载PDF
可重用软件模式 被引量:19
7
作者 周轶刚 康建初 《计算机工程与应用》 CSCD 北大核心 2002年第17期87-90,共4页
软件重用是软件界追求的目标,人们正在努力将基于框架、体系结构和需求的重用变为现实,但是在具体实现技术上还不成熟。为了促进软件的重用,软件专家引入了结构化、可重用的软件模式来捕捉并描述软件业多年来成熟的软件知识和经验。该... 软件重用是软件界追求的目标,人们正在努力将基于框架、体系结构和需求的重用变为现实,但是在具体实现技术上还不成熟。为了促进软件的重用,软件专家引入了结构化、可重用的软件模式来捕捉并描述软件业多年来成熟的软件知识和经验。该文首先阐述了软件模式的发展过程;然后介绍了软件模式的几个重要分支———设计模式、反模式和分析模式,并根据它们的特点进行了比较;最后指明了可重用软件模式的未来发展方向,并提出了以可重用软件模式为中心的领域工程方法。该工作强调了可重用软件模式在提高软件开发效率和质量上的作用,对提高国内软件重用水平具有重要意义。 展开更多
关键词 可重用软件模式 设计模式 分析模式 反模式 软件开发 软件工程
在线阅读 下载PDF
自动化软件错误定位技术研究进展 被引量:44
8
作者 虞凯 林梦香 《计算机学报》 EI CSCD 北大核心 2011年第8期1411-1422,共12页
调试过程中代价最昂贵和最耗时的活动之一就是定位错误.为了辅助开发人员进行程序错误的定位和修正,自动化错误定位技术通过对源程序、测试结果以及各种程序行为特征信息的计算分析,给出造成故障的软件缺陷在源代码中的可能位置.文中对... 调试过程中代价最昂贵和最耗时的活动之一就是定位错误.为了辅助开发人员进行程序错误的定位和修正,自动化错误定位技术通过对源程序、测试结果以及各种程序行为特征信息的计算分析,给出造成故障的软件缺陷在源代码中的可能位置.文中对现有错误定位技术进行了分类,介绍了各种代表性技术的原理以及建模方法,并给出了常用的评测基准集和评价标准,最后还指出了若干值得进一步研究的方向. 展开更多
关键词 错误定位 自动化调试 程序分析 自适应测试
在线阅读 下载PDF
航天器自动化测试与航天器测试语言 被引量:5
9
作者 孙波 马世龙 余丹 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2009年第11期1375-1378,1407,共5页
通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天... 通过对航天器自动化测试需求的分析,总结出面向航天器自动化测试语言应具备的特征;通过对航天器测试业务中测试操作、测试流程、测试层次和体系结构的分析,给出了航天器测试语言的两种类型的语句,常规测试语句和专用测试语句,并将航天器专用测试语句分为操作类语句、数据类语句、时间类语句和控制类语句,给出了这4种专用测试语句的定义及其形式化描述.该语言对提高我国航天器测试业务的效率和测试人员的工作效率、促进航天器测试自动化研究的发展将起到一定的推动作用. 展开更多
关键词 航天器 自动化测试 测试语言 常规测试语句 专用测试语句
在线阅读 下载PDF
软件网络的多粒度拓扑特性分析及其应用 被引量:12
10
作者 韩言妮 李德毅 陈桂生 《计算机学报》 EI CSCD 北大核心 2009年第9期1711-1721,共11页
随着软件与网络的融合,以网络为基础的软件系统在规模、用户数量、组成单元的交互关系方面都成数量级的增长,成为一类重要的复杂系统,超出了开发人员的理解和控制.文中首先分析软件工程40年来软件开发设计方法学的变迁历程,并给出软件... 随着软件与网络的融合,以网络为基础的软件系统在规模、用户数量、组成单元的交互关系方面都成数量级的增长,成为一类重要的复杂系统,超出了开发人员的理解和控制.文中首先分析软件工程40年来软件开发设计方法学的变迁历程,并给出软件网络的定性描述,提出网络时代软件工程的新观点.然后以eCos开源系统为分析载体,从不同粒度上对网络模型进行拓扑特性分析,结果表明该载体网络在不同粒度上具有自相似的结构特性.最后针对嵌入式系统的本质特性,从节点异质性、局部抱团性和多粒度的网络规模简约3个方面进行实证分析,用以指导嵌入式软件系统的可配置、可裁剪目标,从而达到资源的最小负载. 展开更多
关键词 软件网络 中心性 社区结构 拓扑势 复杂网络
在线阅读 下载PDF
基于模型对比和组合的软件产品线领域需求建模 被引量:10
11
作者 聂坤明 张莉 《计算机学报》 EI CSCD 北大核心 2014年第3期539-550,共12页
软件产品线作为系统化的软件复用方式,可以提高软件的开发效率和质量.软件产品线变化性建模是软件产品线的关键技术,通过建立变化性模型以记录软件产品线成员产品的共性和变化性.目前的软件产品线变化性建模方法大都通过领域专家进行分... 软件产品线作为系统化的软件复用方式,可以提高软件的开发效率和质量.软件产品线变化性建模是软件产品线的关键技术,通过建立变化性模型以记录软件产品线成员产品的共性和变化性.目前的软件产品线变化性建模方法大都通过领域专家进行分析建立,这种方法过度依赖于领域专家的分析能力,在系统规模较小的情况下,变化性分析比较容易,但是如果系统规模变大,则系统的规模对于变化性分析的影响会越来越大.文中提出一种半自动的软件产品线领域需求建模方法,基于关注点分离的思路,利用特征模型表示软件产品线中系列产品的不同方面的特征信息,通过特征模型的对比和组合实现领域需求模型的构建.为有效地实现特征模型对比与组合,文中提出一种基于标记和结构的特征模型对比方法,同时,文中实现了基于约束的特征模型组合.基于公开的特征模型,文中对提出的方法进行了验证,实验结果表明,文中提出的领域需求建模方法能够在一定准确率的情况下有效地实现领域需求模型的构建. 展开更多
关键词 模型对比 模型组合 特征模型 领域需求模型 需求工程 软件产品线中图法
在线阅读 下载PDF
移动IPv4切换时间特性的实验与分析 被引量:1
12
作者 田霖 夏寅贲 康建初 《计算机应用研究》 CSCD 北大核心 2005年第4期221-223,共3页
通过将切换过程进行小粒度解析总结出切换时延的组成,针对各类耗时在自行开发的系统上进行了实验。实验结果表明:目前移动IP切换时延主要取决于协议数据包的传输时间和在进行协议栈处理以前等待路由(代理)广告的时间,缩短这两部分时间... 通过将切换过程进行小粒度解析总结出切换时延的组成,针对各类耗时在自行开发的系统上进行了实验。实验结果表明:目前移动IP切换时延主要取决于协议数据包的传输时间和在进行协议栈处理以前等待路由(代理)广告的时间,缩短这两部分时间是提高移动IP切换速度的关键。 展开更多
关键词 移动IP 切换 切换时延
在线阅读 下载PDF
SM4算法快速软件实现 被引量:26
13
作者 张笑从 郭华 +2 位作者 张习勇 王闯 刘建伟 《密码学报》 CSCD 2020年第6期799-811,共13页
SM4是对称分组密码国家标准.加解密计算效率是衡量算法实现性能的重要指标,而目前关于SM4软件实现方法方面的研究不多.利用比特切片技术,结合支持单指令多数据(SIMD)的AVX2指令集,本文提出了一种SM4算法的快速软件优化实现方法,使用256... SM4是对称分组密码国家标准.加解密计算效率是衡量算法实现性能的重要指标,而目前关于SM4软件实现方法方面的研究不多.利用比特切片技术,结合支持单指令多数据(SIMD)的AVX2指令集,本文提出了一种SM4算法的快速软件优化实现方法,使用256位的YMM寄存器实现了SM4算法的256分组数据并行加解密.首先基于已有的选择函数构造了新的选择函数,之后改进了搜索算法,基于新的选择函数和改进的搜索算法化简了S盒的逻辑表达式,将实现逻辑表达式所需的逻辑门电路数量由3000(最简与或式)降至497.在Intel Core i7-7700HQ(Kabylake)@2.80 GHz处理器上,实现速度达到了2580 Mbps,同公开文献中的最好结果1795 Mbps(Intel Core i7-5500U(Broadwell-U)@2.40 GHz)相比,实现效率提高了43%.基于比特切片技术的软件实现优化方法无需内存或高速缓存查表,因此该方法可抵抗缓存-计时侧信道攻击,从而安全性得到了提升.本文提出的优化方法具有可扩展性,不仅适用于在X86平台上借助拓展指令集AVX2实现,还可利用RISC指令集在资源受限,安全性要求高的ARM等嵌入式平台上实现.此外,新的选择函数和搜索算法具有通用性,可用于其它一般逻辑函数的化简. 展开更多
关键词 SM4算法 软件优化实现 比特切片 SIMD技术
在线阅读 下载PDF
面向航天器测试的SOA信息系统研究 被引量:1
14
作者 李明歆 马世龙 许可 《计算机工程与设计》 CSCD 北大核心 2007年第21期5248-5251,共4页
通过研究面向航天器测试领域的信息系统,分析航天器测试的业务特点,在面向服务的体系结构的理论基础之上,提出面向航天器测试领域的信息集成的设计方案。解决了目前的航天器测试中的信息系统在信息资源集成方面存在的问题。采用控制反... 通过研究面向航天器测试领域的信息系统,分析航天器测试的业务特点,在面向服务的体系结构的理论基础之上,提出面向航天器测试领域的信息集成的设计方案。解决了目前的航天器测试中的信息系统在信息资源集成方面存在的问题。采用控制反转设计模式,对系统开发相关人员进行角色分工提高系统开发和维护效率。 展开更多
关键词 航天器测试 面向服务体系结构(SOA) 控制反转(IOC) 依赖注入 信息集成
在线阅读 下载PDF
MAC-IP地址绑定的一种软件实现方法 被引量:4
15
作者 庆秋辉 徐同阁 《现代电子技术》 2006年第8期74-77,80,共5页
通过深入研究ARP协议,以ARP欺骗方式实现了主机MAC和IP地址的绑定,并设计了一个可以跨越多个子网进行管理的MAC IP地址绑定软件解决方案。对解决方案的各组成部分的功能进行了介绍,提出了代理端和主控端的概念,并给出了具体的实现方法,... 通过深入研究ARP协议,以ARP欺骗方式实现了主机MAC和IP地址的绑定,并设计了一个可以跨越多个子网进行管理的MAC IP地址绑定软件解决方案。对解决方案的各组成部分的功能进行了介绍,提出了代理端和主控端的概念,并给出了具体的实现方法,并且从带宽和系统资源占用方面提出了优化方案,目前这种管理方案已经成功应用于工程实践中。 展开更多
关键词 ARP欺骗 WlNPCAP MAC-IP地址绑定 代理
在线阅读 下载PDF
用于软件行业的数据挖掘 被引量:2
16
作者 张晓鹏 《计算机工程》 CAS CSCD 北大核心 2003年第12期179-181,共3页
提出了在软件行业中应用数据挖掘的技术,并针对软件行业的特点,对如何在软件行业中应用数据挖掘技术以及应用中面临的困难和挑战进行了讨论。
关键词 软件行业 数据挖掘 知识发现 数据仓库
在线阅读 下载PDF
链上、链下协同的智能合约即服务问题 被引量:1
17
作者 刘浩宇 马泽祁 +1 位作者 叶亚飞 胡凯 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第10期3262-3273,共12页
智能合约是区块链上的一种软件服务,具有价值传导、契约性和可信性等特点,当前各区块链系统上的智能合约数量越来越多,应用范围越来越广泛,传统智能合约的局限性也日益增大。隔离沙箱环境执行使智能合约与外界交互困难、资源受限、从而... 智能合约是区块链上的一种软件服务,具有价值传导、契约性和可信性等特点,当前各区块链系统上的智能合约数量越来越多,应用范围越来越广泛,传统智能合约的局限性也日益增大。隔离沙箱环境执行使智能合约与外界交互困难、资源受限、从而限制了智能合约的使用场景和性能。同时,传统的云服务等链下服务存在中心化风险,缺乏信任机制保障。提出智能合约即服务方案,提供链上合约与链下服务协同的方法,通过链下服务的链上认证,将服务生命周期纳入区块链管理,使之具有合约服务的可信化特点,以支持服务的注册、定制和组合;提出基于交易触发与事件驱动的通信与协同方法,在面对复杂业务场景或高资源需求任务时智能合约可与扩展服务组合构建工作流。经实验验证表明,智能合约即服务可以极大地拓展合约应用场景,通过将合约内执行的高资源耗费任务卸载到计算型扩展服务可提供更高的性能,性能优势与链下加速比正相关,如在执行1200维矩阵乘法运算的任务时,性能可提升64%。 展开更多
关键词 智能合约 智能合约即服务 链上、链下协同 服务认证 事件驱动
在线阅读 下载PDF
对互联网体系结构创新的认识与思考 被引量:4
18
作者 罗洪斌 张珊 +1 位作者 王志远 孟晴开 《电子学报》 EI CAS CSCD 北大核心 2024年第4期1411-1420,共10页
互联网是促进现代社会经济发展和科技创新的重要信息基础设施;然而,支撑并规范互联网正常运行的关键核心技术——互联网的TCP/IP(Transport Control Protocol/Internet Protocol)体系结构——几十年来几乎保持不变.本文首先从技术自身... 互联网是促进现代社会经济发展和科技创新的重要信息基础设施;然而,支撑并规范互联网正常运行的关键核心技术——互联网的TCP/IP(Transport Control Protocol/Internet Protocol)体系结构——几十年来几乎保持不变.本文首先从技术自身弊端、社会发展需求、技术转移周期、科技革命规律四个方面论述了开展互联网体系结构创新的必要性.其次,运用系统科学原理阐明了TCP/IP体系结构弊端的根源.再次,运用系统观念揭示了信息网络的功能本质和网络间的互联本质,发现了信息传递的四个自然属性(对象属性、身份属性、位置属性、手段属性).在此基础上,简要介绍了基于两个本质和四个自然属性开展创新互联网体系结构创新的实例——共生网络.最后,结合共生网络架构展望了部署新型互联网体系结构的总体路径. 展开更多
关键词 互联网体系结构 异构网络 网间互联 跨域通信
在线阅读 下载PDF
智慧城市多模式数据融合模型 被引量:31
19
作者 张义 陈虞君 +2 位作者 杜博文 蒲菊华 熊璋 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第12期2683-2690,共8页
随着云计算和大数据等技术的发展及城市发展的迫切需求,智慧城市已成为近年来国内外研究的热点之一。随着城市中摄像头、监测传感器等采集设备数量的增加,城市数据种类也越来越多。所获取的城市数据具有多源、异构、时变、高维等多模式... 随着云计算和大数据等技术的发展及城市发展的迫切需求,智慧城市已成为近年来国内外研究的热点之一。随着城市中摄像头、监测传感器等采集设备数量的增加,城市数据种类也越来越多。所获取的城市数据具有多源、异构、时变、高维等多模式特性。如何让这些多模式的城市数据关联起来,实现它们的互通互联,挖掘出更丰富多样的信息,从而能更好地指导智慧城市的构建,是本领域的难点。本文提出了一个城市多模式数据融合模型,即多模式互联生长(MICROS)模型,并从3个层面对该模型进行了描述。首先,针对多模式数据的特点,重点描述了多模式数据多源、异构、时变、高维等特点。其次,针对多模式数据的特点,自底向上构建实现针对多模式数据的融合过程的3层基础模型,分别是服务信息描述模型、元数据模型和数据互联模型。最后,在这3层模型的基础上,本文提出了一个适用于智慧城市建设的多模式数据融合模型。 展开更多
关键词 智慧城市 多模式数据 数据挖掘 数据融合 多模式互联生长(MICROS)模型
在线阅读 下载PDF
面向用户需求获取的在线评论有用性分析 被引量:57
20
作者 姜巍 张莉 +2 位作者 戴翼 蒋竞 王刚 《计算机学报》 EI CSCD 北大核心 2013年第1期119-131,共13页
在线评论已成为互联网环境下用户需求获取的重要数据资源.然而,评论质量的良莠不齐严重干扰了需求挖掘的准确性和可信性.如何发现能够准确描述用户需求的有用评论是提高需求获取技术有效性的前提保障.针对这一问题,文中提出一种基于复... 在线评论已成为互联网环境下用户需求获取的重要数据资源.然而,评论质量的良莠不齐严重干扰了需求挖掘的准确性和可信性.如何发现能够准确描述用户需求的有用评论是提高需求获取技术有效性的前提保障.针对这一问题,文中提出一种基于复杂网络的评论有用性分析方法,利用评论间的语义关联,从宏观的角度分析评论对于用户需求识别的有用程度,进而发现能够准确描述用户需求的评论.作者将评论看作一种内容互连的网络拓扑的形态,利用评论网络节点的重要性来度量评论的有用性,并通过拓扑势理论将用户的主观评价与网络拓扑结构的客观影响有机融合对评论网络节点重要性进行分析.实验结果表明,该方法所确定的高有用性评论能够保证用户需求获取具有较高的准确率和覆盖率. 展开更多
关键词 需求获取 在线评论有用性 语义关联 复杂网络 拓扑势
在线阅读 下载PDF
上一页 1 2 11 下一页 到第
使用帮助 返回顶部