-
题名基于布尔可满足性的精确逻辑综合综述
被引量：2
- 1
-
-
作者
储著飞
潘鸿洋
-
机构
宁波大学信息科学与工程学院
-
出处
《电子与信息学报》
EI
CSCD
北大核心
2023年第1期14-23,共10页
-
基金
国家自然科学基金(61871242)
专用集成电路与系统国家重点实验室开放研究课题基金(2021KF008)。
-
文摘
逻辑综合是电子设计自动化(EDA)的重要步骤,随着算力逐渐提升和新的计算范式不断涌现,传统基于全局启发式算法的逻辑综合面临新的挑战。启发式算法面临的主要问题是得到一个次优解,随着算力的提升,逻辑优化越来越追求精确解而不满足于次优解。该文首先简述逻辑函数表达方法和布尔可满足性(SAT)问题;其次针对精确综合的算法、编码等方面介绍了在布尔逻辑网络的面积优化和深度优化方面的精确综合研究进展;最后对精确综合的未来发展趋势进行讨论。
-
关键词
逻辑综合
精确综合
布尔可满足性
多数逻辑门
-
Keywords
Logic synthesis
exact synthesis
Boolean SATisfiability(SAT)
Majority logic
-
分类号
TN47
[电子电信—微电子学与固体电子学]
-
-
题名利用子结构模态的结构随机响应精确综合
被引量：1
- 2
-
-
作者
张巍
应祖光
叶淑琴
-
机构
浙江理工大学经济管理学院实验中心
浙江大学航空航天学院力学系
-
出处
《噪声与振动控制》
CSCD
北大核心
2010年第6期75-78,共4页
-
基金
浙江省自然科学基金资助项目(Y607087)
教育厅科研项目(Y200907048)
-
文摘
提出基于固定界面子结构模态的结构随机响应精确综合方法。首先用固定界面子结构的中阶模态与精确剩余约束模态表达子结构频域位移;再利用界面力与位移的协调关系进一步消去界面自由度,建立双协调的精确缩聚变换;然后根据里兹法,得到结构精确综合的广义频响函数;并由此独立地计算各子结构的功率谱密度,进一步得到其均方值等响应统计;最后通过数值结果验证该方法的综合能力与准确性。
-
关键词
振动与波
结构系统
随机响应
固定界面子结构
精确综合
-
Keywords
vibration and wave
structural system
random response
interface-fixed substructure
exact synthesis
-
分类号
O327
[理学—一般力学与力学基础]
O241.82
[理学—力学]
-
-
题名基于固定界面子结构模态的频响函数精确综合法
被引量：7
- 3
-
-
作者
应祖光
叶淑琴
金林
-
机构
浙江大学航空航天学院力学系
中国科学院上海应用物理研究所
-
出处
《振动与冲击》
EI
CSCD
北大核心
2010年第3期132-133,共2页
-
基金
浙江省自然科学基金资助项目(Y607087)
-
文摘
提出基于固定界面子结构模态的双协调结构频响函数精确综合方法。首先用固定界面子结构的中高阶模态与精确剩余约束模态表达子结构频域位移;再利用界面力与位移的协调关系进一步消去界面自由度,建立双协调的精确缩聚变换;然后根据里兹法,得到结构精确综合的频域运动方程与频响函数;最后通过数值结果验证该方法的综合能力与准确性。
-
关键词
结构振动
频响函数
固定界面子结构
精确综合法
-
Keywords
structural vibration
frequency-response function
interface-fixed substructure
exact synthesis method
-
分类号
O327
[理学—一般力学与力学基础]
V414
[理学—力学]
-
-
题名中高阶子结构模态的精确综合法
被引量：2
- 4
-
-
作者
叶淑琴
应祖光
-
机构
浙江大学航空航天学院力学系
-
出处
《工程力学》
EI
CSCD
北大核心
2009年第A01期20-23,共4页
-
基金
浙江省自然科学基金项目(Y607087)
-
文摘
提出基于固定界面子结构中高阶模态的双协调结构模态精确综合方法。首先用固定界面子结构的中高阶模态与精确剩余约束模态表达子结构位移;再利用界面力与位移的协调关系进一步消去界面自由度,建立双协调的精确缩聚变换;然后根据里兹法,得到结构模态运动的精确综合特征方程。最后,通过多种情况综合的数值结果验证该方法的综合能力与准确性。
-
关键词
结构振动
固定界面子结构
精确模态综合法
精确剩余约束模态
中高阶模态综合
-
Keywords
structural vibration
interface-fixed substructure
exact modal synthesis method
exact residual constraint modes
mid/high-order mode synthesis
-
分类号
I327
[文学—其他各国文学]
TU311.3
[建筑科学—结构工程]
-
