发布求助
文献互助 智能选刊 最新文献

Int. J. Comput. Aided Eng. Technol.最新文献

筛选
英文 中文
A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach 重写基于逻辑的语义和UML活动图的分析:一种图转换方法
Int. J. Comput. Aided Eng. Technol. Pub Date : 2020-01-17 DOI: 10.1504/ijcaet.2020.10026291
E. Kerkouche, Khaled Khalfaoui, A. Chaoui
{"title":"A rewriting logic-based semantics and analysis of UML activity diagrams: a graph transformation approach","authors":"E. Kerkouche, Khaled Khalfaoui, A. Chaoui","doi":"10.1504/ijcaet.2020.10026291","DOIUrl":"https://doi.org/10.1504/ijcaet.2020.10026291","url":null,"abstract":"Activity diagrams are UML behaviour diagrams which describe global dynamic behaviours of systems in a user-friendly manner. Nevertheless, UML notations lack firm semantics which make them unsuitable for formal analysis. Formal methods are suitable techniques for systems analysis. Rewriting logic and its language Maude provides a powerful formal method with flexible and expressive semantics for the specification and the analysis of systems behaviour. However, the learning cost of these methods is very high. The aim of this paper is to integrate UML with formal notation in order to make the UML semantics more precise which allow rigorous analysis of its models. In this paper, we propose a graph transformation-based approach to generate automatically Maude specifications from UML activity diagrams. The proposed approach is automated using the AToM3 tool and it is illustrated through an example.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-01-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116624245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Design and analysis of C/Ka/V multiband miniaturised antenna for next generation network applications 面向下一代网络应用的C/Ka/V多波段小型化天线设计与分析
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-11-01 DOI: 10.1504/IJCAET.2022.10038721
Umar Farooq, G. M. Rather
{"title":"Design and analysis of C/Ka/V multiband miniaturised antenna for next generation network applications","authors":"Umar Farooq, G. M. Rather","doi":"10.1504/IJCAET.2022.10038721","DOIUrl":"https://doi.org/10.1504/IJCAET.2022.10038721","url":null,"abstract":"","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"115 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114280692","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hall effects on MHD flow of a visco-elastic fluid through a porous medium over an infinite oscillating plate with heat source and chemical reaction 具有热源和化学反应的粘弹性流体通过多孔介质时MHD流动的霍尔效应
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-16 DOI: 10.1504/IJCAET.2019.10022395
M. Krishna
{"title":"Hall effects on MHD flow of a visco-elastic fluid through a porous medium over an infinite oscillating plate with heat source and chemical reaction","authors":"M. Krishna","doi":"10.1504/IJCAET.2019.10022395","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022395","url":null,"abstract":"In this paper, we have considered the unsteady flow of an incompressible visco-elastic liquid of the Walter B' model with simultaneous heat and mass transfer near an oscillating porous plate in slip flow regime taking hall current into account. The governing equations of the flow field are solved by a regular perturbation method for small elastic parameter. The expressions for the velocity, temperature, concentration have been derived analytically and also its behaviour is computationally discussed with reference to different flow parameters with the help of graphs. The skin friction on the boundary, the heat flux in terms of the Nusselt number, and the rate of mass transfer in terms of the Sherwood number are also obtained and their behaviour discussed.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131147736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Cost minimisation technique in geo-distributed data centres 地理分布数据中心的成本最小化技术
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-05 DOI: 10.1504/IJCAET.2019.10022394
Ayesheh Ahrari Khalaf, A. H. Hashim
{"title":"Cost minimisation technique in geo-distributed data centres","authors":"Ayesheh Ahrari Khalaf, A. H. Hashim","doi":"10.1504/IJCAET.2019.10022394","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022394","url":null,"abstract":"Significant growth of Big Data leads to a great opportunity for data analysis. Data centres are continuously becoming more popular. At the same time data centres' cost are increasing as the amount of data is growing. Simply as Big Data is significantly increasing, data centres are facing new challenges. Hence the idea of geo-distributed data centre is introduced. This project investigates on the main challenges that data centres face and presents an enhanced technique for cost optimisation in geographical distributed data centres. Parameters involved such as task assignment, task placement, big data processing and quality of service are analysed. Analytical evaluation results show that joint parameters technique proposed outperformed separate parameter techniques in some cases even with 20% enhancement. Academic Gurobi solver is used for the evaluation.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125761387","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Effect of algorithm parameters in development of spiral tool path for machining of 2.5D star-shaped pockets 算法参数对2.5D星形口袋加工螺旋刀轨开发的影响
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-04 DOI: 10.1504/IJCAET.2020.10011055
Divyangkumar D. Patel, D. I. Lalwani
{"title":"Effect of algorithm parameters in development of spiral tool path for machining of 2.5D star-shaped pockets","authors":"Divyangkumar D. Patel, D. I. Lalwani","doi":"10.1504/IJCAET.2020.10011055","DOIUrl":"https://doi.org/10.1504/IJCAET.2020.10011055","url":null,"abstract":"2.5D pocket milling is extensively used in aerospace, shipyard, automobile, dies and moulds industries. In machining of 2.5D pockets, directional parallel tool-path and contour parallel tool-path are widely used. However, these tool paths significantly limit the machining efficiency. In the present work, an attempt has been made to generate a spiral tool path for machining of 2.5D star-shaped pocket for improving machining efficiency. The successful generation of spiral tool path depends on various algorithm parameters such as mesh size, permissible error and number of degree-steps. The effect of these parameters on spiral tool path generation is discussed and the best values are reported. The spiral tool path is developed using second order elliptic partial differential equation (PDE) and it is free from sharp corners inside the pocket region. Further, the implementation of proposed method is presented on complex non-star-shaped polygon, pocket bounded by free-form curve and pocket with island.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125757396","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Shape definition and parameters validation through sheet metal feature for CNC dental wire bending 基于钣金特征的数控牙丝弯曲形状定义及参数验证
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-04 DOI: 10.1504/IJCAET.2019.10022408
R. Hamid, Teruaki Ito
{"title":"Shape definition and parameters validation through sheet metal feature for CNC dental wire bending","authors":"R. Hamid, Teruaki Ito","doi":"10.1504/IJCAET.2019.10022408","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022408","url":null,"abstract":"The present study is conducted to validate the calculated computer-aided manufacturing (CAM) data, or the bending code (B-code) according to the theory of 3D linear segmentation algorithm. The theory uses Cartesian coordinates of the segmented 3D lines and produces the desired bending parameters in terms of feeding length (L), the plane rotation angle (β) and bend angle (θ). The parameters are intended to control and drive the computer numerical control (CNC) dental wire bending machine. This paper aims to give an early theoretical result of the wire bending operation and does not consider material properties in the calculation. By a reverse engineering approach, the design of the pre-fabricated dental wire is done in sheet metal feature to virtually simulate the wire bending operation. As a result, the generated sheet metal bending parameters are compared with the calculated bending parameters. To conclude, the introduced theory has been validated in the present work.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130001886","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Automatic generation of agent-based models of migratory waterfowl for epidemiological analyses 基于agent的迁徙水禽流行病学分析模型的自动生成
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-04 DOI: 10.1504/IJCAET.2019.10022403
D. Rao, A. Chernyakhovsky
{"title":"Automatic generation of agent-based models of migratory waterfowl for epidemiological analyses","authors":"D. Rao, A. Chernyakhovsky","doi":"10.1504/IJCAET.2019.10022403","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022403","url":null,"abstract":"Seasonal migration of waterfowl, in which avian influenza viruses are enzootic, plays a strong role in the ecology of this disease. Consequently, detailed analysis of migratory patterns and its influence on disease ecology is needed to aid design and assessment of prophylaxis and containment strategies. Accordingly, this paper proposes a novel methodology for generating a global agent-based model involving detailed migratory patterns of waterfowl. The methodology transforms geographic information systems (GIS) data to generate metapopulation for agents that model collocated flocks of birds. Generic migratory corridors are suitably adapted to model migratory flyways for each waterfowl metapopulation. The resulting data is generated in XML format compatible with our simulation-based epidemiological analysis environment called SEARUMS. Case studies conducted using SEARUMS and the generated models for high-risk waterfowl species indicate good correlation between simulated and observed viral dispersion patterns, demonstrating the effectiveness of the proposed methodology.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132278024","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Enhanced approach for test suite optimisation using genetic algorithm 使用遗传算法优化测试套件的改进方法
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-04 DOI: 10.1504/IJCAET.2019.10022393
Manju Khari, Prabhat Kumar, Gulshan Shrivastava
{"title":"Enhanced approach for test suite optimisation using genetic algorithm","authors":"Manju Khari, Prabhat Kumar, Gulshan Shrivastava","doi":"10.1504/IJCAET.2019.10022393","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022393","url":null,"abstract":"The software is growing in size and complexity every day due to which strong need is felt by the research community to search for the techniques which can optimise test cases effectively. Search based test cases optimisation has been a key domain of interest for the researchers. Test case optimisation techniques selectively pick up only those test cases from the pool of all available test data which satisfies the predefined testing criteria. The current study is inspired by the ants and genetic behaviour of finding paths for the purpose of finding good optimal solution. The proposed algorithm is GACO algorithm, the genetic algorithm (GA) and ant colony optimisation (ACO) is used to find a suitable solution to solve optimisation problems. The performance of the proposed algorithm is verified on the basis of various parameters namely running time, complexity, efficiency of test cases and branch coverage. The results suggest that proposed algorithm is significantly average percentage better than ACO and GA in reducing the number of test cases in order to accomplish the optimisation target. The inspiring result raises the need to carry out future work.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134009279","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Optimised adaptive speech coder for software defined radio 优化自适应语音编码器的软件定义无线电
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-04 DOI: 10.1504/IJCAET.2019.10022396
Sheetal D. Gunjal, R. Raut
{"title":"Optimised adaptive speech coder for software defined radio","authors":"Sheetal D. Gunjal, R. Raut","doi":"10.1504/IJCAET.2019.10022396","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022396","url":null,"abstract":"In this paper, use of discrete wavelet transform (DWT) along with discrete cosine transform (DCT) is proposed to exploit speech coding parameters such as bit rate, compression ratio, delay and quality so as to fit the proposed coder in the family of existing speech coders'. The proposed coding technique is applied on different speech signals with fix frame size and desired bit rates. The obtained simulation result shows that the proposed coding technique outperforms in compression ratio with compatible processing delay. The mean opinion score (MOS) assessment shows its effective working at different bit rates (13 Kbps to 256 Kbps). The coder is also tested successfully on ARM 9 based software defined radio (SDR) platform at different frequency bands with desired bit rates. Hence, the coder may be considered as one size fits all type of coder for efficient utilisation of available frequency spectrum in mobile communication.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126705777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Intelligent mobile robot navigation using a neuro-fuzzy approach 基于神经模糊方法的智能移动机器人导航
Int. J. Comput. Aided Eng. Technol. Pub Date : 2019-07-04 DOI: 10.1504/IJCAET.2019.10022397
S. Brahimi, O. Azouaoui, M. Loudini
{"title":"Intelligent mobile robot navigation using a neuro-fuzzy approach","authors":"S. Brahimi, O. Azouaoui, M. Loudini","doi":"10.1504/IJCAET.2019.10022397","DOIUrl":"https://doi.org/10.1504/IJCAET.2019.10022397","url":null,"abstract":"This paper introduces an intelligent navigation system allowing a car-like robot to attain its destination autonomously, intelligently and safely. Based on a neuro-fuzzy (FNN) approach, the applied technique permits the robot to avoid all encountered obstacles and seek for its target's location in a local manner referring to the concepts of learning and adaptation. It uses two fuzzy Artmap neural networks, a reinforcement trial and error neural network and a Mamdani fuzzy logic controller (FLC). Experimental results in the Generator of modules (GenoM) robotics architecture, in an unknown environment, shows the FNN effectiveness for the autonomous mobile robot Robucar.","PeriodicalId":346646,"journal":{"name":"Int. J. Comput. Aided Eng. Technol.","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114852166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信