期刊文献+
共找到607,806篇文章
< 1 2 250 >
每页显示 20 50 100
基于GCC的符号执行工具 预览
1
作者 刘湿润 《软件》 2016年第12期共5页
静态分析和符号执行是发现源代码缺陷和提高源代码质量的两种有效方式。然而,这两种技术都面临各自的问题,静态分析误报率较高和符号执行一直面临着路径爆炸难题。为了减少静态分析和符号执行的这些限制,本文构建了一个称为 ABARZER-... 静态分析和符号执行是发现源代码缺陷和提高源代码质量的两种有效方式。然而,这两种技术都面临各自的问题,静态分析误报率较高和符号执行一直面临着路径爆炸难题。为了减少静态分析和符号执行的这些限制,本文构建了一个称为 ABARZER-SE 的工具,它是第一个基于 GCC 结合符号执行和静态分析的源代码检测工具。ABAZER-SE由两个阶段组成,第一阶段是通过符号执行获取可行性路径,第二阶段应用静态分析技术对可行性路径分析找到源代码中缺陷。实验结果表明该工具具有可行性、有效性和可扩展性。 展开更多
关键词 信息安全 静态分析 符号执行 GCC 误报
在线阅读 下载PDF
网上城市中的通用数据模型的构建方案 预览 被引量:1
2
作者 戴芳胜 《计算机工程》 CAS 北大核心 2003年第21期 73-74,90,共3页
系统地阐述了网上城市信息化应用示范工程的核心模型:通用数据模型的设计目标与设计方案.在提炼了当今一些流行的数据模型中的部分成熟观点,并结合开发组在整个工程研发中总结的经验--闸北政务信息资源库,最终所设计出的数据模型,大大... 系统地阐述了网上城市信息化应用示范工程的核心模型:通用数据模型的设计目标与设计方案.在提炼了当今一些流行的数据模型中的部分成熟观点,并结合开发组在整个工程研发中总结的经验--闸北政务信息资源库,最终所设计出的数据模型,大大加强了信息示范工程在功能上的健壮性和通用性. 展开更多
关键词 数据模型 电子政务 虚拟数据中心 分布式数据 对象数据库模型
在线阅读 下载PDF
《数据库语言》CAI课件的设计与实现 预览
3
作者 傅冬绵 蔡林峰 《现代情报》 2003年第11期 182-184,186,共4页
本文主要介绍利用多媒体方开发工具AuthorWar6.0制作的<数据库语言>CAI课件的设计与实现过程.该课件对老师教学效果的提高以及学生学习兴趣的培养有着积极的作用.
关键词 《数据库语言》 计算机教学 多媒体课件 课件制作 CAI Author-Ware-6.0
在线阅读 下载PDF
业务流程规范化是电子政务系统建设的基础 预览 被引量:6
4
作者 高展 吴志刚 高栋 《信息技术与标准化》 2003年第11期 27-30,共4页
业务流程是为达到业务目标,业务领域中的一类过程和策略.描述业务流程的主要方法是建立可视化业务模型.本文介绍了<电子政务业务流程设计方法通用规范>标准中建模要素的组成以及相互间的关系,为软件开发人员与业务领域专家进行有... 业务流程是为达到业务目标,业务领域中的一类过程和策略.描述业务流程的主要方法是建立可视化业务模型.本文介绍了<电子政务业务流程设计方法通用规范>标准中建模要素的组成以及相互间的关系,为软件开发人员与业务领域专家进行有效的交流提供规范化的建模方法. 展开更多
关键词 业务流程 规范化 电子政务 可视化业务模型 软件开发
在线阅读 下载PDF
基于特征提取的智能天线波束校正问题研究 预览
5
作者 王乐宁 戴国宪 宋懋 《空军工程大学学报:自然科学版》 2003年第6期 56-59,共4页
基于阵列相关矩阵的特征分解技术,提出了特征值门限提取的智能天线波束校正方法.特征分解得到特征值与对应特征矢量后,通过门限提取,摒弃部分小特征值,使特征谱结构保持良好的稳健性.仿真结果表明:该方法能够有效抑制信号对消,改善旁瓣... 基于阵列相关矩阵的特征分解技术,提出了特征值门限提取的智能天线波束校正方法.特征分解得到特征值与对应特征矢量后,通过门限提取,摒弃部分小特征值,使特征谱结构保持良好的稳健性.仿真结果表明:该方法能够有效抑制信号对消,改善旁瓣电平性能,收敛速度优于传统方法,具有良好的波束校正能力. 展开更多
关键词 自适应数字波束形成 特征谱分解 智能天线 波束校正
在线阅读 下载PDF
地勘图象在线处理系统在电力系统中的应用 被引量:1
6
作者 罗鸣 陈轶佳 龙建忠 《四川电力技术》 2003年第6期 28-29,35,共3页
介绍了在线地质勘测图象处理系统在电力系统中的应用.利用微软新一代软件开发语言C#在.NET平台上实现地质勘测图象在线处理系统的方法.
关键词 网络程序 在线处理 地勘图象 电力系统
在线阅读 免费下载
文件管理软件 预览
7
《个人电脑》 2003年第7期 143,共1页
最近一段时间以来,Windows的资源管理器中集纳了越来越多的高级管理功能——例如添加注释和加密文件——而这些功能以前是通过第三方软件来实现的。尽管Windows内置的功能都很有用,但仍然存在有待改进的空间。我们评测了一些可以取代或... 最近一段时间以来,Windows的资源管理器中集纳了越来越多的高级管理功能——例如添加注释和加密文件——而这些功能以前是通过第三方软件来实现的。尽管Windows内置的功能都很有用,但仍然存在有待改进的空间。我们评测了一些可以取代或增强Windows资源管理器的第三方软件,这些软件增加了查看文件、转换格式、对多个文件进行批处理、对目录进行同步以及其他一些Windows中设计得比较拙劣或者根本没有的实用功能。 展开更多
关键词 WINDOWS 资源管理器 文件管理软件 批处理
在线阅读 下载PDF
微内核实时操作系统在弹载综合电子系统中的应用研究 预览
8
作者 詹景坤 王小辉 +3 位作者 解春雷 仇公望 祝树生 吕殿君 《电子测试》 2016年第8X期63-65,共3页
针对导弹武器系统"综合化、模块化、智能化"的发展要求,随着导弹武器功能与性能的日益强大、应用软件日益增多,为了实现其密集计算和集中管理的新需求,提出了面向弹载综合电子系统的微内核实时操作系统设计思想,操作系统作为... 针对导弹武器系统"综合化、模块化、智能化"的发展要求,随着导弹武器功能与性能的日益强大、应用软件日益增多,为了实现其密集计算和集中管理的新需求,提出了面向弹载综合电子系统的微内核实时操作系统设计思想,操作系统作为软件平台实现应用软件集成、调度和资源配置,为未来先进弹载综合电子系统的设计与开发进行前期探索,为综合化设计在工程上的应用积累经验。 展开更多
关键词 弹载综合电子系统 微内核 嵌入式 实时操作系统
在线阅读 下载PDF
基于云计算混合式学习的教学设计 预览
9
作者 蔡艳婧 《电子测试》 2016年第10X期149-150,共2页
本文以《面向对象程序设计(c#)之switch语句》为教学案例,详细描述了一个基于课堂讲授、实训室、云平台混合式学习教学设计的实施过程,任务驱动激发学生学习兴趣,教师引导、学生自主探索实践相结合,知识传授、素质培养、能力提高融为一... 本文以《面向对象程序设计(c#)之switch语句》为教学案例,详细描述了一个基于课堂讲授、实训室、云平台混合式学习教学设计的实施过程,任务驱动激发学生学习兴趣,教师引导、学生自主探索实践相结合,知识传授、素质培养、能力提高融为一体,不断提高教学质量和学习效果。 展开更多
关键词 云计算 混合式学习 教学设计
在线阅读 下载PDF
环境污染危险源数据管理系统分析与设计
10
作者 张长海 《潍坊高等职业教育》 2013年第1期33-36,共4页
采用数据库技术和计算机网络技术构建了环境污染危险源数据管理系统,实现对环境污染基础数据和信息的采集、传输、存储,以及对突发性环境事故的分析、处理,为环保部门提高环境监测和管理水平提供了手段。
关键词 环境污染 危险源数据 管理系统 程序设计
开源软件开发者激励机制研究 被引量:1
11
作者 程文婷 《网络法律评论》 2011年第1期89-102,共14页
随着数字革命和互联网的到来,作品的传播方式,合作完成作品的成本和可能性都发生了巨大的变化,随之而来的是一种对于智力成果自由(免费)分享的呼声,即从传统著作权中的"所有权利保留(all rights reserved)"到"部分权利保... 随着数字革命和互联网的到来,作品的传播方式,合作完成作品的成本和可能性都发生了巨大的变化,随之而来的是一种对于智力成果自由(免费)分享的呼声,即从传统著作权中的"所有权利保留(all rights reserved)"到"部分权利保留(some rights reserved)"或者"无权利保留(no rightsreserved)",这种呼声逐渐策动了一场声势浩大的开源运动(Open SourceMovement),从美国本土波及到整个世界。而开源软件,正是开源运动的产物。关于开源软件,学术界长久以来关注的两个问题是:(1)如果不是为了经济利益,是什么激励着软件开发者这投身于这样一场运动当中?(2)开源软件和商业软件的商业模式有何不同,二者是否可以兼容?相关的实践和理论还在发展当中,结论性的观点还难以得出,因此,本文试图通过对已有文献得分析和整理,就开源软件开发者激励机制的相关理论进行回顾,旨在厘清不同的观点,向读者呈现研究的现状。 展开更多
关键词 开源软件 黑客道德观 礼物经济 激励机制
EXCEL在有线电视工程管理中的应用 预览
12
作者 黄建新 《中国有线电视》 北大核心 2003年第23期 65-67,共3页
主要针对有线电视工程管理系统运用VB6.0 中的Crystal Report控件生成统计报表存在的问题,提出将VB和Excel紧密结合,通过利用Excel的强大功能来生成我们需要的各种统计报表,并结合一个实际例子提供了基本的处理过程.
关键词 EXCEL 有线电视 工程管理 统计报表 OLE-DB VB6.0
在线阅读 下载PDF
浅论新时期计算机软件开发技术的应用及发展趋势
13
作者 阳成 《计算机产品与流通》 2019年第1期29-29,共1页
随着我国经济社会的快速发展,我国的科技实力也在很大程度上得到了提升,而互联网等信息化手段的应用更是让我国的信息化程度进一步的加深了,在此基础上,计算机的应用也更加普及,因此新时期下计算机软件开发技术也形成了一个独立的产业... 随着我国经济社会的快速发展,我国的科技实力也在很大程度上得到了提升,而互联网等信息化手段的应用更是让我国的信息化程度进一步的加深了,在此基础上,计算机的应用也更加普及,因此新时期下计算机软件开发技术也形成了一个独立的产业。计算机软件与传统的计算机硬件相比更新的更快,所具有的功能也更多。本文通过对新时期下计算机软件开发技术的应用进行研究,从整体上分析了计算机软件开发技术的发展趋势,以期为新时期下计算机软件技术的进一步发展提供借鉴和参考。 展开更多
关键词 新时期 计算机 软件技术应用 发展趋势
SGML、HTML与XML的比较 预览 被引量:9
14
作者 徐永川 《情报科学》 CSSCI 北大核心 2004年第1期 100-103,共4页
本文分别介绍3种标记语言:标准通用标记语言(SGML)、超文本标记语言和可扩展标记语言(XML),并对其作简单的比较。
关键词 SGML 标准通用标记语言 HTML 超文本标记语言 XML 可扩展标记语言
在线阅读 下载PDF
火电厂水务管理系统软件的开发与实现 预览 被引量:1
15
作者 苏杰 曾新 《电站系统工程》 北大核心 2003年第6期 36-38,共3页
针对火力发电厂水务管理工作的基本任务和内容,采用VB6.0和Access数据库及模块化程序设计技术,开发了水务管理系统软件.介绍了水务管理系统软件的组成、设计与实现方法.
关键词 软件开发 火电厂 水务管理系统软件 模块化程序 数据库
在线阅读 下载PDF
Web日志模糊聚类算法的研究 预览 被引量:3
16
作者 吴妮娅 张健沛 《哈尔滨师范大学自然科学学报》 CAS 2003年第5期 63-66,共4页
本文提出了一种新的Web事务模糊聚类算法.给出了新的Web事务定义和相异度定义,聚类准则函数是所有样本与C个代表中心的相异度之和,我们的目标是使这个聚类准则函数最小.同时给出了改进算法.经过试验证明,改进的算法更有效.
关键词 WEB站点 模糊聚类算法 WEB日志挖掘 聚类准则函数 数据挖掘
在线阅读 下载PDF
Flash动画广告——艺术与技术的结合
17
作者 张晓岚 《现代装饰(理论)》 2013年第5期109-110,共2页
随着多媒体时代的到来,技术与艺术相结合的实现,广告在传统实拍形式之外,Flash动画技术的融入给广告业带来了新的视觉冲击力。文章通过对Flash动画广告发展过程、艺术特征及技术特征的总结,阐述了Flash动画在广告业领域中的运用,目的是... 随着多媒体时代的到来,技术与艺术相结合的实现,广告在传统实拍形式之外,Flash动画技术的融入给广告业带来了新的视觉冲击力。文章通过对Flash动画广告发展过程、艺术特征及技术特征的总结,阐述了Flash动画在广告业领域中的运用,目的是让更多的人接受这种新的广告形式。 展开更多
关键词 动画广告 FLASH动画 动画技术 视觉冲击 多媒体时代 视觉暂留 运动视觉 矢量图 动画作品 电视
高校科研决策支持系统中关联规则挖掘的应用 被引量:1
18
作者 卡尔·索旺 《对外经济贸易大学学报:国际商务版》 北大核心 2004年第1期 9-11,共3页
随着高校规模的不断扩大,教师的科研数据量越来越多。如何从大量数据中找出数据间的关系以支持领导的决策成了当务之急,本文讨论了如何利用数据挖掘方法中的Apriori算法对高校科研决策支持系统中的数据进行关联规则的挖掘。
关键词 数据挖掘 关联规则 科研决策支持系统 数据库
基于覆盖频率的模糊测试改进方法 预览
19
作者 傅玉 石东辉 +1 位作者 张阳 程亮 《计算机系统应用》 2019年第1期17-24,共8页
模糊测试是当前检测程序错误的最主流、最有效的手段之一.模糊测试工具首先对种子文件进行变异,生成大量新输入文件,然后挑选新输入来执行目标程序,以触发程序中潜在的漏洞.当前对模糊测试的研究多着眼于改进变异算法,提高生成的新文件... 模糊测试是当前检测程序错误的最主流、最有效的手段之一.模糊测试工具首先对种子文件进行变异,生成大量新输入文件,然后挑选新输入来执行目标程序,以触发程序中潜在的漏洞.当前对模糊测试的研究多着眼于改进变异算法,提高生成的新文件对目标程序代码的覆盖,忽略了备用种子文件的筛选策略对提高模糊测试覆盖率与测试效率的的贡献.针对该问题,我们提出了基于覆盖频率的种子文件筛选策略,在每次执行目标程序时,我们记录程序执行中覆盖过的路径边;根据边被执行次数的多少,我们将这些边分为低频边和高频边;对于包含了更多低频边且执行效率高的种子文件,我们给予更高的优先级.我们在模糊测试工具American Fuzzy Lop (AFL)实现了对应的算法,实验表明我们的算法有效提高了模糊测试的效率和代码覆盖率. 展开更多
关键词 自动测试 模糊测试 漏洞检测
在线阅读 下载PDF
西藏自治区人民政府办公厅关于做好县级办公自动化系统乡级视频会议系统建设相关工作的通知 预览
20
《西藏政报》 2011年第22期17-,共1页
<正>藏政办发[2011]116号(二○一一年十一月二十四日)各行署、拉萨市人民政府:为更好更快提升我区县级信息化应用水平,加强和创新社会管理,强化基层政权建设,提高政务办公效能,推进西藏跨越式发展和长治久安,自治区人民政府决定... <正>藏政办发[2011]116号(二○一一年十一月二十四日)各行署、拉萨市人民政府:为更好更快提升我区县级信息化应用水平,加强和创新社会管理,强化基层政权建设,提高政务办公效能,推进西藏跨越式发展和长治久安,自治区人民政府决定建设我区县级办公自动化系统和 展开更多
关键词 邮电 电信 办公自动化△ 建设 通知
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部 意见反馈