SD-Solver: Towards a “multidirectional” CLP-based simulation tool

SD-Solver is a general purpose simulation environment grounded on the Constraint Logic Programming technology. Its main aim is to facilitate the development of Decision Support Systems based on dynamic models. Using SD-Solver, forward and backward simulations can be performed -to some extent- on the basis of a single model. This paper outlines the underlying framework and presents the most important aspects of SD-Solver using two elementary financial examples.[/p]     

Deontic logic in the representation of law: Towards a methodology

There seems to be no clear consensus in the existing literature about the role of deontic logic in legal knowledge representation — in large part, we argue, because of an apparent misunderstanding of what deontic logic is, and a misplaced preoccupation with the surface formulation of legislative texts. Our aim in this paper is to indicate, first, which aspects of legal reasoning are addressed by deontic logic, and then to sketch out the beginnings of a methodology for its use in the analysis and representation of law.The essential point for which we argue is that deontic logic — in some form or other —needs to be taken seriously whenever it is necessary to make explicit, and then reason about, the distinction between what ought to be the case and what is the case, or as we also say, between the ideal and the actual. We take the library regulations at Imperial College as the main illustration, and small examples from genuinely legal domains to introduce specific points. In conclusion, we touch on the role of deontic logic in the development of the theory of normative positions.Deontic logic and the theory of normative positions are of relevance to legal knowledge representation, but also to the analysis and. representation of normative systems generally. The emphasis of the paper is on legal knowledge representation, but we seek to place the discussion within the context of a broader range of issues concerning the role of deontic logic in Computer Science.     

Towards a probability theory based on Moisil logic

 In this paper a concept of probability defined on a Lukasiewicz-Moisil algebra is proposed. We take some steps in developing the theory, including an extension theorem and some results related to conditional probabilities on Lukasiewicz-Moisil algebras.     

Modifiers based on some t-norms in fuzzy logic

Modifiers generated by n-placed functions are considered. The subject matter of modifiers are fuzzy sets, i.e. membership functions defined on the unit interval I = [0, 1]. Two sets of modifiers are considered as example cases. One of them is a set of modifiers generated by t-norms and t-conorms. Here different dual pairs of norms create modifiers of different grade of strength. These norms are examples of two-placed functions. Another case is to generate a series of modifiers using only one DeMorgan class of norms. Norms are generalized to be n-placed functions. The place number n takes effect to the strength of a modifier. Two different DeMorgan classes are taken into the consideration. The first steps to the direction of many-valued modifier logics are taken.     

基于对象关系模式的XML转换

本文讨论关系模式集合上的包含依赖与组合依赖,提出了基于对象类之间的继承和组合关系的XML文档的一般转换思路,这种转换方法可以减少转换过程中嵌套结构的随意性和具体问题的依赖性,同时由于通过XML文档本身保存了关系文件的语义信息,有利于问题的逆转换。     

Assessment of programming language learning based on peer code review model: Implementation and experience report

The traditional assessment approach, in which one single written examination counts toward a student’s total score, no longer meets new demands of programming language education. Based on a peer code review process model, we developed an online assessment system called EduPCR and used a novel approach to assess the learning of computer programming languages. Using this approach, students peer review programs written by other students, share ideas and make suggestions to achieve an objective of collaborative and interactive learning. Teachers assess and give scores to students based on their performance in writing, reviewing and revising programs and their abidance to a peer code review process. After using this approach in two courses in two consecutive semesters, we observed significant improvements of student learning in various aspects. We also conducted two questionnaire surveys and two interviews. The survey data and the interview report indicated that this assessment approach demonstrates high practical values in assessing student learning outcomes in programming languages. Additionally, this approach leads to several interesting research topics for future research in this field.     

Building a financial diagnosis system based on fuzzy logic production system

The purpose of this study is to build a financial expert system based on fuzzy theory and Fuzzy LOgic Production System (FLOPS), which is an expert tool for processing the ambiguity. The study consists if four parts. For the first part, the basic features of expert systems are presented. For the second part, fizzy concepts and the evaluation of classical expert systems to fuzzy expert systems will be presented. For the third part, the expert system shell (FLOPS) used in this study will be described. For the last part, it will be presented the financial diagnosis system, developed by using the Wall's seven ratios, traditional seven ratios and also 34 ratios selected by a financial expert. After analyzing and investigating these three kinds of methods, financial diagnosis system will be developed as a fuzzy expen system which used a membership function based on averages and standard deviation. At the last step, the new approach will be tried by increasing the fuzzy sets for five membership functions. Some practical examples will be given. Throughout the paper, the way of building a financial diagnosis system based on fuzzy expert system is stressed.     

CMX RTOS在嵌入式系统设计中的应用

介绍了一种嵌入式实时多任务操作系统----CMX RTOS的结构及工作原理,特别是它的调度管理、中断管理、任务与任务间的通信管理及常用的API函数。以基于CMX API函数设计的程序代码为例,给出了CMX RTOS在嵌入式系统中程序设计的过程与思路。     

Solving for a quadratic programming with a quadratic constraint based on a neural network frame

In many applications, a class of optimization problems called quadratic programming with a special quadratic constraint (QPQC) often occurs, such as in the fields of maximum entropy spectral estimation, FIR filter design with time–frequency constraint and design of an FIR filter bank with perfect reconstruction property. In order to deal with this kind of optimization problems and be inspired by the computational virtue of analog or dynamic neural networks, a feedback neural network is proposed for solving for this class of QPQC computation problems in real time in this paper. The stability, convergence and computational performance of the proposed neural network have also been analyzed and proved in detail so as to theoretically guarantee the computational effectiveness and capability of the network. From the theoretical analyses it turns out that the solution of a QPQC problem is just the generalized minimum eigenvector of the objective matrix with respect to the constrained matrix. A number of simulation experiments have been given to further support our theoretical analysis and illustrate the computational performance of the proposed network.     

A note on a new method based on the dispersion of weights in data envelopment analysis

In a very recent paper by Bal et al. (Bal, H., Örkcü, H. H., & Çelebioğlu, S. (2008). A new method based on the dispersion of weights in data envelopment analysis. Computers & Industrial Engineering, 54(3), 502–512), a data envelopment analysis (DEA) model which incorporates the coefficients of variations (CVs) of input–output weights was proposed to improve the discrimination power of DEA and balance input–output weights. This note points out that the input and output weights in DEA are of different dimensions and units. The weights with different dimensions and units cannot be simply added together and averaged. In other words, the DEA model with the inclusion of CVs of input–output weights, which was referred to as CVDEA model for short, makes no sense if input and output data are not normalized to eliminate their dimensions and units. This note also illustrates the facts that the CVDEA model can cause significant efficiency changes when a scale transformation is performed for an input or output and may produce multiple local optimal solutions due to its nonlinearity, leading to totally different assessment conclusions. These facts reveal that the CVDEA model suffers from serious drawbacks and its applications for efficiency assessment should be very cautious.     

Numerical simulation of two-dimensional sine-Gordon solitons via a local weak meshless technique based on the radial point interpolation method (RPIM)

In this paper the meshless local radial point interpolation method (LRPIM) is adopted to simulate the two-dimensional nonlinear sine-Gordon (S-G) equation. The meshless LRPIM is one of the “truly meshless” methods since it does not require any background integration cells. In this case, all integrations are carried out locally over small quadrature domains of regular shapes, such as circles or squares in two dimensions and spheres or cubes in three dimensions. A technique is proposed to construct shape functions using radial basis functions. These shape functions which are constructed by point interpolation method using the radial basis functions have delta function property. The time derivatives are approximated by the time-stepping method. In order to eliminate the nonlinearity, a simple predictor-corrector scheme is performed. Numerical results are obtained for various cases involving line and ring solitons. Also the conservation of energy in undamped sine-Gordon equation is investigated.