摘要：在对XML数据模型主动机制研究的基础上,结合规则实例提出了一种新的分析规则终止性的静态判定算法。此算法基于触发环的概念,首先对触发环中每一个被修改的节点产生一个递归等式,然后通过展开递归等式并检验其可满足性,就可以分析规则集的可终止性,这样不仅可以得到更高的精确度及更小的复杂度,而且可以得到有效的判定主动规则可终止性的条件。

摘要：目的了解某地区农村老年眼病患病及未就诊现状,探讨未就诊影响因素,为防治工作提供依据。方法采用现况调查,对平原地区、丘陵地区、山区,以村为单位分层整群按比例抽样,自行设计调查表,用多元logistic回归分析未就诊的影响因素。结果农村60岁及以上居民眼病患病率为69.61%,不同眼病的患病率有差别;60岁及以上居民眼病患者总的未就诊率较高为71.73%,各区的未就诊率差别无统计学意义;年龄、糖尿病、高血压、翼状胬肉、年龄×学历、年龄×患病时间均为患眼疾老年人未就诊的影响因素。结论该地区农村60岁及以上居民有较高的眼病患病率与未就诊率,本研究为深入开展农村眼病防治工作,制定有关规划、制度、措施,提高农村居民视觉与生活质量提供了依据。

摘要：根据数控转塔冲床的特点以及生产现场实际,分析了助力机械手在数控转塔冲床板料上下料的应用,构建了板料抓取结构、助力机械手、数控转塔冲床的组成单元,设计了拆垛上料机机械本体的整体机构,并介绍了关键技术有限元分析和运动学分析。

摘要：随着数字图像在网络中的广泛应用,其在安全、传输、存储等方面的问题亟待解决。提出的算法为分形编码提供了新型安全方案,分形图像编码具有压缩比高和重构质量高的特点,而混沌的不可预测性和初值敏感性适用于图像加密,将分形编码和混沌加密有效结合可以充分发挥两者的优势。此外,通过耦合增强构造新的混沌系统,改善了种子映射复杂度低、混沌范围有限等问题,并设计了置乱扩散同时进行的加密结构来提高算法效率。实验表明,提出算法的密钥空间大、密钥敏感性强、相邻像素相关系数和信息熵都接近理想值,能够抵抗多种常见攻击,且加密速度更快,能满足实际应用的需要。压缩性能方面,在满足重构视觉质量的同时达到了较其他方案更高的压缩比。

摘要：分析海洋生态领域知识体系特点,提出了海洋生态知识组织模型;借鉴工程领域文献中的"功能"概念描述海洋生态功能过程;参照已有研究提出的功能知识表示框架,确定"设备功能"视点,提出海洋生态领域上层本体,指导构建了海洋生态本体模型和海洋生态形式化本体。扩展基于描述逻辑的Web本体语言OWL-DL,提出了面向过程的OWL-Process模型,构建了海洋生态功能过程-光合作用过程本体的实例。基于海洋生态本体设计开发了海洋生态知识管理系统,实现了海洋生态领域知识的查询和生态危机预警功能,该本体应用系统也验证了海洋生态领域本体构建的有效性、合理性和正确性。

摘要：为确保济南市济泺穿黄盾构隧道施工及运营期安全,针对穿黄隧道跨度大、掘进距离长、地质条件复杂等特点,采用光纤光栅和分布式光纤,监测重要断面管片内应力、位移、温度、螺栓轴力等关键参数,并综合光纤解调设备、LabVIEW虚拟仪器、数据库技术等,搭建了隧道光纤在线监测安全预警系统。为提升传感网布设质量,将传感网多种损耗分为点损耗和线损耗,进行定量测试计算。以传感网总损耗为目标函数,采用遗传算法对光纤传感网布设进行优化计算,优化后传感网络整体损耗值由220降为170。

摘要：随着基础埋深不断加大,建(构)筑物的抗浮问题愈加严重,抗浮锚杆在城市建设中得到了广泛应用。充分掌握抗浮锚杆的受力特性并厘清抗浮锚杆在长期荷载作用下力学性能的动态演化规律是保证抗浮结构安全、可靠的前提。为此,围绕抗浮锚杆的工作原理、应力传递机制、承载特性以及蠕变性能等方面分析和评述国内外的相关研究现状。首先从抗浮锚杆的工作原理、破坏形式出发,分别对纤维增强复合材料(fiber reinforced polymer, FRP)抗浮锚杆和钢筋抗浮锚杆应力传递机制进行讨论和对比分析;从理论计算、试验研究与数值模拟三个方面对抗浮锚杆的承载特性进行阐述;进而对抗浮锚杆处于长期荷载、循环荷载作用下的蠕变性能进行归纳总结。最后梳理了抗浮锚杆在工程应用中存在的不足,同时为非金属抗浮锚杆在侵蚀环境中的服役性能提出了研究与发展方向。

摘要：考虑具有双边道德风险的委托代理问题,将解聘补偿和过度自信同时引入公司高管的激励契约,构建带有解聘补偿机制的过度自信高管动态激励模型,研究委托人解聘倾向对过度自信高管激励合同设计的影响。结果表明:委托人解聘倾向与高管的过度自信水平呈U型关系,高管代理人努力水平与高管的过度自信水平呈倒U型关系,适度的自信水平能够降低委托人的解聘倾向以及提高高管的努力水平;在引入解聘机制的情境下,解聘补偿能够有效抑制委托人的道德风险,降低委托人的解聘倾向,增加高管两期的努力水平;随着聘期的增加,高管第二期的努力水平低于第一期,委托人第二期的解聘倾向高于第一期;两个合同期内的补偿机制相互影响,表现在第二期的解聘补偿提高了委托人第一期的解聘倾向,导致高管第一期努力水平的下降,而第一期的解聘补偿提高了高管在第二期继续留任的可能性,从而增加了高管和委托人在第二期的期望收益。研究结论对我国企业高管薪酬改革以及长期激励合同设计具有一定的理论参考价值。

摘要：介绍了胎压对转向横拉杆力的影响的试验原理和试验方法,设计了道路实车试验,得出了轮胎气压、汽车车速与转向横拉杆力之间的关系。研究表明:同一胎压下,车速对转向横拉杆力的影响比较小;研究表明:同一车速下,转向横拉杆力随着胎压的降低有着很明显的变化。

摘要：受煤体强度低、水平地应力大、顶板赋存富含水层及泥岩底板稳定性差等多因素影响,麻家梁煤矿大断面软弱煤层大巷遇到顶板下沉、底鼓严重的难题,严重影响矿井的安全生产。以回风大巷为主要研究对象,采用现场实测、理论分析、数值模拟等方法,对巷道的围岩变形破坏规律、合理断面形式、底鼓控制方法及合理支护参数进行研究。经研究确定回风大巷顶板采用微弧拱形,增加顶板排水管,底板采用反底拱的结构形式,全断面采用锚网索联合支护。现场应用表明,经优化设计后的回风大巷能有效控制围岩变形,满足矿井大巷保持长期稳定的要求。研究结果对大断面软弱煤层大巷的支护设计具有借鉴意义。