α-Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)

This paper is focused on automated reasoning based on classical propositional logic and lattice-valued propositional logic LP(X).A new method of automated resasoning is given ,and the soundness and completeness theorems of this method are proved.     

集对分析在舰艇动力装置生命力决策中的应用

根据集对分析理论和舰艇生命力评估理论,结合舰艇主动力装置配置模型,运用集对分析决策模型评价舰艇主动力装置配置的最优决策,为主动力装置配置的最优决策提供了新的思路和方法。     

���ڼ��Է���ͬһ�ȵĹ�··�߷�����ѡģ��

路线方案的择优是路线设计中的最根本问题,也是路线方案选择优劣的重要环节之一。在公路路线设计中,往往存在多个可行方案,如何从众多可行路线方案中选取最优方案,是设计的关键。集对分析理论是一种处理不确定性问题的系统分析方法,基于集对分析具有概念明确、计算简便和信息全面的优点,在集对分析同一度的基础上,建立了公路路线方案优选的集对分析模型。同时,运用变异系数法确定指标权重,提高了方案评价的可信度,为公路路线方案优选提供了一种简单、适用的评价方法。     

论婚约财产流转的性质

由于我国相关法律均未对婚约财产作出明确的规定,婚约财产流转的性质在法学界一直存在争议。纵观婚约财产在我国的演变发展史,结合缔结婚约当事人的主观心理因素和有关法律规定,婚约财产的流转在不同情况下分别具有借婚姻索取财物和目的性赠与两种性质,其中赠与的目的不仅是要＂登记结婚＂而且要＂共同生活＂1年以上。     

精密液压阀滑阀副的制造加工

对某公司生产的滑阀副加工的难点进行了分析,通过工艺流程设计、工艺方法探索和改进,总结出了一套合理的加工工艺方法,解决了该滑阀副生产过程中的质量问题。     

直齿圆柱齿轮副动力学特性分析

利用拉格朗日方程建立了含间隙直齿圆柱齿轮副的动力学模型,通过齿轮轮齿弹性变形的原理数值计算建立了时变刚度的数学模型.利用4~5阶Runge-Kutta数值积分法对系统进行了数值求解.结合Poincaré映射图、相图、FFT频谱图、系统分岔图分析了系统随激励频率和阻尼变化时的动力学行为,发现了其稳定周期运动和倍周期运动及混沌运动.通过齿轮冲击模型数值计算,找出了不同初值情况下的冲击状态.     

基于接触理论的矮塔斜拉桥索塔锚固区应力分析

利用大型有限元软件对矮塔斜拉桥分丝管式的索塔锚固区建立了非线性接触模型,通过定义模拟拉索与鞍座的接触关系,探讨了鞍座处混凝土的应力分布情况和索力传递分配情况,并与等效线荷载计算模型进行对比分析,结果表明:接触算法更接近实际受力情况。     

基于接触理论的矮塔斜拉桥索塔锚固区应力分析

利用大型有限元软件对矮塔斜拉桥分丝管式的索塔锚固区建立了非线性接触模型,通过定义模拟拉索与鞍座的接触关系,探讨了鞍座处混凝土的应力分布情况和索力传递分配情况,并与等效线荷载计算模型进行对比分析,结果表明:接触算法更接近实际受力情况.     

海绵城市建设效果评价方法研究

为了定量评价海绵城市建设效果，通过采用层次集对分析法进行了海绵城市建设效果的评价研究。首先，根据海绵城市建设特点筛选出了海绵城市建设效果评价指标；然后，采用层次分析法确定各级评价指标的权重，利用集对分析法确定各级评价指标的联系度，并据此进行效果评价；最后，从水生态、水环境、水资源、水安全等多个角度对某城市的海绵城市建设效果进行综合分析评估与比较，并在此基础上提出改进措施和建设意见，指导海绵城市建设。