期刊文献+
共找到98篇文章
< 1 2 5 >
每页显示 20 50 100
在职软件工程硕士的学习特点及培养探析 被引量:2
1
作者 孙志松 《中国成人教育》 北大核心 2007年第5期104-105,共2页
本文通过对在职软件工程硕士学习特点的分析,提出在招生、培养、论文等教学过程中加强质量控制的途径,提高在职软件工程硕士的培养质量。
关键词 在职人员 软件工程硕士 特点 培养质量
在线阅读 下载PDF
软件先验知识和基于测试的可靠性评估关系研究
2
作者 赵亮 王建民 孙家广 《电子学报》 EI CAS CSCD 北大核心 2005年第B12期2493-2497,共5页
软件测试能够为软件可靠性提供一种运行前评估.为减少达到一定可靠性目标所需要的测试用例的数量,普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中.目前已经提出几种理论模型但是少有试验验证.本文对测试系统的定义... 软件测试能够为软件可靠性提供一种运行前评估.为减少达到一定可靠性目标所需要的测试用例的数量,普遍认为可以将软件的先验知识综合到基于测试的可靠性估计模型中.目前已经提出几种理论模型但是少有试验验证.本文对测试系统的定义进行了扩展,从规范、实现和测试之间的关系,研究了影响软件测试有效性的因素,并通过试验验证了基于贝塔分布模型的先验知识和基于PAC模型的先验知识在可靠性估计中的作用.本文的结论认为是软件的易测性特征而不是先验知识的多少决定了达到一定可靠性目标所需的测试用例数量.该结论有助于理解软件设计对于测试有效性的影响. 展开更多
关键词 软件测试 先验知识 可靠性 易测性
在线阅读 下载PDF
工业大数据软件面临的挑战及应用发展 被引量:2
3
作者 王建民 《信息通信技术与政策》 2020年第10期1-5,共5页
工业大数据是工业领域相关数据集的总称,是智能制造与工业互联网的核心要素。工业大数据软件负责工业互联网数据采集、管理、处理、分析和应用等任务,包括系统软件、领域平台和企业应用3个层次的软件构件。分析了智能工业互联网应用场... 工业大数据是工业领域相关数据集的总称,是智能制造与工业互联网的核心要素。工业大数据软件负责工业互联网数据采集、管理、处理、分析和应用等任务,包括系统软件、领域平台和企业应用3个层次的软件构件。分析了智能工业互联网应用场景下工业大数据软件开发所面临的挑战;聚焦如何有效收集、存储并分析工业物联网时序数据,如何降低大数据处理分析的技术门槛,如何快速低成本构建工业大数据应用软件系统;最后对工业大数据软件的应用情况及未来工业大数据软件的发展愿景进行了展望。 展开更多
关键词 工业大数据软件 工业互联网 工业物联网数据库 Apache IoTDB 软件开发工具
在线阅读 下载PDF
基于社会学信任理论的软件可信性概念模型 被引量:4
4
作者 杨曦 罗平 贾古丽 《电子学报》 EI CAS CSCD 北大核心 2019年第11期2344-2353,共10页
可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信&q... 可信性作为软件的一种复杂的高复合概念,几十年间都未能取得实质性进展和突破.本文在对可信性权威定义分析的基础上,论证了这些定义所涉范围彼此矛盾且不相容,进一步说明从本质出发研究软件可信性概念模型的重要性和必然性."可信"一词源于社会学,所以应该从社会学的信任理论出发来探讨软件可信性的本质.本文在上百篇经典社会学信任理论文献上构建出信任体系模型STM,并与软件的信任体系进行了对比和映射,提出基于社会学信任理论的软件可信性概念模型STCM.在STM和STCM的基础上给出软件可信性概念模型的定义系统.最后通过度量评估实验验证了模型是可行的、有效的,为软件可信性的发展提供了新的研究方向. 展开更多
关键词 软件可信性 信任理论 STM STCM 可靠性 安全性
在线阅读 下载PDF
数智安全标准化教育研究与实践
5
作者 金涛 《中国标准化》 2024年第5期159-166,共8页
本文深入剖析了我国在数智安全标准化领域人才培养的现况与挑战,结合清华大学《数智安全与标准化》研究生课程的教学实践,探索提出了基于“产教融合”“师生共同体”的数智安全标准化教育模式,旨在培养能够适应未来技术发展和市场需求... 本文深入剖析了我国在数智安全标准化领域人才培养的现况与挑战,结合清华大学《数智安全与标准化》研究生课程的教学实践,探索提出了基于“产教融合”“师生共同体”的数智安全标准化教育模式,旨在培养能够适应未来技术发展和市场需求的数智安全标准化专业人才。 展开更多
关键词 数智安全 标准化 教育 产教融合 师生共同体
在线阅读 下载PDF
密码算法库模糊测试技术研究综述
6
作者 马福辰 周远航 +3 位作者 陈元亮 颜臻 姜宇 孙家广 《密码学报(中英文)》 CSCD 北大核心 2024年第3期504-520,共17页
密码算法库是提供加密、解密、签名、验证等多种密码学相关功能的基础软件库.为了保证网络传输的安全性,很多系统软件都会使用密码算法库来实现数据的隐私性,以确保数据不被恶意窃取利用.但是,密码算法库的实现过程中往往会引入一些漏洞... 密码算法库是提供加密、解密、签名、验证等多种密码学相关功能的基础软件库.为了保证网络传输的安全性,很多系统软件都会使用密码算法库来实现数据的隐私性,以确保数据不被恶意窃取利用.但是,密码算法库的实现过程中往往会引入一些漏洞,这些漏洞会导致系统在使用库中的函数时出现内存崩溃或者加密逻辑失效等后果,对系统的安全性和可用性带来极大的影响.模糊测试是一种检测软件实现漏洞的有效技术,它通过生成大量的测试输入,观察被测软件的反馈,进而检测漏洞是否存在.这种技术已经被应用于密码算法库的漏洞检测中,并且发现了包括OpenSSL、SymCrypt、Crypto++等常用的密码算法库中的漏洞.本文通过总结对密码算法库进行高效测试的主要难点,分析了对密码算法库进行模糊测试的核心需求,并提出了密码算法库模糊测试工具所面临的主要挑战.接着,针对目前常用的6款面向密码算法库的模糊测试工具进行了剖析和评估.最后,根据目前的工具在漏洞挖掘能力、代码覆盖率和输入有效性等评估指标上的表现,提出了密码算法库模糊测试未来可能的研究方向和优化策略. 展开更多
关键词 模糊测试 密码算法库 漏洞挖掘
在线阅读 下载PDF
逻辑内建自测试技术进展综述
7
作者 金敏 向东 《集成技术》 2024年第1期44-61,共18页
逻辑内建自测试(logic buit-in self-test,LBIST)是一种可测试性设计技术,利用芯片、板级或系统上的部分电路测试数字逻辑电路本身。LBIST对于许多应用来说至关重要,尤其是国防、航空航天、自动驾驶等生命和任务关键型的应用。这些应用... 逻辑内建自测试(logic buit-in self-test,LBIST)是一种可测试性设计技术,利用芯片、板级或系统上的部分电路测试数字逻辑电路本身。LBIST对于许多应用来说至关重要,尤其是国防、航空航天、自动驾驶等生命和任务关键型的应用。这些应用需要执行片上、板上或系统内自检,以提高整个系统的可靠性及执行远程诊断的能力。该文首先给出了常用的LBIST分类,并描述了经典的,也是工业界应用最成功的LBIST架构——使用多输入特征寄存器和并行移位序列产生器的自测试架构;其次,对国内外研究团队、研究进展进行了总结;再次,详细剖析了LBIST的基本原理、时序控制、确定性自测试设计、低功耗设计、“X”容忍等关键技术点,列举出了主流的LBIST商业工具,并逐一分析了其软件架构和技术特点;最后,讨论当前LBIST技术仍需进一步解决的问题,并进行展望。 展开更多
关键词 逻辑内建自测试 伪随机序列产生器 多输入特征寄存器 确定性自测试 可测试性设计
在线阅读 下载PDF
低功耗广域网LoRa技术进展与研究挑战
8
作者 童率 王继良 《电子学报》 EI CAS CSCD 北大核心 2024年第10期3623-3642,共20页
物联网的快速发展催生了大量新型的应用模式和互联生态,推动了产业数字化和智能化发展.物联网通过连接传感器、可穿戴设备、智能表计等低数据率、低功耗终端,赋予大量普通设备计算和联网的能力.随着应用场景和系统规模的扩展,传统无线... 物联网的快速发展催生了大量新型的应用模式和互联生态,推动了产业数字化和智能化发展.物联网通过连接传感器、可穿戴设备、智能表计等低数据率、低功耗终端,赋予大量普通设备计算和联网的能力.随着应用场景和系统规模的扩展,传统无线技术难以适应物联网大规模、低功耗、远距离的设备组网要求.如何降低设备接入门槛、实现设备低功耗远距离连接,是当前物联网面临的重要挑战.LoRa(Long Range)作为一种代表性的低功耗广域网技术,有效解决了低功耗设备远距离连接问题,已成为物联网的核心支撑技术.然而LoRa在规模化应用中仍面临以下三方面重要挑战:(1)大规模连接场景高并发传输导致信号冲突,设备并发接入困难;(2)远距离无线链路信号衰减剧烈,弱信号可靠传输困难;(3)物联网共享信道异构协议干扰问题突出,广域异构共存困难.本文概述了现阶段低功耗广域物联网技术研究进展,重点阐述现有技术在实际应用场景中面临的三方面研究挑战及对应的技术方案.针对高并发冲突问题,现有研究提出冲突避免和并发解码方法;针对弱信号问题,现有研究在弱信号增强传输和接收端解码优化两个方面展开探索;针对异构协议竞争问题,现有研究设计了多种设计跨协议通信机制.本文综述了LoRa低功耗广域网最新相关研究,分析现有工作的创新点和局限性,并指出了低功耗广域网未来研究和发展的方向. 展开更多
关键词 物联网 低功耗广域网 冲突解码 弱信号 跨协议通信 网络系统 网络协议
在线阅读 下载PDF
AI审图机器人在消防图审业务运营管理系统中的应用
9
作者 杨松霖 许传升 张荷花 《土木建筑工程信息技术》 2024年第5期20-25,共6页
本文结合清华大学与清大东方智能科技有限公司的最新研究成果,介绍了“图智2.0:施工图消防AI审查系统”与现实图审业务运营管理系统的创新实践。将AI审图功能集成到实际消防图审管理流程中,提出了面向全套施工图的消防审查AI机器人解决... 本文结合清华大学与清大东方智能科技有限公司的最新研究成果,介绍了“图智2.0:施工图消防AI审查系统”与现实图审业务运营管理系统的创新实践。将AI审图功能集成到实际消防图审管理流程中,提出了面向全套施工图的消防审查AI机器人解决方案,并在实际消防图审业务中进行了应用。初步实践结果表明,当前AI审图机器人能够自动接收审图任务、执行全自动审查并提交规范化的审查结果。AI审图机器人已初步应用于幼儿园、学校、住宅等多类民用建筑的消防图审项目,提高了审查的客观性与效率;同时,本文提出的AI消防审查解决方案为人工智能技术在消防审查行业的应用提供了有益参考。 展开更多
关键词 AI审图机器人 人工智能 消防审图 民用建筑
在线阅读 下载PDF
一种基于局部结构的改进奇异值分解推荐算法 被引量:13
10
作者 方耀宁 郭云飞 +1 位作者 丁雪涛 兰巨龙 《电子与信息学报》 EI CSCD 北大核心 2013年第6期1284-1289,共6页
基于奇异值分解(Singular Value Decomposition,SVD)的推荐算法,在预测准确性、稳定性上具有明显优势,但在用随机梯度下降法求解过程中误差下降速度逐渐变慢、迭代次数较多,这极大限制了其在实际项目中的应用。针对这个问题,该文利用评... 基于奇异值分解(Singular Value Decomposition,SVD)的推荐算法,在预测准确性、稳定性上具有明显优势,但在用随机梯度下降法求解过程中误差下降速度逐渐变慢、迭代次数较多,这极大限制了其在实际项目中的应用。针对这个问题,该文利用评分矩阵的差分矩阵来表征局部结构信息,并作为新的目标函数来优化SVD推荐算法。在MovieLens和Netflix数据集合上的实验结果表明:与经典SVD算法相比,该优化算法能够用更少的迭代次数得到更准确的预测结果;与当前的其他算法相比,该优化算法在预测准确性上仅次于SVD++,在训练时间上具有显著优势。 展开更多
关键词 信息处理 推荐系统 协同过滤 奇异值分解(SVD) 局部结构
在线阅读 下载PDF
半干法烟气脱硫技术研究新进展 被引量:18
11
作者 赵卷 张少峰 张占锋 《河北工业大学学报》 CAS 2003年第5期81-86,共6页
对几种有代表性的半干法脱硫技术进行了简单评述,分析了影响脱硫率和脱硫剂利用率的主要因素.就我国现有半干法烟气脱硫技术做了回顾,指出了半干法脱硫技术存在问题,并对今后半干法脱硫技术的发展趋势进行了简要分析,指出研究投资少,运... 对几种有代表性的半干法脱硫技术进行了简单评述,分析了影响脱硫率和脱硫剂利用率的主要因素.就我国现有半干法烟气脱硫技术做了回顾,指出了半干法脱硫技术存在问题,并对今后半干法脱硫技术的发展趋势进行了简要分析,指出研究投资少,运行费用低,脱硫率和脱硫剂利用率高,副产品可利用,工艺先进,无污染的脱硫工艺和装置是今后半干法脱硫技术的发展趋势. 展开更多
关键词 烟气脱硫 半干法 喷雾 流化床 喷动床 脱硫剂
在线阅读 下载PDF
基于漏洞严重程度分类的漏洞预测模型 被引量:10
12
作者 高志伟 姚尧 +2 位作者 饶飞 刘延钊 罗平 《电子学报》 EI CAS CSCD 北大核心 2013年第9期1784-1787,共4页
软件漏洞预测模型有许多种,能预测软件中存在的漏洞总数以及发生的时间间隔,但不能预测软件漏洞的严重程度.然而在某些场合,如软件可信性,我们不仅要考虑软件漏洞发生的总数和时间间隔,而且也要考虑漏洞发生的严重程度对软件可信性的影... 软件漏洞预测模型有许多种,能预测软件中存在的漏洞总数以及发生的时间间隔,但不能预测软件漏洞的严重程度.然而在某些场合,如软件可信性,我们不仅要考虑软件漏洞发生的总数和时间间隔,而且也要考虑漏洞发生的严重程度对软件可信性的影响.既是在传统的软件安全性研究中,考虑漏洞发生的严重程度的影响,对软件的使用和风险控制也是很重要的.本文基于传统的马尔可夫模型,将软件漏洞按发生的严重程度进行分类,获得了一种新的软件漏洞预测数学模型.利用该模型不仅能够预测软件中存在的漏洞总数和时间间隔,而且同时也能预测每一类的漏洞总数和漏洞种类,试验表明有较好的准确度,这是其它漏洞预测模型所无法预测的. 展开更多
关键词 漏洞预测模型 马尔科夫链 漏洞严重程度 分类预测
在线阅读 下载PDF
基于群集智能的传感器管理方法研究 被引量:8
13
作者 杨博 王向华 +2 位作者 邵利平 覃征 于维虎 《兵工学报》 EI CAS CSCD 北大核心 2012年第2期155-162,共8页
传统传感器管理方法一般采用集中式处理,这种处理方式可能会产生中央节点负荷重和系统通讯压力过大等问题,同时也会因为局部启发式信息的引入而导致了公共悲剧问题。针对以上问题,本文将群集智能理论应用于多传感器管理研究,在以效能函... 传统传感器管理方法一般采用集中式处理,这种处理方式可能会产生中央节点负荷重和系统通讯压力过大等问题,同时也会因为局部启发式信息的引入而导致了公共悲剧问题。针对以上问题,本文将群集智能理论应用于多传感器管理研究,在以效能函数作为传感器效用函数的基础上,提出了基于群集智能的传感器管理方法。该方法为每个传感器定义个体效用函数,为整个传感器系统定义全局效用函数。群集智能理论保证了在算法迭代过程中通过优化传感器的个体效用而达到优化全局效用的目的。仿真实验表明使用群集智能理论解决传感器管理问题不仅可减轻中央节点负荷、降低系统通讯压力,在提高系统性能的方面也不逊色于其他传感器管理方法。以虚拟传感器网络数据作为实验数据的实验结果表明,本文所提出的方法在传感器的管理性能上,效果优于基于粒子群的传感器管理方法。 展开更多
关键词 人工智能理论 群集智能 传感器管理 效能函数
在线阅读 下载PDF
基于SOA和Smart Client的应用集成框架的研究和应用 被引量:15
14
作者 张世兵 刘强 黄小瑜 《微电子学与计算机》 CSCD 北大核心 2006年第7期13-16,共4页
文章中阐述了企业信息化的现状及其存在的问题,并分析了传统企业应用集成(EAI)在应用中的不足和缺陷,提出了基于SOA(面向服务体系结构)和SmartClient(智能客户端)的应用集成框架(WS-EAI)。对WS-EAI框架组成进行了系统阐述,框架中基于业... 文章中阐述了企业信息化的现状及其存在的问题,并分析了传统企业应用集成(EAI)在应用中的不足和缺陷,提出了基于SOA(面向服务体系结构)和SmartClient(智能客户端)的应用集成框架(WS-EAI)。对WS-EAI框架组成进行了系统阐述,框架中基于业务对象的Ws-agent,使得异构系统的集成变成简单的服务对接。 展开更多
关键词 企业应用集成 Web服务 面向服务体系结构 智能客户端 税务
在线阅读 下载PDF
现代操作系统的思考 被引量:4
15
作者 顾明 郭陟 +1 位作者 孙家广 赵曦滨 《电子学报》 EI CAS CSCD 北大核心 2002年第12A期1913-1916,共4页
伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应... 伴随计算机硬件和网络技术的发展,作为计算机系统中的重要组成部分的操作系统也在不断发展.本文回顾了操作系统的作用、发展历史及主要组成部分,分析了现代操作系统的发展趋势,并针对未来操作系统在计算机体系结构中的地位演变做了相应的思考. 展开更多
关键词 操作系统 微内核 可扩展操作系统 计算机 发展趋势
在线阅读 下载PDF
菌群细胞图像分离算法研究 被引量:6
16
作者 刘相滨 邹北骥 孙家广 《电子学报》 EI CAS CSCD 北大核心 2005年第6期1056-1059,共4页
颗粒图像分析中聚堆目标的分离对目标的计数及特征的提取非常重要.现有分离算法都要求聚堆目标粘连处凹陷比较明显,并且/或者存在灰度局部最小边缘.菌群聚堆细胞大小不一、聚堆形态各异,多数聚堆细胞并不具备上述条件.文中提出了一种基... 颗粒图像分析中聚堆目标的分离对目标的计数及特征的提取非常重要.现有分离算法都要求聚堆目标粘连处凹陷比较明显,并且/或者存在灰度局部最小边缘.菌群聚堆细胞大小不一、聚堆形态各异,多数聚堆细胞并不具备上述条件.文中提出了一种基于聚堆区域轮廓跟踪、删除的分离算法,依据跟踪“虫”在跟踪过程中遇到已跟踪过轮廓点的情况判断分离的进行.实验结果表明算法对菌群聚堆细胞分离的成功率要高于现有算法10%以上. 展开更多
关键词 聚堆 分离算法 8-连通 轮廓跟踪 菌群图像
在线阅读 下载PDF
基于TSV绑定的三维芯片测试优化策略 被引量:6
17
作者 神克乐 虞志刚 白宇 《电子学报》 EI CAS CSCD 北大核心 2016年第1期155-159,共5页
本文提出一种三维片上系统(3D So C)的测试策略,针对硅通孔(TSV,Through Silicon Vias)互连技术的3D So C绑定中和绑定后的测试进行优化,由于测试时间和用于测试的TSV数目都会对最终的测试成本产生很大的影响,本文的优化策略在有效降低... 本文提出一种三维片上系统(3D So C)的测试策略,针对硅通孔(TSV,Through Silicon Vias)互连技术的3D So C绑定中和绑定后的测试进行优化,由于测试时间和用于测试的TSV数目都会对最终的测试成本产生很大的影响,本文的优化策略在有效降低测试时间的同时,还可以控制测试用的TSV数目,从而降低了测试成本.实验结果表明,本文的测试优化策略与同类仅考虑降低测试时间的策略相比,可以进一步降低约20%的测试成本. 展开更多
关键词 SOC测试 3D SOC 测试优化 测试成本
在线阅读 下载PDF
基于MANET可用性的信任度量模型 被引量:5
18
作者 赵曦滨 游之洋 赵志峰 《通信学报》 EI CSCD 北大核心 2010年第3期82-88,共7页
提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发... 提出并设计了基于可用性的信任度量模型(ABTEM,availability based trust evalua tion model),在此基础上可以构建多种针对可用性的安全服务。网络模拟实验的结果证明,将ABTEM应用于DSR路由协议时,在路由层能够成功地根据其恶意行为发现网络中的恶意节点,并且进一步孤立这些恶意节点,从而避免网络继续受到恶意节点的侵害,显著提高了MANET系统的可用性。 展开更多
关键词 MANET 可用性 信任度量 DSR协议
在线阅读 下载PDF
分布式天线系统中的系统上行中断概率分析 被引量:4
19
作者 王俊波 王金元 +1 位作者 林敏 陈明 《电子与信息学报》 EI CSCD 北大核心 2011年第5期1136-1140,共5页
中断概率是无线通信系统的一个重要指标。该文针对分布式天线系统中的系统中断概率问题进行了研究。首先,建立了包含路径损耗、阴影衰落和瑞利衰落的复合信道模型;然后,在该信道模型下推导出给定移动台位置时的信噪比;接着,基于选择合... 中断概率是无线通信系统的一个重要指标。该文针对分布式天线系统中的系统中断概率问题进行了研究。首先,建立了包含路径损耗、阴影衰落和瑞利衰落的复合信道模型;然后,在该信道模型下推导出给定移动台位置时的信噪比;接着,基于选择合并策略,分析出给定移动台位置时系统上行传输的中断概率表达式;最后,考虑到小区内移动台任意分布特点,文章给出系统上行中断概率闭合理论表达式。仿真结果表明,所提的系统上行中断概率理论表达式与仿真结果十分吻合。 展开更多
关键词 无线通信 分布式天线系统 系统中断概率 选择合并 上行传输 复合信道
在线阅读 下载PDF
基于三维芯片热驱动的扫描测试策略 被引量:9
20
作者 神克乐 向东 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1202-1206,共5页
本文针对三维芯片测试,首先提出了一种扫描结构,这种结构考虑了硅通孔(through silicon vias)互连的代价,在有效的降低测试时间的同时,还可以压缩测试激励数据和测试响应;另外在降低温度方面,扫描树结构也有很好的表现.在三维芯片中的热... 本文针对三维芯片测试,首先提出了一种扫描结构,这种结构考虑了硅通孔(through silicon vias)互连的代价,在有效的降低测试时间的同时,还可以压缩测试激励数据和测试响应;另外在降低温度方面,扫描树结构也有很好的表现.在三维芯片中的热点(hotspot)经常会影响性能和可靠性.接着,本文提出了一种测试向量排序策略,从而避免测试向量可能会导致温度分布不均,有效的降低了三维芯片的温度.实验结果表明,本文提出的扫描树结构要比传统的扫描链结构在峰值温度方面降低了15%.如果在扫描树结构上应用测试排序策略,芯片上峰值温度可以降低超过25%. 展开更多
关键词 热驱动测试策略 扫描树 三维芯片 测试排序
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部