检索结果-南通市图书馆

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于FPGA模拟的SAT求解方法

基于FPGA模拟的SAT求解方法

作者：毛乐乐广西民族大学

学位级别：硕士

集成电路设计的复杂程度和设计规模呈指数增长,验证技术已经成为整个集成电路设计领域的瓶颈,利用BDD技术的形式验证方法在面对小规模以及中等规模电路时能够显示出优势,大规模电路呈指数增长的情况下并不适用。随着近些年计算机领域研... 详细信息

集成电路设计的复杂程度和设计规模呈指数增长,验证技术已经成为整个集成电路设计领域的瓶颈,利用BDD技术的形式验证方法在面对小规模以及中等规模电路时能够显示出优势,大规模电路呈指数增长的情况下并不适用。随着近些年计算机领域研究者对可满足性问题的深入研究并取得巨大进展,使得实践和理论当中的很多之前无法解决的问题能够转化为SAT问题后再进行解决。但以zChaff、DPLL等求解可满足问题的算法程序为基础的软件SAT求解器对大规模电路以及特定领域问题效果不佳。本文采用硬件模拟的办法来求解SAT问题,将SAT问题映射为现场可编程门阵列(FPGA)芯片,由FPGA芯片自主求解此问题。具体而言,我们研究了针对实际系统的CNF公式实例,自动化地定制编译和转换为FPGA芯片,由这种SAT求解芯片自主求解SAT问题的技术。论文中提出的流程构成了一个从CNF公式到电路的转换、FPGA芯片仿真、综合、验证、配置、下载和自主验证的统一框架,可以方便快速判断CNF式是否可满足,在自动化设计分析与验证领域具有深远意义。

关键词：布尔可满足现场可编程门阵列合取范式形式验证方法

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电视节目版式的邻接权保护研究

电视节目版式的邻接权保护研究

作者：毛乐乐兰州理工大学

学位级别：硕士

电视节目版式是集多种价值为一体的无形资产,自起步以来就迅速占领媒体行业,成为电视产业的新宠儿。法律作为规范社会行为、引导行业发展的手段,有着相应的进步空间和优化需求,在保护电视节目版式方面的滞后导致市场监管的乏力,恶性竞... 详细信息

电视节目版式是集多种价值为一体的无形资产,自起步以来就迅速占领媒体行业,成为电视产业的新宠儿。法律作为规范社会行为、引导行业发展的手段,有着相应的进步空间和优化需求,在保护电视节目版式方面的滞后导致市场监管的乏力,恶性竞争的频发,节目“跟风”“搭便车”等现象普遍,挫伤版式所有者创作热情的同时引发观众审美疲劳,最终影响产业发展。因此,完善电视节目版式产业的相关立法,确定高效、可行的法律保护模式势在必行。电视节目版式虽普遍存在,但大众意识模糊,没有统一概念,往往与节目本身相混淆。节目版式作为节目的先期产品,二者既联系又区别,是整体与部分,包含与被包含的关系,在感官效果和法律地位上都有不同。目前关于节目版式概念之争大体有“框架说”“元素说”和“规则说”,本文综合三种观点,取长补短,将节目版式定义为由一个“点子”拓展细化到背景结构、节目元素、拍摄技巧、运行流程、节目规则等元素后,经过一系列新颖独特的选择和编排方式,形成具有技术、艺术和经济价值的电视节目先期产品。其中的节目元素可大可小、可动可静,在保持节目内在相似性和连续性的同时,又预留独立的表现空间,是决定系列电视节目运作方式和整体走向的动态综合体系。当前电视节目版式法律保护方式多样,但每种保护模式或多或少都存在一些难以逾越的困境。著作权、专利权和商标权只对节目版式中符合要求的部分内容发挥保护作用,未考虑作为部分的作品、专利和商标与节目版式整体以及部分之间的联系。商业秘密和反不正当竞争虽可以整体保护,但合同的相对性以及反不正当竞争的竞争关系要求,很难规制合同外的第三人和海外不存在竞争关系的模仿抄袭。综合保护是一种折中方式,但并没有打通部分与部分、部分与整体的联系,只是将所有保护方式进行简单集合。通过分析域外不同国家电视节目版式法律保护实践,总结立法及司法经验,结合我国国情、法律语境及法律体系,明确节目版式知识产权性质及节目版式著作权保护方式。当节目版式中思想表达能够准确区分时,当然受思想/表达二分法的限制,但电视节目版式正处于思想表达相互融合、难以区分的模糊地段,此时思想/表达二分法不能成为电视节目版式著作权保护的桎梏。国际社会对电视节目版式版权地位的认可和节目版式与著作权客体性质的相似性,共同决定了其著作权保护的可行性和必要性,但节目版式在艺术美感的缺失、思想上的独创性以及内容展示与价值发挥的依附性共同否决了其作为作品的可能性。虽然无法给予作品级别的保护,但可以降低保护的标准。因此,本文建议给予我国电视节目版式邻接权保护。理由有三:其一,符合著作权法的立法目的。电视节目版式的邻接权保护,既能保护制作者的权益,降低投资风险,又能激励自主研发、产业创新,产出更多优秀节目,完全符合著作权法的立法目的;其二,满足权利客体发展方向。电视节目版式满足邻接权客体发展的非作品性、传播性、与作品或作品信息关联性以及实质性投入的方向;其三,节目版式与版式设计在制作过程、组织结构、社会价值、存在形式和功能作用五个方面具有相似性。确定我国电视节目版式邻接权保护后,必须设定电视节目版式权利,明确节目版式侵权认定。在权利设定方面:明确电视节目版式在自制自播传统模式和制播分离专业模式下的权利主体;借鉴现行著作权法的相关规定,为权利人设置人身权和财产权,并规定合理使用、法定许可等限制。在侵权认定方面:为禁止微观层面的模仿抄袭行为,借鉴国外侵权判断实践,为我国设置“接触+实质性相似”和“要素对比分析”两种节目版式侵权判断标准,保护节目元素的同时关注元素的排列组合及整体布局,在司法实践中结合节目版式特点,不断调整改进相似认定的方法和标准,寻求最适合的侵权判断方式。

关键词：电视节目版式思想/表达二分法邻接权

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

围绝经期偏头痛的研究进展

中华妇产科杂志 2016年第12期51卷 950-953页

作者：毛乐乐周应芳余力生白文佩北京大学第一医院妇产科 100034 北京大学人民医院耳鼻喉科首都医科大学附属北京世纪坛医院妇产科

围绝经期是妇女绝经前后的一段时期，包括从卵巢功能开始出现衰退征兆至最后1次月经后1年，是妇女从育龄期到老年期的过渡阶段。妇女在围绝经期激素水平的急剧下降和剧烈波动不仅会导致如潮热、夜汗、情绪异常等围绝经期症状的出现，偏... 详细信息

围绝经期是妇女绝经前后的一段时期，包括从卵巢功能开始出现衰退征兆至最后1次月经后1年，是妇女从育龄期到老年期的过渡阶段。妇女在围绝经期激素水平的急剧下降和剧烈波动不仅会导致如潮热、夜汗、情绪异常等围绝经期症状的出现，偏头痛发作的持续时间与发作频率也相应增加。

关键词：经期偏头痛围绝经期症状绝经前后卵巢功能激素水平情绪异常发作频率持续时间

妇产科医师对激素补充治疗指南认知状况的调查

在线全文

学校读者我要写书评

暂无评论

中国妇产科临床杂志 2017年第6期18卷 547-548页

作者：席思思毛乐乐陈醒白文佩北京大学第一医院妇产科

目的了解我国妇产科医师对绝经相关激素补充治疗指南中主要知识的认知情况,为实现绝经相关疾病的规范性诊疗提供参考。方法 2015年4月至2016年3月对104家医疗机构的131位妇产科医师进行问卷调查,内容包括绝经相关激素补充治疗的适应证... 详细信息

目的了解我国妇产科医师对绝经相关激素补充治疗指南中主要知识的认知情况,为实现绝经相关疾病的规范性诊疗提供参考。方法 2015年4月至2016年3月对104家医疗机构的131位妇产科医师进行问卷调查,内容包括绝经相关激素补充治疗的适应证、禁忌证、药物用法及副作用等。结果 61.1%(80/131)的妇产科医师了解我国2013年颁布的绝经相关激素补充治疗指南,激素补充治疗相关知识的合格率为56.5%(74/131),其中知道如何选择药物种类者占35.9%(47/131),绝经相关激素补充治疗与恶性肿瘤发生风险的知晓率仅为33.6%(44/131)。结论临床妇产科医师对绝经相关激素补充治疗的指南及知识点掌握情况并不乐观,应加强对各级医师激素补充治疗知识的培训,以规范诊疗。

关键词：绝经激素补充治疗指南妇产科医师认知

在线全文

学校读者我要写书评

暂无评论

更年期多学科综合管理门诊的流程与管理

山东大学学报（医学版） 2019年第2期57卷 35-39页

作者：白文佩毛乐乐北京大学第九临床医学院首都医科大学附属北京世纪坛医院妇产科北京100038

更年期多学科综合管理门诊是以妇科专业特色为基础的多学科团队式协作门诊,采用三步诊疗法高效诊治更年期,团体治疗结合个体化指导为中年女性提供多学科、多层次、全面的保健措施及全方位的生命周期管理。

关键词：更年期多学科协作生命周期管理分级诊疗

在线全文

学校读者我要写书评

暂无评论

音乐作品延伸性集体管理研究

四川职业技术学院学报 2019年第6期29卷 32-38页

作者：毛乐乐兰州理工大学法学院

网络技术的发展,使传统的音乐作品集体管理模式难以适应当前音乐作品使用所形成的权利义务关系。我国《著作权法》修订拟引入延伸性集体管理制度,但遭到各界非议,尤其是音乐产业。延伸性集体管理在解决数字时代非会员作品集体管理、降... 详细信息

网络技术的发展,使传统的音乐作品集体管理模式难以适应当前音乐作品使用所形成的权利义务关系。我国《著作权法》修订拟引入延伸性集体管理制度,但遭到各界非议,尤其是音乐产业。延伸性集体管理在解决数字时代非会员作品集体管理、降低交易成本等方面具有独特优势,有利于解决当前音乐作品使用中的分散性、海量规模、孤儿作品及外国作品使用难等问题。在具体制度设计方面,需要严格规范延伸性集体管理的主体资格、适用范围、运行程序及义务履行等,明确非会员的权利保留、尊重非会员音乐权利人的意思自治,从而消除非会员疑虑,充分发挥延伸性集体管理优势,促进音乐产业发展。

关键词：音乐作品著作权集体管理延伸性集体管理方案设计

在线全文

学校读者我要写书评

暂无评论

浅析物权请求权诉讼时效制度的适用

淮北职业技术学院学报 2019年第1期18卷 89-92页

作者：毛乐乐兰州理工大学法学院甘肃兰州730050

物权请求权对物权的保护和救济有着重要意义,然而物权法只规定了物权受到侵害时权利人有请求保护的权利,但对该权利是否受时效限制却没有明确规定。这导致实践中常常出现法官针对同一案件因物权请求权是否适用诉讼时效而出现两种截然相... 详细信息

物权请求权对物权的保护和救济有着重要意义,然而物权法只规定了物权受到侵害时权利人有请求保护的权利,但对该权利是否受时效限制却没有明确规定。这导致实践中常常出现法官针对同一案件因物权请求权是否适用诉讼时效而出现两种截然相反的结果,这不利于社会的稳定。从物权请求权自身的性质出发,对诉讼时效的目标追求进行分析,结合不同国家关于诉讼时效的立法,得出结论:物权请求权不能一概而论地适用诉讼时效,而应针对不同的请求权具体确定是否适用诉讼时效制度。

关键词：物权请求权诉讼时效适用分析具体适用

浅谈我国移动新媒体与传统媒体的现状和发展趋势

在线全文

学校读者我要写书评

暂无评论

新闻世界 2015年第1期 54-55页

作者：毛乐乐安徽皖北煤电集团政治工作部

随着我国社会经济的发展和科学技术的不断进步,我国的传媒业也发生了大的改变,打破了以前传统媒体一家独大的垄断模式,形成了传统媒体和移动新媒体为代表的两个阵营,它们之间相互联系相互补充。本文阐述了这两种媒体的发展现状及未来发... 详细信息

随着我国社会经济的发展和科学技术的不断进步,我国的传媒业也发生了大的改变,打破了以前传统媒体一家独大的垄断模式,形成了传统媒体和移动新媒体为代表的两个阵营,它们之间相互联系相互补充。本文阐述了这两种媒体的发展现状及未来发展之路。

关键词：传统媒体移动新媒体变革

在线全文

学校读者我要写书评

暂无评论

关于疫情期间线上教学的反思

现代农村科技 2021年第2期 87-88页

作者：毛乐乐衡水学院河北衡水053000

由于突如其来的新型冠状病毒疫情打乱了全国各高校春季开学的计划,各高校不得不纷纷宣布延期开学,按照教育部“停课不停教、停课不停学”的要求,传统的线下教学迅速改为线上教学,但是无论对教师还是学生来讲,都是一项挑战。本文主要针... 详细信息

由于突如其来的新型冠状病毒疫情打乱了全国各高校春季开学的计划,各高校不得不纷纷宣布延期开学,按照教育部“停课不停教、停课不停学”的要求,传统的线下教学迅速改为线上教学,但是无论对教师还是学生来讲,都是一项挑战。本文主要针对线上教学模式中存在的教学问题进行分析,并探讨如何解决这些问题的对策,以期能为其他同类学校提供建议。

关键词：疫情线上教学问题对策