导读:本文包含了逻辑组件论文开题报告文献综述及选题提纲参考文献，主要关键词:日升,组件,中国光,聚乙烯纤维,太阳能发电站,电站项目,六氟磷酸,未来,九大,一体两翼
逻辑组件论文文献综述
于南[1]（2018）在《东方日升加速布局逻辑：组件成本每年下降超20%》一文中研究指出第十二届SNEC（国际光伏展览）前后，A股光伏龙头东方日升动作颇多。据《证券日报》梳理，东方日升先是于5月初发布公告称，拟收购六氟磷酸锂、高强高模聚乙烯纤维龙头标的——江苏九九久科技有限公司100%的股权；5月15日，又宣布拟总投资25亿元(本文来源于《证券日报》期刊2018-06-05）
尹忠海,褚亚男[2]（2017）在《基于事件逻辑的CPS组件协同模型》一文中研究指出针对CPS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型。首先,定义了基于时空事件接口的组件形式化表示方法,建立了基于事件驱动的组件协同体系架构。然后,根据组件协同方式分析了事件间的逻辑关系,建立了组件协同代数系统。最后,以智能家居的非法入侵行为为例,使用协同代数式描述事件驱动组件行为的过程。分析表明,基于事件逻辑的组件协同代数模型能够清晰地反应组件间的交互关系,屏蔽了组件的异构性,实现了物理进程与计算进程的融合,为CPS系统的形式化建模提供了新的方法。(本文来源于《空军工程大学学报(自然科学版)》期刊2017年05期）
朱君茹[3]（2017）在《面向模乘优化的RSA/SM2逻辑组件设计与验证》一文中研究指出随着信息技术的不断发展,网络安全得到了越来越多的关注。密码学为信息安全提供了强有力地支撑,尤其是以RSA和ECC为代表的公钥密码体制解决了对称密码密钥分发、身份识别等关键性问题。为了提高公钥密码算法的效率和安全性,将密码算法集成到相关密码协处理器、密码芯片等电路设计中,重点包括算法中涉及到的模乘、模幂和模逆等复杂运算。本文通过对模乘算法展开调研,分析了Montgomery模乘的优点,充分利用操作数相等情况下的特性,对模乘算法进行优化。并采用硬件描述语言设计了运算电路,通过FPGA实现模乘、模幂运算。主要工作和创新点如下:1.提出了一种基于FIPS(Finely Integrated Product Scanning)模乘的高效双域模乘算法。该算法充分考虑了公钥密码算法在操作数相等情况下的模乘运算,减少了该情况下的乘法、加法和读取操作等,提高了模乘的运行效率,降低了运算功耗,为资源受限设备中同时实现RSA和SM2算法提供了统一的双域模乘算法。2.设计了可扩展双域模乘单元电路。采用Verilog HDL进行电路描述,引入流水线结构,以小面积、低功耗为重点,包括双域乘法器、双域加法器以及模乘控制器来实现对关键数据通路中数据的控制。通过FPGA实现运算,验证了电路的有效性,为公钥密码体制在资源受限设备中的应用提供了参考依据。3.分析了采用Montgomery模乘的各模幂运算硬件电路设计。通过实例化论文中设计的模乘运算模块,对比了各模幂运算电路的特点和优势,用于满足不同的应用需求。(本文来源于《安徽师范大学》期刊2017-05-01）
周雯[4]（2014）在《复杂数字逻辑系统的可重构组件式建模与验证》一文中研究指出数字逻辑系统是现代嵌入式系统中的重要组成部分，随着应用需求的不断增长，其复杂程度愈来愈高。在复杂数字逻辑系统设计过程中，高效的建模和验证有利于分工设计与专业化生产，确保系统设计的成功率，缩短设计周期，节省设计和生产成本。本文研究复杂数字逻辑系统可重构组件式建模与验证方法，并应用于一种数字家电微控制器设计。主要工作和创新点如下：1．提出了复杂数字逻辑系统的可重构组件式建模和XML描述方法。采用逻辑映射表和有限状态机分别建立组合逻辑和时序逻辑两类原子组件模型，利用结构化建模方法建立复合逻辑组件模型，并定义了相应的XML表格化描述规范，为复杂数字逻辑系统提供一种规范的高抽象层次建模方法。2．设计了一种层次化组件式复杂数字逻辑系统验证过程。利用有效性验证、原型功能仿真验证、HDL验证和FPGA在线验证方法对系统模型进行逐层验证，跟踪设计全过程，验证模型的有效性，以确保模型能够真实地反映设计者的建模意图，并尽早检测出一些会导致建模失败的设计错误，为复杂数字逻辑系统提供一种效率更高的验证途径。3．搭建了一个复杂数字逻辑系统的组件式建模与验证平台XModel。该平台提供数字逻辑组件模型文件的编辑功能，实现对数字逻辑组件的有效性验证和原型功能仿真，并自动将XML描述综合成为Verilog HDL描述，以便EDA工具进一步进行功能和时序仿真，进而对其进行FPGA在线验证。为检验上述方法，设计了一个数字家电微控制器，采用组件式建模方法对其进行建模，用XML对其进行描述，通过XModel验证该微控制器设计的正确性和可行性。(本文来源于《安徽师范大学》期刊2014-05-01）
杨悦,黄明,杨永安[5]（2013）在《基于组件逻辑结构关系的故障诊断方法》一文中研究指出提出一种利用组件逻辑结构关系直接求解所有最小诊断的方法。该方法将系统的最小诊断求解分解为离线建立规则和在线确定诊断两个步骤。方法的本质属于溯因诊断。以Poly-box系统为例验证了方法的正确性,同时对方法的诊断解的完备性、可采纳性、重用性进行了分析说明。针对方法中的规则建立效率低下的问题,提出了两点改进措施,并仍以Poly-box系统为例进行了对比验证,结果表明,改进的方法提升了诊断规则的建立效率。(本文来源于《科学技术与工程》期刊2013年25期）
杨光军[6]（2013）在《基于模糊逻辑算法的光伏组件监控系统研究》一文中研究指出为了充分发挥可再生能源发电的效益,光伏发电成为研究热点。本文提出了基于模糊逻辑算法的光伏组件监控系统的总体架构,进行了硬件与软件设计,主要探讨了其监控系统的实现过程与最大功率跟踪的应用。(本文来源于《中国科技信息》期刊2013年10期）
刘锋,孙咏[7]（2011）在《设计模式及组件技术在业务逻辑层中的应用》一文中研究指出在应用程序的后期维护中,大部分的维护是由于业务逻辑的变化而导致的,但是在基于MVC的开发模式中,只是实现了模型-视图-控制的解耦合,而在业务层中业务之间还存在紧密的耦合关系,如果一个模块发生改动就会产生连锁反映,导致一系列相关模块的改动。以举报业务为例,采用代理模式、工厂模式、接口模式,实现了业务组件调用的动态化及业务组件之间访问的间接化,业务功能与业务逻辑的分离,构建了一个扩展性强、易于维护和配置灵活的业务逻辑层模型。(本文来源于《计算机系统应用》期刊2011年10期）
陈宁,冯博琴[8]（2007）在《基于命题逻辑的组件约束检测》一文中研究指出针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换,通过包含、否定和插入等规则来合并真值表,以解决检测组件约束时存在的冗余与冲突问题,并获得期望行为的最小组件集合,从而保证了组件约束之间相互一致.与基于规则模式表方法相比,所提算法克服了人工检测的不确定性,改善了检测的时间性能,并可将冲突错判率降低大约10%,平均处理时间降低大约33%.(本文来源于《西安交通大学学报》期刊2007年02期）
罗云林,侯学智[9]（2006）在《基于征兆分解和模糊逻辑的飞机组件多故障诊断》一文中研究指出为解决民用航空飞机故障诊断过程严重依赖于维修人员的经验,且排故速度慢等缺点,介绍了一种基于规则的征兆分解与模糊逻辑相结合的多故障征兆诊断方法,给出了该方法的原理及故障诊断流程,研究该方法在民用航空组件多故障诊断中的应用,并通过实际飞机组件故障情况验证了该方法的可行性．实践表明,该方法能有效地克服诊断过程的上述缺点,提高效率,节约维修成本;在飞机组件和其他复杂系统的多故障诊断领域可以得到很好的应用．(本文来源于《2006中国控制与决策学术年会论文集》期刊2006-07-01）
姚磊[10]（2006）在《基于业务逻辑可重构的自适应核心组件设计与实现》一文中研究指出现代企业的发展使得企业对信息化的需求越来越旺盛,信息化管理可以使企业加速发展,降低成本等。但是现有的信息系统开发还存在着问题。如不能快速的满足用户的要求,对用户需求的变化不能快速的做出反应。 鉴于现有的网络信息处理系统开发过程中存在的不足,本文提出了具有自适应性的核心组件的基本思想,并基于自适应核心组件设计了一种业务逻辑可重构应用框架。在此基础上对自适应核心组件进行了详细分析和研究,讨论了组件在实际中的可用性和自适应性,显示了基于自适应核心组件的开发过程的便捷性和优越性。 首先,本文分析了传统开发模式的不足,结合以往的开发经验和一些新技术,提出了一种实现企业应用系统重构的方法,即ICETIP快速开发环境。 其次,对ICETIP快速开发环境做了总体介绍,并进行了结构分析,将整个系统分为可重构配置端、中间服务器和自适应客户端叁个模块。并对每一个模块进行了介绍。 本文着重讨论自适应核心组件的没计和处理过程。自适应核心组件是客户端的核心,它是用来对配置文件进行解析,生成软件界面,完成软件功能。首先,本文给出了自适应核心组件的有关定义,有了这些定义就可以描述一个完整的配置文件,且这个文件是可以被客户端理解的。随后给出了一个实际的描述XML文件,对这个配置文件进行了分析,说明了客户端是如何处理的。并以此文件为例阐述了客户端的自适应性。最后分析了客户端的安全性,主要是从用户管理和配置文件的安全性说明的。ICETIP系统的用户管理采用了基于角色的用户访问控制,并分析了XML文件的安全性。(本文来源于《西北工业大学》期刊2006-03-01）
逻辑组件论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
针对CPS系统的异构性、实时性、物理世界与信息世界的高度融合等特征,提出了基于事件逻辑关系的组件协同代数模型。首先,定义了基于时空事件接口的组件形式化表示方法,建立了基于事件驱动的组件协同体系架构。然后,根据组件协同方式分析了事件间的逻辑关系,建立了组件协同代数系统。最后,以智能家居的非法入侵行为为例,使用协同代数式描述事件驱动组件行为的过程。分析表明,基于事件逻辑的组件协同代数模型能够清晰地反应组件间的交互关系,屏蔽了组件的异构性,实现了物理进程与计算进程的融合,为CPS系统的形式化建模提供了新的方法。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑组件论文参考文献
[1].于南.东方日升加速布局逻辑：组件成本每年下降超20%[N].证券日报.2018
[2].尹忠海,褚亚男.基于事件逻辑的CPS组件协同模型[J].空军工程大学学报(自然科学版).2017
[3].朱君茹.面向模乘优化的RSA/SM2逻辑组件设计与验证[D].安徽师范大学.2017
[4].周雯.复杂数字逻辑系统的可重构组件式建模与验证[D].安徽师范大学.2014
[5].杨悦,黄明,杨永安.基于组件逻辑结构关系的故障诊断方法[J].科学技术与工程.2013
[6].杨光军.基于模糊逻辑算法的光伏组件监控系统研究[J].中国科技信息.2013
[7].刘锋,孙咏.设计模式及组件技术在业务逻辑层中的应用[J].计算机系统应用.2011
[8].陈宁,冯博琴.基于命题逻辑的组件约束检测[J].西安交通大学学报.2007
[9].罗云林,侯学智.基于征兆分解和模糊逻辑的飞机组件多故障诊断[C].2006中国控制与决策学术年会论文集.2006
[10].姚磊.基于业务逻辑可重构的自适应核心组件设计与实现[D].西北工业大学.2006