摘要：
LTE-A技术是在LTE(长期演进)技术基础上进一步提升的移动通信标准.随着LTE-A技术的快速发展,用户群日益扩大,使其成为潜在的、发展空间巨大的隐信道媒介.在本文中,我们基于LTE-A系统提出了一种新型的时序型鲁棒隐信道TCCBL(Timing Covert Channel Based on LTE-A). TCCBL利用包数据单元( PDU)头部中的序列号( SN)来选择传输隐蔽信息的数据包,然后利用所选中数据包负载中的附加位元来传输隐蔽信息.特别地,我们利用一个预先共享的哈希函数和一个独立的变量来实现不同的信息嵌入规则,保证了我们所设计隐信道的灵活性.
作者机构：
[张力; 蒋建军; 王以群; 戴立操; 谢天] Human Factors Institute, School of Management, University of South China, Hengyang, Hunan, 421001, China;[彭玉元] School of Economic and Management, Guangzhou College of South China University of Technology, Guangzhou, 510830, China;[李敏] College of computer science and technique, University of South China, Hengyang, Hunan, 421001, China;[蒋建军; 张力] School of Safety and Environment Engineering, Hunan Institute of Technology, Hengyang, Hunan, 421002, China
作者机构：
[Liu, Jie; Chen, Mingsong; Liu, Jing; Sun, Haiying; Chen, Xiaohong; Du, Dehui] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;[Liu, Jie] Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.;[Zhang, Miaomiao] Tongji Univ, Sch Software Engn, Shanghai 201804, Peoples R China.
通讯机构：
[Liu, Jing] E;[Zhang, Miaomiao] T;East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China.;Tongji Univ, Sch Software Engn, Shanghai 201804, Peoples R China.
关键词：
混合系统;开发;证明;微分;分离控制;建模语言;研究人员;精炼
摘要：
Event-B is a widely applied and proof-based language for incremental development via refinement [1]. Hybrid systems exhibit hybrid characteristics of discrete control and real-time continuous behaviors. However, Event-B is a discrete modeling language. It does not support the development of hybrid systems. So, the researchers are currently trying to make the extension of Event-B for the refinement development of hybrid systems [2, 3].
通讯机构：
[Liu, Yongbin] U;Univ South China, Sch Comp Sci & Technol, Hengyang 421001, Peoples R China.
关键词：
word embedding;co-reference resolution;representation learning
摘要：
Word embedding has drawn a lot of attention due to its usefulness in many NLP tasks. So far a handful of neural-network based word embedding algorithms have been proposed without considering the effects of pronouns in the training corpus. In this paper, we propose using co-reference resolution to improve the word embedding by extracting better context. We evaluate four word embeddings with considerations of co-reference resolution and compare the quality of word embedding on the task of word analogy and word similarity on multiple data sets. Experiments show that by using co-reference resolution, the word embedding performance in the word analogy task can be improved by around 1.88%. We find that the words that are names of countries are affected the most, which is as expected.
作者机构：
[阳小华; 闫仕宇; 刘朝晖] School of Computer Science and Technology, University of South China, Hengyang, 421001, China;[刘华; 于涛; 刘朝晖; 谢金森; 李萌; 阳小华; 闫仕宇] CNNC Key Laboratory on High Trusted Computing, Hengyang, 421001, China
通讯机构：
School of Computer Science and Technology, University of South China, Hengyang, China
作者机构：
[刘朝晖; 刘曜; 阳小华] School of Computer Science and Technology, University of South China, Hengyang;Hunan;421001, China;[陈智; 吴志强] Science and Technology on Reactor System Design Technology Laboratory, Nuclear Power Institute of China, Chendu;610041, China
作者机构：
[刘立; 罗扬; 汪琳霞; 刘芳菊; 李悛] School of Computer Science and Technology, University of South China, Hengyang;Hunan;421001, China;[刘立; 罗扬; 汪琳霞; 刘芳菊; 李悛] Hunan;[刘立; 罗扬; 汪琳霞; 刘芳菊; 李悛] 421001, China
通讯机构：
[Luo, Y.] S;School of Computer Science and Technology, University of South China, Hengyang, Hunan, China
摘要：
现有组信任模型在维护信任关系的稳定性与负载均衡能力方面存在局限性。为解决这些问题,提出一种稳定性增强的组信任模型SEGTM(stability enhanced group based trust model),以动态组构造与管理为基础,划分同组及跨组节点间的信任关系并给予了各自的度量方法,较好地解决了信任模型因信任网络拓扑动态改变而难以有效维护信任关系度量的准确性问题。仿真实验结果表明,该模型在应对网络拓扑动态变化时具有较好的稳定性和负载均衡能力,同时也能有效抵抗恶意节点的攻击。
作者机构：
[谭敏生; 白曜华; 周欢; 刘尖学] School of Computer Science and Technology, University of South China, Hengyang;Hunan;421001, China;[谭敏生; 白曜华; 周欢; 刘尖学] Hunan;[谭敏生; 白曜华; 周欢; 刘尖学] 421001, China
