论文部分内容阅读
悬索桥索夹与主缆间作用机理及抗滑分析方法研究
【出 处】
：
西南交通大学
【发表日期】
：
2021年01期
其他文献
由于现实世界的复杂性,人们对于客观事物的观察与认知充满不确定性。不确定性问题的建模和分析一直是人工智能领域的研究热点。人们提出了多种处理不确定性问题的数学理论,主要包括模糊集理论、粗糙集理论、软集理论、形式概念分析等。软集从不同的侧面对复杂对象进行描述,采用适当的方式对相关描述进行整合,从而获取对复杂对象相对精确的描述。将软集理论与其它相关理论相结合,可以得到软集的扩展模型。模糊软集作为扩展软集模
白光发光二极管（WLEDs）因具有高效率、低能耗、长寿命、小体积、环境友好等优点,已经成为日常生活和工作的主要照明方式。目前商用白光LED主要是通过蓝光LED芯片和黄色荧光粉的结合而成,但由于红光成分的缺失所得到的LED呈现出冷色调,其显色指数低、色温高、不利于室内照明。而暖白光LED光线柔和,与白炽灯光色相近,更适用于住宅、酒店等室内场所照明。为了获得高亮度、高光效的暖白光LED,亟需开发低成本
制造业是国民经济的主体,高端装备制造业更是关乎国家发展与社会进步的支柱性产业。滚珠丝杠副是数控机床等高端制造装备中不可或缺的传动部件,工作时滚珠与滚道表面承受持续接触应力作用,从而产生疲劳、磨损甚至腐蚀等不可逆损伤,导致滚珠丝杠副的性能逐渐退化直至失效。若不对滚珠丝杠副的退化状态进行监测评估,任其发展,将直接影响制造装备的运行可靠性,甚至引发安全事故。因此,准确评估滚珠丝杠副的性能退化状态对于提升
命题逻辑中的可满足性问题（Satisfiability Problem,SAT）是计算机科学理论和实践中的一个基本问题。SAT问题的可满足性在于确定是否可以通过为其布尔变量赋值满足给定的公式。在理论方面,SAT问题求解被应用于组合优化、统计物理、计算理论等领域;在实际应用方面,SAT问题求解被广泛应用于计算机代数系统、核心图、基因调控网络、系统（软件和硬件）自动验证、电路验证、基于模型的诊断和机器