洛林大学 作品数:137 被引量:189 H指数:7 相关机构: 西南林业大学 法国国家科学研究中心 科学研究国家中心 更多>> 发文基金: 国家自然科学基金 国家科技支撑计划 云南省科技计划项目 更多>> 相关领域: 化学工程 建筑科学 医药卫生 轻工技术与工程 更多>>
关于APAL完全性的一个简要证明(英文) 被引量:1 2015年 鲍博尼等人(P.Balbiani et al.,[2])提出了任意公开宣告逻辑(APAL)。它是普拉策(J.Plaza,[7])公开宣告逻辑的扩展,加入了关于宣告的量词。这种逻辑已经被公理化,但它的完全性证明总被认为可能会很复杂。在本文中,我们提供了关于任意公开宣告逻辑的一个简要的完全性证明。这个证明是鲍博尼等人([2])证明的优化版。 菲利普·鲍博尼 汉斯·范·狄马赫关键词:公理化 MAXIMAL DERIVATION FORMULAS STRICT EQUIVALENCE 控制永磁电机 本发明涉及一种控制具有定子和转子的永磁同步电机(3)的方法。所述方法包括:确定转子的估计位置($)的步骤;确定第二同相电压设置值(vδ2*)的步骤,所述第二同相电压设置值交替地等于第一同相电压设定值(vδ1*)或者第一同... 萨米·扎姆 法里德·麦博迪-塔巴 巴巴克·纳赫迪-摩巴肯 里格斯·伯纳德·阿尔伯特·莫里特文献传递 经由伪激活映射图可视化导致室性心动过速的折返环路 本发明题为“经由伪激活映射图可视化导致室性心动过速的折返环路”。本发明公开了用于经由伪激活映射图可视化心脏中的折返环路的系统和方法。所公开的技术包括接收ECG数据集和相应起搏位点。所述集合中的每个集合通过在所述起搏位点中... P·霍伊兰 F·敖迪乐 C·德奇罗德楚勒由悬浮液沉积腐蚀防护涂层的方法 本发明涉及在具有至少一个空穴的基材上沉积涂层的方法,该方法包括使在步骤a)中研磨的活化剂的研磨粉末和待沉淀在基材上的金属或合金粉末与液体混合以形成悬浮液的步骤,以及将该悬浮液施加至待涂覆基材部分的步骤。 N·里歇 T·马泽 M·维拉西 S·马蒂厄文献传递 盐渍化冻土-混凝土衬砌接触面直剪试验研究 被引量:10 2018年 土与结构接触面的研究一直以来是岩土工程研究的热点之一。为研究位山灌区渠系工程冻害破坏问题,开展了不同盐类型、不同含盐量、不同含水率条件下渠道下卧盐渍土-混凝土衬砌冻结接触面直剪试验研究。结果表明:冻结状态下接触面的应力-位移破坏性状呈脆性破坏,存在明显的峰值应力;剪切变形包括线性变形和非线性变形,线性变形随含水率和含盐量的增大而减小,非线性变形随含盐量的增大而增加;剪切模量随含水率的增加而提高;随含盐量的增加而降低;抗剪强度随含水率的增加而增大,随Na Cl含盐量增加而降低,随Na2SO4含盐量增加先降低后升高;通过对变形能的分析发现,含水率w=14.7%和w=16.7%时具有相似特征,即Na Cl含量为0.5%时,曲线存在极(最)小值。 孙兆辉 卞汉兵 鹿翔宇 章赛泽 邱秀梅关键词:盐渍土 混凝土衬砌 接触面 用于制备基于鞣酸的泡沫材料的组合物、由其制备的泡沫材料、及其制备方法 一种用于制备基于类黄酮鞣酸的泡沫材料的组合物,其包含类黄酮鞣酸粉末、糠醇、发泡剂和催化剂,该类黄酮鞣酸粉末主要为原刺槐二亭尼定(prorobineditinidin)型和/或原非瑟酮定(profisetinidin)型,... A·皮齐 M·C·巴松 A·赛尔扎德 V·菲埃罗 S·乔凡多文献传递 考虑初始渗流场影响的坡积土边坡降雨入渗过程 被引量:7 2017年 为了研究初始渗流场的分布对坡积土边坡降雨入渗的影响,基于饱和-非饱和渗流计算原理,采用能同时考虑饱和渗流与非饱和渗流的有限元数值模拟方法,分别对4种初始渗流场影响下边坡的降雨入渗过程进行了模拟计算。研究结果表明:降雨期间,入渗影响区内孔隙水压力、含水率的响应时间、达到暂态饱和区的时间与距坡面的距离成反比,进入暂态饱和区的长度及增大幅度与降雨强度成正比;降雨停止后,暂态饱和区内孔隙水压力、含水率消散所需时间与降雨强度成正比,入渗影响区与暂态饱和区之间孔隙水压力、含水率先增大后缓慢降低,入渗影响区外孔隙水压力、含水率保持不变;降雨引起边坡内部孔隙水压力及含水率的增大,增大幅度与降雨强度呈正比例关系,在降雨强度相同的条件下,初始基质吸力越大,雨水入渗难度越大;在最大初始基质吸力相同,而初始渗流场的分布形式不同时,初始渗流场水平等值分布的边坡更不易于雨水入渗;降雨过程中,暂态饱和区出现时间、深度及面积与降雨强度成正比,降雨停止后,暂态饱和区深度及面积逐渐消散,边坡内部孔隙水压力、含水率、暂态饱和区的分布与降雨强度、初始渗流场最大基质吸力以及分布形式密切相关,选择合适的初始渗流场是进行边坡降雨入渗过程研究的前提条件。 何忠明 邱祥 卞汉兵 曾铃关键词:道路工程 降雨入渗 孔隙水压力 含水率 用于选择性传输阳离子通过薄膜的电解液分离薄膜及用于制造薄膜的工艺 本发明涉及一种电解液分离薄膜,包括:支撑件(21),由多孔并且可渗透的合成热塑材料制成,厚度大于0.8mm;以及活性层(22),由能够引起嵌入反应和脱嵌反应的材料制成,以选择性传输阳离子通过所述薄膜(2),所述活性层(2... 克洛蒂尔德·布朗热 让-玛丽·勒屈尔 塞谬尔·菲利普·克劳德·肯扎里 埃洛迭·居约特 塞巴斯蒂安·迪利贝托文献传递 测定视觉系统的装置 本发明涉及用于测定视觉系统的装置,包括便携式显示设备(1),所述便携式观看设备(1)包括至少一个观看屏幕(11、12),所述至少一个观看屏幕用于被放置成朝向人的至少一只眼睛。根据本发明,所述观看设备(1)包括密封边缘(2... R·施沃恩 V·路易斯-多尔 T·施维泽文献传递 需外科减重治疗腹型肥胖患者的病因分析 被引量:1 2017年 目的分析需外科减重治疗的腹型肥胖患者的发病因素。方法法国洛林大学附属Brabois医院内分泌外科行减重手术的腹型肥胖患者278例,体重指数(BMI)≥40 kg/m2或BMI≥35 kg/m2同时合并有肥胖相关代谢并发症(高血压、糖尿病、血脂紊乱),手术方式为腹腔镜胃袖状切除术50例,腹腔镜Roux-en-Y胃旁路术228例。观察患者的年龄、性别、BMI、腰围、臀围、胰岛素抵抗程度(HOMA-IR)、既往史和肥胖相关代谢并发症,分析与BMI和腹型肥胖程度(腰围、腰臀比)相关的因素。结果单因素分析结果表明,与不吸烟人群比较,吸烟人群的男性比例较高,体重较大,腰围较大,腰臀比较大,对数转换后HOMA-IR较高,高血压病比例较高,差异有统计学意义(P<0.05)。单因素分析结果表明,吸烟对肥胖症患者的BMI有影响(P<0.05);多因素分析中该差异显著性仍然存在(P<0.05)。单因素分析中,吸烟对腰围有显著影响(P<0.05),多因素分析模型2中吸烟对腰围有显著影响(P<0.05)。结论在腹型肥胖症患者中,吸烟可能增加BMI和腰围。 李震 代喆 潘定宇 袁玉峰 Laurent Brunaud 刘志苏关键词:减重手术 腹型肥胖 体质指数 腰围