一种使用多跳事实的端到端知识库实体描述生成方法

自动化实体描述生成有助于进一步提升知识图谱的应用价值,而流畅度高是实体描述文本的重要质量指标之一。该文提出使用知识库上多跳的事实来进行实体描述生成,从而贴近人工编撰的实体描述的行文风格,提升实体描述的流畅度。该文使用编码器—解码器框架,提出了一个端到端的神经网络模型,可以编码多跳的事实,并在解码器中使用关注机制对多跳事实进行表示。该文的实验结果表明,与基线模型相比,引入多跳事实后模型的BLEU-2和ROUGE-L等自动化指标分别提升约8.9个百分点和7.3个百分点。     

形式美法则在针织面料设计中的运用

基于形式美对比法则、均衡法则、韵律法则的内涵及其在针织面料设计中的应用规律,从深浅、虚实、肌理、曲直、高低等视角选取典型案例对针织面料进行分析,得出针织面料在形式上具有的独特意趣与艺术价值,并探讨其形式美及审美意义。通过分析针织技术与形式美法则之间的关联,探寻针织面料中形式美法则的作用及其基本规律与原理,以此指导针织面料的设计,为现代设计师灵活运用形式美法则进行艺术创作提供一定的参考。     

基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。