Concept Abduction in Description Logics with Cardinality Restrictions

Recently the usefulness of Concept Abduction, a novel non-monotonic inference service for Description Logics (DLs), has been argued in the context of ontology-based applications such as semantic matchmaking and resource retrieval. Based on tableau calculus, a method has been proposed to realize this reasoning task in ALN, a description logic that supports simple cardinality restrictions as well as other basic constructors. However, in many ontology-based systems, the representation of ontology would require expressive formalisms for capturing domain-specific constraints, this language is not sufficient. In order to increase the applicability of the abductive reasoning method in such contexts, we would like to present in the scope of this paper an extension of the tableaux-based algorithm for dealing with concepts represented inALCQ, the description logic that extends ALN with full concept negation and quantified number restrictions.

Portfolio Management: A Fuzzy Set Based Approach to Monitoring Size to Maximize Return and Minimize Risk

Fuzzy logic can be used when knowledge is incomplete or when ambiguity of data exists. The purpose of this paper is to propose a proactive fuzzy set- based model for reacting to the risk inherent in investment activities relative to a complete view of portfolio management. Fuzzy rules are given where, depending on the antecedents, the portfolio size may be slightly or significantly decreased or increased. The decision maker considers acceptable bounds on the proportion of acceptable risk and return. The Fuzzy Controller model allows learning to be achieved as 1) the firing strength of each rule is measured, 2) fuzzy output allows rules to be updated, and 3) new actions are recommended as the system continues to loop. An extension is given to the fuzzy controller that evaluates potential financial loss before adjusting the portfolio. An application is presented that illustrates the algorithm and extension developed in the paper.

Genetic Algorithm Application in a Dynamic PCB Assembly with Carryover Sequence- Dependent Setups

We consider a typical problem in the assembly of printed circuit boards (PCBs) in a two-machine flow shop system to simultaneously minimize the weighted sum of weighted tardiness and weighted flow time. The investigated problem is a group scheduling problem in which PCBs are assembled in groups and the interest is to find the best sequence of groups as well as the boards within each group to minimize the objective function value. The type of setup operation between any two board groups is characterized as carryover sequence-dependent setup time, which exactly matches with the real application of this problem. As a technical constraint, all of the boards must be kitted before the assembly operation starts (kitting operation) and by kitting staff. The main idea developed in this paper is to completely eliminate the role of kitting staff by assigning the task of kitting to the machine operator during the time he is idle which is referred to as integration of internal (machine) and external (kitting) setup times. Performing the kitting operation, which is a preparation process of the next set of boards while the other boards are currently being assembled, results in the boards to continuously enter the system or have dynamic arrival times. Consequently, a dynamic PCB assembly system is introduced for the first time in the assembly of PCBs, which also has characteristics similar to that of just-in-time manufacturing. The problem investigated is computationally very complex, meaning that finding the optimal solutions especially when the problem size gets larger is impossible. Thus, a heuristic based on Genetic Algorithm (GA) is employed. An example problem on the application of the GA developed is demonstrated and also numerical results of applying the GA on solving several instances are provided.

Optimization of New 25A-size Metal Gasket Design Based on Contact Width Considering Forming and Contact Stress Effect

At the previous study of new metal gasket, contact width and contact stress were important design parameter for optimizing metal gasket performance. However, the range of contact stress had not been investigated thoroughly. In this study, we conducted a gasket design optimization based on an elastic and plastic contact stress analysis considering forming effect using FEM. The gasket model was simulated by using two simulation stages which is forming and tightening simulation. The optimum design based on an elastic and plastic contact stress was founded. Final evaluation was determined by helium leak quantity to check leakage performance of both type of gaskets. The helium leak test shows that a gasket based on the plastic contact stress design better than based on elastic stress design.

Mean-Square Performance of Adaptive Filter Algorithms in Nonstationary Environments

Employing a recently introduced unified adaptive filter theory, we show how the performance of a large number of important adaptive filter algorithms can be predicted within a general framework in nonstationary environment. This approach is based on energy conservation arguments and does not need to assume a Gaussian or white distribution for the regressors. This general performance analysis can be used to evaluate the mean square performance of the Least Mean Square (LMS) algorithm, its normalized version (NLMS), the family of Affine Projection Algorithms (APA), the Recursive Least Squares (RLS), the Data-Reusing LMS (DR-LMS), its normalized version (NDR-LMS), the Block Least Mean Squares (BLMS), the Block Normalized LMS (BNLMS), the Transform Domain Adaptive Filters (TDAF) and the Subband Adaptive Filters (SAF) in nonstationary environment. Also, we establish the general expressions for the steady-state excess mean square in this environment for all these adaptive algorithms. Finally, we demonstrate through simulations that these results are useful in predicting the adaptive filter performance.

Application of BP Neural Network Model in Sports Aerobics Performance Evaluation

This article provides partial evaluation index and its standard of sports aerobics, including the following 12 indexes: health vitality, coordination, flexibility, accuracy, pace, endurance, elasticity, self-confidence, form, control, uniformity and musicality. The three-layer BP artificial neural network model including input layer, hidden layer and output layer is established. The result shows that the model can well reflect the non-linear relationship between the performance of 12 indexes and the overall performance. The predicted value of each sample is very close to the true value, with a relative error fluctuating around of 5%, and the network training is successful. It shows that BP network has high prediction accuracy and good generalization capacity if being applied in sports aerobics performance evaluation after effective training.

Backplane Serial Signaling and Protocol for Telecom Systems

In this paper, we implement a modern serial backplane platform for telecommunication inter-rack systems. For combination high reliability and low cost protocol property, we applied high level data link control (HDLC) protocol with low voltage differential signaling (LVDS) bus for card to card communicated over backplane. HDLC protocol is a high performance with several operation modes and is famous in telecommunication systems. LVDS bus is a high reliability with high immunity against electromagnetic interference (EMI) and noise.

A Novel Feedback-Based Integrated FiWi Networks Architecture by Centralized Interlink-ONU Communication

Integrated fiber-wireless (FiWi) access networks are a viable solution that can deliver the high profile quadruple play services. Passive optical networks (PON) networks integrated with wireless access networks provide ubiquitous characteristics for high bandwidth applications. Operation of PON improves by employing a variety of multiplexing techniques. One of it is time division/wavelength division multiplexed (TDM/WDM) architecture that improves the performance of optical-wireless access networks. This paper proposes a novel feedback-based TDM/WDM-PON architecture and introduces a model of integrated PON-FiWi networks. Feedback-based link architecture is an efficient solution to improves the performance of optical-line-terminal (OLT) and interlink optical-network-units (ONUs) communication. Furthermore, the feedback-based WDM/TDM-PON architecture is compared with existing architectures in terms of capacity of network throughput.

Static Single Point Positioning Using The Extended Kalman Filter

Global Positioning System (GPS) technology is widely used today in the areas of geodesy and topography as well as in aeronautics mainly for military purposes. Due to the military usage of GPS, full access and use of this technology is being denied to the civilian user who must then work with a less accurate version. In this paper we focus on the estimation of the receiver coordinates ( X, Y, Z ) and its clock bias ( δtr ) of a fixed point based on pseudorange measurements of a single GPS receiver. Utilizing the instantaneous coordinates of just 4 satellites and their clock offsets, by taking into account the atmospheric delays, we are able to derive a set of pseudorange equations. The estimation of the four unknowns ( X, Y, Z , δtr ) is achieved by introducing an extended Kalman filter that processes, off-line, all the data collected from the receiver. Higher performance of position accuracy is attained by appropriate tuning of the filter noise parameters and by including other forms of biases.

A New Approach for Counting Passersby Utilizing Space-Time Images

Understanding the number of people and the flow of the persons is useful for efficient promotion of the institution managements and company-s sales improvements. This paper introduces an automated method for counting passerby using virtualvertical measurement lines. The process of recognizing a passerby is carried out using an image sequence obtained from the USB camera. Space-time image is representing the human regions which are treated using the segmentation process. To handle the problem of mismatching, different color space are used to perform the template matching which chose automatically the best matching to determine passerby direction and speed. A relation between passerby speed and the human-pixel area is used to distinguish one or two passersby. In the experiment, the camera is fixed at the entrance door of the hall in a side viewing position. Finally, experimental results verify the effectiveness of the presented method by correctly detecting and successfully counting them in order to direction with accuracy of 97%.

Organization as System, Psychic Dynamism as Equilibration: A Conceptualization

Organizations are supposed to be systems and consequently require defining the notion of equilibrium within. However, organizations comprise people and unavoidably entail their irrational aspects. Then, the question is what is the organizational equilibrium and equilibrating mechanisms considering these aspects. Hence, some arguments are provided here to conceptualize human unconsciousness, irrationalities and consequent uncertainties within organizations in the form of a system of psychic dynamism. The assumption is this dynamism maintains the psychic balance of the organization through a psychodynamic point of view. The resultant conceptualization expected to promote the understanding of such aspects in different organizational settings by hypothesizing organizational equilibration from this perspective. As a result, the main expectation is, if it is known that how the organization equilibrates in this sense, we can explain and deal with such irrationalities and unconsciousness by rational and, of course conscious, planning and accomplishing.

A Method for 3D Mesh Adaptation in FEA

The use of the mechanical simulation (in particular the finite element analysis) requires the management of assumptions in order to analyse a real complex system. In finite element analysis (FEA), two modeling steps require assumptions to be able to carry out the computations and to obtain some results: the building of the physical model and the building of the simulation model. The simplification assumptions made on the analysed system in these two steps can generate two kinds of errors: the physical modeling errors (mathematical model, domain simplifications, materials properties, boundary conditions and loads) and the mesh discretization errors. This paper proposes a mesh adaptive method based on the use of an h-adaptive scheme in combination with an error estimator in order to choose the mesh of the simulation model. This method allows us to choose the mesh of the simulation model in order to control the cost and the quality of the finite element analysis.

Design of Salbutamol Sulphate Gastroretentive Nanoparticles via Surface Charge Manipulation

In the present study, development of salbutamol sulphate nanoparticles that adhere to gastric mucus was investigated. Salbutamol sulphate has low bioavailability due to short transit time in gastric. It also has a positive surface charge that provides hurdles to be encapsulated by the positively strong mucoadhesive polymer of chitosan. To overcome the difficulties, the surface charge of active ingredient was modified using several nonionic and anionic stomach-specific polymers. The nanoparticles were prepared using ionotropic gelation technique. The evaluation involved determination of particle size, zeta potential, entrapment efficiency, in vitro drug release and in vitro mucoadhesion test. Results exhibited that the use of anionic alginate polymer was more satisfactory than that of nonionic polymer. Characteristics of the particles was nano-size, high encapsulation efficiency, fulfilled the drug release requirements and adhesive towards stomach for around 11 hours. This result shows that the salbutamol sulphate nanoparticles can be utilized for improvement its delivery.

A Variety of Meteorological and Geographical Characteristics Effects on Watershed Responses to a Storm Event

The Chichiawan stream in the Wulin catchment in Taiwan is the natural habitat of Formosan landlocked salmon. Human and agriculture activities gradually worsen water quality and impact the fish habitat negatively. To protect and manage Formosan landlocked salmon habitat, it is important to understand a variety land-uses affect on the watershed responses to storms. This study discusses watershed responses to the dry-day before a storm event and a variety of land-uses in the Wulin catchment. Under the land-use planning in the Wulin catchment, the peak flows during typhoon events do not have noticeable difference. However, the nutrient exports can be highly reduced under the strategies of restraining agriculture activities. Due to the higher affinity of P for soil than that of N, the exports of TN from overall Wuling catchment were much greater than Ortho-P. Agriculture mainly centralized in subbasin A, which is the important source of nutrients in nonpoint source discharge. The subbasin A supplied about 26% of the TN and 32% of the Ortho-P discharge in 2004, despite the fact it only covers 19% area of the Wuling catchment. The subbasin analysis displayed that the agricultural subbasin A exports higher nutrients per unit area than other forest subbasins. Additionally, the agricultural subbasin A contributed a higher percentage to total Ortho-P exports compares to TN. The results of subbasin analysis might imply the transport of Ortho-P was similar to the particulate matter which was mainly influenced by the runoff and affected by the desorption from soil particles while the TN (dominated as nitrate-N) was mainly influenced by base-flow.

Heavy Metal Contamination of the Landscape at the ─¢ubietová Deposit (Slovakia)

The heavy metal contamination of the technogenous sediments and soils at the investigated dump-field show irregular planar distribution. Also the heavy metal content in the surface water, drainage water and in the groundwater was studied both in the dry as well as during the rainy periods. The cementation process causes substitution of iron by copper. Natural installation and development of plant species was observed at the old mine waste dumps, specific to the local chemical conditions such as low content of essential nutrients and high content of heavy metals. The individual parts of the plant tissues (roots, branches/stems, leaves/needles, flowers/ fruits) are contaminated by heavy metals and tissues are damaged differently, respectively.

Residue and Temporal Trend of Polychlorinated Biphenyls (PCBs) in Surface Soils from Bacninh, Vietnam

An evaluation of the PCBs residues in the surface soils from Bacninh, Vietnam was carried out. Sixty representative soil samples were collected from the centre of Bacninh and three surrounding districts. The analyzed results indicated the wide extent of contamination of total PCBs in Bacninh. In industrial and urban zones, total PCBs concentrations ranged from ranged from

Overviews of Rainwater Harvesting and Utilization in Thailand: Bangsaiy Municipality

In developing countries located in monsoon areas like Thailand where rainwater is currently of no value for urban dwellers due to easily access to piped water supply at each household, studies in rainwater harvesting for domestic use are of low interest. However it is needed to undertake research to find out appropriate rainwater harvesting systems particularly for small urban communities that are recently developed from a full rural structure to urban context. As a matter of fact, in such transitional period, relying on only common water resources is risky. With some specific economic settings, land use patterns, and historical and cultural context that dominate perceptions of water users in the study area, the level of service in this study may certainly be different from megacities or cities located in industrial zone. The overviews of some available technologies and background of rainwater harvesting including alternate resource are included in this paper. Among other sources of water supply, ground water use as the water resource of Thailand and also in the study area.

Application of Boost Converter for Ride-through Capability of Adjustable Speed Drives during Sag and Swell Conditions

Process control and energy conservation are the two primary reasons for using an adjustable speed drive. However, voltage sags are the most important power quality problems facing many commercial and industrial customers. The development of boost converters has raised much excitement and speculation throughout the electric industry. Now utilities are looking to these devices for performance improvement and reliability in a variety of areas. Examples of these include sags, spikes, or transients in supply voltage as well as unbalanced voltages, poor electrical system grounding, and harmonics. In this paper, simulations results are presented for the verification of the proposed boost converter topology. Boost converter provides ride through capability during sag and swell. Further, input currents are near sinusoidal. This eliminates the need of braking resistor also.

An Adverse Model for Price Discrimination in the Case of Monopoly

We consider a Principal-Agent model with the Principal being a seller who does not know perfectly how much the buyer (the Agent) is willing to pay for the good. The buyer-s preferences are hence his private information. The model corresponds to the nonlinear pricing problem of Maskin and Riley. We assume there are three types of Agents. The model is solved using “informational rents" as variables. In the last section we present the main characteristics of the optimal contracts in asymmetric information and some possible extensions of the model.

Risk Assessment Results in Biogas Production from Agriculture Biomass

The use of renewable energy sources incl. biogas has become topical in accordance with the increasing demand for energy, decrease of fossil energy resources and the efforts to reduce greenhouse gas emissions as well as to increase energy independence from the territories where fossil energy resources are available. As the technologies of biogas production from agricultural biomass develop, risk assessment and risk management become necessary for farms producing such a renewable energy. The need for risk assessments has become particularly topical when discussions on changing the biogas policy in the EU take place, which may influence the development of the sector in the future, as well as the operation of existing biogas facilities and their income level. The current article describes results of the risk assessment for farms producing biomass from agriculture biomass in Latvia, the risk assessment system included 24 risks, that affect the whole biogas production process and the obtained results showed the high significance of political and production risks.