Mocha BSM分布式监控系统在机房建设中的应用

计算机机房是计算机教学的重要场所,对其有效管理和维护非常重要,它直接影响到了计算机课程的教学质量。针对校园机房的课堂管理问题,综合运用Windows系统底层过滤技术以及Socket编程技术,使用Hadoop分布式架构搭建分布式一体化Mocha BSM监控系统。

Mocha结合AE处理形变镜头跟踪

在影视后期制作中,经常会遇到需要跟踪替换画面的工作。对于一般的平面追踪替换,例如:形变镜头、画面质量不高、前景遮挡、跟踪区域出画入画等。本文将对上述特殊镜头,讲解Mocha提供的完美跟踪解决方案。

Mocha移除功能浅析

在Mocha里,提供了多种功能。除了基本的跟踪外,还有移除功能、摄像机反求、画面稳定、画面插入等。其中画面移除是其一个很神奇的功能,通过这个模块,可以去除画面中不想显示的部分。

用Mocha和AE结合完成跟踪和替换

本文介绍如何利用Mocha结合AE插件完成视频画面的跟踪和替换的方法。相比利用AE内置的跟踪功能,Mocha跟踪方便简单、成功率高,给影视、广告制作人员带来了极大的便利。

Mocha Pro基础运用及实例讲解——东方新闻《数说洋山四期全自动化码头》、浦东财经《自贸新速度》后期制作

实拍与后期结合的表现形式越来越广泛的被运用于各种视频、宣传片、电视剧和电影的制作当中。跟踪和相机解算,一直以来都是实拍与后期结合的重要技术基础。稳定的跟踪数据和更为匹配的相机解算可以使后期特效更好的融入到实拍镜头中。Mocha Pro作为一款专业高效的平面跟踪工具,为这一表现方式提供了很好的解决方案。在东方新闻《数说洋山四期自动化码头》新闻专题片以及浦东财经《自贸新速度》新闻专题片的后期制作中,我们运用了Mocha Pro作为主要的辅助软件,解决了很多AE无法完成的跟踪、置换等问题,提高了成片特效质量和后期制作效率。

模型检测与定理证明相结合开发并验证高可信嵌入式软件

首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。

逆流冲泡法快速测定植物纤维原料热水可溶物的分析方法研究

热水可溶物含量的高低可以间接反映植物纤维原料制浆造纸性能的好坏,快速、准确判断其含量对于传统制浆造纸、纤维素纤维纯化等相关产业是必要的。但是,目前国标采用的热水静置提取法需3 h的抽提时间和至少6 h的干燥、平衡时间,如此耗时的检测过程对于热水可溶物含量的快速判断是不利的。鉴于此,采用多次逆流冲泡法对植物纤维原料进行快速萃取,并对后续高温干燥过程进行了研究。优化得到可快速且相对准确测定热水可溶物含量的条件为:待测植物纤维原料质量为1.50±0.2 g、粒径为60~80目,单次冲泡液体量为100 mL、冲泡次数为4次(冲泡总耗时约15 min),干燥温度为120℃、时间为3 h。方法准确性验证结果显示,此方法的重复性与普适性均较好,可以作为相关工厂或科研院所相对快速、准确分析植物纤维原料中热水可溶物含量的替代方法,具备一定推广应用价值。

对电力企业成功实施ERP完善运维管理的思考

电力资源作为保障各行各业生产与人们日常生活的重要资源形式,已经成为社会发展的基本内容。为解决现阶段电力企业ERP系统运维管理压力,提高系统运维管控质量和效率,围绕电力企业成功实施ERP完善运维管理开展分析,以期为相关人员提供借鉴。

基于ATL逻辑的公平多方不可否认协议的分析与改进

为了克服传统时序逻辑以封闭系统方式分析协议的缺点,引入一种基于博弈的ATL逻辑形式化分析方法。利用该方法分析了一个公平的多方不可否认协议,发现该协议存在不满足抗合谋性的缺陷,并提出了两种改进方案,使用Mocha模型检测工具以ATL公式和Invariant Checking相结合的方式对两种改进方案进行有效验证,结果表明改进后的协议满足不可否认性和抗合谋性。

影视后期制作中调色技术的应用与实践

本文主要对影视后期制作中的数字调色技术进行了介绍。对数字调色的工具——调色插件Color Finesse、magic bullet、Mocha及蒙板的基本技术点进行了详细的阐述。

浅析如何对视频内容进行识别填充

本文探讨用AfterEffects的Content-Aware以及Mocha软件对视频内容进行擦除。

基于ATL的公平交换协议的形式化验证

如何对电子商务协议进行分析与验证一直是研究的热点,基于ATL(交替时态逻辑)对电子商务协议中的公平交换协议(Fair Exchange Protocols)进行形式化分析与验证,并选取了其中的一个电子合同签署协议进行形式化验证。用ATL语言来形式化描述公平交换协议,并使用ATS(Alternating Transition Systems,交替转移系统)来为公平交换协议进行形式化建模,再用形式化验证工具MOCHA对公平交换协议的公平性(Fairness)、及时性(Timeliness)和不可滥用性(Abuse-Freeness)进行有效的验证;对验证结果进行分析与讨论,发现了该协议不满足公平性和不可滥用性,不符合设计的要求。

公平的电子合同签署协议的博弈分析与改进

为了克服传统时序逻辑以封闭系统方式分析协议的缺点,根据电子合同签署协议的特点引入一种基于博弈的ATL逻辑形式化分析方法。利用该方法分析了一个公平的电子合同签署协议,发现该协议存在不满足公平性和时限性的缺陷。通过向协议中添加额外的时间控制信息和Abort子协议对该协议进行了改进,并使用Mocha模型检测工具以ATL公式和In-variant Checking相结合的方式对改进协议的公平性和时限性进行有效地验证。实验结果表明,改进后的协议满足公平性和时限性。

以宣化辽墓壁画为中心的分茶研究

分茶是中国历史上的一种烹点茶的方法 ,随着末茶的消亡分茶也就成了一个谜。本文拟从研究宣化辽墓中的张世卿墓后室西壁和张世古墓后室西南壁上的两幅壁画出发 ,印证以文献史料 ,比照以出土文物 ,探讨分茶的烹点方法 ,在将分茶这一古代生活技术的研究引向深入的同时 。

基于物流管理的运维调度信息化的研究

针对当前我国物流管理运维调度信息化程度相对较低的问题,文中对运维调度的信息化建设进行分析研究。首先对物流管理系统的功能结构和模块地行分析;其次对运维调度管理的计划、跟踪和预警进行了全面的分析;最后分析了运维调度信息化系统的总体设计,并给出了部分核心代码。本文对于物流管理的后台维护人员和业务流程的设计人员都具有一定的积极意义。

中国古代末茶法探析

主要针对我国古代末茶法进行分阶段探析,并对末茶法消亡原因作初步分析。

我国古代“末茶”小考

主要就我国末茶的起源及发展历程作考证,并对末茶消亡原因初步分析。

社交媒体中悼念普通人行为研究——以“墨茶official事件”为例

社交媒体为悼念行为提供了新的可能。本文以“墨茶official事件”为例,使用python爬虫采集了2021年1月1日至2022年10月9日墨茶official发布的最后一条B站动态下的根评论数据,分析并阐释社交媒体时代对普通民众的悼念行为。研究认为,同情情感是普通民众能够成为悼念对象且使公众发生悼念行为的主要原因。这一情感依托于人物的悲情形象而实现,公众会随着媒介叙事下人物形象的转变对悼念对象产生不同的道德评价,由此可能产生不同主体情感上的冲突。在悼念过程中,媒体和公众都应注重对逝者权益的维护。

浅谈强制电流阴极保系统运维中存在的问题及解决办法

阴极保护是目前油田储罐、管道防腐蚀保护的一种重要方法。阴极保护分为强制电流法和牺牲阳极法两种,本文所说的阴保系统是指强制电流法阴极保护法。目前我厂共有67套阴保系统,这些阴保系统主要是保护储罐管底板和重要的外输管道。本文主要阐述目前我国阴极保护系统在日常运维中存在的问题及解决方法。

高校图书馆智能安防系统设计与实现

针对高校图书馆安防系统现状,分析现代智慧图书馆对安防监控系统需求,提出智能安防系统总体构想和组成设计,包括视频监控模块、人员管理模块、运维管理模块、传输网络、存储中心,最后详细阐述系统功能和实现效果。