定理机器证明

定理机器证明（ＴｈｅＭａｃｈｉｎｅＤｅｍｏｎｓｔｒａｔｉｏｎｏｆＴｈｅｏｒｅｍｓ），就是把人们证明定理的一般知识和规则以适当形式存贮到计算机中，让机器通过运转，自动地证明定理，既是早期人工智能研究的重要课题，又属知识工程的范畴。有深奥的哲学原理。我国数学家吴文俊在中国古代数学思想的启迪下，所创立的“定理机器证明”方法，在国际上独树一帜，并在定理机器证明领域内树立了影响深远的里程碑，被誉为吴方法。本文简要的介绍了吴方法的梗概。

模糊推理与模糊控制器及其发展

1 模糊语言与模糊推理 人类生存的环境,基本上是一个模糊环境,人们在生存活动中,经常接触模糊事物,接受模糊信息,随时对模糊事物进行识别,作出决策。所谓模糊性,是相对于清晰性而言,主要是指客观事物差异的“不分明性”,也就是“亦此亦彼性”。例如“热”与“不热”,究竟什么叫“热”与“不热”,并没有一个客观的标准,因为气温的变化过程是逐渐的、连续不断的,不存在一个突然的转折,致使热”与“不热”的分界线是不分明的。

工程控制论及其应用

工程控制论极大地推动了自动化科学技术理论的发展,已被广泛应用于各个领域。

电子竞技赛事转播中声音制作的探讨

电子竞技项目转播在当下已经较为成熟,业内对于转播方案和流程也有了相当程度的统一建议。本文从电竞项目转播中声音制作的角度入手,介绍在电竞转播中各个声音制作岗位的职能和系统架构,并分享了在制作过程中的一些心得体会,最后分析了所在团队对电竞三维声转播中的一些尝试和思考。

杭州亚运会击剑赛事公共信号声音制作

本文通过对杭州第19届亚运会击剑赛事公共信号声音制作过程的介绍,展示了浙江广播电视集团音频团队在亚运公共信号制作中的优势和特色,分享了制作人员对于体育赛事声音制作的理念和想法。

浅谈金帆奖高清综艺节目环绕声制作——获奖节目《中国新歌声》和《梦想的声音》制作体会

浙江广播电视集团近年来选送金帆奖高清音频制作技术质量奖的作品,均取得了不错的成绩,本文以选送作品《中国新歌声》和《梦想的声音》为例,从技术标准和质量要求、制作声音的客观保证、依据响度进行节目制作、环绕声制作经验和探索几个方面,介绍高清环绕声综艺节目的制作体会。