文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第2181-2190项搜索用时 64 毫秒

[首页] « 上一页 [214] [215] [216] [217] [218] 219 [220] [221] [222] [223] [224] 下一页 » 末页»

2181.

下载全文 总被引：2，自引：0，他引：2

函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的… … 相似文献

汪黎杨学军王戟罗宇《软件学报》2007,18(4):1056-1067

2182.

传感器网络中基于环的负载平衡数据存储方法

下载全文 总被引：8，自引：2，他引：8

传统的以数据为中心的存储方法有一个非常严重的缺点:网络中存在着明显的热点区域,主要出现在sink和home节点周围.位于热点区域附近的节点所消耗的能量远大于网络内的其他节点,从而严重缩短了传感器网络的寿命.对于出现在sink周围的热点问题,采用在网络中分布多个sink节点的方式消… … 相似文献

李贵林高宏《软件学报》2007,18(5):1173-1185

2183.

基于GPRS超低功耗排污监测终端的设计

下载全文

利用SIMCOM公司生产的SIM300无线模块、C8051F930超低功耗单片机、低功耗存储器AT45DB081B-RI设计了排污监测终端,并提供了硬件电路图,软件流程图及程序代码。解决了由于排污监测点地理环境恶劣造成工作人员难以现场监测的问题,提高了环保监测的效率。终端在无数据… … 相似文献

邬佳奇惠晓威于希洋《计算机系统应用》2010,19(5):145-147

2184.

Android安全加固技术

下载全文 总被引：1，自引：0，他引：1

为了保护Android智能手机安全,在深入分析Android系统安全机制的基础上,提出了一个基于强制访问控制的安全加固技术.该技术首先通过修改Android内核,添加一个平台无关的强制访问框架,其次为进程、文件等系统对象添加安全属性,最后通过制定一套细粒度的强制访问规则,对应用程… … 相似文献

乜聚虎周学海余艳玮吴志忠《计算机系统应用》2011,20(10):74-77

2185.

软件可信评估综述

下载全文 总被引：2，自引：1，他引：1

软件可信评估是近年来计算机科学的一个新的研究热点和难点,对软件可信评估的研究有助于促进软件产业的振兴与发展。首先分析了软件可信评估的必要性;然后对可信评估的研究现状进行综述,主要包括体现可信的属性特征和软件可信等级的定义、软件可信评估模型、软件可信评估实现方案四个方面;同时分析了… … 相似文献

周剑张明新《计算机应用研究》2012,29(10):3609-3613

2186.

安胜安全操作系统的隐蔽通道分析

下载全文 总被引：13，自引：0，他引：13

安胜安全操作系统是自主研制的基于Linux的高安全等级安全操作系统,包括安全内核,安全架构与安全模型.总结了对该系统进行的隐蔽通道分析方法,首次报道基于Linux内核开发的安全操作系统的隐蔽通道分析结果.应用新型的\"回溯方法\"发现了某些新的隐蔽通道.对被标识的隐蔽通道,准确地… … 相似文献

卿斯汉朱继锋《软件学报》2004,15(9):1385-1392

2187.

智能仓储物联网的设计与实现

下载全文 总被引：2，自引：0，他引：2

物联网因其巨大应用前景受到各国政府和学术、工业界的重视,＂智能物流＂也被广泛关注。在对物联网概念、技术体系、网络结构、工作原理等研究的基础上,提出了一种基于物联网的高智能化物流仓储管理系统设计方案。重点分析了系统的总体架构、工作流程及功能模块,进而分析了系统物联网中的RFID系统… … 相似文献

李忠成《计算机系统应用》2011,20(7):11-15

2188.

教育建模语言的设计与实现的分析

下载全文

教育建模语言EML/ IMSLD 是目前国际上用于数字教育资源开发的一项新兴技术。全面详述并深入地分析了EML/ IMSLD 的特色。它们分别是: 面向过程的学习单元设计思想; 面向对象的教学语义信息模型; 基于UML 的协作式教育资源开发流程等。EML / IMSLD 的设计思… … 相似文献

张豫郑晓齐 《计算机应用研究》2005,22(3):110-112

2189.

结构化P2P网络上可靠的基于内容路由协议

下载全文 总被引：5，自引：0，他引：5

在结构化P2P网络上构建基于内容的发布/订阅系统,可以很好地支持大规模、高度动态的分布式应用.然而,现有的基于内容的路由协议在P2P网络上只能提供弱的可靠性保证.根据结构化P2P网络的路由协议的特点,设计了一种新型的基于内容的路由协议--基于编码区间的路由(identifier … … 相似文献

汪锦岭金蓓弘李京《软件学报》2006,17(5):1107-1114

2190.

针对模板生成网页的一种数据自动抽取方法

下载全文 总被引：5，自引：0，他引：5

当前,Web上的很多网页是动态生成的,网站根据请求从后台数据库中选取数据并嵌入到通用的模板中,例如电子商务网站的商品描述网页.研究如何从这类由模板生成的网页中检测出其背后的模板,并将嵌入的数据(例如商品名称、价格等等)自动地抽取出来.给出了模板检测问题的形式化描述,并深入分析模板… … 相似文献

杨少华林海略韩燕波《软件学报》2008,19(2):209-223

[首页] « 上一页 [214] [215] [216] [217] [218] 219 [220] [221] [222] [223] [224] 下一页 » 末页»