期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
描述例外的基数模态逻辑系统
1
作者 罗昊轩 郭佳宏 《逻辑学研究》 CSSCI 2024年第5期21-38,共18页
本文关注的问题是如何对允许例外情况存在的几乎必然命题进行形式化。在日常交流和科学研究中,很多普遍形式表述的命题都存在着例外情况,只是例外情况有时可以被忽略。为了区分含有不同程度例外情况的普遍性陈述,本文借助基数的概念,构... 本文关注的问题是如何对允许例外情况存在的几乎必然命题进行形式化。在日常交流和科学研究中,很多普遍形式表述的命题都存在着例外情况,只是例外情况有时可以被忽略。为了区分含有不同程度例外情况的普遍性陈述,本文借助基数的概念,构造了基数模态算子,用来描述例外存在但可以忽略的情况。基于该算子,我们称一个命题是几乎必然的,当且仅当不存在足够多的例外情况不满足该命题。接着本文提出了基数模态逻辑系统,证明了该系统的可数模型性,并运用过滤与模型的复制构造了该系统的典范模型,以此说明系统的完全性。由此表明,本文提出的描述例外的基数模态逻辑系统实现了表达力扩充与对自然语言更精确刻画的一种相对平衡。 展开更多
关键词 基数 几乎必然命题 基数模态逻辑 典范模型 可数模型性
下载PDF
RNA-seq analysis of a zebrafish caudal fin cell line in response to infection with spring viraemia of carp virus
2
作者 Wenji Huang Ning Ji +6 位作者 Xin Zhao jiahong guo Jianhua Feng Kangyong Chen Yaxin Wu Junya Wang Jun Zou 《Aquaculture and Fisheries》 CSCD 2024年第2期181-192,共12页
A cell line,termed ZFIN,was established from the caudal fin of zebrafish and was shown to be susceptible to spring viremia of carp virus(SVCV).The ZFIN cells are epithelial like cells and have a moderate plasmid trans... A cell line,termed ZFIN,was established from the caudal fin of zebrafish and was shown to be susceptible to spring viremia of carp virus(SVCV).The ZFIN cells are epithelial like cells and have a moderate plasmid transfection efficiency of 13.9%.Using an RNA-seq approach,differentially expressed genes(DEGs)regulated by SVCV were identified.Infection of SVCV gave rise to 3931 DEGs and up-regulated DEGs were mostly enriched into the biological regulation and cellular processes,among which pathways for the type I interferon signaling and the response to exogenous dsRNA were the top two GO terms.Several KEGG signaling pathways including TLR signaling pathway,RLR receptor signaling pathway,cytosolic DNA-sensing pathway,NLR signaling pathway,cytokine-cytokine receptor interaction and ferroptosis were significantly enriched.Antiviral genes including ifnφ1,isg15 and mx were significantly up-regulated.In addition,key DEGs involved in autophagy were identified.The results indicate that the ZFIN cell line provides a useful in vitro tool for study on the gene functions and cellular responses to viral infection in fish. 展开更多
关键词 Caudal fin cells SVCV RNA-SEQ DEGs Innate antiviral response
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部