设F(x)=f(x)-x,则F(0)=f(0)-0>0,F(1)=f(1)-1<0,又f(x)在[0,1]上连续知F(x)在[0,1]上连续,由零点定理(Bolzano)知存在一点t使得F(t)=0即f(t)=t.现设还存在一点u属于(0,1)使得F(u)=0,则由罗尔定理(Roll)存在一点p...
只能作为正常校对的补充，查缺补漏，很多问题黑马校对是查不出的
效果非常好。黑马校对能嵌入Word和WPS，直接就能校对，校对修改都非常方便。公文中常见的领导人姓名、职务搭配等问题，政治性问题，错别字、标点错误等等都能校对出来。有了黑马后，既能节省大量校稿时间，又能提高公文质量。校对速度也非常快，一个文件几秒几十秒很快就扫完了。============以下引用============黑马校对V15是北京黑马公司全力开发的新一代校对系统，荣获“中国优秀软件”终身称号并且通过了中国版协校委会的实测鉴定。内含S2版、PS版、Word版、WPS版、小样版、飞腾插件版和PDF插件版七个全新的校对界面，采用超大规模词库和重点词监控等先进的校对计算技术，在校对质量、校对功能和易用性等方面都有了飞跃性的提高，达到了当前电脑校对软件发展的最高水平，智能技术居于国际领先水平。 黑马校对V15的研制基于覆盖社会科学和自然科学各领域的1000亿字汉语语料的分析，采用国际计算语言先进的语法分析和语料库统计相结合的方法，具有汉语切分技术、汉语语法分析技术、汉语依存关系分析技术等 优秀的中文智能技术。内嵌79个专业词库、4800万条专业词汇、450万条错误核心库，查错准确率和校对效率已经达到一个崭新的高度。参见功能对比表支持各种主流文字处理和排版系统的文件格式，支持各种专业文稿的校对。 黑马校对系统是目前国内市场上占有率最高、实用性最强的专业校对软件，为各类文稿的校对提供最佳解决方案。 目前，全国已经有95%以上的出版社、近万家的报社杂志社、印刷企业、图书公司和机关办公等单位和个人使用黑马校对系统。
挺好，过一遍黑马又耽误不了多长时间，经常能发现人漏掉的错误，是办公室公文校对的屏障！
用过，效果不错，能检查出不少人工漏掉的错误，出书前校对一遍还是很有必要的。虽然不能查出所有错，但是作为人工校对的补充，还是发挥了很大作用。
317 浏览 7 回答
154 浏览 8 回答
112 浏览 6 回答
268 浏览 4 回答
259 浏览 6 回答
360 浏览 5 回答
101 浏览 6 回答
338 浏览 7 回答
90 浏览 6 回答
99 浏览 7 回答
269 浏览 7 回答
204 浏览 6 回答
239 浏览 5 回答
272 浏览 8 回答
117 浏览 6 回答
244 浏览 2 回答
205 浏览 7 回答
278 浏览 5 回答
227 浏览 6 回答
356 浏览 3 回答
325 浏览 3 回答
308 浏览 4 回答
86 浏览 5 回答
98 浏览 2 回答
248 浏览 4 回答
贪吃的大吃货
