【摘 要】
：
To further explore the up-to techniques for bisimulation in the coalgebra setting,we investigate a special kind of functor,i.e.,product functor in this paper.Specifically,when F is the product of n su
【机 构】
：
School of Computer Science and Technology,University of South China,Hengyang 421001,China
【出 处】
：
2014全国理论计算机科学学术年会
论文部分内容阅读
To further explore the up-to techniques for bisimulation in the coalgebra setting,we investigate a special kind of functor,i.e.,product functor in this paper.Specifically,when F is the product of n sub-functors,in order to generate an up-to proof for bisimulation,it is suffcient to find n functions,where each one is consistent with its corresponding sub-functor,as well as weakly consistent with other sub-functors.The array formed by the n functions is called jointly consistent with F.We also give the analogue of jointly consistent function in traditional set theory.As for application,examples are given both coalgebraically and set-theoretically.
其他文献
针对移动信道具有多径传播、噪声干扰强等特点,压缩视频流容易发生丢包现象,进而严重影响视频解码质量,因此必须从移动终端设备的实际应用角度出发,尽可能的降低计算复杂度,采取有效的错误隐藏技术提高解码端视频的重建质量.首先,分析了移动立体视频主流的编码结构;然后,基于宏块丢失和整帧丢失两个方面,分别按照隐藏方法对现有的移动立体视频错误隐藏技术进行了研究与分析;最后,提出了移动立体视频错误隐藏进一步研究的
基于高感知质量的视频流的需求,如何对视频流的用户体验质量进行有效而准确的评估成为目前研究的一个热点.本文论述了基于视频流的用户体验质量的预测方法,重点阐述了几种典型的QoE预测模型.首先,对影响用户体验质量的因素进行了分析并指出存在的问题;然后,对用户体验质量的不同预测方法进行了分析和论述;最后,就网络视频流的用户体验质量预测方法的进一步发展提出了若干技术与研究展望.
语音识别作为人机语音通信的一种重要技术手段,其产品在人机交互应用中所占比例越来越大,但其程序繁琐运行时间长是影响其实用化的主要问题.开放式多媒体应用平台OMAP有非对称双核结构优势,但双核间的通讯问题是影响其性能的一项关键技术.DSPGateway作为一种双核通讯架构,具有功能强大、使用灵活等优点,但目前并未得到广泛使用.为此,本论文以DSPGateway为软件架构平台,以OMAP5912为系统硬
The application layer of Distributed Denial of Service (DDoS) has the characteristics of low rate,legitimate messages.The existing methods are mainly based on supervised learning which needs enough la
Over past decades,there has been more and more large scale sensors deployed in a wide range of application areas.Due to the innate imprecision of sensor observations,researchers devote to find an effi
With the rapid development of the Internet of Things,adaptive technology for the Internet of Things has gained a great deal of attention.Environment perception as an technology to support adaptive net
Routing algorithm with more flexibility and fewer virtual channels is essential for high performance multicomputer systems.For three-dimensional mesh-connected networks,the traditional planar-adaptive
It is well-known that model combination can improve prediction performance of regression model.We investigate the model combination of Support Vector Regression (SVR) with regularization path in this
This paper designed a kind of optimization algorithm for image registration.By combining with cultural particle swarm optimization (CPSO),a novel image registration algorithm is outlined in this paper
Profinite topology plays a key role in formal languages.Depending on the fact that Boolean algebra of regular languages is in one-to-one correspondence to clopen of profinite topological space,we prov