关于Peterson—Fischer二进程算法的断言式证明

本文旨在为Peterson—Fischer二进程互斥算法提供一个断言式证明,根据麻省理工学院Nancy A.Lynch教授的论述,这是一个未解决的问题,因此本文的意义在于填补这一空缺。

断言式新闻——媒介技术驱动下的新型新闻模式研究

随着新闻传播技术的不断改进,新闻的传者与受众愈加重视新闻时效性,其结果之一就是断言式新闻(journalism of assertion)逐渐取代传统的确证式新闻(journalism of verification),成为当今全球的主要新闻模式。本文从新闻生产及新闻理论的视角出发,在挖掘了断言式新闻的特点、表现及成因等基础上,着重讨论了这一概念提出的理论意义。研究认为,断言式新闻概念的提出利于促进传统新闻定义向'对话'与'知识'转变,并从生产过程出发关照新闻失范行为,进而反思'后真相'的新闻模式。鉴于断言式新闻的社会危害,文章以杜威的公众视角,认同新闻素养对信息社会的可能贡献。

基于简化Trace的动态隐式断言执行

分支指令与分支预测失败限制了处理器发掘指令级并行(ILP)的潜力.通过If-conversion或Predicated执行将程序中的控制相关转化为数据相关,能较好地降低分支预测开销.提出一种基于简化Trace结构的动态隐式断言执行机制(Dynamic Implicit Predication,DIP),而早期的相关研究主要集中于由编译器显式为宽发射处理器产生静态Predicated指令.无需编译器或者其他二进制工具的帮助,DIP可以在程序运行过程中识别可以进行断言变换的指令片断,完成指令转换与优化,并在以后的执行中使用优化后的指令Trace.基于SPEC2000模拟测试表明DIP可以有效避免错误的分支预测,提高并行度,单个程序的IPC平均提高10.3%,基准程序的平均加速比可达7.59%.

语气、语式、态与宣意元素

汉语界对语气的理解与外语界很不一样，外语界将之理解为mood，汉语界则将之理解为还包含情态和句子功能类别的“大语气”。汉语界对汉语有什么语气看法不一，对语气的分类也各式各样。本文借鉴清初学者魏维新的语言观，把话语中传达言者语言主观性的成分统称为“宣意元素”，把谓语传达的语言主观性称为“语气”（mood），将谓语传达语气的形式称为“语式”（mode）。笔者认为，语句的定式与否取决于其谓语是否有宣意元素；英汉否定句所否定的以及一般疑问句所疑问的都是谓语的宣意元素；英汉实际上都只有两个基本语式，即断言式和祈愿式。英语的断言式实现为过去和非过去这两个基础时，其否定词一般是not。汉语的断言式实现为已然和非已然这两个基础态，已然态的否定词是“没”，非已然态的否定词是“不”。英汉祈愿式的谓词都是其原形，英语祈使句的否定式是Don’t＋V，汉语祈使句的否定词是“别”。

专业主义视角下的媒体从业者与新闻模式变迁

伴随着信息技术的不断进步,一种"快字当头"的新闻文化正悄然向全球媒介蔓延。它带来的严重后果不仅是传统的新闻生产机制被打破,更使得具有把关特性的确证式新闻被新型的断言式新闻所取代。本文把编辑记者为代表的媒体从业者作为分析对象,以新闻专业主义为着眼点,从职业道德、专业认知与公众权益观等方面探讨断言式新闻盛行的原因,并以此为基础,围绕社会责任感的提升、专业素养的增强以及文化视野的拓展等内容,探寻确证式新闻模式回归的可能路径。

网络新闻直播机遇、困境与挑战

网络新闻直播凭借技术优势打破传统电子介质的传播渠道垄断,纸媒作为对用户具有强排斥性的"热媒介"借助新闻直播改善其包容性和卷入度。本文发现纸媒的新闻直播实践包括即时资讯直播、全景式直播、策划类直播三大类型,同时网络新闻直播延展出了其产业链"雏形"。但不可忽视由于同质化造成的"信息冗余"与新闻专业性结构失衡的认知盲点,以及来自"断言式新闻"对新闻客观性和新闻伦理的多重挑战。