维普期刊资源整合服务平台（V6.5）

维普中文期刊产品整合服务

5篇 您的检索式：作者名="Ghiath"

选中清除导出查看参考文献查看引证文献引用追踪共1页首页上一页第1页下一页末页 /1 跳转

		题名	作者	年代	出处	被引量
	1	A Modi ed Iterated Greedy Algorithm for Flexible Job Shop Scheduling Problem显示文摘The flexible job shop scheduling problem(FJSP) is considered as an important problem in the modern manufacturing system. It is known to be an NP-hard problem. Most of the algorithms used in solving FJSP problem are categorized as metaheuristic methods. Some of these methods normally consume more CPU time and some other methods are more complicated which make them di cult to code and not easy to reproduce. This paper proposes a modified iterated greedy(IG) algorithm to deal with FJSP problem in order to provide a simpler metaheuristic, which is easier to code and to reproduce than some other much more complex methods. This is done by separating the classical IG into two phases. Each phase is used to solve a sub-problem of the FJSP: sequencing and routing sub-problems. A set of dispatching rules are employed in the proposed algorithm for the sequencing and machine selection in the construction phase of the solution. To evaluate the performance of proposed algorithm, some experiments including some famous FJSP benchmarks have been conducted. By compared with other algorithms, the experimental results show that the presented algorithm is competitive and able to find global optimum for most instances. The simplicity of the proposed IG provides an e ective method that is also easy to apply and consumes less CPU time in solving the FJSP problem.	Ghiath Al Aqel Xinyu Li Liang Gao	2019	Chinese Journal of Mechanical Engineering2019，32，2：	4
	2	An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs显示文摘In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs (MDGs) theory in HOL. MDGs generalize Reduced Ordered Binary Decision Diagrams (ROBDDs) to represent and manipulate a subset of first-order logic formulae. The MDGs embedding is based on the logical formulation of an MDG as Directed Formulae (DF). Then, the MDGs operations are defined and the correctness proof of each operation is provided. The MDG reachability algorithm is then defined as a conversion that uses our MDG theory within HOL. Finally, a set of experimentations over benchmark circuits has been conducted to ensure the applicability and to measure the performance of our approach.	Sa'ed Abed Otmane Ait Mohamed Ghiath Al-Sammane	2009	Journal of Computer Science & Technology2009，24，1：	2
	3	Avoidance or some other strategy: A ease for the passive in arabic and English显示文摘	Marzouk Ghiath Ellis	1995	Teanga: The Irish Yearbook of Applied Linguistics1995，，15：	1
	4	Renal Oncocytoma: A Clinicopathologic Study of 70 Cases显示文摘	Bayardo Perez-Ordonez Ghiath Hamed Steve Campbell Robert A. Erlandson Paul Russo Paul B. Gaudin Victor E. Reuter	1997	The American Journal of Surgical Pathology1997，，8：	1
	5	Renal Oncocytoma: A Clinicopathologic Study of 70 Cases显示文摘	Bayardo Perez-Ordonez Ghiath Hamed Steve Campbell Robert A. Erlandson Paul Russo Paul B. Gaudin Victor E. Reuter	1997	The American Journal of Surgical Pathology1997，，：	1

返回顶部每页显示：

共1页首页上一页第1页下一页末页 /1 跳转

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费