基于WCAG 2.0的高校门户网站可访问性研究

近年来,校园门户网站的建设越来越受到高校的重视.高校要切实提升门户网站的整体水平,就必须关注站点可访问性这一重要的网站质量衡量指标.本研究针对60所国内高校门户网站展开可访问性调查,对比WCAG2.0的各项标准,分析目前国内高校门户网站的可访问性现状.研究发现,所有网站均未能通过WCAG2.0的A级评测,各种不同层次高校门户网站的可访问性状况均不理想,网站可访问性错误点的集中度较高,最突出的四类可访问性问题依次为图片未添加描述文字、未正确定义文档语言、表单项label标签缺失和键盘控制缺失.针对以上问题,本研究提出了高校门户网站可访问性的改进建议.     

中国开源软件生态构建的风险及对策

基于双层嵌入理论和知识溢出理论构建了E-TOMSDECT分析模型,对当前中国开源软件生态构建所面临的风险进行系统性剖析,并结合对全球开源软件生态构建经验的类化分析提出相关对策.分析发现,当前中国开源软件生态构建主要存在关键核心技术支撑与生态运营模式掌握薄弱、生态建设主体动力不足、在国际开源生态中主导权较弱且面临多维度安全风险、软硬件协同发展能力较弱、软件价值评估体系扭曲、生态运营专业性人才匮乏以及国际经验的利用潜能未能完全释放等风险.建议尽快聚焦新兴领域打造"三位一体"开源生态主导核心,同时加强软硬协同整体规划,构建开源软件生态的安全风险评估和应急防控机制,加大开源软件生态构建的人才培养与引进力度.     

霍比特人3:五军之战

<正>中土系列最后问世的一部电影——《霍比特人3:五军之战》终于上映了。从承上启下的意义上来讲,它像一块色泽璀璨的拼图,最终被嵌入两大三部曲中间后,一幅中土世界的雄伟蓝图便完整铺展在了眼前:111岁的比尔博是如何与甘道夫白首相见,甘道夫与凯兰崔尔有着怎样的难舍情愫,精灵和矮人的世纪基情为何缘定前生……整个六部电影的故事脉络变得通透明白,绝大部分人物都将在战场上相会。《霍比特人3》的副片名原本     

Fe、Al纳米粒子熔化过程结构转变的分子动力学研究

采用分子动力学方法结合嵌入原子势函数,应用势能、共近邻技术分析方法,研究了原子数为147、309和561的正二十面体(ICO),正十面体(Dh)和立方八面体(CO)的Fe、Al纳米粒子的熔化行为.结果表明,原子数为147、309、561的ICO结构的Fe、Al纳米粒子在熔化前保持原有结构;Dh与CO结构的Al纳米粒子在熔化前向ICO结构转变,ICO结构比Dh结构和CO结构更稳定.     

函数空间映射的一个注记

对于拓扑空间Y,连续映射f∶X′→X可诱导函数空间映射f#Y∶YX→YX′,其中f#Y(g)=g f,g∶X→Y.文献[1]证明了:若f∶X′→X为上纤维化,则f#Y∶YX→YX′是纤维化.本文将证明:其逆命题也成立.     

论事实与法律的关系

将事实的本质问题划分为客观的事实、陈述的事实和裁判的事实三个层次的概念有助于对于事实与法律问题关系的认识。裁判的事实是该关系问题的核心，对于裁判事实的规范体现了法律与事实之间的联系，由此而促进了证据制度的发展和完善。对于裁判事实的规范体现在证据的相关性规则、可采性规则和自由心证制度等方面。     

Banach空间中二阶Volterra型积分微分方程边值问题解的存在性

利用上、下解法在正规锥上证明了二阶非线性Volterra型积分微分方程边值问题解的存在性。     

集成电路设计产业产品创新趋势研究——国际片上系统（SOC）IP核发展现状及对策分析

基于国际集成电路设计产业的分析，系统阐述了国际SOCIP核的发展状况，指出SOC设计将是集成电路设计企业技术创新的发展方向。提出了一些国际SOCIP核发展的对策，包括口核标准化、SOC技术平台开发及加强与Foundry的合作。     

关于Semigroups of Linear Operators and Applications to Partial Differential Equations的两个注解

指出文献[1]关于Co半群可微性的定理2.4.11的证明过程中一处错误，及关于柯西问题解的指数衰变的定理4.4.1的证明过程中的不妥之处，并给出新的证明。