搜索筛选:
搜索耗时0.0886秒,为你在为你在102,285,761篇论文里面共找到 18 篇相符的论文内容
发布年度:
[学位论文] 作者：马柯帆,,
来源：成都理工大学 年份：2011
电离辐射计量是研究电离辐射计量单位和测量的一门学科,也是将电离辐射与物质相互作用应用到各个领域的充分体现。其内容非常广泛,涉及核物理、辐射防护、生物医学、计量学、...
[学位论文] 作者：马柯帆,
来源：国防科技大学 年份：2019
判定布尔公式的可满足性（SAT）是计算机科学领域经典的NP完全问题之一,由于众多领域的实际问题都可以转换为布尔可满足问题来求解,例如VLSI设计与验证、软件的形式验证、人工智能规划与优化等领域,因此几十年来一直是计算机理论领域的研究热点。近年来,随着布尔可......
[学位论文] 作者：马柯帆,
来源：河北大学 年份：2023
咏叹调《你那颗冰冷的心》是意大利作曲家普契尼的歌剧《图兰朵》中角色柳儿的主要唱段之一,本文将从这一咏叹调的谱面细节出发,通过关联这一角色的人物性格与唱段所处剧情的情感表现,将这一唱段内容进行深度刨析,同时结合中、外经典演唱版本的不同处理,以及对......
[会议论文] 作者：马柯帆,方方,余国刚,
来源：全国信息与电子工程第四届学术年会暨四川省电子学会曙光分会第十五届学术年会 年份：2010
直流无刷电机(BLDCM)兼有交流电机的结构简单和普通直流电机的高运行效率以及极佳调速性能等特点;尤其在精确定位的伺服系统中到很广泛的应用。BLDCM高精度的伺服定位中起着关键作用的光电编码器码盘在实际安装中常会因为操作不当而对其造成损伤，增大了电机产品......
[期刊论文] 作者：黎铁军,马柯帆,张建民,
来源：计算机工程与科学 年份：2021
可满足性问题是计算机理论与应用的核心问题.在FPGA上提出了一个基于不完全算法的并行求解器pprobSA T+.使用多线程的策略来减少相关组件的等待时间,提高了求解器效率.此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上存储器的资源开销.当所有数......
[期刊论文] 作者：马柯帆,方方,余国刚,易良碧,
来源：微型机与应用 年份：2010
直流无刷电机（BLDCM）兼有交流电机的结构简单和普通直流电机的高运行效率以及极佳调速性能等特点;尤其在精确定位的伺服系统中得到广泛应用。但在BLDCM高精度伺服定位中起着关...
[期刊论文] 作者：张建民,黎铁军,马柯帆,肖立权,
来源：国防科技大学学报 年份：2016
解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满足原因提供最精确的解释。因此,将两种能够高...
[期刊论文] 作者：马柯帆,龚永刚,赵翔,王自运,,
来源：科学咨询(科技·管理) 年份：2011
结合DSP快速处理能力和具有合适控制的事件管理器的特点,提出一种基于TMS320LF2407的三电平PWM开关功率放大器。实验表明：基于DSP的三电平PWM开关功放具有效率高、电流纹波小,...
[期刊论文] 作者：马柯帆,肖立权,张建民,黎铁军,
来源：计算机工程与科学 年份：2016
布尔可满足性SAT问题作为第一个被证明的NP完全问题,是计算机理论与应用的核心问题,有着重要的应用价值,因此近年来涌现了各种各样SAT求解器。但是,SAT求解器的运算效率始终...
[期刊论文] 作者：张建民,黎铁军,马柯帆,肖立权,
来源：计算机工程与科学 年份：2019
基于命题逻辑的布尔可满足SAT存在描述能力弱、抽象层次低、求解复杂度高等问题,而基于一阶逻辑的可满足性模理论SMT采用高层建模语言,表达能力更强,更接近于字级设计,避免将...
[期刊论文] 作者：张建民,黎铁军,马柯帆,肖立权,
来源：电子学报 年份：2021
随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或进行原型验证时,往往会出现布线拥塞或无法布通的情况.而不可满足子式能够迅速诊断FPGA无法布通的原因,并且精确定位关键线网.针对......
[期刊论文] 作者：赵翔,方方,马柯帆,王自运,王攀,卢媛,,
来源：核电子学与探测技术 年份：2010
介绍基于TOP261YN芯片设计的多路输出单端反激式开关电源,分析了其工作原理及设计方案。此电源采用反激式电路,结合外围反馈及脉宽调制电路达到了大功率、多路输出的目的,实...
[期刊论文] 作者：马柯帆,肖立权,张建民,黎铁军,周善祥,
来源：国防科技大学学报 年份：2018
利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题.相对其他求解器,该求解器...
[期刊论文] 作者：黎铁军,张建民,马柯帆,肖立权,李思昆,,
来源：Journal of Beijing Institute of Technology 年份：2016
Most of users are accustomed to utilizing virtual address in their parallel programs running at the scalable high-performance parallel computing systems.Therefore a virtual and physical address transl...
[会议论文] 作者：赵翔,方方,马柯帆,王自运,王攀,彭建伟,
来源：全国信息与电子工程第四届学术年会暨四川省电子学会曙光分会第十五届学术年会 年份：2010
介绍基于TOPSwith-HX芯片设计的多路输出单端反激式开关电源，分析了其工作原理及设计方案。此电源采用反激式电路，结合外围反馈及脉宽调制电路达到了大功率、多路输出的目的，实......
[期刊论文] 作者：马柯帆,吴金杰,王培玮,杨元第,段小娟,,
来源：核电子学与探测技术 年份：2012
采用胶片剂量计测量了低能x射线辐射装置距X射线光管焦斑不同距离辐射野的大小，得出在距离光管焦斑1000mm的参考面辐射野大小及均匀性，并与二维矩阵电离室扫描结果进行了对比。......
[期刊论文] 作者：段小娟,吴金杰,王培玮,谢希成,马柯帆,,
来源：中国计量 年份：2012
一、引言X射线辐射场均匀野的测量能够实现X射线主射束、光阑、快门、过滤片、定位装置同轴的调整,在参考平面得到一个均匀场,从而保证基准电离室和传递电离室定位于辐射野中...
[期刊论文] 作者：赵翔,谢成祥,王自运,马柯帆,邢思,彭建伟,
来源：科学咨询 年份：2010
高温高压染色机温度系统是一种复杂的控制对象，很难获得精确的数学模型。因此本文在分析染色机系统结构和染色机温度对象特性的基础上，根据染色过程的温度偏差和实际温度，设计了......
相关搜索：
