搜索筛选:
搜索耗时2.9622秒,为你在为你在102,285,761篇论文里面共找到 17 篇相符的论文内容
发布年度:
[期刊论文] 作者：贝劲松,,
来源：中国金融 年份：2004
1990年5月9日,中国人民银行清算总中心(以下简称"清算总中心")正式成立。近三十年来,作为支付清算系统的建设者和运行者,清算总中心与我国支付清算系统共成长,实现了从参...
[期刊论文] 作者：贝劲松,,
来源：中国金融 年份：2018
1990年5月9日,中国人民银行清算总中心(下称"清算总中心")正式成立,主要任务是建设金融卫星通信专用网和全国电子联行系统。2000年底,清算总中心开始建设中国现代化支付...
[期刊论文] 作者：贝劲松,
来源：金融电子化 年份：2005
为更有效地支持国民经济持续、快速、健康地发展，中国人民银行先后建设了全国电子联行系统和中国现代化支付系统。这两个系统为我国银行间资金清算提供了便捷、快速的电子通道......
[期刊论文] 作者：贝劲松,
来源：中国金融 年份：2021
人民银行清算总中心作为国家重要金融基础设施运营机构,在“数字央行”建设过程中,充分利用自身运营过程中积累的海量数据资源以及连接国内各类金融机构的天然优势,通过构建...
[期刊论文] 作者：贝劲松,
来源：中国金融 年份：2020
1990年5月9日,中国人民银行清算总中心（以下简称"清算总中心"）正式成立。30年来,在人民银行的统一领导和部署下,清算总中心服务央行大局,不断加强研发能力建设,提升系统运行管理水平,全力保障支付清算系统稳定运行,为全社会提供安全高效的金融服务。......
[期刊论文] 作者：贝劲松,
来源：中国金融 年份：2022
2020年，为积极响应支付市场需求、改善支付供给，作为中央银行的直属事业单位，清算总中心克服新冠肺炎疫情的影响，在确保支付系统稳定运行的前提下，积极开展支付清算系统新基建，建设并投产了集支付、清算、信息传递于一体的便民支付服务平台——全国综合业务服务平台（以......
[期刊论文] 作者：贝劲松,边计年,
来源：计算机辅助设计与图形学学报 年份：1999
有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一，由于ＯＢＤＤ的最大对变量序非常敏感，使得变量排序问题成为最关键的一个问题。首先将ＯＢＤＤ变量排序问题分解为３个子问题，定义了若干启发信息，给......
[会议论文] 作者：贝劲松,边计年,
来源：第七届全国数字系统设计自动化学术会议暨协同设计研讨会 年份：1997
由于半导体制造工艺的进步，ＩＣ设计的规模越来越大，越来越复杂，对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性，具有模拟验证所不具有的优点。该文介绍......
[期刊论文] 作者：贝劲松,李洪星,
来源：计算机辅助设计与图形学学报 年份：1999
符号模型检查是一种有效的形式验证方法，该方法主要有２个难点：一个是建模，即如何建立并用有限内存来表示电路的状态机模型；另一个是在此模型基础上的验证算法，由于验证时间和有限状......
[会议论文] 作者：李洪星,贝劲松,
来源：第七届全国数字系统设计自动化学术会议暨协同设计研讨会 年份：1997
二叉判决图ＢＤＤ是一种能有效表示布尔函数的方法，这种方法在ＥＤＡ领域中有着广泛的应用，该文介绍以ＢＤＤ为基础演变出的各种判决图并分析它们之间的关系，最后给出这些判决图在组合电路形式验证......
[期刊论文] 作者：许明,贝劲松,马壮,
来源：光通信技术 年份：2013
在宽带中国战略即将推出的背景下，对目前主流的下一代光接入技术的需求、关键技术和产业状况进行了分析，探讨了下一代光接入技术可能的技术选择和演进趋势。...
[期刊论文] 作者：许明,贝劲松,马壮,,
来源：光通信技术 年份：2013
在宽带中国战略即将推出的背景下,对目前主流的下一代光接入技术的需求、关键技术和产业状况进行了分析,探讨了下一代光接入技术可能的技术选择和演进趋势。Under the back...
[期刊论文] 作者：范轶平,贝劲松,边计年,薛宏熙,洪先龙,
来源：计算机应用 年份：2000
描述一个在模型判别器中实现的实用的反例生成策略。该策略利用电路性质描述语言的特点 ,将所有的“反例”生成算法归结为三种基本的“正例”生成算法。...
[期刊论文] 作者：范轶平,贝劲松,边计年,薛宏熙,洪先龙,
来源：计算机辅助设计与图形学学报 年份：2001
介绍了一个针对同步时序电路 VHDL 设计的性质验证的解决方案——一个有效的符号模型判别器VERIS.该模型判别器利用同步时序电路设计的特点以及待验证性质的局部性 ,可显著地减少有限状态机 (FSM)的状态空间 ;大大地提高可达性分析和性质验证的速度 ;同时 ,实现......
[期刊论文] 作者：贝劲松,边计年,薛宏熙,龙望宁,洪先龙,
来源：计算机辅助设计与图形学学报 年份：1999
有序的二叉决策图（ＯＢＤＤ）是形式验证领域的基础技术之一．由于ＯＢＤＤ的大小对变量序非常敏感，使得变量排序问题成为最关键的一个问题．首先将ＯＢＤＤ变量排序问题分解为３ 个子问题，定义了若干启发信息，给出了上述子问题的启发式解法；然后提出了一个变量排序自适应选择算法，从若干候选变量序中......
[期刊论文] 作者：贝劲松,李洪星,边计年,薛宏熙,洪先龙,
来源：计算机辅助设计与图形学学报 年份：1999
符号模型检查（ＳｙｍｂｏｌｉｃＭｏｄｅｌＣｈｅｃｋｉｎｇ，ＳＭＣ）是一种有效的形式验证方法．该方法主要有２个难点：一个是建模，即如何建立并用有限内存来表示电路的状态机模型；另一个是在此模型基础上的验证算法．由于验证时间和有限状......
[期刊论文] 作者：贝劲松,尹凡,钟一鸣,杨波,黄新刚,马壮,李正璇,
来源：光学学报 年份：2021
为了实现信号同相分量和正交分量的交替检测,提出了一种基于预设频率偏移的相干探测方案。该方案所需的硬件数量与外差检测一致,均为零差检测的一半。相关实验与仿真结果表明,相比外差检测方案,本方案不需要后续的下变频过程,对接收机的带宽需求较低。为了解决......
相关搜索：
