Miracle-dz/UniFAR-FTUs huggingface dataset:
An Efficient Methodology for Exploring Valuable Knowledge with New Evaluation for Knowledge Quality

The recent trend has been using hybrid approach rather than using a single intelligent technique to solve the problems. Meanwhile in an information technology era, knowledge is always changing, hence the flexibility in approach and in thinking is a must. Since, the on-going conversation about semantic knowledge (much information with many relations) is much more important than coming up with the right answer (information), for that performing some inferences is needed for exploring creative diverse information. Where the knowledge is an appropriate collection of actionable information. So by combining much information with many relations, more novel and useful information are found as knowledge. Since the demand for Business Intelligence (BI) applications continues to grow even at a time when the demand for most Information Technology (IT) products is soft. Business intelligence systems provide actionable information delivered at the right time, at the right location, and in the right form to assist decision makers. This paper introduces an efficient methodology for storing the explored creative information/knowledge with many relations as a graph structure with a new evaluation of the creative information/knowledge quality. That through the implementation of Oriented Directed Acyclic Info Graph (ODAIG) Algorithm to generate the actionable information map. Moreover, Creative Information Quality (CIQ) Algorithm to evaluate the creative information quality. Different experiment done shows that, this methodology has a good promotion on results.
Fault injection into VHDL models: the MEFISTO tool

This paper focuses on the integration of the fault injection methodology within the design process of fault-tolerant systems. Due to its wide spectrum of application and hierarchical features, VHDL has been selected as the simulation language to support such an integration. Suitable techniques for injecting faults into VHDL models are identified and depicted. Then, the main features of the MEFISTO environment aimed at supporting these techniques are described. Finally, some preliminary results obtained with MEFISTO are presented and analyzed. <<ETX>>
Towards the Reusable User Data in Adaptive Hypermedia Systems - The External Mapping of User Parameters between Systems

Virtual reconstruction of Tang Chang'an city needs more people's participation. To facilitate the collaboration among remote participants, a shared cyber venue is desired. This paper reports on a research effort that aims to develop a collaborative visualization environment over the internet. By integrating advanced visualization modules into a well established teleconferencing Grid platform, this environment provides participants more useful and reliable tools for the collaborative digital reconstruction. Based on a comprehensive discussion of visualization issues and shared applications over the Grid, this paper elaborates on how to render large- scale polygonal models in real-time and how to efficiently reduce communication costs.
Progress on Defining Standardized Classes for Comparing the Dependability of Computer Systems

A number of the industrial partners of the IFIP WG 10.4 Dependability Benchmarking SIG (SIGDeB) have identified a set of standardized classes for characterizing the dependability of computer systems. The proposed classification system seeks to enable comparison of different computer systems in the dimensions of availability, data integrity, disaster recovery, and security. Different sets of criteria are proposed for computer systems that are used for different application types, e.g. transaction processing, process control, etc. This paper describes the classification system, and gives a progress report on the work to fill in the details of the classification criteria
Finding specification pages according to attributes

This paper presents a method for finding a specification page on the web for a given object (e.g."Titanic o)and its class label (e.g."film o). A specification page for an object is a web page which gives concise attribute-value information about the object (e.g."director o-"James Cameron ofor "Titanic o). A simple unsupervised method using layout and symbolic decoration cues was applied to a large number of web pages to acquire the class attributes. We used these acquired attributes to select a representative specification page for a given object from the web pages retrieved by a normal search engine. Experimental results revealed that our method greatly outperformed the normal search engine in terms of specification retrieval.
Study of Dynamic Timeout Strategy based on flow rate metrics in high-speed networks

The measurements based on flow characteristics are playing more and more important roles in the analysis of Network Behavior. As one of main methods for flow recognition, the timeout strategies have a significant impact on the correctness and performance of flow measurements. This paper discusses the state-of-art of flow timeout strategies, and explains where they are applicable and their shortcomings. To deal with short flows that take a large part of the total flows in the networks, the paper proposes the Dynamic Timeout Strategy (DToS) by analyzing flows distribution and flow rate metrics in details. The studies show that this method can improve the performances of network measurement and the efficiency of the resource usage by using different timeout strategies to deal with flows that have different rate features based on integrated usage analyses of target networks. It can also apperceive network abnormal behavior efficiently, and then take emergent measures to ensure the safety of measurement system. Some experiments have been carried out to show the rationality of DToS strategy. The applicable area of this strategy is also analyzed at the end of this paper.
Real-coded GA for High-dimensional k-tablet Structures

This paper presents the Real-coded Genetic Algorithms(RCGA) which can treat with high-dimensional ill-scaled structures, what is called, k-tablet structure. The k-tablet structure is the landscape that the scale of the fitness function is different between the k-dimensional subspace and the orthogonal (n-k)-dimensional subspace. The search speed of traditional RCGAs degrades when high-dimensional k-tablet structures are included in the landscape of fitness function. In this structure, offspring generated by crossovers is likely to spread wider region than the region where the parental population covers. This phenomenon causes the stagnation of the search. To resolve this problem, we propose a new crossover LUNDX-m, which uses only m-dimensional latent variables. The effectiveness of the proposal method is tested with several benchmark functions including k-tablet structures and we show that our proposal method performs better than traditional crossovers especially when the dimensionality n is higher than 100.
Re-use of formatted requirements specifications

This paper presents the work of the TARA (Tool Assisted Requirements Analysis) project on the re-use of formatted specifications. The paper concentrates particularly on the established formatted requirements analysis method CORE (Controlled Requirements Expression). A model of re-use of formatted requirements specifications, derived in part from studies of analogy in legal reasoning, is presented. The model and its application to CORE is described in detail with a worked example based on standard specification case studies. A prototype tool, TRUE, constructed on the basis of the model is described.
Brushless DC Motor Speed Control using both PI Controller and Fuzzy PI Controller

Brushless DC (BLDC) motors are one of the most interesting motors, not only because of their efficiency, and torque characteristics, but also because they have the advantages of being a direct current (DC) supplied, but eliminating the disadvantages of using Brushes. BLDC motors have a very wide range of speed, so speed control is a very important issue for it. There are a lot of parameters which need to be in focus while talking about a speed controller performance like starting current, starting torque, rise time, etc. There are two main methods for controlling the speed, PID Controllers, and Fuzzy PI controllers. Both are different in complexity and performance. In this paper, the PI and Fuzzy PI speed controllers for the BLDC motors will be proposed. A simulation study is conducted to evaluate the efficiency of the proposed speed controllers. Further, a comparative study is performed to validate the system effectiveness.
New image processing pipelines for membrane detection

In this paper, we report an interesting observation pertaining to new image processing pipeline for membrane detection suggested by optimization experiments. Denoising is usually performed in order to minimize the detrimental effects that noise has on the subsequent stages of an algorithm. Thus Denoising is typically carried out as an early pre-processing stage before other core functions are applied. In the context of optimizing image processing chains for membrane detection, we gathered statistics of processing chains which exhibited an average F1 score larger than 90%, and observed that not one was found to use a Denoising function as its 1 st step in the processing chain. On the contrary, the optimization process tended to choose Denoising as a middle processing component, and generally selected image enhancement as an earlier component. We conclude, that at least in the context of this membrane detection problem, it is better to enhance information (enhancement) before cleaning it (filtering). Keyword: membrane detection; denoising; segmentation; image processing; optimization.
The role of complexity in object-oriented systems development

The authors discuss the underlying principles of the object-oriented paradigm and their impact on software complexity. In order to evaluate the effectiveness of object-oriented methodology it is important to understand and evaluate its impact on software quality and programmer productivity. The authors propose a model where the impact of software complexity on abstract constructs such as software quality and productivity can be studied in object-oriented software development. It is concluded that the underlying concepts of object-oriented computing are sound and reduce complexity if applied correctly. <<ETX>>
Pattern Recognition Approach for Music Style Identification Using Shallow Statistical Descriptors

In the field of computer music, pattern recognition algorithms are very relevant for music information retrieval applications. One challenging task in this area is the automatic recognition of musical style, having a number of applications like indexing and selecting musical databases. From melodies symbolically represented as digital scores (standard musical instrument digital interface files), a number of melodic, harmonic, and rhythmic statistical descriptors are computed and their classification capability assessed in order to build effective description models. A framework for experimenting in this problem is presented, covering the feature extraction, feature selection, and classification stages, in such a way that new features and new musical styles can be easily incorporated and tested. Different classification methods, like Bayesian classifier, nearest neighbors, and self-organizing maps, are applied. The performance of such algorithms against different description models and parameters is analyzed for two particular musical styles, jazz and classical, used as an initial benchmark for our system.
Contours Location Based on Fisher Discrimination Analysis

The traditional active contour models based on curve evolution often need complicated computations, and are prone to trap into local minimum in their optimizations. A contours location algorithm using a series circles with adaptively changing centers and radiuses is proposed in this paper. So, fewer pixels are used to finish the contour location. On the other hand, Fisher discrimination analysis is used to locate the boundaries in order to avoid giving the gradients threshold. Comparing with traditional algorithm, simulation results show that the proposed contours location algorithm can realize the object contour detection in high efficiency.
A study on the randomness of economics' system risk

Purpose – The purpose of this paper is to analyse the basic facts of trade risk with its manifestation and bring forward the basic mode quantitatively analyzing the risk in.Design/methodology/approach – Quantity analysis, including regression analysis, analysis of variance and test of hypotheses were employed.Findings – To complete the description, classification, certification and confirmation of risk mode.Research limitations/implications – To describe and control the risk with the model to provide basis when building support system in today's society.Practical implications – To build support system in today's society.Originality/value – The method adopted in the paper includes the analysis of models and analysis of variance technology in multivariate statistics. The methods of analysis and approaches revealed in this paper could be broadly applied into all kinds of researches for such organization issue.
An analysis of the use of heuristics to understand the dynamics of modern decision making

The use of heuristics in decision making and the biases resulting from these heuristics has been a subject of debate among researchers long ago. Rational decision making has very much importance while studying heuristics. But sometimes due to cognitive and environmental factors, rationality of human beings becomes bounded and they rely on guess and hunches, thereby paving ways for biases to occur in decision making. The aim of this study is to examine the role of heuristics in understanding the dynamics of modern decision making. Critical analyses and argumentation was used throughout the study to analyze the data and to draw inferences. Critique of the research on heuristics in decision making was discussed. It was found that a better understanding of heuristics can improve modern decision making.
An end-to-end robust approach for scalable video over the internet

This paper introduces an end-to-end robust approach for scalable video over the Internet. The traditional method only considers congestion control, error control and is unable to achieve end-to-end high-quality video transmission in the error-prone environment like the Internet since it does not consider the packetization behavior, network conditions and the media characteristics simultaneously. This paper presents an end-to-end approach for scalable video over the Internet, combining network adaptive congestion control and unequal error control. Considering requirements of multimedia transmission, this paper introduces multimedia congestion control to estimate available bandwidth and smooth the media sending rate. Specially in the transport layer we propose unequal interleaving packetization method and unequal error protection scheme, which can alleviate the effect of the packet loss well. Further we develop the rate-distortion theory for the scalable video over the Internet. Thereafter the optimal bit allocation is presented to determine the bits budgets for the source part and error control part. Simulation shows our scheme can achieve good performance for scalable video over the Internet.
Detecting Buffer Overflows in Imperative Programs

Static Program Analysis is a process of reasoning about properties of a program without actually running it. It has many applications, including compiler optimizations, software maintenance, testing and program verification. In this thesis we present a new framework for more effective Static Program Analysis. At the heart of our approach is the representation of control flow graphs (CFG) as regular expressions and an extension of non-deterministic language (NDL) to imperative programs. We present simple rewriting rules to convert imperative programs into NDL in a way that preserves control dependencies without converting them into data dependencies. Such a preservation permits more transformations like loop-refinement for proving program properties than are possible with existing techniques. We use automatic buffer overflow detection as a goal in program analyses of C/C++ programs. We introduce new algorithms to convert an imperative program into an NDL program and then to a logic program. We provide proofs of correctness of the translation and show how a buffer overflow property can be inferred as a solution of the logic program. We have implemented algorithms to convert imperative programs to NDL and then to a logic program. To study the effectiveness of our algorithms on real programs we experimented on C/C++ procedures taken from standard benchmark suites. Our results indicate that the techniques presented here perform well in practice.
Design of a Real-Time Groupware Toolkit

The undersigned certify that they have read, and recommend to the Faculty of Graduate Studies for acceptance, a thesis entitled ÒDesign of a Real-Time Groupware ToolkitÓ submitted by Mark Roseman in partial fulfillment of the requirements for the degree of Master of Science. (Date) iii Abstract Real-time groupware systems, where several users work simultaneously with the same information, are notoriously difficult to construct. This thesis describes the design and implementation of a toolkit for building real-time groupware. Following a user-centered methodology, a number of requirements for groupware toolkits are presented. The requirements are both human-centered, such as support for work surface activities, flexible group processes, and integration with conventional work, and also programmer-centered, such as communications and a shared graphics model. Based on these requirements, a prototype toolkit called GROUPKIT is described. It contains three sets of components used to meet the requirements: a communications infrastructure; overlays for work surface activities; and open protocols for flexible group processes. Other concerns in the toolkit design are minimizing the developerÕs work; encouraging use; extensibility; and flexibility.
Diagnosing intermittent faults in telecommunication networks

In model-based diagnosis, one of the assumptions usually made is that components behave nonintermittently. Often this is an implicit assumption or it is made as a kind of afterthought because it makes the proposed algorithms simpler. An approach based on probability calculus that can deal with intermittent behavior of components is described. A disadvantage of this approach is the need for more observations. <<ETX>>
A comparative analysis of dual edge triggered flip-flops

A dual edge triggered (DET) flip-flop responds to both edges of the clock. Hence the usage of DET flip-flops reduces clock related power dissipation in digital VLSIs. DET flip-flops are also desirable in high performance applications since the clock frequency can be halved for the same data throughput. We compare several published implementations of DET flip-flops for performance, power consumption. A modified DET flip-flop is proposed that exhibits improved specifications. Preliminary simulations are also carried out to evaluate DET flip-flop sensitivities to VDD, temperature, clock and data rise times, etc.
Accurate Formulas for Frequency-Dependent Resistance and Inductance Per Unit Length of On-Chip Interconnects on Lossy Silicon Substrate

A new closed-form expressions to calculate frequency-dependent distributed inductance and the associated distributed series resistance of single interconnect on a lossy silicon substrate (CMOS technology) are presented. The proposed analytic model for series impedance is based on a self-consistent field method and the vector magnetic potential equation. It is shown that the calculated frequency-dependent distributed inductance and the associated resistance are in good agreement with the results obtained from rigorous full wave solutions and CAD-oriented equivalent-circuit modeling approach. In the past few years, we have witnessed a spectacular development in the complexity and speed of operation of IC circuits. With increasing chip areas and clock rates the performance of VLSI circuits based on MIS (metal- insulator-semiconductor) technology depends more and more upon the properties of interconnections. To optimize electrical properties of IC interconnects, the estimation of the transmission line parameters requires an accurate and frequency-dependent model which includes the effects of semiconductor substrates at high frequencies.
An Efficient Recognition and Syntax-Analysis Algorithm for Context-Free Languages

Abstract : An efficient algorithm of recognition and syntaxanalysis for the full class of context-free languages without the difficulty of exponential growth of computing time with the length n of input sequence is presented. This algorithm makes use of the essential property of a context-free language as a multi-parenthesis system. It is shown in this paper that a context-free language is n cubed-recognizable in the sense of Hartmanis and Stearns ('Computational complexity of recursive sequences'. Proc. Fifth Annual Symposium of Switching Circuit Theory and Logical Design (Oct. 1964) p.82-90) by a double-tape or double-head single-tape Turing machine and it is n to the 4th power-recognizable by a single-head single-tape Turing machine. If we use a random-access memory whose size is proportional to n cubed, the computing time required for syntaxanalysis is upperbounded by C(1)n cubed + C(2)n squared N, where N denotes the number of nonequivalent valid derivation sequences for a given input sequence and C(i)'s are constants independent of input sequences. If we use a tape of length C(3)n cubed and one of length C(4)n squared as working memories, the computing time for syntax-analysis is upperbounded by C(5)n cubed (1 + N). The size of required memory can be reduced to the order of n squared, but the computing time rises to the order of n to the 4th power. (Author)
Simulation Study of Cardiac Compensatory Mechanism During Left Ventricular Regional Ischemia

In order to investigate the mechanism of cardiac compensation from the level of microscope, we have developed a model of regionally ischemic left ventricle based on muscle fiber structure and mechanical properties of sarcomere, and incorporated it into a circulatory model established by us previously. Using the model, some simulation experiments related to myocardial ischemia and cardiac compensation have been performed. The simulation results suggest when regional ischemia of the left ventricle (LV) results in cardiac insdciency, the myocardium of the normal region has certain ability to increase its contractility to maintain a normal cardiac function.
A new short circuit power model for complex CMOS gates

In this paper we propose a new model for short circuit power estimation of CMOS gates. The short circuit power of a CMOS gate is estimated by converting the gate into an equivalent CMOS inverter and all input signal waveforms into a single equivalent input signal for the inverter. The channel width and the input to the equivalent inverter are functions of the waveforms of all the inputs. This is different from the traditional approaches where only worst case situations are considered. HSPICE simulation of NAND gates using a commercial 0.25 /spl mu/m CMOS process shows that the proposed new short circuit power model for CMOS gates is much more accurate than previously reported models.