昭通示范区太阳-海坝浅层页岩气富集模式

基于昭通页岩气示范区太阳浅层气田不同构造部位典型井的页岩气气组分及烷烃碳同位素、页岩裂缝充填物及围岩碳氧同位素、流体包裹体及磷灰石低温年代学等分析测试资料,系统探讨太阳-海坝浅层页岩气田富集保存模式。结果表明：五峰-龙马溪组目的层与致密顶底板隔层整合接触,为侧向封闭性良好的压扭性断层所围限而形成“三维封存箱”;流体地球化学特征揭示太阳-海坝浅层气田五峰-龙马溪组成岩成藏为封闭环境,页岩气总含气量、气组分及游离气占比指示“三维封存箱”富集保存条件存在差异性,其中深部云山坝向斜页岩气富集程度优于浅层太阳和海坝背斜;太阳和海坝浅层背斜具有晚抬升、页岩自封闭能力强、深部向斜游离气短距离向浅层背斜运移补充的特点。     

高职院校产教融合模式现状与对策

产教融合模式是高职院校技术技能型人才培养的主要实践方式.通过剖析高职院校产教融合模式现状,提出深化产教融合策略,包括提高对产教融合模式的再认识、准确把握融合思路、健全融合机制、完善评价体系、突出政府主导作用等.该策略优化了教育结构,为提升高职院校人才输出质量提供参考.     

基于文化遗产展示为视角的公园博物馆规划研究——以山东莱阳白垩纪国家地质公园博物馆规划项目为例

公园博物馆规划对于一座城市而言是具有标志性的,是城市重要的文化产业项目之一,对于提升城市总体形象、丰富城市文化内涵、增强城市旅游吸引力具有重要意义。在公园博物馆的整体规划中,要把项目融入城市的整体大规划中,并且处理好博物馆与周围环境的融合问题,让建筑整体的设计风格与建筑周边的环境相互映衬、融为一体。文章以山东莱阳白垩纪国家地质公园博物馆规划项目为例,研究博物馆规划的定义目标和空间布局设计,希望通过设计手段保护和展示历史与文化之美,让场地发挥出自身最大的优势和作用,丰富博物馆整体的形象体验。     

甘肃省人力资源现状与开发战略选择

本文从甘肃省人力资源的现状出发,剖析了目前甘肃省人力资源开发存在的问题,提出了新时期甘肃省人力资源开发的战略选择。     

基于函数调用序列模式和函数调用图的程序缺陷检测方法

基于函数调用模式挖掘的程序缺陷检测方法通常挖掘出的模式较多,疑似缺陷数量大,人工确认疑似缺陷开销高,且易引入误判.为此,该文提出一种基于函数调用序列模式和函数调用图的程序缺陷检测方法.首先,挖掘函数调用序列模式;其次,通过分析待检测程序,生成函数调用图;第三,结合函数调用序列模式和函数调用图,检测程序中的疑似缺陷.实验结果表明,在不影响缺陷检测效果的前提下,本方法有效减少了疑似缺陷数量,降低了人工确认开销.     

竞争市场环境软件即服务提供商最优定价策略

SaaS服务提供商通常可以选择按使用付费和订阅付费两种定价方式向用户提供软件服务。按使用付费指的是用户根据实际使用量的多少来支付费用,订阅付费指的是用户定期支付固定费用而使用量不受限制。研究了SaaS服务提供商与传统软件提供商竞争性共存的市场环境下,SaaS服务提供商的最优定价策略选择问题。通过构建两阶段的双寡头竞争博弈模型,分析了用户交易成本、软件可定制性和软件贬值率等因素对软件提供商定价策略选择的影响。研究结果表明:①当SaaS软件服务的可定制性较低时,用户交易成本越低,SaaS服务提供商更愿意选择按使用付费的定价方式;当SaaS软件服务的可定制性较高时,用户交易成本越低,SaaS服务提供商反而更愿意选择固定价格的订阅定价方式。②传统软件提供商应该选择较低的产品维护升级价格,使所有传统软件用户都选择软件的维护和升级。③当市场价格竞争较强时,SaaS服务提供商应降低软件的可定制性;当价格竞争较弱时,SaaS服务提供商应提高软件的可定制性。④随着软件产品贬值率的增加,各软件提供商的收益都相应减少。研究结果在一定程度上为SaaS服务提供商选择定价策略提供了理论依据和实践指导。     

基于电动物流车的充电和换电设施选址模型

本文研究了在充电和换电两种模式下基于电动物流车的充换电设施选址问题.首先,分别建立无充电行为时的路径规划和车辆调度模型以及充电和换电模式下,以用电成本,车辆固定出行成本,机会成本和惩罚成本之和最小化为目标的充换电设施选址模型.然后设计了一种改进的遗传算法求解路径规划和选址模型.最后,对比分析了充电和换电模式下充换电设施的选址决策及配送总成本,并得到结论:充电未造成配送延迟时,充电模式下的配送成本较低;充电导致配送延迟时,提高充电速度或选用换电模式能够使配送成本更低.另外,公用充电站服务费用的高低会显著影响物流企业关于自建充电设施还是使用公用充电站的决策.     

福建自贸区跨境电商生态圈发展模式研究

跨境电商作为一种新兴的商业模式,代表新的国际市场组织形式和新的商业生态,是福建自贸区战略的重要组成部分。福建自贸区应以跨境电商为重要抓手,拓展两岸"三通",共建闽台跨境电商信息平台、物流中心和数据中心等,以信息共享、互设海外仓等方式,为两岸中小微企业协同合作提供金融、信息、交易物流平台和渠道,以点带线、以线带面,与台湾一起在"竞争-合作-协作-协同"的发展过程中不断累积正能量,形成海峡两岸协同经济生态圈。     

多射击模式多目标类型下防御效率分析

在军事对抗中,将作战双方抽象为防御方(红方)和进攻方(蓝方),研究红方的射击战斗问题.本文讨论蓝方目标无差别和目标多类型两种情况下的射击战斗,解决以下三个问题:一是在射击-射击策略下,基于给定的射弹和目标数,给出了红方获得最大防御效率(defense effectiveness,DE)时射弹的分配方法;二是在射击-观察-射击策略下,考虑射击次数和齐射弹数等因素,给出了红方多次射击的DE迭代递推生成方法;三是给出了影响DE两个重要基础因素(射弹需求量和射击次数)的通用计算方法.通过仿真分析对本文给出的方法验证,保证了方法的可行性.     

基于踪迹挖掘的自动缺陷警报分类方法

缺陷检测一般包括静态分析与人工确认两个阶段.静态缺陷检测工具报告大量警报,但是主要的警报确认工作仍然由人工完成,这是一件费时费力的工作.巨大的确认投入,会导致测试人员和管理人员拒绝使用该静态检测工具.为了辅助警报确认工作,提出一种基于警报踪迹挖掘的警报分类方法,使用该方法挖掘警报踪迹进而将代码结构相似警报分为一类,使得分类后的最终警报报告更加易于人工确认.实验表明,该方法能够在较大规模的软件测试过程中分类测试结果,提高警报确认效率.