Search results for: base%20of%20support

Authors: Dingyang Hu, Dan Liu

Abstract:

DNN (Deep Neural Network) deep learning models are widely used in classification, prediction, and other task scenarios. To address the difficulties of generic adversarial perturbation generation for deep learning models under black-box conditions, a generic adversarial ingestion generation method based on a saliency map (CJsp) is proposed to obtain salient image regions by counting the factors that influence the input features of an image on the output results. This method can be understood as a saliency map attack algorithm to obtain false classification results by reducing the weights of salient feature points. Experiments also demonstrate that this method can obtain a high success rate of migration attacks and is a batch adversarial sample generation method.

Keywords: adversarial sample, gradient, probability, black box

Procedia PDF Downloads 102

Authors: Mme Hamani Née Guessas Ghaniya

Abstract:

The transport is the base of the development of the exchanges and the business, being both a recognized determiner of the economic and social development. The development of the transport is in the center of the big challenges of development of countries, but it is also at the heart of big contradictions, since we integrate the environmental issues which are bound to him, in particular through the questions of energy. Indeed, the energy consumption by the sector of transport is one of bigger concerns, because it is increasing and it has a big impact on our environment. The main consequences are, the atmospheric pollution causing an increase of the greenhouse effect which causes a global warming. These global warming risks to engender a partial cast iron of polar caps so raising the level of seas, flooding the low coastal zones, certain islands and the deltas. Thus, the purpose of this communication is to present the impact of the energy consumption by the sector of transport on the air quality, showing its effect on the health and on the global warming.

Keywords: energy consumption, sector of transport, air quality, atmospheric pollution

Procedia PDF Downloads 328

Authors: L. Mouzai, M. Bouhadef

Abstract:

Rills begin to be generated once overland flow shear capacity overcomes the soil surface resistance. This resistance depends on soil texture, the arrangement of soil particles and on chemical and physical properties. The rill density could affect soil erosion, especially when the distance between the rills (interrill) contributes to the variation of the rill characteristics, and consequently on sediment concentration. To investigate this point, agricultural sandy soil, a soil tray of 0.2x1x3m³ and a piece of hardwood rectangular in shape to build up rills were the base of this work. The results have shown that small lines have been developed between the rills and the flow acceleration increased in comparison to the flow on the flat surface (interrill). Sediment concentration increased with increasing rill number (density).

Keywords: artificial rainfall, experiments, rills, soil erosion, transport capacity

Procedia PDF Downloads 162

Authors: Maryam Kiani

Abstract:

Non-precious electrocatalysts play a crucial role in the oxygen reduction reaction (ORR) for regenerative fuel cells and rechargeable metal-air batteries. To enhance ORR activity, La (a less active element) is added to modify the activity of Ni. This addition increases the surface contents of Ni2+, N, and S species in LaNi/N-S-C, while still maintaining a substantial specific surface area and hierarchical porosity. Therefore, the additional La is essential for the successful ORR process.In addition, the presence of extra La in the LaNi/N-S-C electrocatalyst enhances the efficiency of charge transfer and improves the surface acid-base characteristics, facilitating the adsorption of oxygen molecules during the ORR process. As a result, this superior and desirable electrocatalyst exhibits significantly enhanced ORR bifunctional activity. In fact, its ORR activity is comparable to that of the 20 wt% Pt/C.

Keywords: fuel cells, batteries, dual-doped carbon black, ORR

Procedia PDF Downloads 101

Authors: Jian-Jun Shu

Abstract:

The statistical properties of CRMs are explored by estimating similar-word set occurrence distribution. It is observed that CRMs tend to have a fat-tail distribution for similar-word set occurrence. Thus, the fat-tail test with two fatness coefficients is proposed to distinguish CRMs from non-CRMs, especially from exons. For the first fatness coefficient, the separation accuracy between CRMs and exons is increased as compared with the existing content-based CRM prediction method – fluffy-tail test. For the second fatness coefficient, the computing time is reduced as compared with fluffy-tail test, making it very suitable for long sequences and large data-base analysis in the post-genome time. Moreover, these indexes may be used to predict the CRMs which have not yet been observed experimentally. This can serve as a valuable filtering process for experiment.

Keywords: statistical approach, transcription factor binding sites, cis-regulatory modules, DNA sequences

Procedia PDF Downloads 289

Authors: Man Young Kim, Gyo Woo Lee

Abstract:

In this numerical study, we want to present the design of highly efficient extruded-type heat sink. The symmetrically arranged extruded-type heat sinks are used instead of a single extruded or swaged-type heat sink. In this parametric study, the maximum temperatures, the base temperatures between heaters, and the heat release rates were investigated with respect to the arrangements of heat sources, air flow rates, and amounts of heat input. Based on the results we believe that the use of both side of heat sink is to be much better for release the heat than the use of single side. Also from the results, it is believed that the symmetric arrangement of heat sources is recommended to achieve a higher heat transfer from the heat sink.

Keywords: heat sink, forced convection, heat transfer, performance evaluation, symmetrical arrangement

Procedia PDF Downloads 414

Authors: Denis A. Sokolov, Andrey V. Mazurkevich

Abstract:

In the modern world, there is an increasing demand for highly precise measurements in various fields, such as aircraft, shipbuilding, and rocket engineering. This has resulted in the development of appropriate measuring instruments that are capable of measuring the coordinates of objects within a range of up to 100 meters, with an accuracy of up to one micron. The calibration process for such optoelectronic measuring devices (trackers and total stations) involves comparing the measurement results from these devices to a reference measurement based on a linear or spatial basis. The reference used in such measurements could be a reference base or a reference range finder with the capability to measure angle increments (EDM). The base would serve as a set of reference points for this purpose. The concept of the EDM for replicating the unit of measurement has been implemented on a mobile platform, which allows for angular changes in the direction of laser radiation in two planes. To determine the distance to an object, a high-precision interferometer with its own design is employed. The laser radiation travels to the corner reflectors, which form a spatial reference with precisely known positions. When the femtosecond pulses from the reference arm and the measuring arm coincide, an interference signal is created, repeating at the frequency of the laser pulses. The distance between reference points determined by interference signals is calculated in accordance with recommendations from the International Bureau of Weights and Measures for the indirect measurement of time of light passage according to the definition of a meter. This distance is D/2 = c/2nF, approximately 2.5 meters, where c is the speed of light in a vacuum, n is the refractive index of a medium, and F is the frequency of femtosecond pulse repetition. The achieved uncertainty of type A measurement of the distance to reflectors 64 m (N•D/2, where N is an integer) away and spaced apart relative to each other at a distance of 1 m does not exceed 5 microns. The angular uncertainty is calculated theoretically since standard high-precision ring encoders will be used and are not a focus of research in this study. The Type B uncertainty components are not taken into account either, as the components that contribute most do not depend on the selected coordinate measuring method. This technology is being explored in the context of laboratory applications under controlled environmental conditions, where it is possible to achieve an advantage in terms of accuracy. In general, the EDM tests showed high accuracy, and theoretical calculations and experimental studies on an EDM prototype have shown that the uncertainty type A of distance measurements to reflectors can be less than 1 micrometer. The results of this research will be utilized to develop a highly accurate mobile absolute range finder designed for the calibration of high-precision laser trackers and laser rangefinders, as well as other equipment, using a 64 meter laboratory comparator as a reference.

Keywords: femtosecond laser, pulse correlation, interferometer, laser absolute range finder, coordinate measurement

Procedia PDF Downloads 57

Authors: L. Sellami, D. Idoughi, P. F. Tiako

Abstract:

Cloud computing provides infrastructure to the enterprise through the Internet allowing access to cloud services at anytime and anywhere. This pervasive aspect of the services, the distributed nature of data and the wide use of information make cloud computing vulnerable to intrusions that violate the security of the cloud. This requires the use of security mechanisms to detect malicious behavior in network communications and hosts such as intrusion detection systems (IDS). In this article, we focus on the detection of intrusion into the cloud sing IDSs. We base ourselves on client authentication in the computing cloud. This technique allows to detect the abnormal use of ubiquitous service and prevents the intrusion of cloud computing. This is an approach based on client authentication data. Our IDS provides intrusion detection inside and outside cloud computing network. It is a double protection approach: The security user node and the global security cloud computing.

Keywords: cloud computing, intrusion detection system, privacy, trust

Procedia PDF Downloads 321

Authors: Hyun-Jee Yang, Bit-Na Kwon, Yong-Jun Kim, Hyoung-Kyu Song

Abstract:

In the cooperative transmission scheme, both the cellular system and broadcasting system are composed. Two cellular base stations (CBSs) communicating with a user in the cell edge use cooperative transmission scheme in the conventional scheme. In the case that the distance between two CBSs and the user is distant, the conventional scheme does not guarantee the quality of the communication because the channel condition is bad. Therefore, if the distance between CBSs and a user is distant, the performance of the conventional scheme is decreased. Also, the bad channel condition has bad effects on the performance. The proposed scheme uses two relays to communicate well with CBSs when the channel condition between CBSs and the user is poor. Using the relay in the high attenuation environment can obtain both advantages of the high bit error rate (BER) and throughput performance.

Keywords: cooperative communications, diversity gain, OFDM, interworking system

Procedia PDF Downloads 573

Authors: Hamid Reza Goshayeshi

Abstract:

The effect of ɑ(alpha) Fe2O3 and ɤ(gamma)Fe2O3 particles on the heat transfer performance of an oscillating heat pipe was investigated experimentally. Kerosene was used as the base fluid for the OHP. Six size particles with average diameters of 10 nm, 20 nm, and 30 nm ɑFe2O3 and ɤFe2O3 were investigated, respectively. Experimental results show that the ɤFe2O3 particles added in the OHP significantly affect the heat transfer performance. When the OHP was charged with kerosene and 20 nm ɤ Fe2O3 particles, the OHP can achieve the best heat transfer performance among six particles investigated in this research.

Keywords: copper oscillating heat pipe, heat transfer, flow, comparison of ɑ(alpha)Fe2O3 and ɤ(gamma)Fe2O3, increase heat transfer

Procedia PDF Downloads 316

Authors: Maxwel F. Silva, José Geraldo Pedrosa

Abstract:

The issue revolves around the discourse on development that was current in Brazil in the late nineteenth and early twentieth century and its relation to industrialization as idea of civility, modernity and progress. The main objective of this paper is to analyze the workmanship of the visionary entrepreneur and organic intellectual Roberto Cochrane Simonsen (1889-1948). In the set of speeches, lectures and conferences pronounced by Simonsen, the USA constantly appears like model of civilization. The hypothesis is that, as base of the proposals of industrialization defended by him there was an idea of Americanism that would serve of foundation to a way of thinking and acting. For Simonsen, the construction of a nation is directly related to its industrialization. In his thought, develop the Brazil means to structure the country with rational economic mechanisms. This paper investigates the American influences on the discourse of Simonsen about the development of Brazil.

Keywords: Americanism, development of Brazil, Simonsen, social discourse

Procedia PDF Downloads 343

Authors: Anubhav Shrivastava Shivarudraswamy, Bhat Lakshya

Abstract:

Distributed generation has indeed become a major area of interest in recent years. Distributed generation can address a large number of loads in a power line and hence has better efficiency over the conventional methods. However, there are certain drawbacks associated with it, an increase in voltage being the major one. This paper addresses the voltage control at the buses for an IEEE 30 bus system by regulating reactive power. For carrying out the analysis, the suitable location for placing distributed generators (DG) is identified through load flow analysis and seeing where the voltage profile is dipping. MATLAB programming is used to regulate the voltage at all buses within +/- 5% of the base value even after the introduction of DGs. Three methods for regulation of voltage are discussed. A sensitivity based analysis is then carried out to determine the priority among the various methods listed in the paper.

Keywords: distributed generators, distributed system, reactive power, voltage control, sensitivity analysis

Procedia PDF Downloads 656

Authors: Asad Abbas, Muhammad Fezan Afzal, Muhammad Latif Anjum, Muhammad Azmat

Abstract:

The Internet of Things (IoT) is used to link up real objects that use the internet to interact. IoT applications allow handling and operating the equipment in accordance with environmental needs, such as transportation and healthcare. IoT devices are linked together via a number of agents that act as a middleman for communications. The operation of a heat sensor differs indoors and outside because agent applications work with environmental variables. In this article, we suggest using Software Product Line (SPL) to model IoT agents and applications' features on an XML-based basis. The contextual diversity within the same domain of application can be handled, and the reusability of features is increased by XML-based feature modelling. For the purpose of managing contextual variability, we have embraced XML for modelling IoT applications, agents, and internet-connected devices.

Keywords: IoT agents, IoT applications, software product line, feature model, XML

Procedia PDF Downloads 92

Authors: Fernando Doral

Abstract:

Family businesses are a key phenomenon within the business landscape. Nevertheless, it involves two terms (“family” and “business”) which are nowadays rapidly evolving. Consequently, it isn't easy to diagnose if a family business will be a growing or decreasing phenomenon, which is the objective of this study. For that purpose, a sample of 50 Spanish-established companies from various sectors was taken. Different factors were identified for each enterprise, related to the profile of the founders, such as age, the number of sons and daughters, or support received from the family at the moment to start it up. That information was taken as an input for a clustering method to identify groups, which could help define the founders' profiles. That characterization was carried as a base to identify three factors whose evolution should be analyzed: family structures, business landscape and entrepreneurs' motivations. The analysis of the evolution of these three factors seems to indicate a negative tendency of family businesses. Therefore the consequent diagnosis of this study is to consider family businesses as a declining phenomenon.

Keywords: business diagnose, business trends, family business, family business founders

Procedia PDF Downloads 205

Authors: Yunice Karina Tumewang

Abstract:

As we have seen, the number of Muslim and their awareness toward financial products and services that conform to Islamic principles are growing rapidly today. Thus, it makes the market environment potentially beneficial for Shari-compliant funds with the expanding prospective client base. However, over the last decade, only small portion of this huge potential market has been covered by the established Islamic asset management firms. This study aims to examine the factors of this untapped market particularly in the demand side. This study will use the qualitative method with primary data through a questionnaire distributed to 500 samples of Muslim population. It will shed light on Muslim attitudes and expectations toward Sharia-compliant retirement planning and pensions. It will also help to raise the awareness of market players to see Islamic pension fund as a promising industry in the foreseeable future.

Keywords: Islamic marketing, Islamic finance, Islamic asset management, Islamic pension fund

Procedia PDF Downloads 336

Authors: Arash Mir Abdolah Lavasani, M. Ebrahimisabet

Abstract:

In this paper, the 2-D unsteady viscous flow around two cam shaped cylinders in tandem arrangement is numerically simulated in order to study the characteristics of the flow in turbulent regimes. The investigation covers the effects of high subcritical and supercritical Reynolds numbers and L/D ratio on total drag coefficient. The equivalent diameter of cylinders is 27.6 mm The space between center to center of two cam shaped cylinders is define as longitudinal pitch ratio and it varies in range of 1.5 < L/D < 6. Reynolds number base on equivalent circular cylinder varies in range of 27×103 < Re < 166×103 Results show that drag coefficient of both cylinders depends on pitch ratio. However drag coefficient of downstream cylinder is more dependent on the pitch ratio.

Keywords: cam shaped, tandem, numerical, drag coefficient, turbulent

Procedia PDF Downloads 459

Authors: A. Hany A. Khater, G. M. Mostafa, M. R. Badawy

Abstract:

The techno-economic analysis of the nuclear desalination is a very important tool that enables studying of the mutual effects between the nuclear power plant and the coupled desalination plant under different operating conditions, and hence investigating the feasibility of safe and economical production of potable water. For this purpose, a comprehensive model for both technical and economic performance evaluation of the nuclear desalination has been prepared. The developed model has the capability to be used in performing a parametric study for the performance measuring parameters of the nuclear desalination system. Also a sensitivity analysis of varying important factors such as interest/discount rate, power plant availability, fossil fuel prices, purchased electricity price, nuclear fuel cost, and specific base cost for both power and water plant has been conducted.

Keywords: uclear desalination, PWR, MED, MED-TVC, MSF, RO

Procedia PDF Downloads 723

Authors: A. Elrefaei

Abstract:

The possibility of having sheets with different thicknesses and materials in one assembly facilitates the optimal material distribution within the final product and reduces the weight of the structure. Ability of joining process to assembly these different material combinations is always a challenge to the designer. In this study, 0.6 mm thick 6061-T6 and 2 mm thick 5182-O were robot CMT welded using ER5356 and ER4043 filler metals. The thermal effect of welding resulted in a loss of hardness in the 6061 HAZ. Joints welded by ER5356 filler metal were much higher in fracture load than joints welded by ER4043 and the elongation of joints welded by ER5356 was almost double its corresponding joints welded by ER4043 filler. Owing to the big difference in formability and thickness of base metals, the fracture in forming test occurred in the softened 6061 HAZ out from the weld centerline.

Keywords: aluminum, CMT, mechanical, welding

Procedia PDF Downloads 227

Authors: Murat Sarı, Emin Gundogar, Mumtaz Ipek

Abstract:

Nowadays, in a furniture sector, competition of market share (portion) and production variety and changeability enforce the firm to reengineer operations on manufacturing line to increase the productivity. In this study, spring mattress manufacturing line of the furniture manufacturing firm is analyzed analytically. It’s intended to search and find the bottlenecks of production to balance the semi-finished material flow. There are four base points required to investigate in bottleneck elimination process. These are bottlenecks of Method, Material, Machine and Man (work force) resources, respectively. Mentioned bottlenecks are investigated and varied scenarios are created for recruitment of manufacturing system. Probable near optimal alternatives are determined by system models built in Arena simulation software.

Keywords: bottleneck search, buffer stock, furniture sector, simulation

Procedia PDF Downloads 356

Authors: Klaus Peter Scherer, Daniel Knöll, Constantin Rieder

Abstract:

Problem and Purpose: Intelligent systems are available and helpful to support the human being decision process, especially when complex surgical eye interventions are necessary and must be performed. Normally, such a decision support system consists of a knowledge-based module, which is responsible for the real assistance power, given by an explanation and logical reasoning processes. The interview based acquisition and generation of the complex knowledge itself is very crucial, because there are different correlations between the complex parameters. So, in this project (semi)automated self-learning methods are researched and developed for an enhancement of the quality of such a decision support system. Methods: For ophthalmic data sets of real patients in a hospital, advanced data mining procedures seem to be very helpful. Especially subgroup analysis methods are developed, extended and used to analyze and find out the correlations and conditional dependencies between the structured patient data. After finding causal dependencies, a ranking must be performed for the generation of rule-based representations. For this, anonymous patient data are transformed into a special machine language format. The imported data are used as input for algorithms of conditioned probability methods to calculate the parameter distributions concerning a special given goal parameter. Results: In the field of knowledge discovery advanced methods and applications could be performed to produce operation and patient related correlations. So, new knowledge was generated by finding causal relations between the operational equipment, the medical instances and patient specific history by a dependency ranking process. After transformation in association rules logically based representations were available for the clinical experts to evaluate the new knowledge. The structured data sets take account of about 80 parameters as special characteristic features per patient. For different extended patient groups (100, 300, 500), as well one target value as well multi-target values were set for the subgroup analysis. So the newly generated hypotheses could be interpreted regarding the dependency or independency of patient number. Conclusions: The aim and the advantage of such a semi-automatically self-learning process are the extensions of the knowledge base by finding new parameter correlations. The discovered knowledge is transformed into association rules and serves as rule-based representation of the knowledge in the knowledge base. Even more, than one goal parameter of interest can be considered by the semi-automated learning process. With ranking procedures, the most strong premises and also conjunctive associated conditions can be found to conclude the interested goal parameter. So the knowledge, hidden in structured tables or lists can be extracted as rule-based representation. This is a real assistance power for the communication with the clinical experts.

Keywords: an expert system, knowledge-based support, ophthalmic decision support, self-learning methods

Procedia PDF Downloads 252

Authors: Amir Dehshiri, Mohammad Reza Salimpour

Abstract:

In the present article, we investigate experimental laminar forced convective heat transfer specifications of TiO2/water nanofluids through conduits with different cross sections. We check the effects of different parameters such as cross-sectional shape, Reynolds number and concentration of nanoparticles in stable suspension on increasing convective heat transfer by designing and assembling of an experimental apparatus. The results demonstrate adding a little amount of nanoparticles to the base fluid, improves heat transfer behavior in conduits. Moreover, conduit with circular cross-section has better performance compared to the square and triangular cross sections. However, conduits with square and triangular cross sections have more relative heat transfer enhancement than conduit with circular cross section.

Keywords: nanofluid, cross-sectional shape, TiO2, convection

Procedia PDF Downloads 448

Authors: Atul K. Desai, Hemal J. Shah

Abstract:

The tall windmill towers are designed as monopole tower or lattice tower. In the present research, a 125-meter high hybrid tower which is a combination of lattice and monopole type is proposed. The response of hybrid tower is compared with conventional monopole tower. The towers were analyzed in finite element method software considering nonlinear seismic time history load. The synthetic seismic time history for different soil is derived using the SeismoARTIF software. From the present research, it is concluded that, in the hybrid tower, we are not getting resonance condition. The base shear is less in hybrid tower compared to monopole tower for different soil conditions.

Keywords: dynamic analysis, hybrid wind mill tower, resonance condition, synthetic time history

Procedia PDF Downloads 147

Authors: Ligang Wang, Theodoros Damartzis, Stefan Diethelm, Jan Van Herle, François Marechal

Abstract:

Biogas production from anaerobic digestion of organic sludge from wastewater treatment as well as various urban and agricultural organic wastes is of great significance to achieve a sustainable society. Two upgrading approaches for cleaned biogas can be considered: (1) direct H₂ injection for catalytic CO₂ methanation and (2) CO₂ separation from biogas. The first approach usually employs electrolysis technologies to generate hydrogen and increases the biogas production rate; while the second one usually applies commercially-available highly-selective membrane technologies to efficiently extract CO₂ from the biogas with the latter being then sent afterward for compression and storage for further use. A straightforward way of utilizing the captured CO₂ is on-site catalytic CO₂ methanation. From the perspective of system complexity, the second approach may be questioned, since it introduces an additional expensive membrane component for producing the same amount of methane. However, given the circumstance that the sustainability of the produced biogas should be retained after biogas upgrading, renewable electricity should be supplied to drive the electrolyzer. Therefore, considering the intermittent nature and seasonal variation of renewable electricity supply, the second approach offers high operational flexibility. This indicates that these two approaches should be compared based on the availability and scale of the local renewable power supply and not only the technical systems themselves. Solid-oxide electrolysis generally offers high overall system efficiency, and more importantly, it can achieve simultaneous electrolysis of CO₂ and H₂O (namely, co-electrolysis), which may bring significant benefits for the case of CO₂ separation from the produced biogas. When taking co-electrolysis into account, two additional upgrading approaches can be proposed: (1) direct steam injection into the biogas with the mixture going through the SOE, and (2) CO₂ separation from biogas which can be used later for co-electrolysis. The case study of integrating SOE to a wastewater treatment plant is investigated with wind power as the renewable power. The dynamic production of biogas is provided on an hourly basis with the corresponding oxygen and heating requirements. All four approaches mentioned above are investigated and compared thermo-economically: (a) steam-electrolysis with grid power, as the base case for steam electrolysis, (b) CO₂ separation and co-electrolysis with grid power, as the base case for co-electrolysis, (c) steam-electrolysis and CO₂ separation (and storage) with wind power, and (d) co-electrolysis and CO₂ separation (and storage) with wind power. The influence of the scale of wind power supply is investigated by a sensitivity analysis. The results derived provide general understanding on the economic competitiveness of SOE for sustainable biogas upgrading, thus assisting the decision making for biogas production sites. The research leading to the presented work is funded by European Union’s Horizon 2020 under grant agreements n° 699892 (ECo, topic H2020-JTI-FCH-2015-1) and SCCER BIOSWEET.

Keywords: biogas upgrading, solid-oxide electrolyzer, co-electrolysis, CO₂ utilization, energy storage

Procedia PDF Downloads 153

Authors: Mohammad R. Salimpour

Abstract:

In this study, we investigate experimental laminar forced convective heat transfer specifications of TiO2/water nanofluids through conduits with different cross sections. Ee check the effects of different parameters such as cross sectional shape, Reynolds number and concentration of nanoparticles in stable suspension on increasing convective heat transfer by designing and assembling of an experimental apparatus. The results demonstrate adding a little amount of nanoparticles to the base fluid, improves heat transfer behavior in conduits. Moreover, conduit with circular cross-section has better performance compared to the square and triangular cross sections. However, conduits with square and triangular cross sections have more relative heat transfer enhancement than conduit with circular cross section.

Keywords: nanofluid, cross-sectional shape, TiO2, convection

Procedia PDF Downloads 389

Authors: Zi Wang, Xinlei He, Jianghua Lv, Yuqing Lan

Abstract:

Kernel though widely used, is complicated. Errors caused by some bugs are often costly. Statically, more than half of the mistakes occur in the design phase. Thus, we introduce a modeling method, KMVM (Linux Kernel Modeling and verification Method), based on type theory for proper designation and correct exploitation of the Kernel. In the model, the Kernel is separated into six levels: subsystem, dentry, file, struct, func, and base. Each level is treated as a type. The types are specified in the structure and relationship. At the same time, we use a demanding path to express the function to be implemented. The correctness of the design is verified by recursively checking the type relationship and type existence. The method has been applied to verify the OPEN business of VFS (virtual file system) in Linux Kernel. Also, we have designed and developed a set of security communication mechanisms in the Kernel with verification.

Keywords: formal approach, type theory, Linux Kernel, software program

Procedia PDF Downloads 134

Authors: Prakash Khatarkar, P. A. Khan, Shweta Mukherjee, Roshni Atulkar, P. K. Purohit, A. K. Gwal

Abstract:

We have investigated the occurrence characteristics of ionospheric scintillations, using dual frequency GPS, installed and operated at Indian scientific base station Maitri (71.45S and 11.45E), Antarctica, during December 2009 to December 2010. The scintillation morphology is described in terms of S4 Index. The scintillations are classified into four main categories as Weak (0.21.0). From the analysis we found that the percentage of weak, moderate, strong and saturated scintillations were 96%, 80%, 58% and 7%, respectively. The maximum percentage of all types of scintillation was observed in the summer season, followed by equinox and the least in winter season. As the year 2010 was a low solar activity period, consequently the maximum occurrences of scintillations were those of weak and moderate and only four cases of saturated scintillation were observed.

Keywords: L-band scintillation, GPS, auroral region, low solar activity

Procedia PDF Downloads 645

Authors: Prakash Prajapati

Abstract:

E commerce is certainly one of the business alternatives that individual will have to analyze in the forthcoming years. E-commerce is said to bring about arched type conversion in the world for exchange market. Prognosis E-commerce is presenting dreadful business advancement in our country. Endorsed by ascending online user base & mobile phone presentation, Indian e-commerce has been splendid development in the last few years. Conceding India’s analytical dividend and spiraling internet admittance, the sector is contracted to scale higher heights. Although, India’s overall peddle opportunity is consequential, the sector is beset with some deliberate challenges. The current study has been proceeded to explore the present scenario, status & future advancement of e-commerce in India and review the challenges and opportunities of e-commerce in India.

Keywords: online selling, retail selling online, product process, business opportunity

Procedia PDF Downloads 144

Authors: Basit Shahzad, Abdullatif M. Abdullatif

Abstract:

Recent advancements in Information and Communication Technologies (ICT) and easy access to Internet have made social media the first choice for information sharing related to any important events or news. On Twitter, trend is a common feature that quantifies the level of popularity of a certain news or event. In this work, we examine the impact of Twitter trends on real world events by hypothesizing that Twitter trends have an influence on print media in Pakistan. For this, Twitter is used as a platform and Twitter trends as a base line. We first collect data from two sources (Twitter trends and print media) in the period May to August 2016. Obtained data from two sources is analyzed and it is observed that social media is significantly influencing the print media and majority of the news printed in newspaper are posted on Twitter earlier.

Keywords: twitter trends, text mining, effectiveness of trends, print media

Procedia PDF Downloads 256

Authors: Srinivas Nerella

Abstract:

A series of new heterodentate N, O-donor ligands derived from condensing 3-amino Coumarins with hydroxy benzaldehydes and acetophenones were used to afford new mononuclear Mn(II), Co(II), Ni(II), Cu(II), Zn(II) and Pd(II) coordination compounds. All the complexes were characterized by IR, 1H-NMR, 13C-NMR, Mass, ESR, Electronic spectra, Conductance, Magnetic and Thermal studies. The ligands show hexa coordination in Mn(II), Co(II), Ni(II), and Pd(II) complexes resulting octahedral geometries, while the ligands in Zn(II) and Cu(II) complexes show tetra coordination resulting tetrahedral and square planar geometries respectively. These mononuclear complexes were investigated as catalysts in the hydrothiolation of aromatic and aliphatic alkynes with thiols. These metal complexes were acted as versatile catalysts and gave good yields.

Keywords: schiff bases, divalent metal complexes of schiff bases, Catalytic activity, hydrothiolation

Procedia PDF Downloads 414

Authors: Supaporn Wimonchailerk

Abstract:

This research aims to critical analyze the feminine violent within Thai daily newspaper. This study was qualitative base; content analysis from two popular newspapers (Thairath and Dailynews) two qualitative newspapers (Thaipost and Mathichon). Purposive sampling was used to select eleven specialize news reporters to do in-depth interview. The result found that, popular newspapers, Thairath and dailynews have presented feminine violent news in their paper more than Thaipost and Mathichon the qualitative newspaper. Beside, majority of sample present the feminine violent within news under the code of ethic, The National Press Council of Thailand. Interesting, the age of feminine violent victim was the information that has been focused most. The popular newspaper have illustrated crime scene photo on their first-page while qualitative newspaper used only headline to present the same news.

Keywords: ethic, feminine, journalism, newspaper, violent victim

Procedia PDF Downloads 188