检索结果-南通市图书馆

Towards automated software model checking using graph transformation systems and Bogor

在线全文

学校读者我要写书评

暂无评论

Journal of Zhejiang University-Science A(Applied Physics & Engineering) 2009年第8期10卷 1093-1105页

作者： Vahid RAFE adel T.RAHMANI Department of Computer Engineering Iran University of Science and Technology

Graph transformation systems have become a general formal modeling language to describe many models in software development *** modeling of dynamic systems and model-to-model transformations are only a few examples in which graphs have been used to software *** even the perfect graph transformation system must be equipped with automated analysis capabilities to let users understand whether such a formal specification fulfills their *** this paper,we present a new solution to verify graph transformation systems using the Bogor model *** attributed graph grammars(AGG)-like graph transformation systems are translated to Bandera intermediate representation(BIR),the input language of Bogor,and Bogor verifies the model against some interesting properties defined by combining linear temporal logic(LTL) and special-purpose graph *** results are encouraging,showing that in most cases our solution improves existing approaches in terms of both performance and expressiveness.

关键词： Graph transformation Verification Bogor Attributed graph grammars (AGG) Software model checking

Finite Generation of Lie Derived Powers of Skew Lie Algebras

在线全文

学校读者我要写书评

暂无评论

Algebra Colloquium 2022年第2期29卷 217-220页

作者： adel Alahmadi Fawziah Alharthi Department of Mathematics Research Group of Algebraic Structures and Applications Deanship of Scientific ResearchKing Abdulaziz UniversityJeddah 21589Saudi Arabia Department of Mathematics College of ScienceKing Abdulaziz UniversityJeddah 21589Saudi Arabia Department of Mathematics College of ScienceQassim University Buraydah 51482Saudi Arabia

Let A be a finitely generated associative algebra over a field of characteristic different from *** asked when the Lie algebra[A,A]is finitely ***,it was shown that for a finitely generated nil algebra A all derived powers of A are finitely generated Lie *** K be the Lie algebra of skew-symmetric elements of an associative algebra with *** consider all derived powers of the Lie algebra K and prove that for any finitely generated associative nil algebra with an involution,all derived powers of K are finitely generated Lie algebras.

关键词： associative algebra Lie subalgebra finitely generated

Improved Harmony Search with Optimal Deep Learning Enabled Classification Model

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2022年第10期73卷 1783-1797页

作者： Mahmoud Ragab adel A.Bahaddad Information Technology Department Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia Centre for Artificial Intelligence in Precision Medicines King Abdulaziz UniversityJeddah21589Saudi Arabia Mathematics Department Faculty of ScienceAl-Azhar UniversityNaser City11884CairoEgypt Information Systems Department Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddah21589Saudi Arabia

Due to drastic increase in the generation of data,it is tedious to examine and derive high level knowledge from the *** rising trends of high dimension data gathering and problem representation necessitates feature selection process in several machine learning *** feature selection procedure establishes a generally encountered issue of global combinatorial *** FS process can lessen the number of features by the removal of unwanted and repetitive *** this aspect,this article introduces an improved harmony search based global optimization for feature selection with optimal deep learning(IHSFS-ODL)enabled classification *** proposed IHSFS-ODL technique intends to reduce the curse of dimensionality and enhance classification *** addition,the IHSFSODL technique derives an IHSFS technique by the use of local search method with traditional harmony search algorithm(HSA)for global ***,ODL based classifier including quantum behaved particle swarm optimization(QPSO)with gated recurrent unit(GRU)is applied for data classification *** utilization of HSA for the choice of features and QPSO algorithm for hyper parameter tuning processes helps to accomplish maximum classification *** order to demonstrate the enhanced outcomes of the IHSFS-ODL technique,a series of simulations were carried out and the results reported the betterment over its recent state of art approaches.

关键词： Data classification feature selection global optimization deep learning metaheuristics

Development of an instrument to measure patients' attitudes towards involuntary hospitalization

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Psychiatry 2017年第2期7卷 89-97页

作者： adel Gabriel Departments of Psychiatry and Community Health Sciences University of Calgary

AIM To construct and assess the psychometric properties of an instrument to measure patients' attitudes towards involuntary hospitalization. METHODS This is a two phase study. In the first phase, based on comprehensive literature review, a twenty one item scale to measure patients' attitudes to involuntary admission was constructed. Forensic and inpatient Psychiatrists, patients' advocates and legal experts(n = 15) were invited to participate in the validation process of the written instrument, by formally rating each item of the instrument for its relevancy in measuring patients' attitudes to involuntary admission. In the second phase of the project, the instrument was administered to a sample of eighty consecutive patients, who were admitted involuntarily to an acute psychiatric unit of a teaching hospital. All patients completed the constructed attitudes towards involuntary admission scale, and the client satisfaction questionnaire. RESULTS Responses from psychiatry and advocacy experts provided evidence for face and content validity for the constructed instrument. The internal consistency reliability of the instrument is 0.84(Chronbach' alpha), factor analysis resulted in three correlated, and theoretically meaningful factors. There was evidence for content, convergent, and concurrent *** A reliable twenty one item instrument scale to measure patients' attitudes to involuntary admission was developed. The developed instrument has high reliability, there is strong evidence for validity, and it takes ten minutes to complete.

关键词： Scales Mmeasurements Patients’attitudes Involuntary admission Psychiatric

The Role of Dopamine in Associative Learning in Drosophila: An Updated Unified Model

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Neuroscience Bulletin 2021年第6期37卷 831-852页

作者： Mohamed adel Leslie C.Griffith Department of Biology Volen National Center for Complex Systems and National Center for Behavioral GenomicsBrandeis UniversityWalthamMA 02454-9110USA

Learning to associate a positive or negative experience with an unrelated cue after the presentation of a reward or a punishment defines associative *** ability to form associative memories has been reported in animal species as complex as humans and as simple as insects and sea *** memory has even been reported in tardigrades[1],species that diverged from other animal phyla 500 million years *** the mechanisms of memory formation is a fundamental goal of neuroscience *** this article,we work on resolving the current contradictions between different Drosophila associative memory circuit models and propose an updated version of the circuit model that predicts known memory behaviors that current models do ***,we propose a model for how dopamine may function as a reward prediction error signal in Drosophila,a dopamine function that is well-established in mammals but not in insects[2,3].

关键词： associative contradiction function

Assessment of Urban Sprawl on Agricultural Soil of Northern Nile Delta of Egypt Using RS and GIS

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Chinese Geographical Science 2015年第3期25卷 274-282页

作者： adel SHALABY Farahat Saad MOGHANM National Authority for Remote Sensing and Space Sciences Soil and Water Science Department-faculty of Agricultural-Kafrelsheikh University

Urban sprawl is threatening the limited highly fertile land in the Nile delta of Egypt. Landsat TM satellite images of 1984, 1992 and ETM+ of 2006 have been used to study the impact of urban sprawl on agricultural land of the Northern Nile delta, Egypt. Visual interpretation using on screen digitizing and change detection techniques were applied for monitoring the urban sprawl. Combining the land capability map and the urban thematic layer using GIS made it possible to point out the risk of urban expansion on the expense of the highly capable soil class. The results show that a total expansion of urban area amounted to 689.20 km2(6.3% of total area) during the study period 1984–2006. The urban expansion during the 1984–2006 was on the expense of the most fertile soils where, the high capable soils(Class I) lost 247.14 km2(2.26 % of total area) and the moderate capable soils lost 32.73 km2(0.3% of total area), while the low capable soils lost only 57.39 km2(0.53% of total area). The urban encroachment over the non capable soils was very limited during the study period 1984–1992, where 7.33 km2 only was lost. The pattern of urban sprawl has been changed during the 1992 to 2006 whereas much larger area(50.64 km2) of the non capable soils was converted to urban. It can be concluded that the urban sprawl is one of the dominant degradation process on the land of Nile Delta.

关键词： urbanization remote sensing GIS land cover changes land use policy Nile Delta of Egypt

Impact of biomass in Egypt on climate change

在线全文

学校读者我要写书评

暂无评论

Natural Science 2013年第6期5卷 678-684页

作者： Dalia adel Nakhla Mohamed Galal Hassan salah El Haggar Department of Mechanical Engineering School of Sciences and Engineering The American University in Cairo Cairo Egypt Department of Petroleum Engineering School of Sciences and Engineering The American University in Cairo Cairo Egypt Environmental Engineering PhD Program School of Sciences and Engineering The American University in Cairo Cairo Egypt

Egypt is one of the most vulnerable countries to climate change due to the expected detrimental impacts on coastal zones, agriculture, water security as well as indirect social and health impacts. Egypt is responsible for 0.57% of the global greenhouse gas (GHG) emissions. Although Egypt is a non-annex I country not requiring any specific emission reduction or limitation targets under the Kyoto protocol, its National plans have included mitigation measures to reduce its greenhouse gases. The main sectors contributing to climate change in Egypt are energy, industry, agriculture and waste. Waste, on the other hand, has been accumulating in the streets of Egypt and along its water banks causing considerable air, soil and water pollution and indirect detrimental health impacts. However, this waste which is composed of organic municipal waste, agricultural residues, agro-industrial waste, animal manure and sewage sludge are valuable biomass resources. Utilizing the waste resources of Egypt especially the biomass or the organic component of this waste will not only solve some of the pressing economic needs of Egypt such as animal fodder, fertilizer and fuel but will also alleviate environmental burdens through decreasing air pollution and greenhouse gas emissions in the sector of waste as well as those of energy, industry and agriculture. This paper quantifies the biomass resources in Egypt generated from different waste resources. Then it demonstrates the efforts that Egypt made to contribute to global greenhouse gas emissions reductions through the Kyoto Protocol’s clean development mechanism (CDM). The projects in the waste sector already established in Egypt and approved as CDM projects are listed, which are related to waste management facilities and those which are waste to energy projects. Finally, a list of mitigation projects as proposed by the Egyptian government to decrease GHGs as related to the waste sector are enumerated.

关键词： Waste Climate Change Biomass Egypt

Migration of existing software systems to mobile computing platforms:a systematic mapping study

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2021年第2期15卷 13-37页

作者： Ibrahim ALSEADOON Aakash AHMAD adel ALKHALIL Khalid SULTAN College of Computer Science and Engineering University of Ha’ilHa’il2440Saudi Arabia College of Engineering and Applied Sciences American University of KuwaitSalmiya13034Kuwait

Mobile computing has fast emerged as a pervasive technology to replace the old computing paradigms with portable computation and context-aware *** software systems can be migrated(while preserving their data and logic)to mobile computing platforms that support portability,context-sensitivity,and enhanced *** recent years,some research and development efforts have focused on a systematic migration of existing software systems to mobile computing *** investigate the research state-of-the-art on the migration of existing software systems to mobile computing *** aim to analyze the progression and impacts of existing research,highlight challenges and solutions that reflect dimensions of emerging and futuristic *** followed evidence-based software engineering(EBSE)method to conduct a systematic mapping study(SMS)of the existing research that has progressed over more than a decade(25 studies published from 1996–2017).We have derived a taxonomical classification and a holistic mapping of the existing research to investigate its progress,impacts,and potential areas of futuristic research and *** SMS has identified three types of migration namely Static,Dynamic,and State-based Migration of existing software systems to mobile computing *** to mobile computing platforms enables existing software systems to achieve portability,context-sensitivity,and high ***,mobile systems may face some challenges such as resource poverty,data security,and *** emerging and futuristic research aims to support patterns and tool support to automate the migration *** results of this SMS can benefit researchers and practitioners-by highlighting challenges,solutions,and tools,etc.,-to conceptualize the state-of-the-art and futuristic trends that support migration of existing software to mobile computing.

关键词： evidence-based software engineering mapping study software evolution mobile computing

Adaptive Cyber Defense Technique Based on Multiagent Reinforcement Learning Strategies

在线全文

学校读者我要写书评

暂无评论

Intelligent Automation & Soft Computing 2023年第6期36卷 2757-2771页

作者： adel Alshamrani Abdullah Alshahrani Department of Cybersecurity College of Computer Science and EngineeringUniversity of JeddahJeddahSaudi Arabia Department of Computer Science and Artificial Intelligence College of Computer Science and EngineeringUniversity of JeddahJeddahSaudi Arabia

The static nature of cyber defense systems gives attackers a sufficient amount of time to explore and further exploit the vulnerabilities of information technology *** this paper,we investigate a problem where multiagent sys-tems sensing and acting in an environment contribute to adaptive cyber *** present a learning strategy that enables multiple agents to learn optimal poli-cies using multiagent reinforcement learning(MARL).Our proposed approach is inspired by the multiarmed bandits(MAB)learning technique for multiple agents to cooperate in decision making or to work *** study a MAB approach in which defenders visit a system multiple times in an alternating fash-ion to maximize their rewards and protect their *** find that this game can be modeled from an individual player’s perspective as a restless MAB *** discover further results when the MAB takes the form of a pure birth process,such as a myopic optimal policy,as well as providing environments that offer the necessary incentives required for cooperation in multiplayer projects.

关键词： Multiarmed bandits reinforcement learning multiagents intrusion detection systems