检索结果-南通市图书馆

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

分式化时模理论的一些稳定性性质的保持性

数学学报（中文版） 1999年第1期42卷 187-192页

作者：王捍贫北京大学计算机系北京100871

本文讨论了将分式环S－1R上的模归约到R上的模时包（hull）、类（class）、界（bound）、秩（rank）的保持性，证明了：1）NR是A在MR中的包当且仅当NS－1R是A在MS－1R中的包；2）还讨论了分式模（S－1M）S－1R与MR之间上述性质存在单向... 详细信息

本文讨论了将分式环S－1R上的模归约到R上的模时包（hull）、类（class）、界（bound）、秩（rank）的保持性，证明了：1）NR是A在MR中的包当且仅当NS－1R是A在MS－1R中的包；2）还讨论了分式模（S－1M）S－1R与MR之间上述性质存在单向或双向保持性的条件．

关键词：稳定性包秩分式模模分式环模型论

在线全文

学校读者我要写书评

暂无评论

(Q)格值模型的省略型定理

北京大学学报（自然科学版） 1999年第3期35卷 409-413页

作者：王捍贫谢惠扬北京大学计算机系北京林业大学基础科学与信息工程学院

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。

关键词：广义量词格值模型论省略型定理格值逻辑

在线全文

学校读者我要写书评

暂无评论

边缘加强的超高清视频质量评估

中国图象图形学报 2023年第3期28卷 691-701页

作者：滕建新何杰锋袁锦春邢凤闯王捍贫广州市广播电视台广州510310 广州大学计算机科学学院广州510006

目的随着网络和电视技术的飞速发展,观看4 K(3840×2160像素)超高清视频成为趋势。然而,由于超高清视频分辨率高、边缘与细节信息丰富、数据量巨大,在采集、压缩、传输和存储的过程中更容易引入失真。因此,超高清视频质量评估成为当今... 详细信息

目的随着网络和电视技术的飞速发展,观看4 K(3840×2160像素)超高清视频成为趋势。然而,由于超高清视频分辨率高、边缘与细节信息丰富、数据量巨大,在采集、压缩、传输和存储的过程中更容易引入失真。因此,超高清视频质量评估成为当今广播电视技术的重要研究内容。本文提出了一种边缘加强的超高清视频质量评估方法。方法对输入视频的每一帧进行拆分处理,利用边缘检测算子对R、G、B三通道的图像分别进行边缘检测,合并R、G、B三通道的边缘信息得到视频帧的边缘图像。设计边缘掩蔽、内容依赖和时域记忆3个网络模块分别提取相应的特征,将特征输入到全连接层中进行降维处理后获得质量特征,基于质量特征计算输入视频的视频质量分数。由于超高清视频具有丰富的边缘,边缘细节清晰度极高,因此在边缘处引入的失真通常较为明显,而本文提出的边缘加强方法特别适用超高清视频的质量评估。同时由于提出的方法引入了内容依赖和时域迟滞特性,因此也同时适用其他野生视频的质量评估。结果实验在包括超高清在内的4个视频质量评估数据集上进行,与5种主流方法进行比较,结果表明提出的方法性能优越。在Ko NVi D-1K、DVL2021、LIVE-Qualcomm、LSVQ据集上,与当前性能最好的方法相比,SROCC(Spearman rank-order correlation coefficient)指标分别提升了3.9%、4.2%、10.0%和0.6%,PLCC(Pearson’s linear correlation coefficient)指标分别提升了3.9%、2.2%、10.1%和0.1%。结论本文方法结合超高清视频的特点,更好地拟合了人眼视觉特性,获得了当前最好的性能;同时由于未使用光流方法,大幅减少了计算量,获得了很好的泛化能力。

关键词：超高清视频视频质量评估(VQA) 卷积神经网络(CNN) 人类视觉系统(HVS) 边缘增强

Behavioural equivalences of a probabilistic pi-calculus

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2012年第9期55卷 2031-2043页

作者： CHEN WeiEn,CAO YongZhi & wang hanpin Key Laboratory of High Confidence Software Technologies,Ministry of Education of China,Institute of Software,School of Electronics Engineering and Computer Science,Peking University,Beijing 100871,China Key Laboratory of High Confidence Software Technologies Ministry of Education of China Institute of Software School of Electronics Engineering and Computer Science Peking University Beijing China

Although different kinds of probabilistic π-calculus have been introduced and found their place in quantitative verification and evaluation,their behavioural equivalences still lack a deep *** propose a simple probabilistic extension of the π-calculus,π p,which is inspired by Herescu and Palamidessi’s probabilistic asynchronous π-*** early semantics of our π p is *** generalise several classic behavioural equivalences to probabilistic versions,obtaining the probabilistic(strong) barbed equivalence and probabilistic bisimulation for π *** we prove that the coincidence between the barbed equivalence and bisimilarity in the π-calculus is preserved in the probabilistic setting.

关键词： probabilistic pi-calculus behavioural equivalence probabilistic bisimulation probabilistic barbed bisimulation

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

死路删除语义下的WS-BPEL流程的建模

北京大学学报（自然科学版） 2010年第2期46卷 162-170页

作者：徐春香屈婉玲王捍贫朱梅霞北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPE... 详细信息

提出一种新的模型——DPE网,用于描述死路删除语义下的WS-BPEL流程。DPE网中引入了颜色集CTRL和STAT以表示活动执行的状态和并发活动内链接的状态。这在一定程度上降低了模型的规模,从而得到更为直观的模型。基于DPE网,不仅描述了WS-BPEL流程的基本控制流,包括基本活动和各种结构化活动,而且描述了WS-BPEL流程的死路删除语义和较完整的link语义,包括join condition和transition condition。最后,通过一个实例说明了使用DPE网建模WS-BPEL流程,有助于得到更为准确的分析结果。

关键词： Web服务死路删除建模 DPE网

在线全文

学校读者我要写书评

暂无评论

一种新的时段演算及其验证

计算机研究与发展 2008年第Z1期45卷 169-174页

作者：梁爱丽朱嘉奇王捍贫屈婉玲北京大学信息科学技术学院软件研究所可信软件技术教育部重点实验室北京100871

在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.... 详细信息

在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.

关键词：模型检测 CTL* QDDC NP-完全

分式化时模理论的noforking性质(英文)

在线全文

学校读者我要写书评

暂无评论

数学进展 1999年第3期28卷 241-251页

作者：王捍贫北京大学计算机系

本文讨论了将分式环S－1R上的模归约到R上的模时noforking性质的保持性，证明了：Ls－1R中型q是p的noforking扩充当且仅当它们在LR上的限制qR为PR的一个noforking扩充．还讨论了分式模S－1M与M的noforking性质保持的条件．

关键词：分式模分式环分式化时模理论 noforking性质

在线全文

学校读者我要写书评

暂无评论

最大边染色的指数时间算法

计算机研究与发展 2008年第Z1期45卷 62-66页

作者：凤旺森张立昂王捍贫汤传喜陈霄北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题——最大边染色问题——提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),... 详细信息

最近,凤旺森,张立昂,曲婉玲,王捍贫对源于无线Mesh网络中的一个新的计算问题——最大边染色问题——提出了常数比近似算法.最大边染色问题要求对图的所有边染色,满足对任一顶点v,与其相关联的所有边所染的颜色种数不超过正整数q(q≥2),求使用颜色种数最多的染色方案.然而,他们并没有给出该问题的任何精确算法.提出了几个指数时间的精确算法并分析了它们的复杂度.对完全图可以在多项式时间内找到精确解.

关键词：最大边染色问题指数时间算法回溯

沈阳地区血小板输注无效患者的抗体检测与交叉配型结果分析

在线全文

学校读者我要写书评

暂无评论

中国组织工程研究 2022年第24期26卷 3875-3879页

作者：王宏阳李晓丰周助人李函频丛日娇李剑平辽宁省血液中心输血医学研究所辽宁省沈阳市110044

背景:随着血小板输注的广泛应用,血小板输注无效患者呈逐年增多的趋势。目的:通过对血小板输注无效患者的血小板抗体和交叉配型情况进行检测分析,为血小板输注无效患者提高输注效果提供参考依据。方法:选取2020年4-12月期间112例血小板... 详细信息

背景:随着血小板输注的广泛应用,血小板输注无效患者呈逐年增多的趋势。目的:通过对血小板输注无效患者的血小板抗体和交叉配型情况进行检测分析,为血小板输注无效患者提高输注效果提供参考依据。方法:选取2020年4-12月期间112例血小板输注无效患者,使用血小板抗体检测试剂盒(固相凝集法)进行血小板抗体检测及交叉配型实验。结果与结论:①血小板抗体检测结果:112例患者中有103例血小板抗体检测结果为阳性,阳性率高达92%;②血小板交叉配型结果:有25例患者在交叉配型实验中与供者的血小板均不相合,有18例患者与所有供者的血小板均相合;③血小板抗体检测结果与配型率的关系:血小板抗体检测结果为阴性的血小板配型率为84%、血小板抗体检测结果为1+,2+,3+,4+的血小板配型率分别为75.4%,71.6%,54.6%,27.6%,各组之间差异有显著性意义(P0.05);⑤输注配型血小板对患者配型率的影响:在送检次数相同的各组中,初次送检配型率与重复送检配型率差异无显著性意义(P>0.05);在所有重复送检的患者中,初次送检与重复送检的平均配型率分别为41.2%和50.6%,差异无显著性意义(P>0.05);⑥结果表明,血小板抗体检测结果阳性程度越高其配型率越低,患者在输注配型相合血小板后血小板抗体阳性强度未体现有增强的趋势,得到了稳定的输注效果,血小板抗体的准确检测以及输注配型相合血小板对于提高血小板输注疗效具有重要的临床价值。

关键词：血小板输注血小板输注无效血小板抗体血小板交叉配型