关闭鞍炼

辽阳石化公司用了不到两个月的时间,以坚定的信心、顽强的毅力和周密的措施,坚持以人为本,破解了鞍炼悬空12年的产业结构调整难题,创造了中国石油持续重组史上的典范案例。     

大数据将引领在线教育的2014

不同的细分领域、企业类型、服务特点将决定着大数据在这一领域的最终使用形态和效果。     

基于不变量的程序修复进化扩展模型*

为了有效解决程序修复进化中搜索空间过大和正常功能牺牲的问题,提出了一种基于不变量约束的扩展的程序修复进化模型（extended repair evolutionary model,EREM）,利用程序不变量约束对搜索空间进行划分和约简以降低消耗,通过使用表达程序正常功能的正测试用例学习的不变量约束（称为正不变量约束）来保证程序不牺牲正常的功能,在适应度函数的设计上考虑测试用例通过数的同时也考虑了正不变量约束的保持数,对于破坏正不变量约束的个体适应度给予一定的惩罚值。最后通过实验对模型进行了验证,结果表明了     

民族的视觉盛宴--“国庆直播”活动的传播学意义解读

“国庆直播”活动对于受众的意义影响深远,从传播学的角度来说已经超越了一般的电视节目直播,而是通过这一“视觉盛宴”将所有受众关注和瞩目的庆典活动运用仪式观的方式呈现,凭借电视媒介制造出一种大众空间。因此,本文运用传播学理论对于“国庆直播”进行深层次的解读具有一定的现实意义。     

基于混合代码表示的源代码脆弱性检测

软件脆弱性对网络与信息安全产生了极大的威胁,而脆弱性的根源在于软件源代码。因为现有的传统静态检测工具和基于深度学习的检测方法没有完整地表示代码特征,并且简单地使用词嵌入方法转换代码表示,所以检测结果准确率低,误报率高或漏报率高。因此,提出了一种基于混合代码表示的源代码脆弱性检测方法来解决代码表示不完整的问题,并提升检测性能。首先将源代码编译为中间表示（IR）,并提取程序依赖图;然后基于数据流和控制流分析进行程序切片来得到结构化的特征,同时使用doc2vec嵌入节点语句得到非结构化的特征;接着使用图神经网络（GNN）对混合特征进行学习;最后使用训练好的GNN进行预测和分类。为了验证所提方法的有效性,在软件保证参考数据集（SARD）和真实世界数据集上进行了实验评估,检测结果的F1值分别达到了95.3%和89.6%。实验结果表明,所提方法有较好的脆弱性检测能力。     

进化计算在软件智能修复中的应用

提出一种基于进化计算的软件智能修复算法IREA。采用控制流图作为进化个体的编码方式,在确定适应度函数时,考虑控制流图节点集的势和结构相似度2个因素,将软件的修复过程转化为适应度指导的进化过程,从而实现软件智能化修复。实验结果表明,该算法具有可行性和有效性。     

针对软件修复的相对相似性评价模型*

利用软件修复的局部性和针对性,将行为观察序列相似性度量与软件修复过程本身相关联,引入相对相似性评价指标,建立软件修复相对相似性评价模型。该模型将修复验证问题转化为修复后行为相似性度量问题,克服了现有修复技术缺乏有效评价的缺点。在实验中分别对补丁和动态修复进行研究,对比了地址对序列、系统调用序列以及混杂序列,说明评价模型的工作方式,实验表明了模型的有效性,同时说明了混杂序列具有更强的表达能力。     

依据流统计特性的报文分类规则集动态优化*

本文针对普遍使用的线性搜索报文分类方法在时间效率方面的固有弱点,设计了一种依据数据流统计特性的规则集自适应动态优化算法。其中包括：规则权重计算,规则优化排序,动态触发优化等部分。在占用较少资源的情况下,较为有效地提高了系统性能,并经实验结果证明,应用效果良好。     

浅析CDMA山区及交通干线覆盖方案

文章结合不同的用户分布和山区丘陵地形的特点进行站址选择和设备选型的分析,通过系统仿真来比较高山站与平地站的覆盖范围,综合考虑覆盖目标、建设成本和投资收益对二者进行取舍。直放站和射频拉远(RRU)是山区交通干线优化时的主力军,着重分析直放站对施主基站低噪抬升的影响。     

首届“中国教育机器人技术发展论坛暨智能机器人竞赛项目培训”在京举行

为配合全国第二届“中小学生信息技术创新与实践活动”智能机器人竞赛的顺利开展,活动组织委员会和中国教育技术学会联合举办的首届“中国教育机器人技术发展论坛暨智能机器人竞赛项目培训”于近日隆重举行。2003年10月24日,秋意正浓。在北京朝阳区古朴典雅的古玩城宾馆内,80余位来自全国各地的学员汇聚一堂,首届“中国教育机器人技术发展论坛暨智能机器人竞赛项目培训”活动在此隆重举行。清华大学计算机科学与技术系教授、中国自动化学会机器人竞赛工作委员会主任孙增圻(下图左一),中国自动化学会机器人竞赛工作委员会秘书长李实(下图左二…