Abstract: Our new approach to the calculus of mobile ambients is suitable for expressing the dynamic properties of mobile code applications, where the main goal is to avoid the ambiguities and possible maliciousness of some constructions. We define a behavioral scheme assigned to process types that statically specifies and checks access rights for authorization of ambients and threads to communicate and move. As an expressiveness test, we showed that the well-known π-calculus of concurrency and mobility can be encoded in our calculus in a natural way.
Keywords: process calculi; mobile code; type system
Abstract: Castamide, a kind of casting polyamide, is widely used in industry because of its light weight and high corrosion resistance, and because of its impact-resistant, oil-free and silent operation. The scope of its usage has been increasing. It is used in the packaging, textiles, chemicals, leather, construction and heavy machinery manufacturing sectors. Particularly, in the manufacture of machine parts like gears surface roughness of which is crucial, it has superseded many metals because it is important to be able to predict the surface roughness to get more qualified materials. The aim of this study is to predict the surface roughness of Castamide material after machining process using ANN (artificial neural network). In this study, experiments on Castamide were done in CNC milling using high speed steel and hard metal carbide tools. The cutting parameters (cutting speed, feed rate and depth of cut) were changed and the average surface roughness (Ra, μm) values were obtained. In the experiments, the effects of cutting tools with the same diameters, but with different cutting edges and tool materials on average surface roughness were also investigated. The data were used to train and test a dynamic ANN model. It is quite clear from the model results that the surface roughness predicted by the ANN model matches well with the training data as well as the test data. The developed model has managed to is to the surface roughness with correlation rate of 83.6% and minimum error rate of 0.02.
Keywords: Surface roughness; Castamide; ANN; End milling; Cutting edge
Abstract: The influence of shot peening on the surfaces of Mg-Al-Zn-Mn and Ti-Al-Zr-Nb alloys is described by the authors. There are the estimates focusing on roughness of the shot peened surfaces and on a size of selected shot peened material - the corundum. Based on the results of measurements, the evaluation was oriented to the curve of roughness, the functionality of surface roughness Ra and the necessary quantity of the shot peening material qnR of estimated material depending on the grain size dz.
Keywords: shot peening; functional surface; surface roughness
Abstract: Information Technology (IT) is fast becoming useful in implementing time, case, manpower and cost management strategies within judicial services. The legal system environment has adopted IT not just to save costs and time but also to give organizations a competitive edge and to ensure security as well. The Legal Business Information System is a fully operational and integrated system for a legal department. The mission of the department is to provide innovative and quality services in insolvency and trustee matters. Very few legal business information system implementations are documented in literature. Therefore this paper will facilitate understanding of system implementation in this sector.
Keywords: Legal business information system; Information Technology; Implementation; Process
Abstract: The paper presents a software framework that was designed and implemented within the FP6 IST EU project Access-eGov to integrate governmental services of various types, i.e. on-line (electronic and web services), as well as off-line (i.e. traditional, face-toface) services by means of enhancing the service description with semantic information. The user-centric approach of life events is employed for presenting complex workflow sequences to the end users. The system architecture, functionality, and structure of underlying ontologies is described together with a mechanism for the orchestration and choreography of semantic web services in WSMO. The framework includes tools for the maintenance of semantically enriched services and for presenting the services to the citizens via customisable web interfaces. The paper concludes with an outline of the results obtained from the testing and evaluation of the implemented Access-eGov platform in real settings within public administrations in Slovakia, Poland, and Germany.
Keywords: semantic interoperability; e-Govenrment; web services; ontologies; WSMO
Abstract: This paper presents the determination of the central axis of d’Alembert’s fictitious forces system for plane bars and plates in uniform rotation motion around an axis in their plane. General cases of bars and plates are studied. A general law for the determination of the support of the resultant vector of d’Alembert’s fictitious forces is established. This law is based on the position of the center of mass of the rotation surface and body generated by the bar and the plate in rotation, respectively.
Keywords: plate; bar; rotation; d’Alembert’s fictitious forces; support of the resultant vector
Abstract: The article deals with designing internal artificial lighting as part of the work on the environment, which is subject to certain rules, derived from the nature of lighting. Good lighting exerts an impact on visual comfort – which contributes to overall psychological well-being, and indirectly also to the quality and productivity of performance, to reliability, and to visual performance – and which must be maintained, especially in long-term operations and in adverse conditions, to ensure quality of work and safety. One of the most frequently raised requirements for project design nowadays is speed; therefore a successful project cannot be done without good application software. The result is hundreds of drawings and various other outputs, which, without good software, cannot be handled within a short period of time. Modeling and simulation technologies are tools to streamline the presentation and assess the risks for the implementation.
Keywords: working environment; light; lighting microclimate; simulation
Abstract: The evasion of income taxes causes the national budget of Hungary great damage. Just the partial prevention of it would greatly benefit the state balance and the realization of economic policy in Hungary. Repelling income tax evasion can only be achieved by various means. These are the following: To identify and abolish its reasons and causes; to post strict regulations consistent with EU legislation; to close legal gaps; not to concentrate on penalties; to reduce high taxes and the exorbitant income centralization of the state; to take the moral education for serious as well as the legal harmonization and effect analysis for the various decisions.
Keywords: evasion of income; national budget; reasons and causes; legal harmonization and effect analysis
Abstract: Types with behavioral scheme for mobile ambients are suitable for expressing the dynamic properties of mobile code applications, where the main goal is to avoid the ambiguities and possible maliciousness of some standard ambient constructions. We can statically specify and check access rights for the authorization of ambients and threads to communicate and move. We define a language which expresses software agents migration in the space of distributed places. This allows us to understand various aspects of code mobility.
Keywords: code mobility; software agents; type system
Abstract: The main purpose of this study is to predict the seismic performance of liquid storage tanks using an Artificial Neural Network (ANN) model. In order to develop this model, 240 seismic data were collected from relevant literature. Fifty samples were randomly selected as a test set, while the remaining 190 samples were used to train the network. The data used in the ANN model were arranged in a format of six input parameters: peak ground acceleration (PGA), tank diameter (D), tank height (H), ratio of H/D, height of liquid during earthquake (HLIQ), and percent full (% Full). The output parameter, damage state (DS), was provided for measuring the seismic performance of the liquid storage tanks. The model outputs confirmed that an artificial neural network has acceptable potential for predicting the seismic performance of liquid storage tanks. The applicability of the developed technique was then validated by comparing the outputs to the actual damage states of the affected tanks according to HAZUS.
Keywords: Artificial Neural Network; cylindrical tank; seismic performance
Abstract: Software metrics are widely accepted tools to control and assure software quality. A large number of software metrics with a variety of content can be found in the literature; however most of them are not adopted in industry as they are seen as irrelevant to needs, as they are unsupported, and the major reason behind this is due to improper empirical validation. This paper tries to identify possible root causes for the improper empirical validation of the software metrics. A practical model for the empirical validation of software metrics is proposed along with root causes. The model is validated by applying it to recently proposed and well known metrics.
Keywords: Empirical validation; Preliminary empirical validation; advanced empirical validation; software metrics
Abstract: In this paper we intend to show in some great medieval works that are indeed or very likely linked to St Stephen’s court the central role of the number-archetype 137 organizing “fine structures”, together with quaternary and denary proto-Kabbalistic “systems”, as a possible primordial image and “model” of the quantum-physical fine structure. This is associated with the four quantum-numbers and the fine structure constant (FSC) concept, in the sense that Jung and Pauli discussed similar problems upon the scientific and spiritual history of the Western Thought.
Keywords: fine structure constant; number archetype 137; background processes