Computer Sciences Commons^™

Study On Pulverizing System Simulation Model Of 300mw Lignite Oxygen-Enriched Combustion Boiler, Jianqiang Gao, Shaodong Sun

Journal of System Simulation

Abstract: The simulation model of the pulverizing system of a 300 MW lignite oxygen-enriched combustion boiler was developed. And the dynamic and static simulation experiments were completed, the experiments included lignite surface moisture content variation, disturbance of feeder norm speed, flue gas inlet temperature and flow rate etc. The results show that, the model is able to correctly simulate the dynamic process of the system. Moisture reduction has a larger impact on the pulverizing system operating parameters. The mill outlet temperature gets a significant rise, especially when it is less than 30%. When the feeder norm speed or flow rate …

Thermal Power Plants Main Steam Temperature System Control Based On Implicit Pigpc, Zhongda Tian, Shujiang Li, Yanhong Wang

Journal of System Simulation

Abstract: Aiming at the large inertial time-delay characteristic of main steam temperature control system on the thermal power plants, a control method based on Implicit PI-based generalized predictive controller (GPC) was proposed. The implicit PIGPC algorithm with PI structure was proposed based on implicit GPC, implicit PI-based GPC combined the advantages of PI control and implicit GPC, the feedback structure of PI and prediction function of GPC was combined. The predictive control algorithm with PI structure was obtained through a new objective function, the performance of controller was improved. At the same time, the stability of the compensation algorithm was …

Key Technology Of Fully Immersive Virtual Experience Cabin, Baojiang Du, Zha Liang, Lin Ling

Journal of System Simulation

Abstract: The structure of simulated experience cabin for fire safety education was introduced and the design and implementation methods of a virtual fire escape system for fire safety education were proposed, and specifically the specific implementation and optimization of virtual fire scenario, the conjunction method of double virtual interactive platforms and the simplification of model and the method of communication between the virtual scenes and the PLC control hardware devices were discusses. Fire safety education oriented virtual fire escape skills training system was achieved, which was applied in the teaching and experience room for fire safety training. Application results show …

Connectivity Layer Framework – Sandbox Application, Nitesh Goyal

Manipal Institute of Technology, Manipal Theses and Dissertations

No abstract provided.

Developing A Gamification Model To Increase Customer Loyalty In Public Sector, Maulik Jain

Manipal Institute of Technology, Manipal Theses and Dissertations

No abstract provided.

Research Of Vibration Control On Nonlinear Rotor System With Fuzzy-Pid, Liu Jun, Zhenwang Liu, Jianen Chen, Liangfu Wang

Journal of System Simulation

Abstract: In order to overcome the problems which are the model of the nonlinear restoring force and the nonlinear vibration control, the vibration control of the nonlinear rotor system and the processing the nonlinear restoring force were accomplished based on the electromagnetic actuator using the FUZZY-PID controller with the fitness function of the variable width and variable geometric shapes. Using the Jeffcott rotor model with the nonlinearities of the forces of the bearing and the electromagnetic actuator, the simulations of the vibration control on the rotor system were performed. Through comparing with the control methods of the traditional PID and …

Simulation And Evaluation Of Facility Layout In Environment With Complexity For Manufacturing System, Ailin Yu, Qingxin Chen, Mao Ning

Journal of System Simulation

Abstract: To research the performance for manufacturing system of equipment with different layout of facility, a method of simulation and evaluation in the environment with complexity of manufacturing system was proposed. Three kinds of typical layout of facility were concluded and abstract by the enterprise facts. The evaluation system was established in the environment with complexity of manufacturing system. The construction method of the entropy models were described emphatically. Simulation models were developed based on the production and process model. The layouts were analyzed and evaluated by the data of the evaluation system from simulation experiments.

Optimal Design Of High Power Medium Frequency Transformer Based On Channel Lightweight Requirement, Fangcheng Lü, Yunxiang Guo, Li Peng

Journal of System Simulation

Abstract: The analytical calculation method for winding loss and core loss of high power medium frequency transformer was analyzed, and the optimal design process was established. A 300 kW medium frequency transformer for lightweight application of electric locomotive was designed optimally by the method of free parameters scanning. Through the establishment of evaluation parameters equation, the best scheme considered both the total loss and transformer weight. On this basis, the winding loss and core loss for six groups of design scheme were verified by finite element simulation in 2D eddy current field and transient field of Ansoft Maxwell respectively. Through …

Steering Dynamics Simulation Analysis Of Replaceable Triangular Track Of Skidder, Xiaowen Ge, Jiejian Hou, Lihai Wang

Journal of System Simulation

Abstract: In order to design a kind of high efficiency and low cost multifunctional skidder suitable for forest conditions of China, the replaceable triangular track was applied to skidder and the virtual prototype of triangular track skidder and road models were built based on the theoretical analysis by Solidworks and RecurDyn Software. Simulation analysis regarding the effects of pre-tension, turning angle, road conditions, loading and skidding on skidder's turning performance was made. Research results show that the pre-tension of 19.2 kN (40% of the vehicle weight) is much proper for turning. The larger turning angle is, the easier skidder turned, …

Are There Traces Of Megacomputing In Our Universe, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

The recent successes of quantum computing encouraged many researchers to search for other unconventional physical phenomena that could potentially speed up computations. Several promising schemes have been proposed that will -- hopefully -- lead to faster computations in the future. Some of these schemes -- similarly to quantum computing -- involve using events from the micro-world, others involve using large-scale phenomena. If some civilization used micro-world for computations, this will be difficult for us to notice, but if they use mega-scale effects, maybe we can notice these phenomena? In this paper, we analyze what possible traces such megacomputing can leave …

Push-Relabel Algorithms For Computing Perfect Matchings Of Regular Bipartite Multigraphs, Benjamin J. Coleman

Dartmouth College Undergraduate Theses

We seek to compute perfect matchings of a d-regular bipartite multigraph G = (V, E). If d is a power of 2, we can perform Euler decomposition, which recursively separates a graph of even degree into subgraphs of smaller degree. When d is not a power of 2, however, Euler decomposition eventually returns a subgraph of odd degree. At this point, we can manually remove a perfect matching to return the graph to even degree and continue Euler decomposition. In this paper, we explore push-relabel algorithms as potential solutions to removing a perfect matching from a regular bipartite multigraph. Empirical …

Learning Humor Through Ai: A Study On New Yorker's Cartoon Caption Contests Using Deep Learning, Ray Tianyu Li

Dartmouth College Undergraduate Theses

My research focuses on predicting a cartoon caption's wittiness using multi-modal deep learning models. Nowadays, deep learning is commonly used in image captioning tasks, during which the machine has to understand both natural languages and visual pictures. However, instead of aiming to describe a real-world scene accurately, my research seeks to train computers to learn humor inside both natural languages and visual images. Cartoons are the artistic medium that supposes to deliver visual humor, and their captions are also supposed to be interesting to add to the fun. Thus, I decided to use research on cartoons' captions to see if …

Automatic Generation Of Input Grammars Using Symbolic Execution, Linda Xiao

Dartmouth College Undergraduate Theses

Invalid input often leads to unexpected behavior in a program and is behind a plethora of known and unknown vulnerabilities. To prevent improper input from being processed, the input needs to be validated before the rest of the program executes. Formal language theory facilitates the definition and recognition of proper inputs. We focus on the problem of defining valid input after the program has already been written. We construct a parser that infers the structure of inputs which avoid vulnerabilities while existing work focuses on inferring the structure of input the program anticipates. We present a tool that constructs an …

Vr-Notes: A Perspective-Based, Multimedia Annotation System In Virtual Reality, Justin Luo

Dartmouth College Undergraduate Theses

Virtual reality (VR) has begun to emerge as a new technology in the commercial and research space, and many people have begun to utilize VR technologies in their workflows. To improve user productivity in these scenarios, annotation systems in VR allow users to capture insights and observations while in VR sessions. In the digital, 3D world of VR, we can design annotation systems to take advantage of these capabilities to provide a richer annotation viewing experience. I propose VR-Notes, a design for a new annotation system in VR that focuses on capturing the annotator's perspective for both "doodle" annotations and …

Label Noise Reduction Without Assumptions, Jason Wei

Dartmouth College Undergraduate Theses

We propose an algorithm for training neural networks in noisy label scenarios that up-weighs per-example gradients that are more similar to other gradients in the same minibatch. Our approach makes no assumptions about the amount or type of label noise, does not use a held-out validation set of clean examples, makes relatively few computations, and only modifies the minibatch gradient aggregation module in a typical neural network training workflow. For CIFAR-10 classification with varying levels of label noise, our method successfully up-weighs clean examples and de-prioritizes noisy examples, showing consistent improvement over a vanilla training baseline. Our results open the …

Predicting Influencer Virality On Twitter, Danah K. Han

Dartmouth College Undergraduate Theses

The ability to successfully predict virality on Twitter holds great potential as a resource for Twitter influencers, enabling the development of more sophisticated strategies for audience engagement, audience monetization, and information sharing. To our knowledge, focusing exclusively on tweets posted by influencers is a novel context for studying Twitter virality. We find, among feature categories traditionally considered in the literature, that combining categories covering a range of information performs better than models only incorporating individual feature categories. Moreover, our general predictive model, encompassing a range of feature categories, achieves a prediction accuracy of 68% for influencer virality. We also investigate …

Information Network Navigation, Ryan W. Blankemeier

Dartmouth College Undergraduate Theses

In this paper, we develop an interactive system to navigate information networks as a space with geometry, assigning each node in the network to geographical coordinates, and with that the ability to navigate as if on a map. A map-based rendering of the network gives the user the ability to understand meta-relationships (i.e., non-link-based relationships) that exist in the dataset that are lost with a traditional web search and (hyper-)link navigation. This requires first being able to represent the information corpus in such a way as to enable a quantifiable notion of similarity between the information nodes. A t-SNE (t-distributed …

Query Free Adversarial Transfer Via Undertrained Surrogates, Christopher S. Miller

Dartmouth College Undergraduate Theses

Adversarial examples consist of minor perturbations added to a model's input which cause the model to output an incorrect prediction. Deep neural networks have been shown to be highly vulnerable to these attacks, and this vulnerability represents both a security risk for the use of deep learning models in security-conscious fields and an opportunity to improve our understanding of how neural networks generalize to unexpected inputs. Transfer attacks are an important subcategory of adversarial attacks. In a transfer attack, the adversary builds an adversarial attack using a surrogate model, then uses that attack to fool an unseen target model. Recent …

Mining Academic Publications To Predict Automation, Elena A. Doty

Dartmouth College Undergraduate Theses

This paper proposes a novel framework of predicting future technological change. Using abstracts of academic publications available in the Microsoft Academic graph, co-occurrence matrices are generated to indicate how often occupation and technological terms are referenced together. This matrices are used in linear regression models to predict future co-occurrence of occupations and technologies with a relatively high degree of accuracy as measured through the mean squared error of the models. While this work is unable to link the co-occurrences found in academic publications to automation in the labor force due to a dearth of automation data, future work conducted when …

Ari: The Automated R Instructor, Sean Kross, Jeffrey T. Leek, John Muschelli

The R Journal

We present the ari package for automatically generating technology-focused educational videos. The goal of the package is to create reproducible videos, with the ability to change and update video content seamlessly. We present several examples of generating videos including using R Markdown slide decks, PowerPoint slides, or simple images as source material. We also discuss how ari can help instructors reach new audiences through programmatically translating materials into other languages.

The R Journal (June 2020) 12(1): Complete Issue, The R Foundation

The R Journal

Editorial, Michael J. Kane

Contributed Research Articles

gk: An R Package for the g-and-k and Generalised g-and-h Distributions, Dennis Prangle

NlinTS: An R Package for Causality Detection in Time Series, Youssef Hmamouche

Mapping Smoothed Spatial Effect Estimates from Individual-Level Data: MapGAM, Lu Bai, Daniel L. Gillen, Scott M. Bartell, and Verónica M. Vieira

mudfold: An R Package for Nonparametric IRT Modelling of Unfolding Processes, Spyros E. Balafas, Wim P. Krijnen, Wendy J. Post, and Ernst C. Wit

tsmp: An R Package for Time Series with Matrix Profile, Francisco Bischoff and Pedro Pereira Rodrigues

Individual-Level Modelling of Infectious Disease Data: EpiILM, …

Developing Open Source Software Using Version Control Systems: An Introduction To The Git Language For Documenting Your Computational Research, Jared D. Smith, Jonathan D. Herman

All ECSTATIC Materials

Version control systems track the history of code as it is committed (saved) by any number of developers. Have you made a coding error and cannot debug it? Version control systems allow for resetting code back to when it worked, and show what code has changed since previous commits.

The contents of this lecture provide an introduction to the git version control language, GitHub for cloud hosting open source code repositories, and tutorials that demonstrate common and useful git and GitHub practices. This lecture is intended to be coupled with a discussion on creating reproducible computational research.

The zipped folder …

How Mathematics And Computing Can Help Fight The Pandemic: Two Pedagogical Examples, Julio Urenda, Olga Kosheleva, Martine Ceberio, Vladik Kreinovich

Departmental Technical Reports (CS)

With the 2020 pandemic came unexpected mathematical and computational problems. In this paper, we provide two examples of such problems -- examples that we present in simplified pedagogical form. The problems are related to the need for social distancing and to the need for fast testing. We hope that these examples will help students better understand the importance of mathematical models.

Natural Invariance Explains Empirical Success Of Specific Membership Functions, Hedge Operations, And Negation Operations, Julio Urenda, Orsoly Csiszár, Gábor Csiszár, József Dombi, György Eigner, Vladik Kreinovich

Departmental Technical Reports (CS)

Empirical studies have shown that in many practical problems, out of all symmetric membership functions, special distending functions work best, and out of all hedge operations and negation operations, fractional linear ones work the best. In this paper, we show that these empirical successes can be explained by natural invariance requirements.

Approximate Version Of Interval Computation Is Still Np-Hard, Vladik Kreinovich, Olga Kosheleva

Departmental Technical Reports (CS)

It is known that, in general, the problem of computing the range of a given polynomial on given intervals is NP-hard. For some NP-hard optimization problems, the approximate version -- e.g., if we want to find the value differing from the maximum by no more than a factor of 2 -- becomes feasible. Thus, a natural question is: what if instead of computing the exact range, we want to compute the enclosure which is, e.g., no more than twice wider than the actual range? In this paper, we show that this approximate version is still NP-hard, whether we want it …

What If Not All Interval-Valued Fuzzy Degrees Are Possible?, Olga Kosheleva, Vladik Kreinovich

Departmental Technical Reports (CS)

One of the applications of intervals is in describing experts' degrees of certainty in their statements. In this application, not all intervals are realistically possible. To describe all realistically possible degrees, we end up with a mathematical question of describing all topologically closed classes of intervals which are closed under the appropriate minimum and maximum operations. In this paper, we provide a full description of all such classes.

Design And Implementation Of A Deterministic And Nondeterministic Finite Automaton Simulator, Camron C. Dennler

Computer Science and Software Engineering

The purpose of this project is to assist students in visualizing and understanding the structure and operation of deterministic and nondeterministic finite automata. This software achieves this purpose by providing students with the ability to build, modify, and test automata in an intuitive environment. This enables a simple and efficient avenue for experimentation, which upholds the Cal Poly ideal of Learning by Doing.

Readers of this report should be familiar with basic concepts in the theory of finite state machines; a general understanding of object-oriented programming is also necessary.

Modeling And Analysis Of Trust Attack Based On Object-Oriented Petri Net, Guangqiu Huang, Bai Lu

Journal of System Simulation

Abstract: On the basis of trust attack graph, the object-oriented trust attack Petri net model was put forward, the dynamic model described the attack behaviors among components of trust entity object. By introducing the object Petri net, the trust attack relations between trust entity objects and components were shown in the Petri net, simulating the collaborative work between the components. According to the new trust relation reconstruction rules, a trust attack path inference algorithm was proposed to make the attacker knowing the changes of harmfulness when attacking the components, thus the attacker could decide the attack direction. The maximal …

Study On Secrecy Capacity Of Wireless Sensor Networks Based On Amplify-And-Forward Compressed Sensing Scheme, Jianlan Guo, Yuqiang Chen, Yijun Liu

Journal of System Simulation

Abstract: Due to the limitation of wireless sensor nodes on computation, power energy and storage space, the security issue has become a prevalent concern in the wireless communication. A deep insight on the secrecy capacity of wireless sensor network based on the Amplify-and-Forward (AF) compressed sensing scheme was offered providing a corresponding calculable capacity threshold. Moreover, a feasible algorithm based on augmented Lagrange method for the reconstruction of communication signals was proposed. Furthermore, the impact of the secrecy capacity was discussed to various numbers of active sensor nodes, relay nodes and eavesdropper nodes. Simulation results demonstrate the validity of the …

Interactive Free-Viewpoint Video Generation, Yanru Wang, Zhihao Huang, Hao Zhu, Wei Li, Xun Cao, Ruigang Yang

Computer Science Faculty Publications

Background

Free-viewpoint video (FVV) is processed video content in which viewers can freely select the viewing position and angle. FVV delivers an improved visual experience and can also help synthesize special effects and virtual reality content. In this paper, a complete FVV system is proposed to interactively control the viewpoints of video relay programs through multimedia terminals such as computers and tablets.

Methods

The hardware of the FVV generation system is a set of synchronously controlled cameras, and the software generates videos in novel viewpoints from the captured video using view interpolation. The interactive interface is designed to visualize the …