ppxscal/embedding_network huggingface dataset:
A study of labor assignment flexibility in cellular manufacturing systems
Authors: Viviana I. Cesaní, Harold J. Steudel
Venue: Computers and Industrial Engineering (2005)

The objective of this research is to study labor flexibility in cellular manufacturing systems characterized by intra-cell operator's mobility. The special focus of the investigation is to explore the impact that using different labor allocation strategies have on system performance. This internal aspect of labor flexibility is referred to as labor assignment flexibility. Labor strategies are classified according to the type of machine-operator assignments including dedicated (when only one operator is responsible for a machine or group or machines), shared (when more than one operator is responsible for a machine or a group of machines) or combined assignments (when the operator has both dedicated and shared machine assignments). This work proposes a classification scheme and a framework that is composed by a set of propositions that evolved from an empirical study and includes the concepts of workload balancing, workload sharing, and the presence of bottleneck operations. The suitability of the framework is tested using simulation modeling in an actual cell implementation. The experimental results based on labor strategies using two and three operators show that the balance in the workload assigned to the individual operators and the level of shared workload are significant factors in determining the performance of the system.
Study on Magnetic Circuit Structure of Magnetic Valve Controllable Reactor Based on ANSYS
Authors: Ziqiang Wang, Zhongdong Yin, Zhengyu Xie
Venue: Proceedings of the 2009 International Conference on Energy and Environment Technology - Volume 02 (2009)

The core cross section area of magnetic valve controllable reactor has a reduced section. By changing the saturation degree of the cross section area, the capacity of the reactor can be changed. In this paper, focusing on a new type of magnetic valve controllable reactor prototype, the precise 2-D field-circuit coupling model of the prototype is established in the finite element analysis software ANSYS. Based on this model, the magnetic state within the core is studied under the combined effects of AC and DC. The theoretical analyses and simulation results show that the analyzed 2-D field-circuit coupling model can reflects the actual reactor transient electromagnetic process accurately.
Weaknesses in an anonymous authentication scheme for roaming service in global mobility networks
Authors: Taek-Young Youn, Young-Ho Park, Jongin Lim
Venue: IEEE Communications Letters (2009)

Recently, Chang, Lee, and Chiu proposed an enhanced anonymous authentication scheme which permits mobile users to anonymously enjoy roaming service in global mobile networks. In this letter, we show that their scheme fails to achieve the anonymity by providing four attack strategies. Moreover, we show that anyone can recover a mobile user's session keys by using the identity of the mobile user. Hence, Chang et al.'s scheme cannot provide secure key establishing service since an adversary can recover the identity of a mobile user by performing one of our attacks.
Generalized Fuzzy Ideals of BCK-Algebras
Authors: Shaoquan Sun, Liu Guozhu
Venue: Proceedings of the 2009 Second International Workshop on Computer Science and Engineering - Volume 02 (2009)

In this paper, the concepts of generalized fuzzy sub-algebras , generalized fuzzy ideals and generalized fuzzy implicative ideals of BCK-algebras are introduced. The following results are obtained: for a BCK-algebra X, any generalized fuzzy ideal of X must be a generalized fuzzy sub-algebra; a fuzzy set A of X is a generalized fuzzy ideal (implicative ideal) of X if and only if, for all, is either empty or an ideal (implicative ideal) of X; suppose that A and B are generalized fuzzy ideals of X with A≤Bb, if A is a generalized fuzzy implicative ideal of X, then so is B. Also, several characterizations of generalized fuzzy implicative ideals are given.
Non-exhaustive Learning for Bacteria Detection
Authors: Ferit Akova, Daniel Hirleman, Arun K. Bhunia, Bartek Rajwa, M. Murat Dundar
Venue: Proceedings of the 2009 International Conference on Network-Based Information Systems (2009)

Technologies for rapid detection and classification of bacterial pathogens are crucial for securing the food supply. A light-scattering sensor recently developed for real-time detection and identification of colonies of multiple pathogens has shown great promise for distinguishing bacteria cultures at the genus and species level for Listeria, Staphylococcus, Salmonella, Vibrio, and Escherichia. Unlike traditional testing methods, this new technology does not require a labeling reagent or biochemical processing. The classification approach currently used with this technology relies on supervised learning. For an accurate detection and classification of bacterial pathogens, the training library used to train the classifier should consist of samples of all possible forms of the pathogens. Construction of such a training library is impractical if not impossible due to the high mutation rate that characterizes some of the infectious agents. In this study we propose a Bayesian approach to advance this sensor technology to allow for the detection of new classes/subclasses of bacteria, which do not exist in the training library. Learning with a nonexhaustive training library is an ill-defined problem. We assume Gaussian distributions for bacteria subclasses and implement a maximum likelihood classifier. A pair of conjugate priors based on Wishart distribution is defined and the covariance matrices are estimated by the posterior mean. A new sample is classified into one of the existing set of classes if the maximum of the likelihoods is above a designated threshold. If not, the sample is considered a novelty, i.e. a sample of a potentially new class. We compare the proposed approach with a benchmark support estimation technique as well as a simulated Bayesian modelling approach recently proposed.
A new scheme to determine the weight distributions of binary extended quadratic residue codes
Authors: Trieu-Kien Truong, Chong-Dao Lee, Yaotsu Chang, Wen-Ku Su
Venue: IEEE Transactions on Communications (2009)

This letter proposes a novel scheme which consists of a weight-counting algorithm, the combinatorial designs of the Assmus-Mattson theorem, and the weight polynomial of Gleason's theorem to determine the weight distributions of binary extended quadratic residue codes. As a consequence, the weight distributions of binary (138, 69, 22) and (168, 84, 24) extended quadratic residue codes are given.
Self-organizing peer-to-peer networks for collaborative document tracking
Authors: Hathai Tanta-ngai, Evangelos E. Milios, Vlado Kešelj
Venue: Proceeding of the 1st ACM international workshop on Complex networks meet information & knowledge management (2009)

Given a set of peers with overlapping interests where each peer wishes to keep track of new documents that are relevant to their interests, we propose a self-organizing peer-to-peer document-tracking network based on common interest profiles. The goal of a document-tracking network is to disseminate new documents as they are published. Peers collaboratively share new documents of interest with other peers. There is no explicit profile exchange between peers and no global information available. We describe a strategy for peers to discover the existence of other peers and learn about their interests locally, based on information carried in the document metadata that propagates through the network. Peers are connected based on their observed common interests. We compare our proposed common interest strategy with a randomly connected network. The experimental results, based on simulated environment using the ACM digital library metadata, demonstrate that the proposed strategy gives the best dissemination performance. We also demonstrate that our self-organizing networks follow the characteristics of social networks.
Factors facilitating infusion of technology into primary and secondary education
Authors: Brooks Steele, Daniel W. Surry, Barry E. Porter, Dedrick J. Sims
Venue: Proceedings of the 10th IASTED International Conference on Computers and Advanced Technology in Education (2007)

Despite recent advances in the power and availability of educational technologies, technology use in K-12 schools remains sporadic. This study used a survey, interviews, and document analysis to determine the most effective methods for facilitating the use of technology in K-12 schools in Alabama. Four of the most interesting descriptive results of the study are: 1. Few school-based technology coordinators have large percentages of time assigned to the position. 2. Most school-based technology coordinators received no formal training. 3. Technology coordinators are satisfied with the level of technology infusion in their schools and districts. 4. Lack of time combined with competing tasks was identified as the main challenge technology coordinators face. Analysis of variance was used to determine statistically significant differences between groups related to research questions. Five statistically significant differences are: 1. Level of satisfaction with technology infusion based on time to work with teachers. 2. Level of satisfaction with technology infusion and participation in the technology planning process. 3. Level of satisfaction with technology infusion and technology resources. 4. Level of satisfaction with technology infusion and commitment of school and district-level administrators. 5. Level of satisfaction with technology infusion based on school location (Urban, rural, suburban).
The effects of computer-assisted material on students' cognitive levels, misconceptions and attitudes towards science
Authors: Salih Çepni, Erol Taş, Sacit Köse
Venue: Computers Education (2006)

The purpose of this study was to investigate the effects of a Computer-assisted Instruction Material (CAIM) related to ''photosynthesis'' topic on student cognitive development, misconceptions and attitudes. The study conducted in 2002-2003 academic year and was carried out in two different classes taught by the same teacher, in which there were fifty two 11th grade high school students, in central city of Trabzon in Turkey. An experimental research design including the photosynthesis achievement test (PAT), the photosynthesis concept test (PCT) and science attitude scale (SAS) was applied at the beginning and at the end of the research as pre-test and post-test. After the treatment, general achievement in PAT increased by 10% in favour of experiment group (EG) at (p
Knowledge building in asynchronous discussion groups: Going beyond quantitative analysis
Authors: Sarah Schrire
Venue: Computers Education (2006)

This contribution examines the methodological challenges involved in defining the collaborative knowledge-building processes occurring in asynchronous discussion and proposes an approach that could advance understanding of these processes. The written protocols that are available to the analyst provide an exact record of the instructional transactions at a given time in the online discussion. On the basis of a study of online discussion forums used in a higher education context, a model for the analysis of collaborative knowledge building in asynchronous discussion is presented. The model allows examination of the communication from the multiple perspectives of interaction, cognition and discourse analysis. The investigation was conducted using a qualitative case study approach and involved an in-depth examination of three cases. Content analysis of the discourse was done at a number of levels, focusing on the discussion forum itself, the discussion threads, the messages, and the exchanges and moves among the messages. As a result of correspondences found among the variables representing the different levels of the analysis, the most important being the relationship between type of interaction, phase of critical inquiry, and move in the exchange structure, it was possible to build a scheme for assessing knowledge building in asynchronous discussion groups. The scheme integrates the interactive, cognitive and discourse dimensions in computer-supported collaborative learning (CSCL). The study represents a merging of quantitative analysis within qualitative methodology and provides both an analytic and a holistic perspective on CSCL.
A novel analytical method for maximum likelihood detection in MIMO multiplexing systems
Authors: Wei Peng, Shaodan Ma, Tung-sang Ng, Jiangzhou Wang
Venue: IEEE Transactions on Communications (2009)

This letter addresses the problem of symbol error probability (SEP) analysis for maximum likelihood (ML) detection in multiple-input multiple-output (MIMO) multiplexing systems. A new analytical method is presented based on the Total Probability Theorem. The effects of imperfect channel estimation and power allocation scheme are investigated. The accuracy of the proposed method is demonstrated by Monte-Carlo simulations. It is shown that the analytical results match quite well with the simulation ones irrespective of the signal-to-noise-ratio (SNR).
A New Algorithm for Using Dynamic Keys Encryption Video Information
Authors: Shaosheng Guo, Youxin Meng, Wei Zhang
Venue: Proceedings of the 2009 Second International Workshop on Computer Science and Engineering - Volume 02 (2009)

We put forward a new method for using dynamic keys to encrypt video information on the theory and characteristics of the H.264 video compression standard. The dynamic key encrypts the most important parts of video information, not only to ensure the safety of the information but also to improve the transmission rate. The algorithm is implemented in JM12.4, experimental results show that the new algorithm of encryption achieves a greatly improved effect.
A synchronous multioutput step-up/down dc-dc converter with return current control
Authors: Kyoung-Sik Seol, Young-Jin Woo, Gyu-Hyeong Cho, Gyu-Ha Gho, Jae-Woo Lee
Venue: IEEE Transactions on Circuits and Systems II: Express Briefs (2009)

This brief presents a new return-current control method for a multioutput step-up/down dc-dc converter. Compared with prior multioutput dc-dc converters, the presently described converter can generate outputs higher or lower than the input voltage with simple control-loop compensation while guaranteeing stability in a wide load range. Using a O.5-µm bipolar CMOS (BiCMOS) process, a converter having five outputs has been implemented for an LG active-matrix organic light-emitting diode (AM-OLED) display panel. The implemented converter operates at 1-MHz switching frequency with 4.7-µH inductor and 10-µF capacitor. Experimental results show that the proposed control method can generate tightly regulated stepped-up or -down outputs stably under a wide load variation. The conversion efficiency is higher than 80% at a typical AM-OLED panel grey level.
A graph approach to quantitative analysis of control-flow obfuscating transformations
Authors: Hsin-Yi Tsai, Yu-Lun Huang, David Wagner
Venue: IEEE Transactions on Information Forensics and Security (2009)

Modern obfuscation techniques are intended to discourage reverse engineering and malicious tampering of software programs. We study control-flow obfuscation, which works by modifying the control flow of the program to be obfuscated, and observe that it is difficult to evaluate the robustness of these obfuscation techniques. In this paper, we present a framework for quantitative analysis of control-flow obfuscating transformations. Our framework is based upon the control-flow graph of the program, and we show that many existing control-flow obfuscation techniques can be expressed as a sequence of basic transformations on these graphs. We also propose a new measure of the difficulty of reversing these obfuscated programs, and we show that our framework can be used to easily evaluate the space penalty due to the transformations.
Physical layer network coding for FSK systems
Authors: Jesper H. Sørensen, Rasmus Krigslund, Petar Popovski, Toshiaki Koike Akino, Torben Larsen
Venue: IEEE Communications Letters (2009)

In this work we extend the existing concept of De-Noise and Forward (DNF) for bidirectional relaying to utilise non-coherent modulation schemes. This is done in order to avoid the requirement of phase tracking in coherent detection. As an example BFSK is considered, and through analysis the decision regions for the denoise operation in DNF are identified. The throughput performance of BFSK in DNF is compared to BPSK.
Improved global asymptotical synchronization of chaotic Lur'e systems with sampled-data control
Authors: Chuan-Ke Zhang, Yong He, Min Wu
Venue: IEEE Transactions on Circuits and Systems II: Express Briefs (2009)

This brief investigates the global asymptotical synchronization problem of chaotic Lur'e systems with sampled-data control. Based on a time-varying delay system transformed from the sampled-data error system, an augmented Lyapunov functional containing some useful system information is constructed, no useful terms in the derivative of the Lyapunov functional are ignored, and the relationship among the time-varying delay, its upper bound, and their difference is taken into account. A less conservative delay-dependent synchronization criterion expressed in terms of linear matrix inequalities is obtained. The effectiveness and merits of the proposed method are finally illustrated via numerical simulations for Chua's circuits.
Exact BER analysis of distributed Alamouti's code for cooperative diversity networks
Authors: MinChul Ju, Hyoung-Kyu Song, Il-Min Kim
Venue: IEEE Transactions on Communications (2009)

We analyze the bit-error rate (BER) performance of the distributed Alamouti's code for cooperative diversity networks consisting of a source, two relays and a destination node over Rayleigh fading channels. It is assumed that the relays adopt the amplify-and-forward protocol. Firstly, assuming the existence of the direct path component from the source to the destination, we derive the exact BER expression in a one-integral form for M-pulse amplitude modulation (PAM) and M-quadrature amplitude modulation (QAM) constellations. We also present a series expansion of a very accurate BER approximation, which does not require any numerical calculation, and we prove this series is convergent. Secondly, considering the system where the direct path component does not exist, we obtain the exact BER expression in a one-integral form and a series expansion of the exact BER expression. Numerical results confirm that the two exact BER expressions in a one-integral form perfectly match the simulation results and the two series expressions of BER are very accurate, even with a small truncation window.
A hypothesis testing approach to semifragile watermark-based authentication
Authors: Chuhong Fei, Raymond H. Kwong, Deepa Kundur
Venue: IEEE Transactions on Information Forensics and Security (2009)

This paper studies the problem of achieving watermark semifragility in watermark-based authentication systems through a composite hypothesis testing approach. Embedding a semifragile watermark serves to distinguish legitimate distortions caused by signal-processing manipulations from illegitimate ones caused by malicious tampering. This leads us to consider authentication verification as a composite hypothesis testing problem with the watermark as side information. Based on the hypothesis testing model, we investigate effective embedding strategies to assist the watermark verifier to make correct decisions. Our results demonstrate that quantization-based watermarking is more appropriate than spread-spectrum-based methods to achieve the semifragility tradeoff between two error probabilities. This observation is confirmed by a case study of an additive Gaussian white noise channel with a Gaussian source using two figures of merit: 1) relative entropy of the two hypothesis distributions and 2) the receiver operating characteristic. Finally, we focus on common signal-processing distortions, such as JPEG compression and image filtering, and investigate the discrimination statistic and optimal decision regions to distinguish legitimate and illegitimate distortions. The results of this paper show that our approach provides insights for authentication watermarking and allows for better control of semifragility in specific applications.
Social Networks Analysis of the Knowledge Diffusion among University Students
Authors: Huosong Xia, Ruixin Wang, Shaolong Hu
Venue: Proceedings of the 2009 Second International Symposium on Knowledge Acquisition and Modeling - Volume 02 (2009)

Basing on the relationship between the network location of college students in the class and the knowledge diffusion, we gave the students major in Information Management and Information System of a university some questionnaires for collecting data. We get the emotional relationship network, counseling relationship network and intelligence relationship network within the organization. This paper analyzed the key factors influencing knowledge diffusion and innovation through quantitative analysis about network density, centrality and the cohesive subgroup. And we lay the theoretical foundation for the formulation of related measures to improve knowledge diffusion in the undergraduate organization.
MOD_FreeSurf2D: A MATLAB surface fluid flow model for rivers and streams
Authors: Nick Martin, Steven M. Gorelick
Venue: Computers Geosciences (2005)

MOD_FreeSurf2D is an open source MATLAB code that simulates fluid velocities and depths in rivers and streams. Although this model was designed for a specific purpose, MOD_FreeSurf2D can be employed in general scenarios when the depth-averaged, shallow water equations apply. The model approximates the depth-averaged, shallow water equations with a finite volume, semi-implicit, semi-Lagrangian representation. This numerical solution method provides accuracy and stability when using model time steps that exceed the Courant-Friedrichs-Lewy (CFL) restriction. An additional benefit of the numerical representation is the ability to simulate moving land/water boundaries. Model results were shown to be accurate when compared to published data from a dam-break experiment in a 21m flume and from velocity and depth measurements along a 400m river reach in Idaho. Results from the dam-break experiment simulations demonstrate the model's ability to simulate wetting and drying. Additionally, sensitivity analyses conducted on the two scenarios show model convergence and demonstrate that the model can employ time steps that exceed the CFL restriction.