|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 一种同步语言多线程代码自动生成工具显示文摘随着安全关键系统对计算性能要求的日趋提高,能够提供更强计算能力而又减少电子设备的体积、重量和功耗的多核处理器将在安全关键领域得到广泛应用。同步语言能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模和验证。目前,同步语言SIGNAL编译器主要支持串行代码生成,较少关注多线程代码生成。提出一种同步语言SIGNAL多线程代码生成工具。首先将SIGNAL程序转换为经过时钟演算的S-CGA中间程序;之后将S-CGA中间程序转换为时钟数据依赖图以分析依赖关系;然后对时钟数据依赖图进行拓扑排序划分,并针对划分结果提出优化算法和基于流水线方式的任务划分方法;最后将划分结果转换为虚拟多线程结构并进一步生成可执行多线程C/Java代码。通过在多核处理器上的实验,验证了所提方法的有效性。 | 杨志斌 袁胜浩 谢健 周勇 陈哲 薛垒 Jean-Paul BODEVEIX Mamoun FILALI | 2019 | 软件学报2019，30，7： | 8 |
| 2 | 同步语言的时间可预测多线程代码生成方法显示文摘能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用,但是由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即,时间可预测多线程代码的构造方法以及到多核硬件平台的映射.提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(architecture analysis and design language)的时间可预测多核体系结构模型,作为研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架. | 杨志斌 赵永望 黄志球 胡凯 马殿富 Jean-Paul BODEVEIX Mamoun FILALI | 2016 | 软件学报2016，27，3： | 8 |
| 3 | Towards a verified compiler prototype for the synchronous language SIGNAL显示文摘 | Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI Kai HU Yongwang ZHAO Dianfu MA | 2016 | Frontiers of Computer Science2016，10，1： | 7 |
| 4 | A comparative study of two formal semantics of the SIGNAL language显示文摘 | Zhibin YANG Jean-Paul BODEVEIX Mamoun FILALI | 2013 | Frontiers of Computer Science2013，7，5： | 5 |
| 5 | Interleukin-10 and Interleukin-10–Receptor Defects in Inflammatory Bowel Disease显示文摘 | Neil Shah Jochen Kammermeier Mamoun Elawad Erik-Oliver Glocker | 2012 | Current Allergy and Asthma Reports2012，，5： | 2 |
| 6 | Structural damage assessment criteria for reinforced concrete buildings by using a Fuzzy Analytic Hierarchy process显示文摘Reinforced concrete structures are often exposed to many types of damages and deteriorations due to different causes and exposure conditions during their life cycle.Assessment of such structures is inherently subjected to uncertainty and ambiguity,where subjective opinion and incomplete numeric data are unavoidable.In the damage assessment process,estimating the importance of assessment criteria is an important field in itself,and depends heavily on the experience and expertise of experts.The aim of this study is to present a fuzzy-based assessment model,which estimates the importance of structural assessment criteria for concrete buildings.The work aims also at studying,identifying,and prioritizing assessment criteria.These assessment criteria are based on close visual inspections and simple measurements that do not require special testing or long-term investigation.The main assessment criteria include the state of building history,environmental conditions,structural capacity,durability,and professional involvement in construction.Each of them has two levels of sub-criteria.The criteria weights are obtained based on the opinions of experts using the Fuzzy Analytic Hierarchy Process(FAHP)method.The application of the FAHP method showed that the most important criteria is the structural capacity with a weighting factor of 50.1%,followed by the environmental condition as second,with a weighting factor of 22.5%. | Khader M.Hamdia Mohammed Arafa Mamoun Alqedra | 2018 | Underground Space2018，3，3： | 2 |
| 7 | 同步语言多线程代码生成的语义保持证明方法显示文摘同步语言具有确定性并行和精确时间语义等特性,因此被广泛用于设计和验证安全关键软件.随着安全关键领域应用多核处理器逐渐成为趋势,同步语言的多线程代码生成及其语义保持证明研究成为研究热点.目前,已有同步语言代码生成方法还较少考虑多线程代码生成的语义保持证明.因此,本文提出一种同步语言SIGNAL多线程代码生成的语义保持证明方法:首先形式化定义编译过程中源、目标、中间语言的结构化操作语义;其次形式化定义多线程代码生成过程;最后基于互模拟等价思想证明编译前后的语义一致性. | 袁胜浩 杨志斌 张博林 周勇 薛垒 BODELEIX Jean-Paul FILALI Mamoun | 2020 | 计算机学报2020，43，11： | 2 |
| 8 | A quantitative trait locus of Agaricus bisporus resistance to Pseudomonas tolaasii is closely linked to natural cap color显示文摘 | Moquet FDR Desmerger C Mamoun ML | 1999 | Fungal Genetics and Biology1999，28，1： | 1 |
| 9 | The Significance of 'Indefinite for Dysplasia' Grading in Barrett Metaplasia显示文摘 | Younes Mamoun Lauwers Gregory Y Ertan Atilla Ergun Gulchin Verm Ray Bridges Margaret Woods Karen Meriano Frank Schmulen Carl Johnson Craig Barroso Alberto Schwartz Jim McKechnie John Lechago Juan | 2011 | Archives of Pathology & Laboratory Medicine2011，，： | 1 |
| 10 | Study of Some Growth and Fruiting Factor of Pleuroms Cornucopiae显示文摘 | Delmes J Mamoun M | 1980 | Compte Rendus des sc''arlogs de Acade''mied Agriculture de France1980，66，3： | 1 |
| 11 | Patterns of loco-regional failure (LRF)in patients receiving neoadjuvant chemotherapy (NC) : results from NSABP-18 显示文摘 | Mamounes EP Wang J Bryant J | 2003 | Breast Cancer Res Treat2003，82，： | 1 |
| 12 | LEACHING OF PRECIOUS METALS FROM COMPLEX SULPHIDE ORES——2.DIRECT LEACHING OF Cu SULFIDE CONCENTRATE BY ACIDIC THIOUREA SOLUTIONS显示文摘Recovery of gold and silver from a sulphide concentrate by thiourea leaching was investigat-ed.The effects of various parameters on the process,such as oxidants,the initial concentrationof thiourea and acidity in solutions as well as reaction temperature,were systematically exam-ined.From the results it was confirmed that(a)oxidants had no significant influence on the dis-solution of gold and silver at a fixed initial concentration of thiourea;(b)the initial concentra-tion of thiourea and acidity affected the dissolution rate only in the earliest period of leaching;(c)the rate of the process was controlled by reagent diffusion.The optimum operations wereworked out for the thiourea leaching process of the concentrate. | Fang,Zhaoheng Institute of Chemical Metallurgy,Academia Sinica,Beijing 100080Muhammed,Mamoun Royal Institute of Technology,S—100044 Stockholm,Sweden | 1993 | 中国有色金属学会会刊:英文版1993，3，4： | 1 |
| 13 | Patterns of loco-regional failure (LRF)in patients receiving neoadjuvant chemotherapy (NC) : results from NSABP-18 显示文摘 | Mamounes EP Wang J Bryant J | 2003 | Breast Cancer Res Treat2003，82，： | 1 |
| 14 | On the GPS/IMU sensors'noise estimation for enhanced navigation integrity显示文摘 | MAMOUN F HAFEZ A | 2012 | Mathematics and Computers in Simulation2012，，86： | 1 |
| 15 | Competiton between Tuber m elanosporum and other ectomy-corrhizal fungi under two irrizgation regimes显示文摘 | Mamoun M Olivier J M | 1993 | Plant and soil1993，149，： | 1 |
| 16 | Intraoperative Ventilatory Strategies for Prevention of Pulmonary Atelectasis in Obese Patients Undergoing Laparoscopic Bariatric Surgery显示文摘 | Hesham F. Talab Ibrahim Ali Zabani Hassan Saad Abdelrahman Waleed L. Bukhari Irfan Mamoun Majed A. Ashour Bakr Bin Sadeq Sameh Ibrahim El Sayed | 2009 | Anesthesia & Analgesia2009，，5： | 1 |
| 17 | Transport of palladium(Ⅱ) through hollow fiber supported liquid membrane facilitated by nonylthiourea显示文摘 | Abdusalam U Zhang Y Mamoun M | 2004 | Journal of Membrane Science2004，241，12： | 1 |
| 18 | Ethane dehydrogenation over pore-expanded mesoporous silica-supported chromium oxide: 2. Catalytic properties and nature of active sites显示文摘 | T.V. Malleswara Rao El Mamoune Zahidi Abdelhamid Sayari | 2009 | Journal of Molecular Catalysis A Chemical2009，，1： | 1 |
| 19 | A quantitative trait locus of Agaricus bisporus resistance to Pseudomonas tolaasii is closely linked to natural cap color显示文摘 | Moquet F Desmerger C Mamoun M | 1999 | Fungal Genetics and Biology1999，28，1： | 1 |
| 20 | A quantitative trait locus of Agaricusbisporus resistance to Pseudomonas tolaasii isclosely linked to natural cap color显示文摘 | MOQUHT F DESMERGER C MAMOUN M | 1999 | FungalGenet Biol1999，28，1： | 1 |
您所在的机构暂未开通此部分的功能，请联系管理员