搜索结果: 1-10 共查到“工学 SMT”相关记录10条 . 查询时间(0.062 秒)
中国自主研发求解器首获国际SMT比赛冠军
求解器 整数差分逻辑(QF_IDL)组 冠军
2021/8/17
近日,形式化验证顶级会议CAV 2021会议公布了第十六届国际可满足性模理论比赛(SMT-COMP 2021)比赛结果,中国科学院软件研究所(以下简称软件所)研究员蔡少伟带领团队研发的求解器荣获整数差分逻辑(QF_IDL)组冠军。这也是中国团队首次在SMT-COMP比赛中获得冠军。
利用液相31P核磁共振分析方法和SMT分级方法,对比研究了海河流域典型人工河流子牙新河和滏阳新河、自然河流子牙河表层沉积物中磷形态.结果发现,两条河流沉积物中TC、TN、TP含量均很高,且相关性显著,污染较重且具有同源性.沉积物中总磷在568.2~9171.9 mg·kg-1之间,其中以HCl-P为主,占总磷的25.5%~81.8%之间,其次为NaOH-P,所占比例为9.3%~55.5%.使用31...
A minimum satisfying assignment of a formula is a minimumcost partial assignment of values to the variables in the formula that guarantees the formula is true. Minimum satisfying assignments have appl...
Effective Use of Linguistic and Contextual Information for SMT
Effective Use Linguistic Contextual Information SMT
2013/4/22
Effective Use of Linguistic and Contextual Information for SMT。
超标量处理器中引入SMT技术的性能分析研究
超标量处理器 同时多线程 每周期完成的指令数(IPC)
2009/7/23
同时多线程(SMT)是一种允许多个独立的线程每周期发射多条指令的技术,这种技术充分利用了可能存在的指令级并行和线程级并行,提高了有限资源的利用率。文章以西北工业大学航空微电子中心自主研发的32位超标量处理器“龙腾R2”为基础,引入SMT技术,在基本不改变内部结构大小、不增加执行功能部件、仅做一些必要修改的前提条件下进行研究。通过仿真不同的线程数和各种线程组合,进行性能分析。尽管存在制约性能提升的一...
该项目总投资为400万元,目前已完成投资40万元,项目已完成研发,正处于产业化阶段。该产品是用于检测PCB表面贴装电路板的专业测试设备,可检测丝网印刷后焊膏涂覆状况,片式元件和异形元件贴装后的情况以及经回流焊接后的焊点情况。因此,它可检测SMD生产线上任何加工工序的所有元器件贴装的情况,并且它可针对监视器显示“错误”的元器件提供在线修复功能,大大提高了生产率。国内目前有SMT生产线数千条,其中有2...
SMT激光软钎焊过程自动化及质量控制
软钎焊 质量控制 过程自动化
2008/11/4
根据微细焊点对激光加热能量的高精度要求,研制计算机控制的激光电源,实现在焊接过程中激光功率和时间的随意调节;焊接质量的实时控制也要求激光功率能够进行随意控制。系统对激光功率控制的精度为±3%,激光功率调节的最小分辨率为100/2048=0.05W,响应时间≤40ms。根据资料检索的情况,在国内外其他类似研究中还未见到。焊点信息的多方式自动输入方法。由于电子产品的多样化,每一种PCB上元器件 的数量...
关于举办2008年中国高端SMT学术会议的征文通知
2008年 高端SMT 学术会议
2008/6/2
由四川省电子学会SMT专委会主办,广东省电子学会SMT专委会、陕西省电子学会SMT专委会、上海市电子学会SMT专委会、SMTA China联办的2008中国高端SMT学术会议,定于2008年10月中旬,在陕西省西安市(或延安市)举行,现在向国内SMT业界从事工程研发、工艺设计、生产管理、市场营销、教学培训、现场操作等专家、学者与相关人士征集论文。希望积极撰写文稿,参加学术交流。共同努力,促进国内S...
第五届中国(天津)高端国际绿色电子制造[表面安装(SMT)]技术与产业发展研讨会
第五届 绿色电子制造 研讨会
2008/3/10
大会发起单位:
天津市人民政府信息化办公室、天津环保局、天津市经济技术开发区管委会、天津市电子学会、天津市仪器仪表学会。
主办单位:
天津市政府信息化办公室、天津环保局、天津经济技术开发区管委会
支持单位:
信息产业部经运司
承办单位:
天津市电子学会、摩托罗拉(中国...