检索结果-南通市图书馆

企业投资管理体系建设及面临的问题与思考——以中国海洋石油有限公司为例

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

中国海上油气 2013年第4期25卷 81-84页

作者：王中安中国海洋石油总公司

中国海洋石油有限公司投资管理体系脱胎于中国海洋石油总公司管理体系,公司对项目投资进行全周期管理,并体现为高度集中决策和分级管理的投资决策体系,具有不断更新的投资项目经济评价方法与参数的技术体系,投资管理架构和流程完整齐全... 详细信息

中国海洋石油有限公司投资管理体系脱胎于中国海洋石油总公司管理体系,公司对项目投资进行全周期管理,并体现为高度集中决策和分级管理的投资决策体系,具有不断更新的投资项目经济评价方法与参数的技术体系,投资管理架构和流程完整齐全。重点对公司投资管理体系的功能及与同类公司对标情况等进行了分析,并就加强公司资产组合管理、建立适度分权的投资决策体系、探索区域性开发的合理经济评价模式、研究非常规油气投资决策及经济评价方法等方面进行了分析与思考,可为其他企业投资管理体系建设提供借鉴。

关键词：企业投资管理体系建设问题与思考中国海油

在线全文

学校读者我要写书评

暂无评论

基于交互式定理证明的并发程序验证工作综述

软件学报 2024年第9期35卷 4069-4099页

作者：王中烨吴姝姝曹钦翔上海交通大学电子信息与电气工程学院

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定... 详细信息

并发程序与并发系统可以拥有非常高的执行效率和相对串行系统较快的响应速度,在现实中有着非常广泛的应用.但是并发程序与并发系统往往难以保证其实现的正确性,实际应用程序运行中的错误会带来严重的后果.同时,并发程序执行时的不确定性会给其正确性验证带来巨大的困难.在形式化验证方法中,人们可以通过交互式定理证明器严格地对并发程序进行验证.对在交互式定理证明中可用于描述并发程序正确性的验证目标进行总结,它们包括霍尔三元组、可线性化、上下文精化和逻辑原子性.交互式定理证明方法中常用程序逻辑对程序进行验证,分析基于并发分离逻辑、依赖保证逻辑、关系霍尔逻辑等理论研究的系列成果与相应形式化方案,并对使用这些方法的程序验证工具和程序验证成果进行总结.

关键词：并发程序验证可线性化上下文精化程序逻辑关系霍尔逻辑

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

基于空间相似性的微地图道路网质量评价方法

地球信息科学学报 2024年第1期26卷 212-224页

作者：李馨涵王中辉兰州交通大学测绘与地理信息学院兰州730070 地理国情监测技术应用国家地方联合工程研究中心兰州730070 甘肃省地理国情监测工程实验室兰州730070

微地图是一种面向大众的新型地图,是传统地图在自媒体时代下的发展和补充。针对微地图数据来源广泛,质量参差不齐的问题,本文提出了一种基于空间相似性的微地图道路网质量评价方法。首先,将上下文信息与形状、方向、距离、拓扑关系以及... 详细信息

微地图是一种面向大众的新型地图,是传统地图在自媒体时代下的发展和补充。针对微地图数据来源广泛,质量参差不齐的问题,本文提出了一种基于空间相似性的微地图道路网质量评价方法。首先,将上下文信息与形状、方向、距离、拓扑关系以及一维线特征5个空间特性结合,计算微地图数据与参考数据的空间相似性;然后,对样本数据组合,并利用熵值法计算客观权重,取平均值作为各评价指标的权重系数;最后,采用可拓云评价法完成对微地图数据定量计算与定性分析结合的综合评价。本文使用9组不同质量的微地图道路网数据进行实验,结果表明,本文方法符合微地图精度低、内容少的特点,质量评价结果与实际更为符合。相较于模糊综合评价法,本文将精度低,但内容与参考数据一致的微地图数据评价等级提升为优;相较于现有的线要素空间相似性评价法,本文将精度低,但根据用户需求制图,且有重要地标参与计算的微地图数据评价等级提升为良。本文方法对微地图数据有较强的适用性,为微地图道路网质量评价提供了可行方法。

关键词：微地图道路网质量空间相似性可拓云评价法上下文信息综合评价熵值法数据组合

在线全文

学校读者我要写书评

暂无评论

基于组合模型的方向关系查询

地球信息科学学报 2024年第5期26卷 1123-1137页

作者：王中辉杨雷挺兰州交通大学测绘与地理信息学院兰州730070 地理国情监测技术应用国家地方联合工程研究中心兰州730070 甘肃省地理国情监测工程实验室兰州730070

锥形模型和矩阵模型因计算简单、可查询性好,常被用于方向关系查询,但由于忽略了空间对象的大小、形状、以及相互之间的距离对方向关系的影响,容易导致方向关系查询结果出现偏差。为解决该问题,本文利用锥形模型、矩阵模型和Voronoi图... 详细信息

锥形模型和矩阵模型因计算简单、可查询性好,常被用于方向关系查询,但由于忽略了空间对象的大小、形状、以及相互之间的距离对方向关系的影响,容易导致方向关系查询结果出现偏差。为解决该问题,本文利用锥形模型、矩阵模型和Voronoi图模型在方向关系判断上的互补性,提出一种集成三者优势的方向关系组合模型,并基于该模型实现了方向关系查询。其基本思路是:为了能够集成不同模型的优势,将方向关系分为外部方向关系和内部方向关系;然后,组合锥形模型和矩阵模型实现外部方向关系查询,从而兼顾空间对象的大小和相互之间的距离对方向关系的影响;并使用Voronoi图模型进行内部方向关系查询,以顾及空间对象的形状对方向关系的影响。实验结果表明,组合模型在方向关系查询中具有良好的适用性和可行性,能够有效克服锥形模型和矩阵模型存在的缺陷,提高方向关系查询的准确性。该模型将有助于提升空间信息智能查询、智能推理、以及多尺度空间关系相似性计算等空间数据处理方法的准确性和可信度。

关键词：方向关系空间查询地理信息检索方向关系模型空间对象拓扑关系距离关系空间认知

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

高等教育学习辅导现代汉语

高等教育学习辅导现代汉语

耦合改进图注意力网络与深度强化学习的公共服务设施智能化选址方法

丛书名：高等教育学习辅导

1991年

作者：王中安刘安国

来源：汇雅图书（南通市图书馆... 评论

在线全文

汇雅图书（南通市图书馆）

学校读者我要写书评

暂无评论

地球信息科学学报 2024年

作者：王中曹凯华东师范大学地理信息科学教育部重点实验室华东师范大学地理科学学院

在当今城市化快速发展的背景下，公共服务设施的合理选址对于提升城市居民生活质量和提供高效服务至关重要。然而，现有常用的设施选址方法往往未能满足复杂及大规模的现实场景中对于其性能及效率上需求。为弥补这些不足，本文旨在提出... 详细信息

在当今城市化快速发展的背景下，公共服务设施的合理选址对于提升城市居民生活质量和提供高效服务至关重要。然而，现有常用的设施选址方法往往未能满足复杂及大规模的现实场景中对于其性能及效率上需求。为弥补这些不足，本文旨在提出一种耦合设施选址图注意力网络（Facility Location Allocation Graph Attention Network, FLA-GAT）和深度强化学习（Deep Reinforcement Learning, DRL）算法的通用图强化选址模型（Graph-Deep-Reinforcement-Learning Facility Location Allocation Model, GDRL-FLAM），通过图表示和REINFORCE算法协同解决公共服务设施智能化选址问题。为了验证提出模型的性能及效率，研究在随机生成的20、50和100个点的数据集上进行训练，并完成了相应的测试实验，结果表明：(1)在20、50和100个点的测试实例上，GDRL-FLAM模型相较于遗传算法（Genetic Algorithm, GA）)性能上提升了11.79%到14.49%；在150和200个点的测试实例上，提升了1.52%到9.35%。并且随着训练集规模的增大，模型在大规模数据集上表现出更强的泛化能力；(2) GDRL-FLAM模型可以在简单场景中掌握选址策略，并使其适应到更复杂的场景，展示出了其优异的迁移学习能力；(3)在新加坡的案例研究中，GDRL-FLAM模型相较于GA在性能表现上提升了1.01%到10.75%；(4)在所有的测试及实验中，GDRL-FLAM模型在效率方面相较于GA都展示出了成倍的提升。总的来说，本研究揭示了GDRL-FLAM模型在公共服务设施选址问题上的潜在应用价值，尤其是其泛化能力及迁移学习能力为未来设施选址问题的高效解决提供了新的思路和方法。此外，该模型经过微调也可以适用于不同的空间优化问题中。最后，本研究探讨了该模型的不足之处以及下一步的研究方向。

关键词：深度强化学习图注意力网络公共服务设施选址优化迁移学习注意力机制医疗设施可达性

高速飞行器间隙非线性机翼颤振的非线性能量阱抑制

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

国防科技大学学报 2024年第2期46卷 79-85页

作者：钮耀斌王中伟黄伟国防科技大学空天科学学院湖南长沙410073

针对间隙非线性机翼颤振系统的亚临界问题,引入了非线性能量阱(nonlinear energy sink,NES)技术来提高系统发生极限环振荡的临界速度。建立了具有NES控制的间隙非线性机翼颤振系统动力学模型,并分析了质量比、频率比、阻尼比、相对位置... 详细信息

针对间隙非线性机翼颤振系统的亚临界问题,引入了非线性能量阱(nonlinear energy sink,NES)技术来提高系统发生极限环振荡的临界速度。建立了具有NES控制的间隙非线性机翼颤振系统动力学模型,并分析了质量比、频率比、阻尼比、相对位置等NES参数对颤振系统极限环振荡的抑制效果,以及NES参数对颤振系统极限环振荡临界速度的影响规律。结果表明,阻尼比越大,可以在越小的自振频率比情况下使系统进入稳定区,但需要更苛刻的NES位置要求,即越靠近机翼前缘;而阻尼比越小,则使颤振系统极限环振荡响应进入稳定区所需的NES质量越小。在NES位置靠近机翼前缘时,增大自振频率比会使极限环振荡抑制效果有明显的提升,而增大质量比可以显著提高极限环振荡的抑制效果和临界速度。此外,NES的阻尼比越小,其颤振系统的极限环振荡抑制效果越好。

关键词：非线性能量阱间隙非线性机翼极限环振荡颤振抑制

在线全文

学校读者我要写书评

暂无评论

旋转稳定弹动力学弹道特性分析

北京理工大学学报 2024年第9期44卷 904-912页

作者：黄成王中原常思江南京理工大学能源与动力工程学院江苏南京210094

不同弹箭的飞行弹道特性对指导外弹道设计、构建一些弹道判据等有重要意义.文章基于弹箭飞行动力学方程组及合理简化,对旋转稳定弹飞行弹道上的质心加速度变化、旋转角加速度变化等动力学弹道环境特性状况,以及旋转圈数同飞行距离的关... 详细信息

不同弹箭的飞行弹道特性对指导外弹道设计、构建一些弹道判据等有重要意义.文章基于弹箭飞行动力学方程组及合理简化,对旋转稳定弹飞行弹道上的质心加速度变化、旋转角加速度变化等动力学弹道环境特性状况,以及旋转圈数同飞行距离的关系等进行了研究,分析得出了它们沿飞行弹道上的变化规律,并建立了相关关系表达式和判据.对两种型号的旋转稳定弹进行外弹道仿真计算,验证了结论的正确性.这些空气弹道特性的研究结果,将对今后开展一些新型弹箭方案研究、弹药信息化利用、控制飞行与安全性设计等提供技术支持.

关键词：弹道特性旋转稳定弹飞行动力学旋转角加速度

同方期刊数据库