期刊文献+
共找到68篇文章
< 1 2 4 >
每页显示 20 50 100
Strategic mining options optimization:Open pit mining, underground mining or both 被引量:16
1
作者 Ben-Awuah Eugene Richter Otto +1 位作者 Elkington Tarrant Pourrahimian Yashar 《International Journal of Mining Science and Technology》 SCIE EI CSCD 2016年第6期1065-1071,共7页
Near-surface deposits that extend to considerable depths are often amenable to both open pit mining and/or underground mining. This paper investigates the strategy of mining options for an orebody using a Mixed Intege... Near-surface deposits that extend to considerable depths are often amenable to both open pit mining and/or underground mining. This paper investigates the strategy of mining options for an orebody using a Mixed Integer Linear Programming(MILP) optimization framework. The MILP formulation maximizes the Net Present Value(NPV) of the reserve when extracted with(i) open pit mining,(ii) underground mining, and(iii) concurrent open pit and underground mining. Comparatively, implementing open pit mining generates a higher NPV than underground mining. However considering the investment required for these mining options, underground mining generates a better return on investment than open pit mining. Also, in the concurrent open pit and underground mining scenario, the optimizer prefers extracting blocks using open pit mining. Although the underground mine could access ore sooner, the mining cost differential for open pit mining is more than compensated for by the discounting benefits associated with earlier underground mining. 展开更多
关键词 Mining options optimization Open pitUnderground concurrent Open stope Mixed Integer Linear programming (MILP)
下载PDF
并行工程团队的定量化组织方法 被引量:3
2
作者 汪峥 严洪森 +1 位作者 刘霞玲 宋文忠 《系统工程学报》 CSCD 2001年第6期443-449,共7页
给出了并行工程产品开发团队的组织原则并建立了基于整数规划的团队组织问题数学模型 .在这一数学模型的基础上 ,把团队组织问题分解为一系列相互独立的子问题 ,并提出了一个基于 Tabu搜索的算法来解决此子问题 .逐个解决子问题 ,即可... 给出了并行工程产品开发团队的组织原则并建立了基于整数规划的团队组织问题数学模型 .在这一数学模型的基础上 ,把团队组织问题分解为一系列相互独立的子问题 ,并提出了一个基于 Tabu搜索的算法来解决此子问题 .逐个解决子问题 ,即可获得整个团队组织问题的解 . 展开更多
关键词 并行工程 产品开发团队 整数规则 TABU搜索 CIMS 数学模型
下载PDF
多源遥感卫星地面调度系统设计与实现
3
作者 王冠珠 万伟 +4 位作者 张棋帅 钟慧敏 王启为 黄涛 白晨 《航天器工程》 CSCD 北大核心 2024年第2期21-26,共6页
针对卫星地面调度处理系统进行研究与设计,着重关注工作流、线程池和Redis缓存等关键技术。首先,对工作流的分析和建模以提高系统任务的执行效率和资源利用率。其次,引入线程池技术来管理和调度系统中的线程资源,实现任务的并发执行和... 针对卫星地面调度处理系统进行研究与设计,着重关注工作流、线程池和Redis缓存等关键技术。首先,对工作流的分析和建模以提高系统任务的执行效率和资源利用率。其次,引入线程池技术来管理和调度系统中的线程资源,实现任务的并发执行和负载均衡,提高系统的吞吐量和响应速度。最后,利用Redis缓存作为系统的缓存和Kafka消息队列,优化数据存取和通信效率,提供更高的性能和可靠性。整体通过SpringBoot框架进行实验和性能评估,验证了该系统在任务处理能力、资源利用率和数据访问效率等方面的优势。本研究对于提高卫星地面调度处理系统的效率和性能具有一定的实践意义和推广价值。 展开更多
关键词 工作流 并发编程 缓存机制 任务调度 卫星地面系统
下载PDF
一种启发式并行活动规划方法 被引量:3
4
作者 闫纪红 吴澄 姜浩 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2001年第4期167-169,共3页
对并行工程产品开发过程中的活动进行规划 ,对于保证串行活动尽可能并行进行、消除不必要的返工、缩短研发时间以及降低开发成本具有重要意义。针对并行工程产品开发过程中活动的特点 ,提出了一种启发式并行活动规划方法。综合考虑了时... 对并行工程产品开发过程中的活动进行规划 ,对于保证串行活动尽可能并行进行、消除不必要的返工、缩短研发时间以及降低开发成本具有重要意义。针对并行工程产品开发过程中活动的特点 ,提出了一种启发式并行活动规划方法。综合考虑了时序、信息、资源、活动执行时间、各活动的并行关系等能够使各个活动顺利进行的关键因素 ,使算法能够保证资源的有效利用和信息的平滑流动。算例是航天产品开发过程优化的一部分 ,结果表明了该算法的可行性。 展开更多
关键词 并行工程 活动规划 启发式算法 资源分配 启发式规划规则 信息流动
原文传递
分布式实时系统UECnet的描述工具──配置说明语言UECspec 被引量:3
5
作者 舒敏 龚天富 《软件学报》 EI CSCD 北大核心 1994年第1期37-41,共5页
大型、复杂的分布式实时系统除了有严格的时间要求外,还需要有更大的灵活性、可预测性和可靠性.本文提出一个分布式实时系统的描述工具─—配置说明语言UECspec,用来描述分布式实时系统UECnet应用层的逻辑同结构、进程... 大型、复杂的分布式实时系统除了有严格的时间要求外,还需要有更大的灵活性、可预测性和可靠性.本文提出一个分布式实时系统的描述工具─—配置说明语言UECspec,用来描述分布式实时系统UECnet应用层的逻辑同结构、进程间的通信链接关系.以及各进程的实时特性.UECnet系统根据UECspec描述自动完成对应用系统的配置分析,初始分配及重配置. 展开更多
关键词 分布式 实时 操作系统 UECspec语言
下载PDF
Parallel Evaluation of a Spatial Traversability Cost Function on GPU for Efficient Path Planning
6
作者 Stephen Cossell Jose Guivant 《Journal of Intelligent Learning Systems and Applications》 2011年第4期191-200,共10页
A parallel version of the traditional grid based cost-to-go function generation algorithm used in robot path planning is introduced. The process takes advantage of the spatial layout of an occupancy grid by concurrent... A parallel version of the traditional grid based cost-to-go function generation algorithm used in robot path planning is introduced. The process takes advantage of the spatial layout of an occupancy grid by concurrently calculating the next wave front of grid cells usually evaluated sequentially in traditional dynamic programming algorithms. The algorithm offers an order of magnitude increase in run time for highly obstacle dense worst-case environments. Efficient path planning of real world agents can greatly increase their accuracy and responsiveness. The process and theoretical analysis are covered before the results of practical testing are discussed. 展开更多
关键词 GPGPU Dynamic programming concurrent programming PATH PLANNING
下载PDF
软件工程留学生Java并发编程教学研究 被引量:3
7
作者 黄治国 桂浩 +1 位作者 何承达 王毅 《合肥工业大学学报(社会科学版)》 2019年第2期121-127,共7页
Java高级程序设计课程面向武汉大学软件工程专业硕士留学生,以卓越的软件架构设计师、软件开发工程师的培养为目标。其中并发编程是多核编程、并行编程、分布式编程,乃至云计算、大数据软件架构设计的基础,本文对该部分的教学内容进行... Java高级程序设计课程面向武汉大学软件工程专业硕士留学生,以卓越的软件架构设计师、软件开发工程师的培养为目标。其中并发编程是多核编程、并行编程、分布式编程,乃至云计算、大数据软件架构设计的基础,本文对该部分的教学内容进行了提炼,以《斯坦福大学2025计划》为理论基础,提出了一整套教学模式和途径,并在实际教学活动中加以运用和实践,取得了较好的教学效果。 展开更多
关键词 JAVA 并发编程 留学生教育 软件工程
下载PDF
并发多媒体负载访问存储系统的模型分析 被引量:2
8
作者 李中 王刚 刘璟 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2004年第11期1043-1047,共5页
多媒体应用要求存储系统提供满足服务质量QoS(QualityofSer vice)需求的数据访问服务 ,反应时间超过截止期限的访问请求必须小于一定的比例 .在开放环境下 ,并发多媒体负载中访问请求的随机性增加了实现这一目标的难度 .并发多媒体应用... 多媒体应用要求存储系统提供满足服务质量QoS(QualityofSer vice)需求的数据访问服务 ,反应时间超过截止期限的访问请求必须小于一定的比例 .在开放环境下 ,并发多媒体负载中访问请求的随机性增加了实现这一目标的难度 .并发多媒体应用的访问请求经汇聚后到达存储系统的过程服从泊松分布 ,存储系统的服务时间服从指数分布 ;并发多媒体负载访问存储系统的过程用M/M/1排队论模型描述 .通过对该模型的分析推导出构成并发负载的多媒体应用数量N与负载中访问请求的响应时间分布之间的关系 .仿真试验的结果证明该模型对于保证并发多媒体应用的QoS是非常有效的 . 展开更多
关键词 多媒体负载 存储系统 服务质量 排队模型
下载PDF
DAI中面向对象的并发程序设计 被引量:2
9
作者 黄小虎 徐晓燕 郑南宁 《计算机科学》 CSCD 北大核心 1997年第1期41-44,共4页
1引言 对象具有一定的独立性且具有一统一的通信协件所以将系统分解成为并行运行的伟的集合。
关键词 DAI 面向对象 程序设计
下载PDF
基于Petri网的并发编程死锁预防策略 被引量:3
10
作者 丁力 董利达 朴云 《浙江大学学报(理学版)》 CAS CSCD 2012年第1期43-49,55,共8页
针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,... 针对并发编程中的死锁问题,提出了一种具有同步信号的并发程序的Petri网模型——S3PS(简单连续信号进程系统)网,这种Petri网子类保持活性的充分必要条件是它的虹吸非空.在此基础上,通过对严格极小虹吸加入控制弧控制S3PS网的虹吸非空,使网系统保持活性,从而解决了此类并发程序的死锁问题.应用实例表明了S3PS在并发编程建模中的可行性及其死锁预防策略的有效性. 展开更多
关键词 并发编程 PETRI网 虹吸 死锁预防
下载PDF
带标记信号量——一种新型同步与互斥机制 被引量:3
11
作者 徐宝文 《计算机科学》 CSCD 北大核心 2001年第1期15-17,共3页
1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与... 1 问题的引出 信号量机制是E.W.Dijkstra最先提出来的[1],是并发程序设计中一种基本的、重要的同步与互斥原语,也是研究并发程序行为的重要机制[2.3].其描述能力强、机理简单、易于掌握,能方便地描述处理绝大多数并发程序设计的同步与互斥问题(如共享变量的保护).信号量原语自问世二十余年来,已广泛地应用于许多操作系统与程序设计语言的研究与设计中,成了它们不可分割的一部分.信号量虽然不为一些语言设计者所欣赏,但它仍然得到了很广泛的应用,是研究并发程序同步与互斥的必不可少的工具.尽管如此,也有一些问题用信号量描述起来比较困难或比较复杂.下面是一个典型的入厕问题: 展开更多
关键词 并发程序设计 标记信号量 同步机制 互斥机制
下载PDF
基于任务的动态角色约束关系研究 被引量:3
12
作者 皮建勇 刘心松 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2005年第1期121-125,共5页
为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系,提出了一个基于任务的动态角色访问控制模型———TD RBAC。采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态... 为了能更加充分地表达现实世界中复杂的、动态的访问控制授权关系,提出了一个基于任务的动态角色访问控制模型———TD RBAC。采用扩展谓词任务模型描述并发事务逻辑,在基于子任务的并发执行活动网络模型上分析出各个子任务之间的动态约束关系,从而在传统RBAC模型基础上扩展了动态的角色约束关系。性能评估分析结果显示TD RBAC模型在分布式并行计算环境下具有较好的访问控制效率。 展开更多
关键词 TD-RBAC 谓词任务模型 并发事务逻辑 动态角色约束 访问控制
下载PDF
ConEntity:一种基于进程的自主并发实体编程模型及其实现 被引量:1
13
作者 康亮环 曹东刚 《中国科学:信息科学》 CSCD 2013年第1期126-142,共17页
本文在虚拟计算环境之上,研究支持具有自主能力、高并发的新型互联网应用开发方法,在已有的基于进程、面向并发的编程模型中引入实体建模机制,扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity,并给出了形式化定义和描述.ConEn... 本文在虚拟计算环境之上,研究支持具有自主能力、高并发的新型互联网应用开发方法,在已有的基于进程、面向并发的编程模型中引入实体建模机制,扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity,并给出了形式化定义和描述.ConEntity模型具有表达性、并发性和可伸缩性的特点,能对虚拟计算环境资源高效、透明访问.通过扩展Erlang/OTP将其实现为Erlang语言设施UniAgent.本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持. 展开更多
关键词 编程模型 进程 并发实体 并发编程 Erlang语言
原文传递
并行面向对象语言的研究与比较
14
作者 张宁 温冬婵 《计算机科学》 CSCD 北大核心 1996年第2期80-83,共4页
一、引言随着并行多机系统和网络分布计算平台日益流行,并发/并行程序设计技术得到广泛应用。
关键词 面向对象语言 程序语言 并行程序
下载PDF
一种Ada83服务性任务向Ada95保护对象变换的方法 被引量:2
15
作者 李帮清 徐宝文 《软件学报》 EI CSCD 北大核心 2000年第6期836-840,共5页
任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可... 任务是 Ada语言支持并发程序设计的基础 ,它提供了一种进程同步和通信的良好机制 .但也存在一类被动的、专为其他任务服务的服务性任务 .服务性任务的存在增加了系统的负担 ,降低了系统的性能 .如果能将服务性任务变换为保护对象 ,则可以明显地提高系统的性能 ,减少维护的费用 .该文提出了一种在源程序级将 Ada83服务性任务变换为 Ada95保护对象的方法 .先给出服务性任务应满足的条件、识别和表示服务性任务的方法 ,最后讨论此方法的可行性 .与其他方法相比 ,此方法具有假设条件少、识别和变换效率高以及容易验证等特点 . 展开更多
关键词 ADA 服务性任务 保护对象 并发程序设计 数据流图
下载PDF
并发编程原理分析 被引量:2
16
作者 李晓飞 李开毅 周洪运 《玉溪师范学院学报》 2008年第4期44-46,共3页
多核CPU出现之后,并发编程思想受到软件业内人士的普遍关注.从根本上看,并发编程原理包含三个核心问题:分解、通讯和同步.其中,分解实现并发编程的算法,通讯和同步解决并发编程中多线程之间数据传输、执行顺序和资源利用等方面的问题.
关键词 多核 并发编程 程序设计
下载PDF
Java并行注释规范JAC的扩展 被引量:2
17
作者 朱红 张赛男 《微电子学与计算机》 CSCD 北大核心 2009年第8期42-44,48,共4页
JAC是基于扩展Java注释描述其并行编程的技术,具有隐藏线程、同步等并行编程机制,把应用逻辑与并行逻辑分离等优点.为了克服目前版本的JAC规范在执行类静态方法对象间的并行时可能会造成类静态变量的不确定性的缺点,扩展了JAC规范,用exc... JAC是基于扩展Java注释描述其并行编程的技术,具有隐藏线程、同步等并行编程机制,把应用逻辑与并行逻辑分离等优点.为了克服目前版本的JAC规范在执行类静态方法对象间的并行时可能会造成类静态变量的不确定性的缺点,扩展了JAC规范,用exclusive并行注释来控制Java对象间的方法的并行性,同时改进JAC预编译器,为程序中每个类维护一张ID列表,使JAC预编译器支持类静态方法对象间的并行编程.从而提高了JAC技术解决复杂的并行编程问题的能力. 展开更多
关键词 Java注释 并行编程 类静态变量
下载PDF
氢化物-无色散原子荧光光谱法测定微量碲 被引量:1
18
作者 王振福 史东良 马力 《辽宁地质》 1997年第1期76-78,共3页
氢化物—无色散原子荧光光谱法测定黄铁矿及地球化学样品中微量碲,采用硝酸,盐酸,高氯酸分解样品,用浓盐酸将六价碲还原成四价碲,再用硼氢化钾继续还原使碲形成氢化物TeH2,在AFS1201C原子荧光光谱仪进行测定碲的检示... 氢化物—无色散原子荧光光谱法测定黄铁矿及地球化学样品中微量碲,采用硝酸,盐酸,高氯酸分解样品,用浓盐酸将六价碲还原成四价碲,再用硼氢化钾继续还原使碲形成氢化物TeH2,在AFS1201C原子荧光光谱仪进行测定碲的检示限为0.18μg/g,精密度RSD%为6.8%,该方法操作简便、快速、准确、费用低,可应用于大批量地球化学样品的分析。 展开更多
关键词 无色散原子 荧光光谱法 氢化物
下载PDF
并发代码的继承问题 被引量:1
19
作者 商陆军 《计算机学报》 EI CSCD 北大核心 1992年第12期920-926,共7页
文献[1]提出了一种新的刻划并发行为的方法.本文继续讨论这种方法在面向对象的程序设计中是如何解决并发代码在继承过程中的冲突问题的.
关键词 面向对象 程序设计 继承
下载PDF
并发行为对象的构造
20
作者 商陆军 《计算机学报》 EI CSCD 北大核心 1992年第4期241-249,共9页
本文提出了一种新的刻划并发行为的方法.这种方法的基础是笔者近年来设计并实现的一种面向对象的程序设计语言.尽管语言本身没有特别引入用于并发程序设计的设施,但它却能用来描述各种并发行为的模型,并以完善的高级形式提交给用户.
关键词 面向对象 程序设计 并发程序 模型
下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部