作者机构:
[阳小华; 刘朝晖; 刘杰] School of Computer Science and Technology, University of South China, Hengyang, 421001, China;[陈智; 吴志强] Science and Technology on Reactor System Design Technology Laboratory, Nuclear Power Institute of China, Chengdu, 610041, China
通讯机构:
School of Computer Science and Technology, University of South China, China
作者:
Lingyun Luo;Xinxin Liu;Xiaohua Yang;Zhiming Liu
期刊:
Journal of Computational Information Systems,2014年10(22):9597-9607 ISSN:1553-9105
通讯作者:
Luo, Lingyun
作者机构:
[Lingyun Luo; Zhiming Liu; Xiaohua Yang] School of Computer Science and Technology, University of South China, Hengyang , China;[Xinxin Liu] Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing , China
通讯机构:
School of Computer Science and Technology, University of South China, Hengyang, China
摘要:
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 sufficient 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.
摘要:
Many Studies has carried on the technology of detecting invariants, for example, Daikon can detect most of invariant by presetting some types of them. But unary polynomial inequality likely invariants are rarely discovered by traditional tools. An effective method to detect unary polynomial inequality likely invariant was proposed in this paper. Through analyzing the property of value ranges of unary polynomial inequality likely invariants, the algorithm set the threshold value and calculates neighbor distances to determine the form of invariants. Finally, experimental results are given to demonstrate the effectiveness of this method.
摘要:
We studied the electronic communication of knowledge users collaborating on a community and found that their work and interactions were mediated by the use of tag. Drawing on these, we found social ta
摘要:
Using the genre perspective, we studied the electronic communication of knowledge users collaborating on a movie community and found that their work and interactions were mediated by the use of genres. Drawing on these findings, we develop the concept of genre repertoire to designate the set of genres enacted by groups, organizations, or communities to accomplish their work. Automatic discourse classification according to genre in social information sharing, transfer and knowledge communication provides a higher level of service quality. By investigating user behavior in movie community, the relationship between intertextuality of discourse genre and user behavior was studied. We denoted genre by using vector, and discourse genre intertextuality intensity is measured with vector distance. And for those discourse which genre is unknown, genre intertextuality is calculated using user behavior. The results show that user various behaviors stickiness in movie community and discourse genre intertextuality intensity have potential common features.
摘要:
传统的基于关键词的信息检索不能理解用户的需要,仅仅对关键词进行简单的匹配,其结果往往包含大量与用户实际需要毫不相干的信息,同时却丢失用户实际需要的信息,使得检索的效率很低.基于本体的语义检索技术的出现,弥补了基于关键词检索的不足,成为目前构建信息检索系统的应用热点.本文主要针对燃气管网的材料腐蚀信息,设计一个基于GIS(Geography Information System)的管网材料腐蚀信息语义检索系统,使用户检索管网空间数据和腐蚀数据时为其提供相关数据的语义信息,同时也使得检索结果更加符合用户需求.