1 西安电子科技大学 微电子学院, 西安 710071
2 北京轩宇空间科技有限公司, 北京 100190
随着工艺节点的缩小,集成电路规模的增加,集成电路设计过程中逻辑等价性检查在确保设计功能正确性方面起着重要作用。文章研究了组合电路逻辑等价性检查技术,针对该领域常用的DPLL和CDCL算法存在的问题,提出了一种基于蒙特卡洛树搜索的改进算法。通过对ISCAS85测试集的一个子集的实验,证实该算法对CDCL算法有一定的改进,应用于组合电路等价性检查的平均运行时间减少了20%。
等价性检查 组合电路 可满足性问题 equivalence checking combinational circuit satisfiability problem (SAT) EDA EDA
光子学报
2023, 52(10): 1052412
1 西安交通大学 核科学与技术学院西安 710049
2 西安交通大学 动力工程多相流国家重点实验室西安 710049
核反应堆安全分析中的冷却剂丧失事故(Loss of Coolant Accident,LOCA)是反应堆安全的重要研究对象之一,LOCA事故中的再淹没阶段棒束通道内的热工水力行为是其中一个十分关键的问题。利用西安交通大学核安全与运行研究室的膜态沸腾实验平台,本文开展了对5×5均匀加热棒束开展了底部再淹没实验研究。通过求解一维瞬态逆导热问题获得再淹没过程中加热棒束的表面参数,探究了不同实验条件对骤冷前沿推进速度的影响,使用热工安全分析程序RELAP5对实验结果进行对比计算,总结了其在模拟再淹没过程中存在的问题。结果表明:1)再淹没过程中高进口流量、高入口过冷度和低功率密度更有利于骤冷前沿的推进;2)RELAP5模拟的骤冷时间总均方根误差40.994 s;包壳峰值温度(Peak Cladding Temperature,PCT)总均方根误差61.465 K。模拟值在后临界热流密度(Critical Heat Flux,CHF)换热阶段与实验值相比误差较大,问题主要集中在沸腾模式判断和膜态沸腾换热模型上。本文中的实验数据可为再淹没过程的流动传热预测模型提供新的验证数据,也可用于评价和优化热工安全分析程序。
底部再淹没实验 棒束通道 逆导热问题 膜态沸腾 热工安全分析程序 Bottom reflooding test Rod bundle channel Inverse heat conduction problem Film boiling Thermal safety analysis code
赵景怡 1,2,3,4赵茂雄 1,2,3,4,*石磊 1,2,3,4,**资剑 1,2
1 复旦大学应用表面物理国家重点实验室,上海 200433
2 复旦大学微纳光子结构教育部重点实验室,上海 200433
3 上海微纳制程智能检测工程技术研究中心,上海 200433
4 复旦大学-光检测与光集成校企联合研究中心,上海 200433
光谱是物质的光学指纹信息,是研究光与物质相互作用的重要手段。角度分辨光谱技术是对光谱在角度维度的进一步解析,能够分辨光的强度、偏振态和相位等信息,从而在生物医学、材料科学和微纳光子学等研究领域得到广泛应用。为了实现角度分辨光谱,目前已经开发了多种实验系统,并涌现出了大量数据处理算法。本文将介绍角度分辨光谱的生成方法、数据处理技术及其在不同研究领域中的应用。
角度分辨光谱 光学逆散射问题 光学散射成像 光学特征尺寸 缺陷检测 光学学报
2023, 43(16): 1623016
浙江大学光电科学与工程学院,浙江 杭州 310027
自由曲面具有灵活的面形结构,用于光束调控可获得高性能、轻小型的系统,可创造新的结构形式和实现新的光束调控功能。自由曲面光束调控是一个根据输入和目标反求光学自由曲面的逆问题。Monge-Ampère(MA)方法基于理想光源近似,将自由曲面光束调控逆问题转化成一个带有非线性边界条件的MA方程。MA方法无需预先给定光线落点位置,而是通过控制曲面的高斯曲率分布来实现对光传输的高效灵活调控,被认为是当前最有效的可自动满足曲面连续性可积条件的自由曲面设计方法。对MA方法的研究进展进行了概述,详细介绍了自由曲面光束强度调控模型,以及自由曲面光束强度和波前同时调控模型的构建过程与求解方法,并通过三个设计实例充分展示了各类光束调控模型的有效性和MA方法的优势。
光学设计 光束调控 自由曲面 Monge-Ampère方程方法 逆问题
1 上海健康医学院, 上海 201318
2 芷江中路幼儿园瑞仕园, 上海 200072
研究了学龄前儿童户外运动设计对其视力发展情况的影响。选取上海市中心城区一所示范性幼儿园, 通过问卷调查幼儿用眼习惯和父母近视情况, 用单因素分析方法分析影响幼儿视力的因素, 得知父母近视是导致幼儿阶段视力问题的主要原因(P<0.001); 基于眼肌调节机制设计有助于改善幼儿视力的户外运动游戏, 并对不同年龄段幼儿分层实施, 通过Snellen视力表检查和电脑验光仪屈光数据综合分析, 发现运动游戏实施后两组幼儿视力情况有明显差异(P=0.012), 对于有潜在视力风险的幼儿, 尤其是中大班幼儿效果最明显。该类运动游戏具有积极的作用, 适宜在幼儿园和家庭中开展和普及。
眼肌调节 运动游戏 视力问题 ocular muscle regulation sports games vision problems
1 桂林理工大学机械与控制工程学院,广西 桂林 541006
2 桂林理工大学外国语学院,广西 桂林 541006
3 扬州大学机械工程学院,江苏 扬州 225009
基于机器视觉的粗糙度测量方法大多是根据粗糙度关联指标建立预测模型,或者利用深度学习网络建立无指标预测模型,而这两类方法均存在着不足。一方面,人工设计指标的计算过程复杂,不利于在线检测。另一方面,深度学习模型则严重依赖大数据,数据量不足难以训练出有效的模型。针对以上问题,本文提出一种基于图神经网络的铣削表面粗糙度测量方法。该方法在训练阶段获取了自主学习的能力,而后仅需要少量铣削样本就能够完成铣削工件的粗糙度测量。试验结果表明,本文方法在铣削工件的粗糙度测量上不仅能够自动提取特征,而且表现出了较高的精度和良好的光照环境鲁棒性。
表面粗糙度测量 图神经网络 小样本问题 特征自提取 光照环境 激光与光电子学进展
2022, 59(23): 2324001