搜索筛选:
搜索耗时1.5821秒,为你在为你在102,285,761篇论文里面共找到 153 篇相符的论文内容
发布年度:
[会议论文] 作者：唐璞山,,
来源： 年份：2004
利用职住相关统计数据分析南宁市职住现状与用地分布特征基础上,利用微信位置数据,通过空间聚类、数据挖掘等方法识别居民就业与居住活动密度变化,并结合土地利用数据评价用...
[期刊论文] 作者：唐璞山,,
来源：山西建筑 年份：2017
m结合具体项目,以农业文化的传承、农村风貌的延续为目的,从风貌总体定位、建筑元素提炼、建筑外观改造、生态技术与乡土材料应用、建筑布局等多个方面对农村建筑的整治进行...
[期刊论文] 作者：唐璞山,
来源：国际学术动态 年份：1993
...
[期刊论文] 作者：唐璞山,,
来源：装饰装修天地 年份：2017
当前城市遗产保护的工作主要以政府主导的方式开展,但市民社会的发展带促生了民间自发的保护行为.以南宁市陈村历史文化聚落保护与利用工作为例,在现有体系外探讨城市遗产自...
[期刊论文] 作者：唐璞山,
来源：固体电子学研究与进展 年份：1988
由于集成电路的发展已进入超大规模集成电路阶段,因此需要高度的设计自动化技术来满足设计周期和设计正确性的要求。目前主要研究的课题有下列几方面。 (1)多目标优化算法...
[期刊论文] 作者：唐璞山,
来源：物理学报 年份：1958
为了阐明杂质对半导体一系列物理性质影响的机构,必须研究杂质在半导体材料中的扩散过程。在本工作中进行了银对氧化亚铜电学性质影响的研究。银是在10~(-4)mmHg的真空中、60...
[期刊论文] 作者：文化,唐璞山,
来源：半导体学报 年份：2000
The layout of datapaths is much complexer than that of a normal IC chips, because more constraints must be considered. A novel method for eliminating the net c...
[期刊论文] 作者：吴洋,唐璞山,,
来源：微电子学与计算机 年份：2007
改进了二种组合电路设计错误诊断DED（Design Error Diagnosis）算法。它使用多可满足性问题（SAT）求解技术，通过对布尔可满足解计数来实现对多个逻辑错误的诊断定位。改进了电路诊断......
[期刊论文] 作者：魏萌,唐璞山,,
来源：微电子学与计算机 年份：2007
提出一种基于状态转换图的时序电路等价验证算法。此算法通过验证两时序电路的状态转换图是否同构．得到两电路是否等价的信息。若两状态转换图同构，则两图中的状态可一一匹配为......
[期刊论文] 作者：吴智,唐璞山,
来源：计算机辅助设计与图形学学报 年份：2000
提出了一种快速而准确的数模混合集成电路衬底耦合参数提取方法。采用边界元法求解衬底耦合电阻，与有限差分法相比，计算速度提高了一个数量级以上，且可以保持精度，结合改进的Ｖｏｒｏｎｏｉ图来......
[期刊论文] 作者：黄伟,唐璞山,,
来源：复旦学报(自然科学版) 年份：2006
在Van Eijk时序电路等价验证算法中引入切割法，提出一种改进算法．由切割法引发的错反问题同时得到解决，合理的切割可以使时序电路等价验证只需较少时间．改进算法用SAT解答器作为......
[期刊论文] 作者：吴洋,唐璞山,,
来源：计算机辅助设计与图形学学报 年份：2006
提出了一种组合电路设计错误诊断算法,该算法结合传统基于模拟的方法和可满足性问题求解技术,在不依赖于故障模型的条件下实现对电路逻辑错误的诊断定位.提出了基于布尔可满足性的增量式电路诊断方法,通过对可满足解依据电路结构信息筛选分级,提高了多错误诊断......
[期刊论文] 作者：丁敏,唐璞山,,
来源：计算机辅助设计与图形学学报 年份：2006
提出一种改进的基于时间帧展开的时序电路等价验证算法,其来源于模型检查中的基于数学归纳的验证算法,在使用并简化了SAT问题中不可满足子集提取过程后,将基本条件检查和归纳检查合并处理.为了能在时间帧展开过程中减少状态搜索空间,利用结构不动点技术并提出了......
[期刊论文] 作者：熊伟,唐璞山,
来源：2007全国开放式分布与并行计算学术年会 年份：2007
提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation).与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的...
[期刊论文] 作者：徐国庆,唐璞山,
来源：微电子学 年份：1997
论了一种新的布线模式－整平面布线方法，并给出了针对该模式的基于规划的层次化的束布线算法。该算法由块内布线算法和块间布线算法两部分组成，它们的时间复杂性均为多项式时间算......
[期刊论文] 作者：张顺茂,唐璞山,
来源：电子学报 年份：1995
本文采用基于边的线扫描算法的图形逻辑操作，并以此为基础设计了一个层次化的电路提取器（ＨＣＥ），单元重复利用率越高，层次化的电路提取器ＨＣＥ比平面化的电路提取器的速度越快，并且，本提取器ＨＣＥ能......
[期刊论文] 作者：张鹏,唐璞山,
来源：电子学报 年份：2000
本文提出了一种新的变化例取定比例（ｖａｒｉａｂｌｅ ｔｏ ｆｉｘｅｄ，ＶＦ）的ＣＭＯＳ串联缓冲器链的设计方法，这种ＶＦ的设计方法考虑了一个由倒相器组成的缓冲器链的初始输入波形斜率对其每一级时延的影响。同时，计算了倒相......
[期刊论文] 作者：吴智,唐璞山,
来源：微电子学 年份：2000
边界元方法在计算衬底耦合电阻时，需要直接求解稠密矩阵方程Х＝Ｚ．Ｉ，时间复杂度为Ｏ（Ｎ＾３），Ｎ是总的衬底端口单元数，使得能计算的电路规模受到很大的限制。根据阻抗矩阵Ｘ中元素的物理意义，采用分段......
[会议论文] 作者：李峰,唐璞山,
来源：全国第六届IC CAD学术年会 年份：1991
...
[会议论文] 作者：宋华,唐璞山,
来源：1989年全国第五届集成电路CAD学术年会 年份：1989
...
相关搜索：
