陈宇
- 作品数：3 被引量：3H指数：1
- 供职机构：扬州大学信息工程学院更多>>
- 发文基金：江苏省自然科学基金江苏省“青蓝工程”基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- UML状态图到形式化B语言转换的实例研究被引量：3
- 2007年
- 使用UML中的状态图可以帮助描绘生物领域中碰到的很多问题,而形式化B方法能为生物系统建模并提供严格的证明,UML和B的结合可产生一种形式化的UML,并精确地用B方法建模。对免疫因子网络中T细胞免疫状态的UML状态图进行了两种方法的形式化,并进行了比较。
- 邹盛荣孟静阳雪平腾腾陈宇孙建国
- 关键词：状态图形式化方法B方法
- 形式化B方法数学基础的实例研究
- 2008年
- 对免疫系统中的体液免疫用数学方程来表示抗体产生的规律,再用形式化B方法的抽象机来描述这一方程,所得结论与生物学体液免疫的一般规律相符.
- 陈宇邹盛荣阳雪平
- 关键词：形式化方法B方法体液免疫
- 基于复述模型的词语替代方法
- 2023年
- 词语替代任务旨在为句子中的目标词寻找合适的替代词。基于预训练语言模型BERT的词语替代方法直接利用目标词的上下文信息生成替代候选词。由于标注数据资源的缺乏使得研究人员通常采用无监督的方法,这也限制了预训练模型在此任务上的适用性。考虑到现有的大规模复述语料中包含了大量的词语替代规则,该文提出一种通过复述模型生成替代候选词的方法。具体的做法是:利用复述语料训练一个神经复述模型;提出了一种只关注目标词变化的解码策略,用于从复述模型中生成替代词;根据文本生成评估指标计算替代词对原句意思的改变程度,对替代词排序。相对已有的词语替代方法,在两个广泛使用的数据集LS07和CoInCo上进行评估,该文提出的方法取得了显著的提高。
- 强继朋陈宇李杨李云吴信东
