创作西南少数民族风情高清节目——索尼高清电视转播车交接云南电视台

3月21日,适逢第十七届CCBN（中国国际广播电视信息网络展览会）在北京国际展览中心召开之际,索尼中国专业系统集团为云南电视台承制的高清电视转播车喜获交接。     

手机MMI自动化测试系统的关键技术研究

在分析了实现手机人机界面(MMI)软件自动化测试的原理和技术难点的基础上,通过游程长度编码算法对屏幕数据进行压缩和一些数据比较技巧来解决屏幕数据传输与比较问题;通过一系列容错处理来保证ATS系统在无人参与的情况下自动运行;通过对系统软硬件进行抽象和加入TCL脚本解释器来增强系统的可扩展性和可重用性;最后应用这些技术方案实现了一个实际可用的ATS系统;应用结果表明,该系统能大幅提高手机MMI的测试效率。     

在信息技术课程中开展过程性评价的探索与实践

过程性评价就是在在学习一评价一学习的过程中,引导学生积极主动地学习,促使学生全方位地良性发展,以学生综合素质为目标,采取灵活多样的评价方法,注重学生学习过程和学习结果的评价。在信息科技课程的评价过程中我们要探索新的评价原则和评价方法,促进学生的发展和信息科技课程的改革。     

模式识别和支持向量机在复合材料优化设计中的研究和应用

论述了复合材料设计及优化的基本研究方法,介绍模式识别和支持向量机人工智能法,举例详述复合材料设计及优化中的两种智能法,总结两种智能融合法在复合材料优化设计中的分类、建模、预测等基本研究方法和应用。举例说明模式识别和支持向量机在复合材料优化设计中重要的研究价值。最后对该领域的发展提出若干建议。     

基于多模板隐马尔可夫模型的文本信息抽取算法

由于训练数据来源的多样化,难以通过学习得到最优的模型参数,因此提出了一种基于多模板隐马尔可夫模型的文本信息抽取算法。该算法首先利用文本排版格式和分隔符等信息,对文本进行分块;然后在分块的基础上,对训练数据进行聚类以形成多个形式的模板（多模板）,并对多模板数据训练得到隐马尔可夫初始概率及转移概率参数;最后,用被训练的数据统一训练释放概率参数,结合初始概率、转移概率以及释放概率参数对文本信息进行抽取。实验结果表明,该算法在精确度和召回率指标上比简单隐马尔可夫模型具有更好的性能。     

基于分支函数线性逼近的测试数据自动生成算法

软件测试是保证软件可靠性的一个重要手段.面向路径测试是软件测试中一种重要方法.提出了一种分支函数线性逼近的测试数据自动生成算法.结合赵瑞莲给出的谓词切片算法和程序DUC表达方式以及本文提出的算法,给出了一个基于程序执行的路径测试及测试数据自动生成新算法.由于算法采用DUC表达式,不仅可以从源端判断子路径是否可行,而且有效地降低了不可行路径对算法性能的影响.另外,与现有文献中单纯利用分支函数极小化方法的算法相比,新算法由于有机结合了分支函数线性逼近和极小化方法的长处,因此减少了测试用例的数量,提高了测试效率.     

设计模式对领域驱动设计的支持及其应用

领域驱动设计结合了分析模型与设计模型,在领域建模中应用设计模式不仅可以帮助做出更加灵活、更加符合领域逻辑的设计,而且有助于把分析模型平滑地转换为实现模型.然而传统的设计模式一般着眼于技术问题,用类、继承和接口来表达,本文将领域模型元素引入设计模式,并以此分类,探讨、归纳了设计模式对领域建模支持和优化的一般方法.     

纵深推进 惠普发布dx商用台式机新品

4月18日,惠普正式发布了2008年商用台式机全线新品Compaq dx系列多款产品,新品融合了惠普的创新科技和节能环保理念,满足各规模的企业和行业用户的产品升级和个性化的需求。     

省地省能耗 佳能2款新概念黑白激光打印机

7月17日,佳能推出2款黑白激光打印机新品,一款是高效省时的LASER SHOT LBP3108,另一款是节能低耗、操作简便的LASER SHOT LBP3018。这2款最新机型是基于对中国市场的深入考察、融合最新科技和设计思路推出的。由于采用按需定影技术,这2款打印机耗时仅8.5s即可完成首页打     

四核王者 真爱S8380横扫暑促市场

日前,同方电脑联合英特尔推出了一款基于英特尔酷睿2四核处理器Q6600的强劲新品——真爱S8380,它具备比双核产品多一倍的运算能力,在多媒体编码解码速度上明显加快,满足普通用户在高清视听方面的需求。真爱S8380的硬件配置更是可圈可