中国科学技术信息研究所--国家工程技术数字图书馆

2. 图计算在ATPG中的应用探究

[期刊] 毛伏兵王柳峥彭达张宇廖小飞姜新宇杨赟金海赵进刘海坤《中国科学F辑》 2023年2期共23页

摘要 : ATPG(automatic test pattern generation)是 VLSI(very large scale integration circuits)电路测试中非常重要的技术,它的好坏直接影响测试成本与开销.然而现有的并行ATPG方法普遍存在负载不均衡、并行策略单一、存储开销大和数据局部性差等问题.由... 展开

关键词 : 图计算超大规模集成电路自动测试向量生成电子设计自动化电路测试

3. 纪念史久镛法官:国际法院的首位中国籍院长

[期刊] 杨赟《中国国际法年刊》 2022年1期共23页

摘要 : 2022年1月18日,史久镛法官在北京逝世,享年96岁。作为一名国际法学者,他非常擅长运用国际法解决实际问题。儿时优渥的生活为他提供了良好的教育和开阔的视野,青年时期远赴美国接受了系统的国际法培训,怀揣着“学法救国”的理想回到祖国,在国家最需要国... 展开

关键词 : 国际法学者国际法院中国籍谈判技巧专业素养史久镛个人修养举重若轻

4. 《仲裁法》修改背景下仲裁员披露义务制度研究——以我国法院撤销仲裁裁决实证研究为视角

[期刊] 杨赟金文轩《北京仲裁》 2022年3期共22页

摘要 : 由于目前《中华人民共和国仲裁法》对于仲裁员披露义务规定的缺失,我国法院关于仲裁员披露义务相关制度的司法审查实践存在着“同案不同判”、法律适用分歧、披露义务标准不明等问题。此次《中华人民共和国仲裁法(修订)(征求意见稿)》明确规定了仲裁员... 展开

关键词 : 仲裁员披露义务司法审查仲裁法修改

5. 海牙《选择法院协议公约》背景下管辖权协议之效力研究

[期刊] 杨赟《国际法学刊》 2022年3期共19页

关键词 : 《选择法院协议公约》管辖权协议直接管辖权间接管辖权实际联系标准

6. 面向动态有向图的单调图算法硬件加速机制

[期刊] 杨赟张吉王彪余辉赵进张宇廖小飞姜新宇金海刘海坤毛伏兵《中国科学（信息科学）》 2023年8期共18页

摘要 : 随着现实世界中动态图计算需求的快速增长,现有的研究工作已经提出了多种方法来有效支持单调图算法在动态有向图中的处理.然而,由于动态有向图的图结构频繁发生变化,其相邻图顶点之间的状态更新存在复杂的依赖关系,这使得现有的软硬件方法在处理单调图... 展开

关键词 : 动态有向图单调图算法增量计算依赖感知图加速器

7. 面向动态有向图的单调图算法硬件加速机制

[期刊] 杨赟余辉赵进张宇廖小飞姜新宇金海刘海坤毛伏兵张吉王彪《中国科学:信息科学》 2023年8期共18页

关键词 : 动态有向图单调图算法增量计算依赖感知图加速器

8. 一种高效的面向高并发图分析任务的存储系统

[期刊] 赵进余婷姜新宇张宇廖小飞金海刘海坤杨赟张吉王彪《中国科学（信息科学）》 2022年1期共18页

摘要 : 随着现实世界中图计算需求的快速增长,同一平台上往往并发运行着大量迭代图分析任务.然而,现有的图计算系统主要是为了高效执行单个图分析任务而设计的.因此,当多个并发图分析任务同时在同一个底层图上并行执行时,现有图计算系统会面临巨大的数据访问... 展开

关键词 : 迭代图处理并发任务存储系统 I/O开销吞吐量

9. 一种高效的面向高并发图分析任务的存储系统

[期刊] 赵进姜新宇张宇廖小飞金海刘海坤杨赟张吉王彪余婷《中国科学：信息科学》 2022年1期共18页

关键词 : 迭代图处理并发任务存储系统 I/O开销吞吐量

10. 泥质粉砂储层欠平衡水平井井壁稳定性演化规律 OA 北大核心 CSCD CSTPCD

[期刊] 邱艺马天寿陈颖杰杨赟邓昌松《中南大学学报（自然科学版）》 2023年3期共17页

摘要 : 以苏里格气田长7组泥质粉砂储层为对象,研究泥质粉砂储层欠平衡水平井井壁稳定演化规律.首先,开展泥质粉砂岩矿物组成、微观结构和力学性能实验,分析井壁失稳微观机理;其次,基于流固化多场耦合理论,考虑岩石吸水扩散引起的强度劣化特征,建立欠平衡水平... 展开

关键词 : 致密气泥质粉砂岩水平井欠平衡钻井井壁稳定演化规律