简介：目前,随着面向对象的技术的成熟和广泛使用,关于UML模型的测试方法逐渐成为研究的重点,而且取得了很多的研究成果。该文首先对软件测试的概念和分类进行了介绍,其次简单介绍了UML模型的自动化测框架、测试用例的生成方法、覆盖的规则和测试用例的优化方法。

简介：现今的网页制作不仅要有完善的网页功能，还要考虑良好的用户体验。利用DIV＋CSS来布局页面已是网页设计的主流，而CSS盒子模型的定位在其应用中是一难点，该文从CSS盒子模型的几种定位方法进行解析，体现其特点。

简介：焦作历史上曾经以“煤城”著称。早在1893年英国人就来此开采煤矿，曾经因煤的储量丰富、质量上佳而享誉西方。经过100多年的开采，焦作煤储量大为减少，已是全国67个资源衰退型城市之一。从一个百年煤城到山水园林城市，－“黑”－“绿”之间，焦作市经历了怎样的观念转变和发展历程？

简介：下一步徐工集团计划将信息技术产业化，成立信息化股份公司，为其他制造企业的两化融合工作提供支持。

简介：近些年来，移动学习的热度不断上升，围绕着移动学习的研究也越来越受到人们关注。但纵观我国当前移动学习现状，理论研究颇多，真正大范围的应用较少。本文就当前我国移动学习中存在的几个问题，如：学习资源匮乏等，进行思考和分析，希望能提出有建设性的建议。

简介：针对网络应用程序设计教学中难于将网络通信协议和通信程序设计直接关联的问题,提出一种将网络程序设计要素抽象为原子概念并在此基础上建立模型制导的网络程序设计教学方法,阐述如何通过网络通信模型制导教学演示系统展现多通信节点间的网络编程.

简介：随着社会信息化水平的不断提高,计算机技术目前在人们的生活当中发挥出至关重要的作用,同时人们也越来越依赖于计算机技术。在这样的背景下,对于网络安全的研究已成为最重要的问题之一,博弈模型就是在这样的条件下应运而生。简单说来,博弈模型就是依据计算机网络中的一些脆弱的信息,最终生成出网络状态攻防图,并根据这个攻防图总结出最优化的攻防策略,在最大程度上提升网络的安全性。基于此,本文以博弈模型为基础,总结出基于博弈模型的理论如何为提升网络安全生成最佳的决策方法。

简介：依据电信运营商的供应商特点,构建了供应商评价指标库,通过ISM技术对这些指标结构进行分析,建立解释结构模型,并在模型基础上应用AHP技术推算出各指标的权重,给电信运营商的供应商评价提供了较科学的依据和参考.

简介：为了解决检测机构这一特殊对象之间的相似度计算问题，提出一种基于属性加权的相似度计算方法。通过层次分析法计算检测机构属性的权重，计算各个对应属性间的相似度，加权求和得到两家检测机构之间的相似度。该计算实例表明方法的有效性。

简介：近日，上海浦东警方成功捣毁两处网上销售假冒“迪士尼”品牌童装窝点。童获假冒“迪士尼”品牌童装16000余件。

简介：物资管理是企业生产经营过程中的一项重要环节，设计到企业生产过程的多个方面，属于一项复杂性与系统性并存的工作，需要对多个生产经营信息进行分析整合，物资管理的信息化势在必行。本文首先分析了企业物资管理的含义，接着从促进企业物资管理中的业务管理的规范化、促进企业物资信息的监控和预警以及实现企业财务的透明化三个方面分析了计算机技术在企业物资管理中应用的必要性，最后提出了现阶段计算机技术在企业物资管理中的应用策略。

简介：体感交互技术能为学习者提供更加自然的人机交互方式，能够给课堂加入信息化的元素。将体感交互技术应用到高中地理教学的课堂上，能丰富教学内容，增强了学习的趣味性，改变了传统的教学模式。本文介绍了体感交互技术的应用现状，对基于体感交互技术的太阳系三维模型演示系统的研究进行了可行性分析，并阐述了体感交互技术应用于教育领域的意义及其前景展望。

简介：倪光南表示，根本解决办法是用国产操作系统替换XP，但是鉴于当前市场缺少国产系统，需要加紧研发，在此过渡期间，可对中国XP用户使用可信加固技术，一两年后，用国产系统进行替代。

简介：向量空间模型（VSM）是信息检索领域应用较好的模型。数据库技术是一门发展成熟、应用广泛的技术。本文提出了利用VSM模型和数据库技术相结合来计算文档相似度。结合TFIDF算法思想，设计一种结合数据库进行计算权重的类TFIDF算法。在此基础上设计出了文档相似度检查软件。该软件主要有文档分词、词频统计、相似度计算三大模块，软件可以计算出文档和其他文档的相似度。

简介：Phabtet产品的集中爆发，让我们看到了平板电脑和智能手机跨界融合的趋势，这对于增长态势日趋缓和的平板电脑厂商而言，无疑指明了新的发展方向并提供了无限机会。昂达作为国产平板的代表品牌，自然不会错过这次跨界融合的机会，昂达V8193G版的出现，让我们看到了国产品牌求新求变的努力和平板电脑未来发展的方向。

简介：随着“一张考卷定成绩”逐渐淡出高校历史，如何采用累加式考试方式客观、公正地评价学生实践能力，成为当前高校教学改革的研究热点。针对这一问题，文章首先讨论累加式考试方法的核心和目标、目前累加式考试中存在的难点和误区以及程序设计课程考试中普遍存在的问题，然后提出建立一套以机试自动评分和实践能力考核为主的多重累加式成绩考核体系，最后介绍实践效果。

简介：研究了一类具有时滞及非线性特性发生率的SIRS传染病模型，首先利用特征值理论分析了无病平衡点和地方病平衡点的局部稳定性；并以时滞τ作为分岔参数，分析了模型的Hopf分岔行为，运用中心流形定理和规范型理论给出了分岔方向及分岔周期解稳定性的计算公式；最后，数值模拟验证了理论分析结果．