E - a brainiac theorem prover

Abstract: We describe the superposition-based theorem prover E. E is a sound and complete prover for clausal first order logic with equality. Important properties of the prover include strong redundancy elimination criteria, the DISCOUNT loop proof procedure, a very flexible interface for specifying search control heuristics, and an efficient inference engine. We also discuss the strengths and weaknesses of the system

e - a brainiac theorem prover
 we describ the superposition-bas theorem prover e. e is a sound and complet prover for clausal first order logic with equal . import properti of the prover includ strong redund elimin criteria , the discount loop proof procedur , a veri flexibl interfac for specifi search control heurist , and an effici infer engin . we also discuss the strength and weak of the system

brainiac theorem prover
superposition-based theorem prover
soundness
completeness
clausal first order logic
equality
strong redundancy elimination criteria
DISCOUNT
loop proof procedure
search control heuristics
inference engine
CASC
E automatic theorem prover
rewriting
CADE ATP System Competitions


Sliding mode dynamics in continuous feedback control for distributed discrete-event scheduling

Abstract: A continuous feedback control approach for real-time scheduling of discrete events is presented motivated by the need for control theoretic techniques to analyze and design such systems in distributed manufacturing applications. These continuous feedback control systems exhibit highly nonlinear and discontinuous dynamics. Specifically, when the production demand in the manufacturing system exceeds the available resource capacity then the control system "chatters" and exhibits sliding modes. This sliding mode behavior is advantageously used in the scheduling application by allowing the system to visit different schedules within an infinitesimal region near the sliding surface. In the paper, an analytical model is developed to characterize the sliding mode dynamics. This model is then used to design controllers in the sliding mode domain to improve the effectiveness of the control system to "search" for schedules with good performance. Computational results indicate that the continuous feedback control approach can provide near-optimal schedules and that it is computationally efficient compared to existing scheduling techniques

slide mode dynam in continu feedback control for distribut discrete-ev schedul
 a continu feedback control approach for real-tim schedul of discret event is present motiv by the need for control theoret techniqu to analyz and design such system in distribut manufactur applic . these continu feedback control system exhibit highli nonlinear and discontinu dynam . specif , when the product demand in the manufactur system exce the avail resourc capac then the control system " chatter " and exhibit slide mode . thi slide mode behavior is advantag use in the schedul applic by allow the system to visit differ schedul within an infinitesim region near the slide surfac . in the paper , an analyt model is develop to character the slide mode dynam . thi model is then use to design control in the slide mode domain to improv the effect of the control system to " search " for schedul with good perform . comput result indic that the continu feedback control approach can provid near-optim schedul and that it is comput effici compar to exist schedul techniqu

sliding mode dynamics
continuous feedback control
distributed discrete-event scheduling
real-time scheduling
control theoretic techniques
distributed manufacturing applications
production demand
resource capacity
highly nonlinear discontinuous dynamics


On the relationship between omega -automata and temporal logic normal forms

Abstract: We consider the relationship between omega -automata and a specific logical formulation based on a normal form for temporal logic formulae. While this normal form was developed for use with execution and clausal resolution in temporal logics, we show how it can represent, syntactically, omega -automata in a high-level way. Technical proofs of the correctness of this representation are given

on the relationship between omega -automata and tempor logic normal form
 we consid the relationship between omega -automata and a specif logic formul base on a normal form for tempor logic formula . while thi normal form wa develop for use with execut and clausal resolut in tempor logic , we show how it can repres , syntact , omega -automata in a high-level way . technic proof of the correct of thi represent are given

omega -automata
temporal logic normal forms
logical formulation
clausal resolution
program correctness


Intelligent control of life support for space missions

Abstract: Future manned space operations will include a greater use of automation than we currently see. For example, semiautonomous robots and software agents will perform difficult tasks while operating unattended most of the time. As these automated agents become more prevalent, human contact with them will occur more often and become more routine, so designing these automated agents according to the principles of human-centered computing is important. We describe two cases of semiautonomous control software developed and fielded in test environments at the NASA Johnson Space Center. This software operated continuously at the JSC and interacted closely with humans for months at a time

intellig control of life support for space mission
 futur man space oper will includ a greater use of autom than we current see . for exampl , semiautonom robot and softwar agent will perform difficult task while oper unattend most of the time . as these autom agent becom more preval , human contact with them will occur more often and becom more routin , so design these autom agent accord to the principl of human-cent comput is import . we describ two case of semiautonom control softwar develop and field in test environ at the nasa johnson space center . thi softwar oper continu at the jsc and interact close with human for month at a time

intelligent control
life support
space missions
manned space operations
automation
semiautonomous robots
software agents
automated agents
semiautonomous control software
NASA Johnson Space Center
crew air regeneration
crew water recovery
human intervention


RISCy business. Part 1: RISC projects by Cornell students

Abstract: The author looks at several projects that Cornell University students entered in the Atmel Design 2001 contest. Those covered include a vertical plotter; BiLines, an electronic game; a wireless Internet pager; Cooking Coach; Barbie's zip drive; and a model train controller

risci busi . part 1 : risc project by cornel student
 the author look at sever project that cornel univers student enter in the atmel design 2001 contest . those cover includ a vertic plotter ; bilin , an electron game ; a wireless internet pager ; cook coach ; barbi 's zip drive ; and a model train control

RISC projects
Cornell students
vertical plotter
BiLines
electronic game
wireless Internet pager
Cooking Coach
Barbie's zip drive
model train controller
Atmel's Design Logic 2001 contest


A solvable queueing network model for railway networks and its validation and applications for the Netherlands

Abstract: The performance of new railway networks cannot be measured or simulated, as no detailed train schedules are available. Railway infrastructure and capacities are to be determined long before the actual traffic is known. This paper therefore proposes a solvable queueing network model to compute performance measures of interest without requiring train schedules (timetables). Closed form expressions for mean delays are obtained. New network designs, traffic scenarios, and capacity expansions can so be evaluated. A comparison with real delay data for the Netherlands supports the practical value of the model. A special Dutch cargo-line application is included

a solvabl queue network model for railway network and it valid and applic for the netherland
 the perform of new railway network can not be measur or simul , as no detail train schedul are avail . railway infrastructur and capac are to be determin long befor the actual traffic is known . thi paper therefor propos a solvabl queue network model to comput perform measur of interest without requir train schedul ( timet ) . close form express for mean delay are obtain . new network design , traffic scenario , and capac expans can so be evalu . a comparison with real delay data for the netherland support the practic valu of the model . a special dutch cargo-lin applic is includ

solvable queueing network model
railway networks
Netherlands
railway infrastructure
performance measures
closed form expressions
mean delays
network designs
traffic scenarios
capacity expansions
Dutch cargo-line application
railway capacities


Development and validation of user-adaptive navigation and information retrieval tools for an intranet portal organizational memory information system

Abstract: Based on previous research and properties of organizational memory, a conceptual model for navigation and retrieval functions in an intranet portal organizational memory information system was proposed, and two human-centred features (memory structure map and history-based tool) were developed to support user's navigation and retrieval in a well-known organizational memory. To test two hypotheses concerning the validity of the conceptual model and two human-centred features, an experiment was conducted with 30 subjects. Testing of the two hypotheses indicated the following: (1) the memory structure map's users showed 29% better performance in navigation, and (2) the history-based tool's users outperformed by 34% in identifying information. The results of the study suggest that a conceptual model and two human-centred features could be used in a user-adaptive interface design to improve user's performance in an intranet portal organizational memory information system

develop and valid of user-adapt navig and inform retriev tool for an intranet portal organiz memori inform system
 base on previou research and properti of organiz memori , a conceptu model for navig and retriev function in an intranet portal organiz memori inform system wa propos , and two human-centr featur ( memori structur map and history-bas tool ) were develop to support user 's navig and retriev in a well-known organiz memori . to test two hypothes concern the valid of the conceptu model and two human-centr featur , an experi wa conduct with 30 subject . test of the two hypothes indic the follow : ( 1 ) the memori structur map 's user show 29 % better perform in navig , and ( 2 ) the history-bas tool 's user outperform by 34 % in identifi inform . the result of the studi suggest that a conceptu model and two human-centr featur could be use in a user-adapt interfac design to improv user 's perform in an intranet portal organiz memori inform system


A note on vector cascade algorithm

Abstract: The focus of this paper is on the relationship between accuracy of multivariate refinable vector and vector cascade algorithm. We show that, if the vector cascade algorithm (1.5) with isotropic dilation converges to a vector-valued function with regularity, then the initial function must satisfy the Strang-Fix conditions

a note on vector cascad algorithm
 the focu of thi paper is on the relationship between accuraci of multivari refin vector and vector cascad algorithm . we show that , if the vector cascad algorithm ( 1.5 ) with isotrop dilat converg to a vector-valu function with regular , then the initi function must satisfi the strang-fix condit

vector cascade algorithm
multivariate refinable vector
isotropic dilation
vector-valued function
Strang-fix conditions
matrix algebra


Positive productivity, better billing [health care]

Abstract: Workflow software provides the right communication solution for hospital specialists, and delivers an unexpected financial boost too

posit product , better bill [ health care ]
 workflow softwar provid the right commun solut for hospit specialist , and deliv an unexpect financi boost too

health care
workflow software
San Francisco General Hospital
ProVation MD


Nonlinearities in NARX polynomial models: representation and estimation

Abstract: It is shown how nonlinearities are mapped in NARX polynomial models. General expressions are derived for the gain and eigenvalue functions in terms of the regressors and coefficients of NARX models. Such relationships are useful in grey-box identification problems. The results are illustrated using simulated and real data

nonlinear in narx polynomi model : represent and estim
 it is shown how nonlinear are map in narx polynomi model . gener express are deriv for the gain and eigenvalu function in term of the regressor and coeffici of narx model . such relationship are use in grey-box identif problem . the result are illustr use simul and real data

nonlinear autoregressive exogenous-input polynomial model


Utilizing Web-based case studies for cutting-edge information services issues

Abstract: This article reports on a pilot study conducted by the Academic Libraries of the 21st Century project team to determine whether the benefits of the case study method as a training framework for change initiatives could successfully transfer from the traditional face-to-face format to a virtual format. Methods of developing the training framework, as well as the benefits, challenges, and recommendations for future strategies gained from participant feedback are outlined. The results of a survey administered to chat session registrants are presented in three sections: (1) evaluation of the training framework; (2) evaluation of participants' experiences in the virtual environment; and (3) a comparison of participants' preference of format. The overall participant feedback regarding the utilization of the case study method in a virtual environment for professional development and collaborative problem solving is very positive

util web-bas case studi for cutting-edg inform servic issu
 thi articl report on a pilot studi conduct by the academ librari of the 21st centuri project team to determin whether the benefit of the case studi method as a train framework for chang initi could success transfer from the tradit face-to-fac format to a virtual format . method of develop the train framework , as well as the benefit , challeng , and recommend for futur strategi gain from particip feedback are outlin . the result of a survey administ to chat session registr are present in three section : ( 1 ) evalu of the train framework ; ( 2 ) evalu of particip ' experi in the virtual environ ; and ( 3 ) a comparison of particip ' prefer of format . the overal particip feedback regard the util of the case studi method in a virtual environ for profession develop and collabor problem solv is veri posit

Web-based case studies
cutting-edge information services
academic libraries
training
change initiatives
survey
virtual environment
professional development
collaborative problem solving
Internet


Internet infrastructure and the emerging information society: an appraisal of the Internet backbone industry

Abstract: This paper examines the real constraints to the expansion of all encumbering and all pervasive information technology in our contemporary society. Perhaps the U.S. Internet infrastructure is the most appropriate to examine since it is U.S. technology that has led the world into the Internet age. In this context, this paper reviews the state of the U.S. Internet backbone that will lead us into information society of the future by facilitating massive data transmission

internet infrastructur and the emerg inform societi : an apprais of the internet backbon industri
 thi paper examin the real constraint to the expans of all encumb and all pervas inform technolog in our contemporari societi . perhap the u.s. internet infrastructur is the most appropri to examin sinc it is u.s. technolog that ha led the world into the internet age . in thi context , thi paper review the state of the u.s. internet backbon that will lead us into inform societi of the futur by facilit massiv data transmiss

Internet infrastructure
Internet service providers
users
backbone companies
local telephone companies


Multichannel scaler for general statistical analysis of dynamic light scattering

Abstract: A four channel scaler for counting applications has been designed and built using a standard high transfer rate parallel computer interface bus parallel data card. The counter section is based on standard complex programmable logic device integrated circuits. With a 200 MHz Pentium based host PC a sustained counting and data transfer with channel widths as short as 200 ns for a single channel is realized. The use of the multichannel scaler is demonstrated in dynamic light scattering experiments. The recorded traces are analyzed with wavelet and other statistical techniques to obtain transient changes in the properties of the scattered light

multichannel scaler for gener statist analysi of dynam light scatter
 a four channel scaler for count applic ha been design and built use a standard high transfer rate parallel comput interfac bu parallel data card . the counter section is base on standard complex programm logic devic integr circuit . with a 200 mhz pentium base host pc a sustain count and data transfer with channel width as short as 200 ns for a singl channel is realiz . the use of the multichannel scaler is demonstr in dynam light scatter experi . the record trace are analyz with wavelet and other statist techniqu to obtain transient chang in the properti of the scatter light


Exploiting structure in adaptive dynamic programming algorithms for a stochastic batch service problem

Abstract: The purpose of this paper is to illustrate the importance of using structural results in dynamic programming algorithms. We consider the problem of approximating optimal strategies for the batch service of customers at a service station. Customers stochastically arrive at the station and wait to be served, incurring a waiting cost and a service cost. Service of customers is performed in groups of a fixed service capacity. We investigate the structure of cost functions and establish some theoretical results including monotonicity of the value functions. Then, we use our adaptive dynamic programming monotone algorithm that uses structure to preserve monotonicity of the estimates at each iterations to approximate the value functions. Since the problem with homogeneous customers can be solved optimally, we have a means of comparison to evaluate our heuristic. Finally, we compare our algorithm to classical forward dynamic programming methods

exploit structur in adapt dynam program algorithm for a stochast batch servic problem
 the purpos of thi paper is to illustr the import of use structur result in dynam program algorithm . we consid the problem of approxim optim strategi for the batch servic of custom at a servic station . custom stochast arriv at the station and wait to be serv , incur a wait cost and a servic cost . servic of custom is perform in group of a fix servic capac . we investig the structur of cost function and establish some theoret result includ monoton of the valu function . then , we use our adapt dynam program monoton algorithm that use structur to preserv monoton of the estim at each iter to approxim the valu function . sinc the problem with homogen custom can be solv optim , we have a mean of comparison to evalu our heurist . final , we compar our algorithm to classic forward dynam program method

adaptive dynamic programming algorithms
stochastic batch service problem
structural results
service station
waiting cost
service cost
fixed service capacity
optimal strategy approximation
cost function structure
value function monotonicity
inventory theory


The limits of shape constancy: point-to-point mapping of perspective projections of flat figures

Abstract: The present experiments investigate point-to-point mapping of perspective transformations of 2D outline figures under diverse viewing conditions: binocular free viewing, monocular perspective with 2D cues masked by an optic tunnel, and stereoptic viewing through an optic tunnel. The first experiment involved upright figures, and served to determine baseline point-to-point mapping accuracy, which was found to be very good. Three shapes were used: square, circle and irregularly round. The main experiment, with slanted figures, involved only two shapes-square and irregularly shaped-showed at several slant degrees. Despite the accumulated evidence for shape constancy when the outline of perspective projections is considered, metric perception of the inner structure of such projections was quite limited. Systematic distortions were found, especially with more extreme slants, and attributed to the joint effect of several factors: anchors, 3D information, and slant underestimation. Contradictory flatness cues did not detract from performance, while stereoptic information improved it

the limit of shape constanc : point-to-point map of perspect project of flat figur
 the present experi investig point-to-point map of perspect transform of 2d outlin figur under divers view condit : binocular free view , monocular perspect with 2d cue mask by an optic tunnel , and stereopt view through an optic tunnel . the first experi involv upright figur , and serv to determin baselin point-to-point map accuraci , which wa found to be veri good . three shape were use : squar , circl and irregularli round . the main experi , with slant figur , involv onli two shapes-squar and irregularli shaped-show at sever slant degre . despit the accumul evid for shape constanc when the outlin of perspect project is consid , metric percept of the inner structur of such project wa quit limit . systemat distort were found , especi with more extrem slant , and attribut to the joint effect of sever factor : anchor , 3d inform , and slant underestim . contradictori flat cue did not detract from perform , while stereopt inform improv it

shape constancy
point-to-point mapping
experiments
2D outline figures
diverse viewing conditions
binocular free viewing
monocular perspective
2D cues
optic tunnel
stereoptic viewing
anchors
3D information
slant underestimation
flat figure perspective projections
3D shape perception
human factors
3D information displays


Solution of a Euclidean combinatorial optimization problem by the dynamic-programming method

Abstract: A class of Euclidean combinatorial optimization problems is selected that can be solved by the dynamic programming method. The problem of allocation of servicing enterprises is solved as an example

solut of a euclidean combinatori optim problem by the dynamic-program method
 a class of euclidean combinatori optim problem is select that can be solv by the dynam program method . the problem of alloc of servic enterpris is solv as an exampl


Automatic extraction of eye and mouth fields from a face image using eigenfeatures and ensemble networks

Abstract: This paper presents a novel algorithm for the extraction of the eye and mouth (facial features) fields from 2D gray level images. Eigenfeatures are derived from the eigenvalues and eigenvectors of the binary edge data set constructed from eye and mouth fields. Such eigenfeatures are ideal features for finely locating fields efficiently. The eigenfeatures are extracted from a set of the positive and negative training samples for facial features and are used to train a multilayer perceptron (MLP) whose output indicates the degree to which a particular image window contains the eyes or the mouth within itself. An ensemble network consisting of a multitude of independent MLPs was used to enhance the generalization performance of a single MLP. It was experimentally verified that the proposed algorithm is robust against facial size and even slight variations of the pose

automat extract of eye and mouth field from a face imag use eigenfeatur and ensembl network
 thi paper present a novel algorithm for the extract of the eye and mouth ( facial featur ) field from 2d gray level imag . eigenfeatur are deriv from the eigenvalu and eigenvector of the binari edg data set construct from eye and mouth field . such eigenfeatur are ideal featur for fine locat field effici . the eigenfeatur are extract from a set of the posit and neg train sampl for facial featur and are use to train a multilay perceptron ( mlp ) whose output indic the degre to which a particular imag window contain the eye or the mouth within itself . an ensembl network consist of a multitud of independ mlp wa use to enhanc the gener perform of a singl mlp . it wa experiment verifi that the propos algorithm is robust against facial size and even slight variat of the pose

eigenfeatures
2D gray level images
eigenvalues
eigenvectors
binary edge data set
training samples
multilayer perceptron
generalization
eye field extraction
mouth field extraction
face feature extraction
experiment
ensemble neural networks


Mining open answers in questionnaire data

Abstract: Surveys are important tools for marketing and for managing customer relationships; the answers to open-ended questions, in particular, often contain valuable information and provide an important basis for business decisions. The summaries that human analysts make of these open answers, however, tend to rely too much on intuition and so aren't satisfactorily reliable. Moreover, because the Web makes it so easy to take surveys and solicit comments, companies are finding themselves inundated with data from questionnaires and other sources. Handling it all manually would be not only cumbersome but also costly. Thus, devising a computer system that can automatically mine useful information from open answers has become an important issue. We have developed a survey analysis system that works on these principles. The system mines open answers through two statistical learning techniques: rule learning (which we call rule analysis) and correspondence analysis

mine open answer in questionnair data
 survey are import tool for market and for manag custom relationship ; the answer to open-end question , in particular , often contain valuabl inform and provid an import basi for busi decis . the summari that human analyst make of these open answer , howev , tend to reli too much on intuit and so are n't satisfactorili reliabl . moreov , becaus the web make it so easi to take survey and solicit comment , compani are find themselv inund with data from questionnair and other sourc . handl it all manual would be not onli cumbersom but also costli . thu , devis a comput system that can automat mine use inform from open answer ha becom an import issu . we have develop a survey analysi system that work on these principl . the system mine open answer through two statist learn techniqu : rule learn ( which we call rule analysi ) and correspond analysi

questionnaire data
survey analysis
statistical learning techniques
rule analysis
correspondence analysis
natural language response analysis
text mining system
open answer mining


New projection-type methods for monotone LCP with finite termination

Abstract: In this paper we establish two new projection-type methods for the solution of the monotone linear complementarity problem (LCP). The methods are a combination of the extragradient method and the Newton method, in which the active set strategy is used and only one linear system of equations with lower dimension is solved at each iteration. It is shown that under the assumption of monotonicity, these two methods are globally and linearly convergent. Furthermore, under a nondegeneracy condition they have a finite termination property. Finally, the methods are extended to solving the monotone affine variational inequality problem

new projection-typ method for monoton lcp with finit termin
 in thi paper we establish two new projection-typ method for the solut of the monoton linear complementar problem ( lcp ) . the method are a combin of the extragradi method and the newton method , in which the activ set strategi is use and onli one linear system of equat with lower dimens is solv at each iter . it is shown that under the assumpt of monoton , these two method are global and linearli converg . furthermor , under a nondegeneraci condit they have a finit termin properti . final , the method are extend to solv the monoton affin variat inequ problem


Establishing an urban digital cadastre: analytical reconstruction of parcel boundaries

Abstract: A new method for generating a spatially accurate, legally supportive and operationally efficient cadastral database of the urban cadastral reality is described. The definition and compilation of an accurate cadastral database (achieving a standard deviation smaller than 0.1 m) is based on an analytical reconstruction of cadastral boundaries rather than on the conventional field reconstruction process. The new method is based on GPS control points and traverse networks for providing the framework; the old field books for defining the links between the various original ground features; and a geometrical and cadastral adjustment process as the conceptual basis. A pilot project that was carried out in order to examine and evaluate the new method is described

establish an urban digit cadastr : analyt reconstruct of parcel boundari
 a new method for gener a spatial accur , legal support and oper effici cadastr databas of the urban cadastr realiti is describ . the definit and compil of an accur cadastr databas ( achiev a standard deviat smaller than 0.1 m ) is base on an analyt reconstruct of cadastr boundari rather than on the convent field reconstruct process . the new method is base on gp control point and travers network for provid the framework ; the old field book for defin the link between the variou origin ground featur ; and a geometr and cadastr adjust process as the conceptu basi . a pilot project that wa carri out in order to examin and evalu the new method is describ

urban digital cadastre
analytical reconstruction
parcel boundaries
urban cadastral reality
standard deviation
field reconstruction process
GPS control points
traverse networks
old field books
ground features
cadastral adjustment process
spatially accurate cadastral database
land information systems
LIS
geographic information systems


Robust control of nonlinear systems with parametric uncertainty

Abstract: Probabilistic robustness analysis and synthesis for nonlinear systems with uncertain parameters are presented. Monte Carlo simulation is used to estimate the likelihood of system instability and violation of performance requirements subject to variations of the probabilistic system parameters. Stochastic robust control synthesis searches the controller design parameter space to minimize a cost that is a function of the probabilities that design criteria will not be satisfied. The robust control design approach is illustrated by a simple nonlinear example. A modified feedback linearization control is chosen as controller structure, and the design parameters are searched by a genetic algorithm to achieve the tradeoff between stability and performance robustness

robust control of nonlinear system with parametr uncertainti
 probabilist robust analysi and synthesi for nonlinear system with uncertain paramet are present . mont carlo simul is use to estim the likelihood of system instabl and violat of perform requir subject to variat of the probabilist system paramet . stochast robust control synthesi search the control design paramet space to minim a cost that is a function of the probabl that design criteria will not be satisfi . the robust control design approach is illustr by a simpl nonlinear exampl . a modifi feedback linear control is chosen as control structur , and the design paramet are search by a genet algorithm to achiev the tradeoff between stabil and perform robust

robust control
nonlinear systems
parametric uncertainty
probabilistic robustness analysis
uncertain parameters
Monte Carlo simulation
system instability
modified feedback linearization control
genetic algorithm
probabilistic robustness synthesis
performance requirements violation
stochastic control synthesis
input-to-state stability


Stock market trading rule discovery using technical charting heuristics

Abstract: In this case study in knowledge engineering and data mining, we implement a recognizer for two variations of the 'bull flag' technical charting heuristic and use this recognizer to discover trading rules on the NYSE Composite Index. Out-of-sample results indicate that these rules are effective

stock market trade rule discoveri use technic chart heurist
 in thi case studi in knowledg engin and data mine , we implement a recogn for two variat of the ' bull flag ' technic chart heurist and use thi recogn to discov trade rule on the nyse composit index . out-of-sampl result indic that these rule are effect

stock market trading
rule discovery
technical charting heuristics
case study
knowledge engineering
data mining
NYSE Composite Index
out-of-sample results
financial expert system


GK-DEVS: Geometric and kinematic DEVS formalism for simulation modeling of 3-dimensional multi-component systems

Abstract: A combined discrete/continuous simulation methodology based on the DEVS (discrete event system specification) formalism is presented in this paper that satisfies the simulation requirements of 3-dimensional and dynamic systems with multi-components. We propose a geometric and kinematic DEVS (GK-DEVS) formalism that is able to describe the geometric and kinematic structure of a system and its continuous state dynamics as well as the interaction among the multi-components. To establish one model having dynamic behavior and a particular hierarchical structure, the atomic and the coupled model of the conventional DEVS are merged into one model in the proposed formalism. For simulation of the continuous motion of 3-D components, the sequential state set is partitioned into the discrete and the continuous state set and the rate of change function over the continuous state set is employed. Although modified from the conventional DEVS formalism, the GK-DEVS formalism preserves a hierarchical, modular modeling fashion and a coupling scheme. Furthermore, for the GK-DEVS model simulation, we propose an abstract simulation algorithm, called a GK-Simulator, in which data and control are separated and events are scheduled not globally but hierarchically so that an object-oriented principle is satisfied. The proposed GK-DEVS formalism and the GK-Simulator algorithm have been applied to the simulation of a flexible manufacturing system consisting of a 2-axis lathe, a 3-axis milling machine, and a vehicle-mounted robot

gk-dev : geometr and kinemat dev formal for simul model of 3-dimension multi-compon system
 a combin discret / continu simul methodolog base on the dev ( discret event system specif ) formal is present in thi paper that satisfi the simul requir of 3-dimension and dynam system with multi-compon . we propos a geometr and kinemat dev ( gk-dev ) formal that is abl to describ the geometr and kinemat structur of a system and it continu state dynam as well as the interact among the multi-compon . to establish one model have dynam behavior and a particular hierarch structur , the atom and the coupl model of the convent dev are merg into one model in the propos formal . for simul of the continu motion of 3-d compon , the sequenti state set is partit into the discret and the continu state set and the rate of chang function over the continu state set is employ . although modifi from the convent dev formal , the gk-dev formal preserv a hierarch , modular model fashion and a coupl scheme . furthermor , for the gk-dev model simul , we propos an abstract simul algorithm , call a gk-simul , in which data and control are separ and event are schedul not global but hierarch so that an object-ori principl is satisfi . the propos gk-dev formal and the gk-simul algorithm have been appli to the simul of a flexibl manufactur system consist of a 2-axi lath , a 3-axi mill machin , and a vehicle-mount robot


A distance between elliptical distributions based in an embedding into the Siegel group

Abstract: This paper describes two different embeddings of the manifolds corresponding to many elliptical probability distributions with the informative geometry into the manifold of positive-definite matrices with the Siegel metric, generalizing a result published previously elsewhere. These new general embeddings are applicable to a wide class of elliptical probability distributions, in which the normal, t-Student and Cauchy are specific examples. A lower bound for the Rao distance is obtained, which is itself a distance, and, through these embeddings, a number of statistical tests of hypothesis are derived

a distanc between ellipt distribut base in an embed into the siegel group
 thi paper describ two differ embed of the manifold correspond to mani ellipt probabl distribut with the inform geometri into the manifold of positive-definit matric with the siegel metric , gener a result publish previous elsewher . these new gener embed are applic to a wide class of ellipt probabl distribut , in which the normal , t-student and cauchi are specif exampl . a lower bound for the rao distanc is obtain , which is itself a distanc , and , through these embed , a number of statist test of hypothesi are deriv

elliptical distributions
Siegel group
elliptical probability distributions
informative geometry
positive-definite matrices
lower bound
manifolds embeddings


Blind identification of non-stationary MA systems

Abstract: A new adaptive algorithm for blind identification of time-varying MA channels is derived. This algorithm proposes the use of a novel system of equations derived by combining the third- and fourth-order statistics of the output signals of MA models. This overdetermined system of equations has the important property that it can be solved adaptively because of their symmetries via an overdetermined recursive instrumental variable-type algorithm. This algorithm shows good behaviour in arbitrary noisy environments and good performance in tracking time-varying systems

blind identif of non-stationari ma system
 a new adapt algorithm for blind identif of time-vari ma channel is deriv . thi algorithm propos the use of a novel system of equat deriv by combin the third- and fourth-ord statist of the output signal of ma model . thi overdetermin system of equat ha the import properti that it can be solv adapt becaus of their symmetri via an overdetermin recurs instrument variable-typ algorithm . thi algorithm show good behaviour in arbitrari noisi environ and good perform in track time-vari system

recursive instrumental variable algorithm


Adaptive tracking controller design for robotic systems using Gaussian wavelet networks

Abstract: An adaptive tracking control design for robotic systems using Gaussian wavelet networks is proposed. A Gaussian wavelet network with accurate approximation capability is employed to approximate the unknown dynamics of robotic systems by using an adaptive learning algorithm that can learn the parameters of the dilation and translation of Gaussian wavelet functions. Depending on the finite number of wavelet basis functions which result in inevitable approximation errors, a robust control law is provided to guarantee the stability of the closed-loop robotic system that can be proved by Lyapunov theory. Finally, the effectiveness of the Gaussian wavelet network-based control approach is illustrated through comparative simulations on a six-link robot manipulator

adapt track control design for robot system use gaussian wavelet network
 an adapt track control design for robot system use gaussian wavelet network is propos . a gaussian wavelet network with accur approxim capabl is employ to approxim the unknown dynam of robot system by use an adapt learn algorithm that can learn the paramet of the dilat and translat of gaussian wavelet function . depend on the finit number of wavelet basi function which result in inevit approxim error , a robust control law is provid to guarante the stabil of the closed-loop robot system that can be prove by lyapunov theori . final , the effect of the gaussian wavelet network-bas control approach is illustr through compar simul on a six-link robot manipul

adaptive tracking controller design
robotic systems
Gaussian wavelet networks
accurate approximation capability
unknown dynamics
adaptive learning algorithm
approximation errors
robust control law
Lyapunov theory
six-link robot manipulator
closed-loop system


Hypothesis-based concept assignment in software maintenance

Abstract: Software maintenance accounts for a significant proportion of the lifetime cost of a software system. Software comprehension is required in many parts of the maintenance process and is one of the most expensive activities. Many tools have been developed to help the maintainer reduce the time and cost of this task, but of the numerous tools and methods available one group has received relatively little attention: those using plausible reasoning to address the concept assignment problem. We present a concept assignment method for COBOL II: hypothesis-based concept assignment (HB-CA). An implementation of a prototype tool is described, and results from a comprehensive evaluation using commercial COBOL II sources are summarised. In particular, we identify areas of a standard maintenance process where such methods would be appropriate, and discuss the potential cost savings that may result

hypothesis-bas concept assign in softwar mainten
 softwar mainten account for a signific proport of the lifetim cost of a softwar system . softwar comprehens is requir in mani part of the mainten process and is one of the most expens activ . mani tool have been develop to help the maintain reduc the time and cost of thi task , but of the numer tool and method avail one group ha receiv rel littl attent : those use plausibl reason to address the concept assign problem . we present a concept assign method for cobol ii : hypothesis-bas concept assign ( hb-ca ) . an implement of a prototyp tool is describ , and result from a comprehens evalu use commerci cobol ii sourc are summaris . in particular , we identifi area of a standard mainten process where such method would be appropri , and discuss the potenti cost save that may result

hypothesis-based concept assignment
software maintenance
lifetime cost
COBOL II
scalability


Software Technology: looking for quality accountants

Abstract: Software Technology wants to turn 23 years of reselling experience in the legal business into an asset in the accounting market

softwar technolog : look for qualiti account
 softwar technolog want to turn 23 year of resel experi in the legal busi into an asset in the account market

Software Technology
reselling
accounting market


Exploring the sabbatical or other leave as a means of energizing a career

Abstract: This article challenges librarians to create leaves that will not only inspire professional growth but also renewal. It presents a framework for developing a successful leave, incorporating useful advice from librarians at Concordia University (Montreal). As food for thought, the article offers examples of specific options meant to encourage professionals to explore their own creative ideas. Finally, a central theme of this article is that a midlife leave provides one with the perfect opportunity to take stock of oneself in order to define future career directions. Midlife is a time when rebel forces, feisty protestors from within, often insist on being heard. It is a time, in other words, when professionals often long to break loose from the stress "to do far more, in less time" (Barner, 1994). Escaping from current job constraints into a world of creative endeavor, when well-executed, is a superb means of invigorating a career stuck in gear and discovering a fresh perspective from which to view one's profession. To ignite renewal, midcareer is the perfect time to grant one's imagination free reign

explor the sabbat or other leav as a mean of energ a career
 thi articl challeng librarian to creat leav that will not onli inspir profession growth but also renew . it present a framework for develop a success leav , incorpor use advic from librarian at concordia univers ( montreal ) . as food for thought , the articl offer exampl of specif option meant to encourag profession to explor their own creativ idea . final , a central theme of thi articl is that a midlif leav provid one with the perfect opportun to take stock of oneself in order to defin futur career direct . midlif is a time when rebel forc , feisti protestor from within , often insist on be heard . it is a time , in other word , when profession often long to break loos from the stress " to do far more , in less time " ( barner , 1994 ) . escap from current job constraint into a world of creativ endeavor , when well-execut , is a superb mean of invigor a career stuck in gear and discov a fresh perspect from which to view one 's profess . to ignit renew , midcar is the perfect time to grant one 's imagin free reign

career
librarians
professional growth
midlife leave
sabbatical leave
library staff


Switching controller design via convex polyhedral Lyapunov functions

Abstract: We propose a systematic switching control design method for a class of nonlinear discrete time hybrid systems. The novelty of the adopted approach is in the fact that unlike conventional control the control burden is shifted to a logical level thus creating the need for the development of new analysis/design methods

switch control design via convex polyhedr lyapunov function
 we propos a systemat switch control design method for a class of nonlinear discret time hybrid system . the novelti of the adopt approach is in the fact that unlik convent control the control burden is shift to a logic level thu creat the need for the develop of new analysi / design method

switching controller design
convex polyhedral Lyapunov functions
nonlinear discrete time hybrid systems
systematic design method


Stability and L/sub 2/ gain properties of LPV systems

Abstract: Stability and L/sub 2/ gain properties of linear parameter-varying systems are obtained under assumed bounds on either the maximum or average value of the parameter rate

stabil and l / sub 2/ gain properti of lpv system
 stabil and l / sub 2/ gain properti of linear parameter-vari system are obtain under assum bound on either the maximum or averag valu of the paramet rate

stability
L/sub 2/ gain properties
linear parameter-varying systems
parameter rate
Gromwall-Bellman inequality
gain scheduled control


A sufficient condition for optimality in nondifferentiable invex programming

Abstract: A sufficient optimality condition is established for a nonlinear programming problem without differentiability assumption on the data wherein Clarke's (1975) generalized gradient is used to define invexity

a suffici condit for optim in nondifferenti invex program
 a suffici optim condit is establish for a nonlinear program problem without differenti assumpt on the data wherein clark 's ( 1975 ) gener gradient is use to defin invex

nondifferentiable invex programming
invexity
sufficient optimality condition
nonlinear programming problem
generalized gradient
locally Lipschitz function
semiconvex function


Tactical airborne reconnaissance goes dual-band and beyond

Abstract: Multispectral imaging technologies are satisfying the need for a "persistent" look at the battlefield. We highlight the need to persistently monitor a battlefield to determine exactly who and what is there. For example, infrared imaging can be used to expose the fuel status of an aircraft on the runway. A daytime, visible-spectrum image of the same aircraft would offer information about external details, such as the plane's markings and paint scheme. A dual-band camera enables precision image registration by fusion and frequently yields more information than is possible by evaluating the images separately

tactic airborn reconnaiss goe dual-band and beyond
 multispectr imag technolog are satisfi the need for a " persist " look at the battlefield . we highlight the need to persist monitor a battlefield to determin exactli who and what is there . for exampl , infrar imag can be use to expos the fuel statu of an aircraft on the runway . a daytim , visible-spectrum imag of the same aircraft would offer inform about extern detail , such as the plane 's mark and paint scheme . a dual-band camera enabl precis imag registr by fusion and frequent yield more inform than is possibl by evalu the imag separ

tactical airborne reconnaissance
multispectral imaging technologies
battlefield
infrared imaging
fuel status
aircraft
dual-band camera
precision image registration
daytime visible-spectrum image
sensor fusion


Verification of ideological classifications-a statistical approach

Abstract: The paper presents a statistical method of verifying ideological classifications of votes. Parliamentary votes, preclassified by an expert (on a chosen subset), are verified at an assumed significance level by seeking the most likely match with the actual vote results. Classifications that do not meet the requirements defined are rejected. The results obtained can be applied in the ideological dimensioning algorithms, enabling ideological identification of dimensions obtained

verif of ideolog classifications-a statist approach
 the paper present a statist method of verifi ideolog classif of vote . parliamentari vote , preclassifi by an expert ( on a chosen subset ) , are verifi at an assum signific level by seek the most like match with the actual vote result . classif that do not meet the requir defin are reject . the result obtain can be appli in the ideolog dimens algorithm , enabl ideolog identif of dimens obtain

ideological classifications
statistical approach
parliamentary votes
significance level
ideological dimensioning algorithms
ideological space
bootstrap


The use of visual search for knowledge gathering in image decision support

Abstract: This paper presents a new method of knowledge gathering for decision support in image understanding based on information extracted from the dynamics of saccadic eye movements. The framework involves the construction of a generic image feature extraction library, from which the feature extractors that are most relevant to the visual assessment by domain experts are determined automatically through factor analysis. The dynamics of the visual search are analyzed by using the Markov model for providing training information to novices on how and where to look for image features. The validity of the framework has been evaluated in a clinical scenario whereby the pulmonary vascular distribution on Computed Tomography images was assessed by experienced radiologists as a potential indicator of heart failure. The performance of the system has been demonstrated by training four novices to follow the visual assessment behavior of two experienced observers. In all cases, the accuracy of the students improved from near random decision making (33%) to accuracies ranging from 50% to 68%

the use of visual search for knowledg gather in imag decis support
 thi paper present a new method of knowledg gather for decis support in imag understand base on inform extract from the dynam of saccad eye movement . the framework involv the construct of a gener imag featur extract librari , from which the featur extractor that are most relev to the visual assess by domain expert are determin automat through factor analysi . the dynam of the visual search are analyz by use the markov model for provid train inform to novic on how and where to look for imag featur . the valid of the framework ha been evalu in a clinic scenario wherebi the pulmonari vascular distribut on comput tomographi imag wa assess by experienc radiologist as a potenti indic of heart failur . the perform of the system ha been demonstr by train four novic to follow the visual assess behavior of two experienc observ . in all case , the accuraci of the student improv from near random decis make ( 33 % ) to accuraci rang from 50 % to 68 %

image features
domain experts
Markov model
training information
pulmonary vascular distribution
experienced radiologists
visual assessment behavior
experienced observers
near random decision making
heart failure indicator
student accuracy
saccadic eye movements dynamics
medical diagnostic imaging


The dynamics of a railway freight wagon wheelset with dry friction damping

Abstract: We investigate the dynamics of a simple model of a wheelset that supports one end of a railway freight wagon by springs with linear characteristics and dry friction dampers. The wagon runs on an ideal, straight and level track with constant speed. The lateral dynamics in dependence on the speed is examined. We have included stick-slip and hysteresis in our model of the dry friction and assume that Coulomb's law holds during the slip phase. It is found that the action of dry friction completely changes the bifurcation diagram, and that the longitudinal component of the dry friction damping forces destabilizes the wagon

the dynam of a railway freight wagon wheelset with dri friction damp
 we investig the dynam of a simpl model of a wheelset that support one end of a railway freight wagon by spring with linear characterist and dri friction damper . the wagon run on an ideal , straight and level track with constant speed . the later dynam in depend on the speed is examin . we have includ stick-slip and hysteresi in our model of the dri friction and assum that coulomb 's law hold dure the slip phase . it is found that the action of dri friction complet chang the bifurc diagram , and that the longitudin compon of the dri friction damp forc destabil the wagon

dynamics
railway freight wagon wheelset
dry friction damping
linear characteristics
lateral dynamics
stick-slip
hysteresis
bifurcation diagram
longitudinal component
Coulomb law


Structural invariance of spatial Pythagorean hodographs

Abstract: The structural invariance of the four-polynomial characterization for three-dimensional Pythagorean hodographs introduced by Dietz et al. (1993), under arbitrary spatial rotations, is demonstrated. The proof relies on a factored-quaternion representation for Pythagorean hodographs in three-dimensional Euclidean space-a particular instance of the "PH representation map" proposed by Choi et al. (2002)-and the unit quaternion description of spatial rotations. This approach furnishes a remarkably simple derivation for the polynomials u(t), upsilon (t), p(t), q(t) that specify the canonical form of a rotated Pythagorean hodograph, in terms of the original polynomials u(t), upsilon (t), p(t), q(t) and the angle theta and axis n of the spatial rotation. The preservation of the canonical form of PH space curves under arbitrary spatial rotations is essential to their incorporation into computer-aided design and manufacturing applications, such as the contour machining of free-form surfaces using a ball-end mill and realtime PH curve CNC interpolators

structur invari of spatial pythagorean hodograph
 the structur invari of the four-polynomi character for three-dimension pythagorean hodograph introduc by dietz et al . ( 1993 ) , under arbitrari spatial rotat , is demonstr . the proof reli on a factored-quaternion represent for pythagorean hodograph in three-dimension euclidean space-a particular instanc of the " ph represent map " propos by choi et al . ( 2002)-and the unit quaternion descript of spatial rotat . thi approach furnish a remark simpl deriv for the polynomi u(t ) , upsilon ( t ) , p(t ) , q(t ) that specifi the canon form of a rotat pythagorean hodograph , in term of the origin polynomi u(t ) , upsilon ( t ) , p(t ) , q(t ) and the angl theta and axi n of the spatial rotat . the preserv of the canon form of ph space curv under arbitrari spatial rotat is essenti to their incorpor into computer-aid design and manufactur applic , such as the contour machin of free-form surfac use a ball-end mill and realtim ph curv cnc interpol

structural invariance
spatial Pythagorean hodographs
four-polynomial characterization
arbitrary spatial rotations
spatial rotations
PH representation map
unit quaternion description
contour machining
free-form surfaces
ball-end mill
3D Pythagorean hodographs
factored quaternion representation
3D Euclidean space
CAD/CAM
real-time PH curve CNC interpolators


Optimal learning for patterns classification in RBF networks

Abstract: The proposed modifying of the structure of the radial basis function (RBF) network by introducing the weight matrix to the input layer (in contrast to the direct connection of the input to the hidden layer of a conventional RBF) so that the training space in the RBF network is adaptively separated by the resultant decision boundaries and class regions is reported. The training of this weight matrix is carried out as for a single-layer perceptron together with the clustering process. In this way the network is capable of dealing with complicated problems, which have a high degree of interference in the training data, and achieves a higher classification rate over the current classifiers using RBF

optim learn for pattern classif in rbf network
 the propos modifi of the structur of the radial basi function ( rbf ) network by introduc the weight matrix to the input layer ( in contrast to the direct connect of the input to the hidden layer of a convent rbf ) so that the train space in the rbf network is adapt separ by the result decis boundari and class region is report . the train of thi weight matrix is carri out as for a single-lay perceptron togeth with the cluster process . in thi way the network is capabl of deal with complic problem , which have a high degre of interfer in the train data , and achiev a higher classif rate over the current classifi use rbf

optimal learning
pattern classification
RBF networks
input layer
training space
decision boundaries
class regions
single-layer perceptron
clustering process
radial basis function network
weight matrix training
classification rate improvement


Use of fuzzy weighted autocorrelation function for pitch extraction from noisy speech

Abstract: An investigation is presented into the feasibility of incorporating a fuzzy weighting scheme into the calculation of an autocorrelation function for pitch extraction. Simulation results reveal that the proposed method provides better robustness against background noise than the conventional approaches for extracting pitch period in a noisy environment

use of fuzzi weight autocorrel function for pitch extract from noisi speech
 an investig is present into the feasibl of incorpor a fuzzi weight scheme into the calcul of an autocorrel function for pitch extract . simul result reveal that the propos method provid better robust against background nois than the convent approach for extract pitch period in a noisi environ

autocorrelation function
pitch extraction
noisy speech
fuzzy weighting scheme
simulation results
background noise
speech analysis-synthesis system
average magnitude difference function
cepstrum method


A regularized conjugate gradient method for symmetric positive definite system of linear equations

Abstract: A class of regularized conjugate gradient methods is presented for solving the large sparse system of linear equations of which the coefficient matrix is an ill-conditioned symmetric positive definite matrix. The convergence properties of these methods are discussed in depth, and the best possible choices of the parameters involved in the new methods are investigated in detail. Numerical computations show that the new methods are more efficient and robust than both classical relaxation methods and classical conjugate direction methods

a regular conjug gradient method for symmetr posit definit system of linear equat
 a class of regular conjug gradient method is present for solv the larg spars system of linear equat of which the coeffici matrix is an ill-condit symmetr posit definit matrix . the converg properti of these method are discuss in depth , and the best possibl choic of the paramet involv in the new method are investig in detail . numer comput show that the new method are more effici and robust than both classic relax method and classic conjug direct method

regularized conjugate gradient method
symmetric positive definite system
linear equations
large sparse system
coefficient matrix
convergence properties
classical relaxation methods
classical conjugate direction methods
ill-conditioned linear system


Education, training and development policies and practices in medium-sized companies in the UK: do they really influence firm performance?

Abstract: This paper sets out to examine the relationship between training and firm performance in middle-sized UK companies. It recognises that there is evidence that "high performance work practices" appear to be associated with better performance in large US companies, but argues that this relationship is less likely to be present in middle-sized companies. The paper's key contribution is to justify the wider concept of education, training and development (ETD) as applicable to such companies. It then finds that clusters of some ETD variables do appear to be associated with better middle-sized company performance

educ , train and develop polici and practic in medium-s compani in the uk : do they realli influenc firm perform ?
 thi paper set out to examin the relationship between train and firm perform in middle-s uk compani . it recognis that there is evid that " high perform work practic " appear to be associ with better perform in larg us compani , but argu that thi relationship is less like to be present in middle-s compani . the paper 's key contribut is to justifi the wider concept of educ , train and develop ( etd ) as applic to such compani . it then find that cluster of some etd variabl do appear to be associ with better middle-s compani perform

education
training
development policies
firm performance
high performance work practices
medium-sized UK companies
ETD variable clusters
human resources


Organizational design, information transfer, and the acquisition of rent-producing resources

Abstract: Within the resource-based view of the firm, a dynamic story has emerged in which the knowledge accumulated over the history of a firm and embedded in organizational routines and structures influences the firm's ability to recognize the value of new resources and capabilities. This paper explores the possibility of firms to select organizational designs that increase the likelihood that they will recognize and value rent-producing resources and capabilities. A computational model is developed to study the tension between an organization's desire to explore its environment for new capabilities and the organization's need to exploit existing capabilities. Support is provided for the proposition that integration, both externally and internally, is an important source of dynamic capability. The model provides greater insight into the tradeoffs between these two forms of integration and suggests when one form may be preferred over another. In particular, evidence is provided that in uncertain environments, the ability to explore possible alternatives is critical while in more certain environments, the ability to transfer information internally is paramount

organiz design , inform transfer , and the acquisit of rent-produc resourc
 within the resource-bas view of the firm , a dynam stori ha emerg in which the knowledg accumul over the histori of a firm and embed in organiz routin and structur influenc the firm 's abil to recogn the valu of new resourc and capabl . thi paper explor the possibl of firm to select organiz design that increas the likelihood that they will recogn and valu rent-produc resourc and capabl . a comput model is develop to studi the tension between an organ 's desir to explor it environ for new capabl and the organ 's need to exploit exist capabl . support is provid for the proposit that integr , both extern and intern , is an import sourc of dynam capabl . the model provid greater insight into the tradeoff between these two form of integr and suggest when one form may be prefer over anoth . in particular , evid is provid that in uncertain environ , the abil to explor possibl altern is critic while in more certain environ , the abil to transfer inform intern is paramount

organizational design
information transfer
rent-producing resources
computational model
uncertain environments
certain environments
probability
social networks
business strategy
investments


Self-validating integration and approximation of piecewise analytic functions

Abstract: Let an analytic or a piecewise analytic function on a compact interval be given. We present algorithms that produce enclosures for the integral or the function itself. Under certain conditions on the representation of the function, this is done with the minimal order of numbers of operations. The integration algorithm is implemented and numerical comparisons to non-validating integration software are presented

self-valid integr and approxim of piecewis analyt function
 let an analyt or a piecewis analyt function on a compact interv be given . we present algorithm that produc enclosur for the integr or the function itself . under certain condit on the represent of the function , thi is done with the minim order of number of oper . the integr algorithm is implement and numer comparison to non-valid integr softwar are present

self-validating integration
piecewise analytic functions
compact interval
enclosures
minimal order
integration algorithm
self-validating approximation
complex interval arithmetic


Migrating to public librarianship: depart on time to ensure a smooth flight

Abstract: Career change can be a difficult, time-consuming, and anxiety-laden process for anyone contemplating this important decision. The challenges faced by librarians considering the move from academic to public librarianship can be equally and significantly demanding. To most outsiders, at least on the surface, it may appear to be a quick and easy transition to make, but some professional librarians recognize the distinct differences between these areas of librarianship. Although the ubiquitous nature of technology has brought the various work responsibilities of academic and public librarians closer together during the last decade, there remain key differences in job-related duties and the work environments. These dissimilarities pose meaningful hurdles to leap for academic librarians wishing to migrate to the public sector. The paper considers the variations between academic and public librarianship

migrat to public librarianship : depart on time to ensur a smooth flight
 career chang can be a difficult , time-consum , and anxiety-laden process for anyon contempl thi import decis . the challeng face by librarian consid the move from academ to public librarianship can be equal and significantli demand . to most outsid , at least on the surfac , it may appear to be a quick and easi transit to make , but some profession librarian recogn the distinct differ between these area of librarianship . although the ubiquit natur of technolog ha brought the variou work respons of academ and public librarian closer togeth dure the last decad , there remain key differ in job-rel duti and the work environ . these dissimilar pose meaning hurdl to leap for academ librarian wish to migrat to the public sector . the paper consid the variat between academ and public librarianship

public librarianship
career change
professional librarians
work responsibilities
job-related duties
work environments
academic library
public library
library technology


Nurture the geek in you [accounting on the Internet]

Abstract: When chartered accountants focus on IT, it's not simply because we think technology is neat. We keep on top of tech trends and issues because it helps us do our jobs well. We need to know how to best manage and implement the wealth of technology systems within out client base or employer, as well as to determine on an ongoing basis how evolving technologies might affect business strategies, threats and opportunities. One way to stay current with technology is by monitoring the online drumbeat. Imagine the Internet as an endless conversation of millions of chattering voices, each focusing on a multitude of topics and issues. It's not surprising that a great deal of the information relates to technology itself, and if you learn how to tune in to the drumbeat, you can keep yourself informed

nurtur the geek in you [ account on the internet ]
 when charter account focu on it , it 's not simpli becaus we think technolog is neat . we keep on top of tech trend and issu becaus it help us do our job well . we need to know how to best manag and implement the wealth of technolog system within out client base or employ , as well as to determin on an ongo basi how evolv technolog might affect busi strategi , threat and opportun . one way to stay current with technolog is by monitor the onlin drumbeat . imagin the internet as an endless convers of million of chatter voic , each focus on a multitud of topic and issu . it 's not surpris that a great deal of the inform relat to technolog itself , and if you learn how to tune in to the drumbeat , you can keep yourself inform

Internet
chartered accountants
information technology
Slashdot
Techdirt
The Register
Dan Gillmor's Wournal
Daypop Top 40
RISKS
SecurityFocus
TechWeb


LMI approach to digital redesign of linear time-invariant systems

Abstract: A simple design methodology for the digital redesign of static state feedback controllers by using linear matrix inequalities is presented. The proposed method provides close matching of the states between the original continuous-time system and those of the digitally redesigned system with a guaranteed stability. Specifically, the digital redesign problem is reformulated as linear matrix inequalities (LMIs) and solved by a numerical optimisation technique. The main feature of the proposed method is that the closed-loop stability of the digitally redesigned system is explicitly guaranteed within the design procedure using the LMI-based approach. A numerical example of the position control of a simple crane system is presented

lmi approach to digit redesign of linear time-invari system
 a simpl design methodolog for the digit redesign of static state feedback control by use linear matrix inequ is present . the propos method provid close match of the state between the origin continuous-tim system and those of the digit redesign system with a guarante stabil . specif , the digit redesign problem is reformul as linear matrix inequ ( lmi ) and solv by a numer optimis techniqu . the main featur of the propos method is that the closed-loop stabil of the digit redesign system is explicitli guarante within the design procedur use the lmi-bas approach . a numer exampl of the posit control of a simpl crane system is present

LMI approach
digital redesign
linear time-invariant systems
design methodology
linear matrix inequalities
continuous-time system
guaranteed stability
numerical optimisation technique
closed-loop stability
position control
crane system


Impact of aviation highway-in-the-sky displays on pilot situation awareness

Abstract: Thirty-six pilots (31 men, 5 women) were tested in a flight simulator on their ability to intercept a pathway depicted on a highway-in-the-sky (HITS) display. While intercepting and flying the pathway, pilots were required to watch for traffic outside the cockpit. Additionally, pilots were tested on their awareness of speed, altitude, and heading during the flight. Results indicated that the presence of a flight guidance cue significantly improved flight path awareness while intercepting the pathway, but significant practice effects suggest that a guidance cue might be unnecessary if pilots are given proper training. The amount of time spent looking outside the cockpit while using the HITS display was significantly less than when using conventional aircraft instruments. Additionally, awareness of flight information present on the HITS display was poor. Actual or potential applications of this research include guidance for the development of perspective flight display standards and as a basis for flight training requirements

impact of aviat highway-in-the-ski display on pilot situat awar
 thirty-six pilot ( 31 men , 5 women ) were test in a flight simul on their abil to intercept a pathway depict on a highway-in-the-ski ( hit ) display . while intercept and fli the pathway , pilot were requir to watch for traffic outsid the cockpit . addit , pilot were test on their awar of speed , altitud , and head dure the flight . result indic that the presenc of a flight guidanc cue significantli improv flight path awar while intercept the pathway , but signific practic effect suggest that a guidanc cue might be unnecessari if pilot are given proper train . the amount of time spent look outsid the cockpit while use the hit display wa significantli less than when use convent aircraft instrument . addit , awar of flight inform present on the hit display wa poor . actual or potenti applic of thi research includ guidanc for the develop of perspect flight display standard and as a basi for flight train requir

highway-in-the-sky display
pilots
situation awareness
flight simulator
cockpit
flight guidance
flight path awareness
human factors
aircraft display


Tax forms: CD or not CD?

Abstract: The move from CD to the Web looks unstoppable. Besides counting how many thousands of electronic tax forms they offer, vendors are rapidly moving those documents to the Web

tax form : cd or not cd ?
 the move from cd to the web look unstopp . besid count how mani thousand of electron tax form they offer , vendor are rapidli move those document to the web

Web
electronic tax forms
ATX Forms Zillion Forms
CCH Perform Plus H
Kleinrock Forms Library Plus
Nelco LaserLibrarian II
RIA eForm
STF Services Superform
Universal Tax Systems Forms Complete


Fuzzy non-homogeneous Markov systems

Abstract: In this paper the theory of fuzzy logic and fuzzy reasoning is combined with the theory of Markov systems and the concept of a fuzzy non-homogeneous Markov system is introduced for the first time. This is an effort to deal with the uncertainty introduced in the estimation of the transition probabilities and the input probabilities in Markov systems. The asymptotic behaviour of the fuzzy Markov system and its asymptotic variability is considered and given in closed analytic form. Moreover, the asymptotically attainable structures of the system are estimated also in a closed analytic form under some realistic assumptions. The importance of this result lies in the fact that in most cases the traditional methods for estimating the probabilities can not be used due to lack of data and measurement errors. The introduction of fuzzy logic into Markov systems represents a powerful tool for taking advantage of the symbolic knowledge that the experts of the systems possess

fuzzi non-homogen markov system
 in thi paper the theori of fuzzi logic and fuzzi reason is combin with the theori of markov system and the concept of a fuzzi non-homogen markov system is introduc for the first time . thi is an effort to deal with the uncertainti introduc in the estim of the transit probabl and the input probabl in markov system . the asymptot behaviour of the fuzzi markov system and it asymptot variabl is consid and given in close analyt form . moreov , the asymptot attain structur of the system are estim also in a close analyt form under some realist assumpt . the import of thi result lie in the fact that in most case the tradit method for estim the probabl can not be use due to lack of data and measur error . the introduct of fuzzi logic into markov system repres a power tool for take advantag of the symbol knowledg that the expert of the system possess

fuzzy logic
fuzzy reasoning
uncertainty
transition probabilities
input probabilities
asymptotic variability
measurement errors
symbolic knowledge
fuzzy nonhomogeneous Markov systems
probability theory


DAML+OIL: an ontology language for the Semantic Web

Abstract: By all measures, the Web is enormous and growing at a staggering rate, which has made it increasingly difficult-and important-for both people and programs to have quick and accurate access to Web information and services. The Semantic Web offers a solution, capturing and exploiting the meaning of terms to transform the Web from a platform that focuses on presenting information, to a platform that focuses on understanding and reasoning with information. To support Semantic Web development, the US Defense Advanced Research Projects Agency launched the DARPA Agent Markup Language (DAML) initiative to fund research in languages, tools, infrastructure, and applications that make Web content more accessible and understandable. Although the US government funds DAML, several organizations-including US and European businesses and universities, and international consortia such as the World Wide Web Consortium-have contributed to work on issues related to DAML's development and deployment. We focus on DAML's current markup language, DAML+OIL, which is a proposed starting point for the W3C's Semantic Web Activity's Ontology Web Language (OWL). We introduce DAML+OIL syntax and usage through a set of examples, drawn from a wine knowledge base used to teach novices how to build ontologies

daml+oil : an ontolog languag for the semant web
 by all measur , the web is enorm and grow at a stagger rate , which ha made it increasingli difficult-and important-for both peopl and program to have quick and accur access to web inform and servic . the semant web offer a solut , captur and exploit the mean of term to transform the web from a platform that focus on present inform , to a platform that focus on understand and reason with inform . to support semant web develop , the us defens advanc research project agenc launch the darpa agent markup languag ( daml ) initi to fund research in languag , tool , infrastructur , and applic that make web content more access and understand . although the us govern fund daml , sever organizations-includ us and european busi and univers , and intern consortia such as the world wide web consortium-hav contribut to work on issu relat to daml 's develop and deploy . we focu on daml 's current markup languag , daml+oil , which is a propos start point for the w3c 's semant web activ 's ontolog web languag ( owl ) . we introduc daml+oil syntax and usag through a set of exampl , drawn from a wine knowledg base use to teach novic how to build ontolog

DAML+OIL
Semantic Web
DARPA Agent Markup Language
Ontology Web Language
syntax
wine knowledge base


Pontryagin maximum principle of optimal control governed by fluid dynamic systems with two point boundary state constraint

Abstract: We study the optimal control problem subject to the semilinear equation with a state constraint. We prove certain theorems and give examples of state constraints so that the maximum principle holds. The main difficulty of the problem is to make the sensitivity analysis of the state with respect to the control caused by the unboundedness and nonlinearity of an operator

pontryagin maximum principl of optim control govern by fluid dynam system with two point boundari state constraint
 we studi the optim control problem subject to the semilinear equat with a state constraint . we prove certain theorem and give exampl of state constraint so that the maximum principl hold . the main difficulti of the problem is to make the sensit analysi of the state with respect to the control caus by the unbounded and nonlinear of an oper

Pontryagin maximum principle
optimal control
fluid dynamics
state constraints
semilinear equation


Solving the multiple competitive facilities location problem

Abstract: In this paper we propose five heuristic procedures for the solution of the multiple competitive facilities location problem. A franchise of several facilities is to be located in a trade area where competing facilities already exist. The objective is to maximize the market share captured by the franchise as a whole. We perform extensive computational tests and conclude that a two-step heuristic procedure combining simulated annealing and an ascent algorithm provides the best solutions

solv the multipl competit facil locat problem
 in thi paper we propos five heurist procedur for the solut of the multipl competit facil locat problem . a franchis of sever facil is to be locat in a trade area where compet facil alreadi exist . the object is to maxim the market share captur by the franchis as a whole . we perform extens comput test and conclud that a two-step heurist procedur combin simul anneal and an ascent algorithm provid the best solut


An experimental evaluation of comprehensibility aspects of knowledge structures derived through induction techniques: a case study of industrial fault diagnosis

Abstract: Machine induction has been extensively used in order to develop knowledge bases for decision support systems and predictive systems. The extent to which developers and domain experts can comprehend these knowledge structures and gain useful insights into the basis of decision making has become a challenging research issue. This article examines the knowledge structures generated by the C4.5 induction technique in a fault diagnostic task and proposes to use a model of human learning in order to guide the process of making comprehensive the results of machine induction. The model of learning is used to generate hierarchical representations of diagnostic knowledge by adjusting the level of abstraction and varying the goal structures between 'shallow' and 'deep' ones. Comprehensibility is assessed in a global way in an experimental comparison where subjects are required to acquire the knowledge structures and transfer to new tasks. This method of addressing the issue of comprehensibility appears promising especially for machine induction techniques that are rather inflexible with regard to the number and sorts of interventions allowed to system developers

an experiment evalu of comprehens aspect of knowledg structur deriv through induct techniqu : a case studi of industri fault diagnosi
 machin induct ha been extens use in order to develop knowledg base for decis support system and predict system . the extent to which develop and domain expert can comprehend these knowledg structur and gain use insight into the basi of decis make ha becom a challeng research issu . thi articl examin the knowledg structur gener by the c4.5 induct techniqu in a fault diagnost task and propos to use a model of human learn in order to guid the process of make comprehens the result of machin induct . the model of learn is use to gener hierarch represent of diagnost knowledg by adjust the level of abstract and vari the goal structur between ' shallow ' and ' deep ' one . comprehens is assess in a global way in an experiment comparison where subject are requir to acquir the knowledg structur and transfer to new task . thi method of address the issu of comprehens appear promis especi for machin induct techniqu that are rather inflex with regard to the number and sort of intervent allow to system develop

knowledge structure comprehensibility aspects


A review of methodologies used in research on cadastral development

Abstract: World-wide, much attention has been given to cadastral development. As a consequence of experiences made during recent decades, several authors have stated the need for research in the domain of cadastre and proposed methodologies to be used. The paper contributes to the acceptance of research methodologies needed for cadastral development, and thereby enhances theory in the cadastral domain. The paper reviews nine publications on cadastre and identifies the methodologies used. The review focuses on the institutional, social, political and economic aspects of cadastral development, rather than on the technical aspects. The main conclusion is that the methodologies used are largely those of the social sciences. That agrees with the notion that cadastre relates as much to people and institutions, as it relates to land, and that cadastral systems are shaped by social, political and economic conditions, as well as technology. Since the geodetic survey profession has been the keeper of the cadastre, geodetic surveyors will have to deal ever more with social science matters, a fact that universities will have to consider

a review of methodolog use in research on cadastr develop
 world-wid , much attent ha been given to cadastr develop . as a consequ of experi made dure recent decad , sever author have state the need for research in the domain of cadastr and propos methodolog to be use . the paper contribut to the accept of research methodolog need for cadastr develop , and therebi enhanc theori in the cadastr domain . the paper review nine public on cadastr and identifi the methodolog use . the review focus on the institut , social , polit and econom aspect of cadastr develop , rather than on the technic aspect . the main conclus is that the methodolog use are larg those of the social scienc . that agre with the notion that cadastr relat as much to peopl and institut , as it relat to land , and that cadastr system are shape by social , polit and econom condit , as well as technolog . sinc the geodet survey profess ha been the keeper of the cadastr , geodet surveyor will have to deal ever more with social scienc matter , a fact that univers will have to consid

cadastre
research methodologies
economic aspects
social sciences
economic conditions
geodetic survey profession
geodetic surveyors
cadastral development methodologies
political aspects
land registration
case study


TPTP, CASC and the development of a semantically guided theorem prover

Abstract: The first-order theorem prover SCOTT has been through a series of versions over some ten years. The successive provers, while retaining the same underlying technology, have used radically different algorithms and shown wide differences of behaviour. The development process has depended heavily on experiments with problems from the TPTP library and has been sharpened by participation in CASC each year since 1997. We outline some of the difficulties inherent in designing and refining a theorem prover as complex as SCOTT, and explain our experimental methodology. While SCOTT is not one of the systems which have been highly optimised for CASC, it does help to illustrate the influence of both CASC and the TPTP library on contemporary theorem proving research

tptp , casc and the develop of a semant guid theorem prover
 the first-ord theorem prover scott ha been through a seri of version over some ten year . the success prover , while retain the same underli technolog , have use radic differ algorithm and shown wide differ of behaviour . the develop process ha depend heavili on experi with problem from the tptp librari and ha been sharpen by particip in casc each year sinc 1997 . we outlin some of the difficulti inher in design and refin a theorem prover as complex as scott , and explain our experiment methodolog . while scott is not one of the system which have been highli optimis for casc , it doe help to illustr the influenc of both casc and the tptp librari on contemporari theorem prove research

CASC
semantically guided theorem prover
first-order theorem prover
SCOTT
TPTP library
experimental methodology
Semantically Constrained Otter
proof searches


On the p-adic Birch, Swinnerton-Dyer Conjecture for non-semistable reduction

Abstract: In this paper, we examine the Iwasawa theory of elliptic curves E with additive reduction at an odd prime p. By extending Perrin-Riou's theory to certain nonsemistable representations, we are able to convert Kato's zeta-elements into p-adic L-functions. This allows us to deduce the cotorsion of the Selmer group over the cyclotomic Z/sub p/-extension of Q, and thus prove an inequality in the p-adic Birch and Swinnerton-Dyer conjecture at primes p whose square divides the conductor of E

on the p-adic birch , swinnerton-dy conjectur for non-semist reduct
 in thi paper , we examin the iwasawa theori of ellipt curv e with addit reduct at an odd prime p. by extend perrin-ri 's theori to certain nonsemist represent , we are abl to convert kato 's zeta-el into p-adic l-function . thi allow us to deduc the cotors of the selmer group over the cyclotom z / sub p/-extens of q , and thu prove an inequ in the p-adic birch and swinnerton-dy conjectur at prime p whose squar divid the conductor of e

p-adic Birch
Swinnerton-Dyer conjecture
elliptic curves
additive reduction
Perrin-Riou's theory
p-adic L-functions
cotorsion
Selmer group
cyclotomic Z/sub p/-extension
nonsemistable reduction
lwasawa theory


Steady-state mean-square error analysis of the cross-correlation and constant modulus algorithm in a MIMO convolutive system

Abstract: The cross-correlation and constant modulus algorithm (CC-CMA) has been proven to be an effective approach in the problem of joint blind equalisation and source separation in a multi-input and multi-output system. In the paper, the steady-state mean-square error performance of CC-CMA in a noise-free environment is studied, and a new expression is derived based on the energy preservation approach of Mai and Sayed (2000). Simulation studies are undertaken to support the analysis

steady-st mean-squar error analysi of the cross-correl and constant modulu algorithm in a mimo convolut system
 the cross-correl and constant modulu algorithm ( cc-cma ) ha been proven to be an effect approach in the problem of joint blind equalis and sourc separ in a multi-input and multi-output system . in the paper , the steady-st mean-squar error perform of cc-cma in a noise-fre environ is studi , and a new express is deriv base on the energi preserv approach of mai and say ( 2000 ) . simul studi are undertaken to support the analysi

Steady-state mean-square error analysis
cross-correlation
constant modulus algorithm
MIMO convolutive system
CC-CMA
joint blind equalisation
source separation
noise-free environment
energy preservation approach
multi-input multi-output system


P systems with symport/antiport rules: the traces of objects

Abstract: We continue the study of those P systems where the computation is performed by the communication of objects, that is, systems with symport and antiport rules. Instead of the (number of) objects collected in a specified membrane, as the result of a computation we consider the itineraries of a certain object through membranes, during a halting computation, written as a coding of the string of labels of the visited membranes. The family of languages generated in this way is investigated with respect to its place in the Chomsky hierarchy. When the (symport and antiport) rules are applied in a conditional manner, promoted or inhibited by certain objects which should be present in the membrane where a rule is applied, then a characterization of recursively enumerable languages is obtained; the power of systems with the rules applied freely is only partially described

p system with symport / antiport rule : the trace of object
 we continu the studi of those p system where the comput is perform by the commun of object , that is , system with symport and antiport rule . instead of the ( number of ) object collect in a specifi membran , as the result of a comput we consid the itinerari of a certain object through membran , dure a halt comput , written as a code of the string of label of the visit membran . the famili of languag gener in thi way is investig with respect to it place in the chomski hierarchi . when the ( symport and antiport ) rule are appli in a condit manner , promot or inhibit by certain object which should be present in the membran where a rule is appli , then a character of recurs enumer languag is obtain ; the power of system with the rule appli freeli is onli partial describ

P systems
antiport rules
itineraries
halting computation
languages
Chomsky hierarchy
recursively enumerable languages
object communication
object traces
symport rules
label string coding


John McCarthy: father of AI

Abstract: If John McCarthy, the father of AI, were to coin a new phrase for "artificial intelligence" today, he would probably use "computational intelligence." McCarthy is not just the father of AI, he is also the inventor of the Lisp (list processing) language. The author considers McCarthy's conception of Lisp and discusses McCarthy's recent research that involves elaboration tolerance, creativity by machines, free will of machines, and some improved ways of doing situation calculus

john mccarthi : father of ai
 if john mccarthi , the father of ai , were to coin a new phrase for " artifici intellig " today , he would probabl use " comput intellig . " mccarthi is not just the father of ai , he is also the inventor of the lisp ( list process ) languag . the author consid mccarthi 's concept of lisp and discuss mccarthi 's recent research that involv elabor toler , creativ by machin , free will of machin , and some improv way of do situat calculu

John McCarthy
father of AI
artificial intelligence
computational intelligence
Lisp
list processing
elaboration tolerance
creativity
free will
situation calculus


Two-scale curved element method for elliptic problems with small periodic coefficients

Abstract: This paper is concerned with the second order elliptic problems with small periodic coefficients on a bounded domain with a curved boundary. A two-scale curved element method which couples linear elements and isoparametric elements is proposed. The error estimate is obtained over the given smooth domain. Furthermore an additive Schwarz method is provided for the isoparametric element method

two-scal curv element method for ellipt problem with small period coeffici
 thi paper is concern with the second order ellipt problem with small period coeffici on a bound domain with a curv boundari . a two-scal curv element method which coupl linear element and isoparametr element is propos . the error estim is obtain over the given smooth domain . furthermor an addit schwarz method is provid for the isoparametr element method

two-scale curved element method
elliptic problems
small periodic coefficients
second order elliptic problems
bounded domain
curved boundary
linear elements
isoparametric elements
error estimate
additive Schwarz method
isoparametric element method


Dueling platforms [healthcare network servers]

Abstract: Many large hospitals and healthcare systems have grown accustomed to the reliability of mainframe architecture, although tighter operating budgets, coupled with advances in client/server technology, have led to more office and clinical applications being moved off mainframes. But Evanston Northwestern Healthcare wasn't ready to get rid of its IBM OS 390 mainframe just yet. While a number of new clinical applications are being installed on two brand new IBM servers, Evanston Northwestern Healthcare will retain its favored hospital billing system and let it reside on the organization's mainframe, as it has since 1982

duel platform [ healthcar network server ]
 mani larg hospit and healthcar system have grown accustom to the reliabl of mainfram architectur , although tighter oper budget , coupl with advanc in client / server technolog , have led to more offic and clinic applic be move off mainfram . but evanston northwestern healthcar wa n't readi to get rid of it ibm os 390 mainfram just yet . while a number of new clinic applic are be instal on two brand new ibm server , evanston northwestern healthcar will retain it favor hospit bill system and let it resid on the organ 's mainfram , as it ha sinc 1982

computerized physician order entry system


Design and modeling of an interval-based ABR flow control protocol

Abstract: A novel flow control protocol is presented for availability bit rate (ABR) service in asynchronous transfer mode (ATM) networks. This scheme features periodic explicit rate feedback that enables precise allocation of link bandwidth and buffer space on a hop-by-hop basis to guarantee maximum throughput, minimum cell loss, and high resource efficiency. With the inclusion of resource management cell synchronization and consolidation algorithms, this protocol is capable of controlling point-to-multipoint ABR services within a unified framework. The authors illustrate the modeling of single ABR connection, the interaction between multiple ABR connections, and the constraints applicable to flow control decisions. A loss-free flow control mechanism is presented for high-speed ABR connections using a fluid traffic model. Supporting algorithms and ATM signaling procedures are specified, in company with linear system modeling, numerical analysis, and simulation results, which demonstrate its performance and cost benefits in high-speed backbone networking scenarios

design and model of an interval-bas abr flow control protocol
 a novel flow control protocol is present for avail bit rate ( abr ) servic in asynchron transfer mode ( atm ) network . thi scheme featur period explicit rate feedback that enabl precis alloc of link bandwidth and buffer space on a hop-by-hop basi to guarante maximum throughput , minimum cell loss , and high resourc effici . with the inclus of resourc manag cell synchron and consolid algorithm , thi protocol is capabl of control point-to-multipoint abr servic within a unifi framework . the author illustr the model of singl abr connect , the interact between multipl abr connect , and the constraint applic to flow control decis . a loss-fre flow control mechan is present for high-spe abr connect use a fluid traffic model . support algorithm and atm signal procedur are specifi , in compani with linear system model , numer analysi , and simul result , which demonstr it perform and cost benefit in high-spe backbon network scenario

resource management cell synchronization algorithms

resource management cell consolidation algorithms

P P P P P P P P P P P P P P P P R R R R R R R