排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
2.
针对目前航空运输系统中对飞机着陆调度成本效益研究的不足,提出采用价格时间自动机作为形式化描述方法,将飞机着陆过程建模为其相关实体的交互行为,引入时间和价格因素描述各实体的属性和行为,从而将飞机着陆形式化为时间价格的动态交互协作,并分别为相关实体和服务建模,形成彼此独立又相互协作的价格时间自动机网络,将飞机着陆调度成本表示为价格时间自动机网络上的状态转换路径。最后提出一组系统模型需要满足的性质,使用价格时间自动机模拟验证工具UPPAAL CORA仿真并验证其正确性,使用最优成本标准分支算法分析求解飞机着陆调度最优成本的可达性。 相似文献
3.
新工科建设为人才培养提供机遇的同时,也带来了前所未有的挑战.针对新形势下信息安全人才培养的模式改革和理念创新方向的问题,以CNKI为数据源,从文献的来源、作者、发文机构和关键词等维度对新工科背景下的信息安全人才培养文献进行可视化图谱绘制与分析,挖掘出该领域的研究热点和研究趋势.从结果来看,新工科背景下信息安全人才培养的研究热点是创新创业和培养模式改革.新工科背景下信息安全人才培养的改革趋势是突出工程理念,加强创新创业教育,注重多学科交叉融合.文章最后给出了面向新工科的信息安全人才培养改革的思考和建议. 相似文献
4.
5.
本文简要介绍了高新技术资产评评估的数学模型及计算方法,并依据马克思劳动价值论学说,利用多目标管理的层次分析法,给出了成本效益法,并对收益现值法作了三个改进。 相似文献
6.
7.
1