Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。     

高强混凝土受火后力学性能变化规律的研究

对受火后的混凝土试件进行了抗压强度、抗折强度和劈裂抗拉强度试验,讨论了温度、强度等级、试件尺寸、含水量对其高温后力学性能的影响。研究表明,受火后,抗折强度较抗压强度下降更快;高强度的混凝土在600℃前抗压强度下降不多;大尺寸混凝土试件较小尺寸混凝土试件的残余抗压强度下降慢;混凝土试件的含水率越高,相对残余抗压强度越低。采用超声波速度法和质量损失法对火灾高温后混凝土内部结构的变化进行了探讨。     

基于图像的静脉输液无液检测的新方法

针对国内外为实现静脉输液无液自动检测而采用的各种传感器技术存在的各种问题,提出基于图像的静脉输液无液检测的新方法.通过CCD摄像机采集输液器液位图像,数字化后输入计算机,由计算机软件进行图像处理和分析,得到输液器是否无液的信息.该方法的研究,实现了将数字图像处理技术融合到静脉输液无液检测应用中,丰富了图像处理内容的同时为静脉输液无液检测提供了新思路.     

《梦溪笔谈》所见修辞学研究材料之分析

《梦溪笔谈》是一部科学著作,有关语言学的内容有40多条,其中也涉及到修辞学问题,一方面以丰富的例证论述辞格,保留了许多宝贵的修辞学材料,另一方面评议修辞格,有机械拘泥之嫌,提供了值得吸取的教训。     

螺杆泵井智能集成故障诊断专家系统研究

为了及时处理油田开采中应用越来越广泛的螺杆泵井所存在的抽油杆断脱等故障,提高故障诊断的准确性和多故障同时诊断的能力,构造了一种基于模糊神经网络的智能集成故障诊断专家系统,并给出了系统的结构.介绍了模糊神经网络推理机的构成和功能,对综合知识库的结构和性能进行了简要分析,并设计了系统的故障诊断流程.系统经实际现场螺杆泵井的运行应用,取得了预期的诊断效果.     

网络空间安全实训设计

为保障网络空间安全,需要加强网络空间安全人才队伍建设,实训是把学生培养成为高素质复合型人才的重要手段。通过分析我国网络空间安全人才队伍建设现状,构建实训课程体系和实训平台,设计实训大纲和实训竞赛平台,形成了校企合作、教学与竞赛相结合的实训体系。实践证明,此网络空间安全实训设计能有效提高学生的网络空间安全技术能力,具有一定的推广价值,为高校培养应用型、复合型人才提供了新思路。     

依法治国视域下大学生法治思维的培育对策研究

培育大学生法治思维是全面依法治国的根本要求和核心内容。要正确理解法治思维的基本内涵,培育大学生法治思维就是要围绕培育大学生的权利义务对等思维、法律至上思维、权力制约思维、公平正义思维和正当程序思维5个维度。积极探索培育大学生法治思维的有效对策,从凸显高校教育主体作用、强化教师教学的基础作用、发挥网络教育的积极作用、重视大学生的自我教育与自我管理保障作用、探索校外法律精英的辅助作用等多方面形成合力。     

基于AHP和多目标规划的面料供应商评价选择研究

在现代供应链体系下,企业与供应商之间的合作关系成为决定企业是否拥有竞争力的关键因素.针对此问题,为了构建一种符合企业自身的供应商评价体系,从而选择优质供应商并与其建立战略合作伙伴关系,共同成长.本文运用层次分析法构建服装面料供应商综合实力评价体系,选取7项1级指标和24项2级指标.在此基础上,借鉴多目标规划思想,以质量、价格、交货3个最重要的因素为目标准则构建多目标模型,将22家供应商划分为战略型、潜力型、杠杆型和瓶颈型4种类型,并从中遴选出3家,以案例企业采购2万米某款面料决策问题为例,科学分配面料采购量,并提出相应采购策略.     

Monitoring actual performance of ground source heat pump system using GPRS-based data transmission: A case analysis in Tangshan

The energy efficiency monitoring is an essential precondition for ground source heat pump system’s controlling and energy saving operation. Based on the data monitoring applied in the school building, this work is focused on the parameters acquisition and operation analysis of the GSHP system in Tangshan. Results show the average COPs(coefficient of performance) are2.85 and 2.70 in summer and winter, respectively, and heat(cold) unbalance underground existed after whole year operation. The analysis of data also indicates that the direct borehole air-conditioning saved some power consumption obviously in the early stage of summer and energy saving of the GSHP system depended remarkably on its operation and management level. Besides the observation points of ground temperature are laid for a large-scale GSHP system, and the hydraulic balance of the pipes group needs to be concerned specially in safeguarding better reliability.     

管理层权力对过度投资影响的实证研究

以2007—2011年我国主板上市企业为样本,采用多元回归方法实证分析了管理层权力对企业过度投资的影响。研究结果表明,我国上市企业管理层的综合权力越大,企业过度投资现象越严重。管理层如果担任内部董事或同时在其他单位任职,管理层的组织权力和声望权力更大,越有可能通过过度投资寻租。管理层职称越高,管理层的专家权力越大,越有可能实施过度投资。