绝学重光 潮流再引——《因明大疏》研究百年

本文回顾了汉传因明代表作《因明大疏》研究的百年历程,总结了该研究从普及到专题研究再到全面研究这三个阶段的不同特点和各自的成就,认为郑伟宏新作《因明大疏校释、今译、研究》代表了《因明大疏》研究的最高水平,该书从四个方面概括《因明大疏》的成就与不足,对它的历史地位作了较为全面而精当的评价。     

自营或联营？创新投资影响下强势零售商延保服务模式选择

本文研究了创新投资对强势零售商延保服务模式的影响。研究发现：不论制造商是否进行创新投资,零售商都仅在原厂延保成本优势大于50%时表现出合作倾向。但创新投资放宽了零售商和制造商达成联营的市场规模以及费用阈值等条件,促进了双方的联营意愿。原厂延保成本优势越大,越容易达成联营,且联营实现了双方的帕累托改进。随着消费者延保价格敏感性和延保成本差异变化,制造商呈现不同的合作态度,但联营动机始终比零售商强烈。子博弈精炼纳什均衡显示,创新投资是制造商的支配性策略,零售商也从创新投资中“搭便车”获利。零售商适当放宽联营条件有益于消费者剩余和社会福利的提升。     

需求信息不对称下基于战略库存的信息披露与契约选择

在考虑市场需求信息为零售商私有信息的基础上,研究了制造商和零售商之间的两阶段动态博弈问题,其中零售商进行信息披露和战略库存决策,而制造商则决定合适的批发价格承诺契约或动态契约。通过对比分析信息披露与不披露两种情形下不同定价契约的博弈均衡决策及供应链各方利润,发现：零售商在实际市场规模小于其均值时披露需求信息、大于其均值时不披露需求信息;无论零售商是否披露信息,制造商通过使期望利润最大化,始终会选择动态定价契约;信息不披露条件下,若单位库存持有成本大于某一阈值或实际市场规模小于某一阈值,零售商则不会持有战略库存。最终通过数值分析,发现零售商的披露决策总能使供应链的总体利润增加;且信息不披露条件下零售商第一阶段的订货量以及战略库存持有量都要高于信息披露情形,而制造商两阶段的定价始终小于信息披露情形。     

大学生择业心理偏差及自我调适

面对激烈竞争的就业形势,相当一部分大学毕业生产生种种心理偏差,以致影响其正确择业和顺利就业。因此,研究、分析大学生的择业心理偏差,引导和帮助大学生积极地进行自我调适是十分必要的。通过对大学生择业心理偏差──择业心理误区和择业心理障碍分析,进而提出心理调适的方法和途径。     

某船用摩擦离合器油路密封对花键失效影响的仿真模拟研究

某船用湿式多片摩擦离合器内置于齿轮箱,受结构限制,内部花键传动采用径向供油方式,在长时间的使用中,会造成供油环密封老化和磨损,使进入离合器内部润滑减少,造成花键损坏,对航行安全产生一定的影响,因此研究某船用摩擦离合器内部润滑油对花键长期运行磨损失效机理,进一步提高离合器长期运行可靠性。采用有限元仿真分析离合器内部油路在不同泄漏量下的流场、出口流量,通过离合器流量运转试验进行离合器花键失效的定性验证。通过离合器内部供油环密封间隙分别在0、0.3、0.5、0.7 mm时的出口流量和流场仿真可知,其出口润滑流量分别损失为3.67%、20.26%、35.57%、39.36%,导致出口流量减少1/3,无法满足离合器润滑量的需要,离合器无法得到及时冷却,使离合器花键的寿命大幅度降低;通过离合器流量运转试验,尤其是在极端缺油试验中,花键运行6 h就已经开始出现变色情况。某船摩擦离合器花键失效机理在于离合器长时间运行后,供油环密封长期磨损造成离合器内部供油泄漏,引起离合器花键供油不足,蠕动花键产生的热量无法快速被带走,使花键寿命快速下降。研究成果可为离合器长寿命周期可靠性研究提供参考。     

浅析安全文化建设对减少煤矿安全事故的作用

煤矿安全事故的发生是“人、机、环境”三个因素相互作用与影响的结果,不论是责任事故、技术事故还是自然灾害事故,追根寻源,人的因素都起着主要作用。控制人的行为是防止伤亡事故的关键,也是安全管理的中心内容,只有减少人为失误,防止煤矿灾害事故的发生,才能保证煤炭企业的健康持续稳定发展。而安全文化的核心是坚持以人为本,保护人的健康,珍惜人的生命,     

依托进博会平台强化上海对外开放枢纽门户功能

上海要充分认识中央赋予进博会的任务、使命、功能和职责,按照政府主导的运作模式,结合市场机制的协调作用,统筹考虑和综合运用国内国际两个市场、国内国际两种资源,在市场、产业、要素等方面多维度增强"双循环"中的战略链接功能,积极打造连接全球、融通全球、覆盖全球、影响全球的对外开放枢纽门户,推动更多的新产品、新技术、新服务在上海"全球首发、中国首展",为世界各国搭建贸易平台.     

Java程序模型检查方法与实现框架

软件模型检查技术是当前软件可靠性研究领域的一个研究热点,可以补充测试技术之不足。介绍了基于流分析的模型检查技术,以及基于这种技术所提出的一种Java程序模型检查方法,通过一个Java程序的实验说明流分析工具的效用。