计算机学科国家自然科学基金重点项目10年资助情况分析

对计算机学科2006年-2015年国家自然科学基金重点项目资助情况进行了统计分析,对重点项目申请与评审过程、项目指南产生过程进行了介绍,旨在为相关研究人员申报重点项目提供借鉴和参考.

两级总线型计算机温度检测系统应用研究

介绍了一种新型的两级总线型电子冷藏箱温度检测系统。研制设计了温度智能控制器的总线型温度检测电路 ,甩掉了从传感器、变送器、多路开关到A/D转换器的传统模式。该系统成功地解决了多点、远距离温度测量的线路驱动和时序配合问题。设计了硬件去抖动电路 ,并巧妙地把网络中“令牌”传递技术移植到温度检测系统中 ,具有显著的应用和推广价值。

计算机系统的EMC及TEMPEST

信息技术设备的无意信息泄漏严重威胁机要信息的安全传送,信息泄漏受到了国防、工业、金融等部门的广泛重视。文章针对信息技术设备的信息泄漏,介绍了EMC及TEMPEST的基本概念,分析了计算机系统EMI及TEMPEST的机理,阐述了计算机EMC的发展状况,概述了计算机EMC及TEMPEST技术标准。

基于.Net的军队计算机网络信息安全对策

随着我军信息化建设步伐的不断加快,计算机网络技术在部队的应用日趋广泛。但从整体情况看,我军的网络信息安全还存在很多问题,网络安全工作明显滞后于网络建设。针对现阶段军队网络安全存在的问题,从Web服务器、数据库管理、程序源代码、网络数据传输和网络安全管理方面提出了相应的解决对策。对当前我军计算机网络安全的建设和发展以及把握未来战争形态具有十分重要的意义。

美能达CS-100色度仪与计算机接口及应用

讨论了Minolta的CS - 1 0 0色度仪硬件接口信号 ,用AT89C2 0 51最小系统实现了与计算机接口 ,同时用Delphi 5实现了将其连接到计算机进行色温程控测量的驱动程序开发 。

计算机系统故障自检测研究

该文首先介绍了计算机系统硬件部分和软件部分的可靠性设计方法,并着重讨论了计算机系统中的自检测研究的方法和准则,最后提出了常用电路的自检测结构和自检测算法。

以双创教育改革促进计算机类专业工程认证实施探索

工程教育专业认证是一种以培养目标和毕业出口要求为导向的合格性评价,为了确保专业毕业生达到行业认可的既定质量标准要求,因此在计算机类专业实施工程教育认证已经成为提高人才培养质量的重要保障。本文通过发挥创新创业教育改革在全校综合改革中引用作用,以教育信息化促进课堂模式改革、以项目制方式促进考核环节改革、以必修环节强化学生非专业能力培养,并发挥创新创业导师作用,破解计算机类专业工程教育专业认证存在的问题,提高计算机类专业人才培养质量。

综合化航空电子系统中基于可信计算的访问控制模型

综合化航空电子系统呈现高度综合化、模块化的特点,其对平台的可信性及信息的机密性和完整性提出了较高要求。仅仅依赖于软件自身并不能建立满足综合化航空电子系统要求的高可信平台,使用可信计算技术,基于可信根,构建可信的综合化航空电子系统,并重点对基于可信硬件及可信技术的访问控制进行了研究,借鉴了BLP模型和BIBA模型的思想,提出了能够保障完整性和机密性的访问控制模型。研究分析表明提出的访问控制模型增强了综合化航空电子系统的安全性。

西安市数字方志全文检索系统的设计与实现

通过Lucene API实现对PDF文档的一次全文检索,为了更精确地定位搜索关键词,设计并实现了一种新的二次索引算法,该二次索引带有关键词的页码、坐标及其上下文等信息。利用该二次索引可将检索结果定位到PDF文档的具体页,然后在页面上标示出关键字的具体位置,使对PDF文档的二次检索达到了类似Google Book的图书检索效果。系统测试结果说明系统具有良好检索性能,有较高的查全率和查准率,能够满足用户快速检索的需求。系统作为西安市数字方志全文检索平台投入使用已有2年,取得了较好的应用成果。

云计算下保障公平性的多资源分配算法

针对云计算平台多资源分配公平性问题,文中在DRF算法基础上,提出了云计算动态资源需求公平分配模型,并提出了基于信誉因子的增强公平性分配算法.算法引入信誉因子,对云中计算节点资源使用情况进行实时评估,对恶意长时间侵占资源行为进行惩罚性分配,刺激节点在任务结束后释放占用资源,确保了平台中其他节点资源配额不受影响.与现有方案相比,基于信誉的增强公平性分配算法在保证分配公平的前提下,增强了对公平性的保障,有效地确保了云计算平台资源调度的公平性、可靠性.

自适应动态控制种群规模的自然计算方法

提出了一种种群规模自适应动态控制策略,实现了种群规模根据进化过程自适应的动态变化.该策略的实现不依赖于算法进化操作的具体步骤,因而适用于各种基于种群优化的自然计算方法.首先给出了动态控制策略的框架;然后,在此框架下,充分利用动态种群规模反馈的有用信息,提出了基于Logistic模型的增加/删除数目自适应变化的方法,设计了自适应地兼顾有效性和多样性的增加算子和基于多样性的删除算子.将该策略应用到两种不同的自然计算方法中,采用经典测试函数和新型CEC05测试函数验证其性能.实验结果均表明,结合了所提出的种群规模自适应动态控制策略的新算法,比原算法在求解精度和收敛速度上均有明显的提升.

通用可组合公平安全多方计算协议

在通用可组合框架下研究安全多方计算的公平性问题。在UC框架下,提出公平安全多方计算的安全模型。在模型中形式化定义了公平安全多方加法计算理想函数FSMPAF和公平安全多方乘法计算理想函数FSMPMF。然后,基于双线性对技术和承诺方案理想函数COMF,在COMF-混合模型下分别设计公平加法协议FSMPAπ和公平乘法协议FSMPMπ安全实现理想函数FSMPAF和FSMPMF。最后,性能分析表明所提协议的有效性,能更好地满足应用需求。

基于免疫计算的TD-SCDMA网络基站选址优化

为了降低TD-SCDMA网络基站建设代价,给出了一种基于免疫计算的基站选址优化方案。介绍了TD-SCDMA基站建设的困难及基站选址原则,设计了基于实数编码的克隆增殖算子、克隆变异算子及克隆选择算子,给出了求解基站选址优化问题的免疫记忆克隆算法框架,并与文献中的算法进行了对比实验。实验结果表明,该算法获得的基站部署方案能以相对较低的基站建设总代价获得较高的网络覆盖率,具有较好的应用价值。

综合化航空电子系统安全技术研究进展

综合化航空电子系统具有高度综合化、模块化和开放性的特点。各子系统之间相互联网通信,资源高度共享、数据高度融合等特性使得综合化航空电子系统存在巨大的信息安全隐患。事实上,信息安全技术已经成为影响飞机安全和任务执行的关键因素之一。综合化航空电子系统要求信息安全等级为CC(Common Criteria)的最高安全级别,信息安全模块要求实时性和低开销,因此综合化航空电子系统安全技术面临着巨大的挑战。综述综合化航空电子系统安全体系结构,分析和比较了各种综合化航空电子系统安全保障机制,具体包括:实时操作系统的时空隔离机制,虚通道通信机制,数据通信、处理和存储过程中的机密性、完整性保护机制等。通过这些分析和比较,希望能够为实现具有高可靠性、高可生存性和高可用性的综合化航空电子系统安全技术奠定基础。

改进的移动计算平台直接匿名证明方案

分析了Ge等人提出的直接匿名证明方案的安全缺陷,指出该方案的认证协议在用于远程证明时不能抵抗重放攻击和平台伪装攻击。提出一种改进的直接匿名证明的认证协议,引入会话密钥协商机制,增强互认证功能。分析表明,改进方案在正确进行直接匿名证明的前提下,满足不可伪造性和匿名性,能够抵抗重放攻击和平台伪装攻击,协议性能满足移动计算平台的可信验证需求。

基于变方差概率模型和进化计算的WSN定位算法

定位是无线传感器网络技术和应用的重要基础.基于接收信号强度(received signal strength,简称RSS)的定位方法是实际应用中比较重要的定位方法.考虑到实际应用中不同地点RSS测量信号的方差有所不同这一特点,运用最大概率似然理论,建立了更加符合实际的基于RSS测量的概率定位模型.对于模型中目标表达式高度非线性不好求解的特点,运用进化计算理论设计出符合传感器通信特征的定位算法(location in probability maximum with evolutionary algorithm,简称PMEA)求解概率可能性最大的位置坐标点,并用随机过程在数学上证明了算法的收敛性.最后,通过对实际公开数据集的实验,证实所提出的概率模型和PMEA算法确实能够提高RSS测距定位的精度.

图的最大权团的DNA计算

给定顶点赋权的无向图 ,图的最大权团问题是寻找每个顶点都相邻的顶点子集 (团 )具有最大权 .这个问题是寻找无权图的最大团问题的推广 .图的最大团和最大权团都是著名的NP 完全问题 ,没有非常有效的算法 .1994年Adleman博士首先提出用DNA计算解决NP 完全问题 ,使得NP 完全问题的求解可能得到解决 .本文给出了基于质粒技术的无向图的最大权团问题的DNA算法 ,依据HeadT等的实验手段 ,本文提出的算法是有效并且可行的 .

云计算环境下基于密文策略的权重属性加密方案

在综合分析现有基于密文策略属性加密方案的基础上,针对现有基于密文策略属性加密方案较少考虑属性权重的现状,将权重的概念引入到基于密文策略的属性加密方案中,提出了基于密文策略的权重属性加密方案,证明了在选择权重属性集模型下安全性。并将此方案引入到云计算环境下,给出了系统级的基于密文策略的权重属性加密方案。分析表明,基于密文策略权重属性的加密方案相比现有方案更适用于云计算环境。

异构无线网络中基于免疫计算的联合会话接纳控制

本文研究了单运营商异构网络环境下的联合会话接纳控制问题,给出了一个基于免疫计算的会话接纳控制方案.设计了联合会话接纳控制问题的数学模型,给出了基于免疫多目标优化算法的控制方案框架,并通过仿真实验验证了本文方案.实验结果表明,与文献方案相比,本文设计的接入控制方案在阻塞率和频谱效用之间获得了更好的性能折中,同时更好地兼顾了同一运营商内各个接入网络之间的公平,具有较好应用价值.

一种基于高阶累积量的近场源四维参数联合估计算法

本文提出了一种新的多个近场窄带信源距离、频率及二维到达角四维参数联合估计算法.首先基于特定序号阵元输出计算的高阶累积量构造4个矩阵,接着结合这些矩阵的结构特点构造3个新的矩阵,然后基于新构造矩阵分解得到的特征值和特征向量联合估计信源参数.与现有的方法相比,本文给出的方法有效提高了阵列孔径利用率,参数自动配对.仿真结果表明该算法是有效的.