インターネット問題のモデル化法と効率的算法の研究

平成16-17度科学研究費補助金(基盤研究(C))研究成果報告書　課題番号：16500010 研究代表者：伊藤大雄 (京都大学大学院情報学研究科

The imperfect observer: Mind, machines, and materialism in the 21st century

The dualist / materialist debates about the nature of consciousness are based on the assumption that an entirely physical universe must ultimately be observable by humans (with infinitely advanced tools). Thus the dualists claim that anything unobservable must be non-physical, while the materialists argue that in theory nothing is unobservable. However, there may be fundamental limitations in the power of human observation, no matter how well aided, that greatly curtail our ability to know and observe even a fully physical universe. This paper presents arguments to support the model of an inherently limited observer and explores the consequences of this view

Gaining resolution when creating imagery of aging

In seeking to support healthy aging, designers have struggled to reduce their assumptions and biases toward older adults, been seen to interpret the worlds of later life through unfiltered imagery, as well as engage with stigmas, ultimately diminishing the technologies they construct. This article seeks to critically analyse this state-of-the-art from a design research perspective while engaging with the growing interdisciplinary study of aging and technologies. Toward this, we proposition “resolution” as a concept indicative of the level of detail that seeks to characterize the fidelity that representations of later life have. This concept is explored through a cultural probe study that investigated the sentiments of several older Australians regarding the inequities and social isolation brought on by the COVID-19 pandemic. Providing a diary alongside photovoice and mapping tasks, the study captured perceptions of social technology, practices, networks, and wellbeing, offering a diverse and complex picture of aging and technology. Through reflexive thematic analyses of some of these materials, this case study offers designers pathways to understanding and including older adults in their work. In determining the resolution of these images of aging, we discuss how transparency about the limitations and qualities of such participatory methods through incorporating reflexivity can influence the degree of detail such imagery gains. Ultimately this concept builds on the notion of participation configuration, supporting designers to realize better images of aging and representations of later life

Angle-Resolved Photoelectron Spectroscopy Studies of the Many-Body Effects in the Electronic Structure of High-Tc Cuprates

In spite of the failures to find an ultimate theory of unconventional superconductivity, after many years of research the scientific community possesses a considerable store of theoretical knowledge about the problem. Over time, the focus is gradually shifted from finding a theoretical description of an experimentally observed phenomenon to distinguishing between multiple models that offer comparably reasonable descriptions. From the point of view of an experimentalist, this means that any qualitative under-standing of an experimental observation would no longer suffice. Instead, the empha-sis in the experimental research should be shifted to accurate quantification of obser-vations, which becomes possible only if the results available from all the available ex-perimental methods are connected together by the theoretical glue. Among the meth-ods that are to be unified, ARPES plays a central role. The reason for this is that it gives access to the single-particle excitation spectrum of the material as a function of both momentum and energy with very high resolution. Other experimental techniques, such as inelastic neutron scattering (INS), Raman spectroscopy, or the newly estab-lished Fourier-transform scanning tunneling spectroscopy (FT-STS) probe more com-plicated two-particle spectra of the electrons and up to now can not achieve the mo-mentum resolution comparable with that of ARPES. Such reasoning serves as the mo-tivation for the present work, in which some steps are done towards understanding the anomalous effects observed in the single-particle excitation spectra of cuprates and relating the ARPES technique to other experimental methods. First, the electronic properties of BSCCO are considered — the superconducting cuprate most studied by surface-sensitive methods. The recent progress in un-derstanding the electronic structure of this material is reported, focusing mainly on the many-body effects (renormalization) and their manifestation in the ARPES spectra. The main result of this part of the work is a model of the Green’s function that is later used for calculating the two-particle excitation spectrum. Then, the matrix element effects in the photoemission spectra of cuprates are discussed. After a general introduction to the problem, the thesis focuses on the recently discovered anomalous behavior of the ARPES spectra that partially originates from the momentum-dependent photoemission matrix element. The momentum- and excitation energy dependence of the anomalous high-energy dispersion, termed “waterfalls”, is covered in full detail. Understanding the role of the matrix element effects in this phenomenon proves crucial, as they obstruct the view of the underlying excitation spectrum that is of indisputable interest. Finally, the work describes the relation of ARPES with other experimental methods, with the special focus on the INS spectroscopy. For the optimally doped bilayer Bi-based cuprate, the renormalized two-particle correlation function in the superconducting state is calculated from ARPES data within an itinerant model based on the random phase approximation (RPA). The results are compared with the experimental INS data on BSCCO and YBCO. The calculation is based on numerical models for the normal and anomalous Green’s functions fitted to the experimental single-particle spectra. The renormalization is taken into account both in the single-particle Green’s function by means of the self-energy, and in the two-particle correlation function by RPA. Additionally, two other applications of the same approach are briefly sketched: the relation of ARPES to FT-STS, and the nesting properties of Fermi surfaces in two-dimensional charge density wave systems

Security Aspects of Printed Electronics Applications

Gedruckte Elektronik (Printed Electronics (PE)) ist eine neu aufkommende Technologie welche komplementär zu konventioneller Elektronik eingesetzt wird. Dessen einzigartigen Merkmale führten zu einen starken Anstieg von Marktanteilen, welche 2010 \$6 Milliarden betrugen, \$41 Milliarden in 2019 und in 2027 geschätzt \$153 Milliarden. Gedruckte Elektronik kombiniert additive Technologien mit funktionalen Tinten um elektronische Komponenten aus verschiedenen Materialien direkt am Verwendungsort, kosteneffizient und umweltfreundlich herzustellen. Die dabei verwendeten Substrate können flexibel, leicht, transparent, großflächig oder implantierbar sein. Dadurch können mit gedruckter Elektronik (noch) visionäre Anwendungen wie Smart-Packaging, elektronische Einmalprodukte, Smart Labels oder digitale Haut realisiert werden. Um den Fortschritt von gedruckten Elektronik-Technologien voranzutreiben, basierten die meisten Optimierungen hauptsächlich auf der Erhöhung von Produktionsausbeute, Reliabilität und Performance. Jedoch wurde auch die Bedeutung von Sicherheitsaspekten von Hardware-Plattformen in den letzten Jahren immer mehr in den Vordergrund gerückt. Da realisierte Anwendungen in gedruckter Elektronik vitale Funktionalitäten bereitstellen können, die sensible Nutzerdaten beinhalten, wie zum Beispiel in implantierten Geräten und intelligenten Pflastern zur Gesundheitsüberwachung, führen Sicherheitsmängel und fehlendes Produktvertrauen in der Herstellungskette zu teils ernsten und schwerwiegenden Problemen. Des Weiteren, wegen den charakteristischen Merkmalen von gedruckter Elektronik, wie zum Beispiel additive Herstellungsverfahren, hohe Strukturgröße, wenige Schichten und begrenzten Produktionsschritten, ist gedruckte Hardware schon per se anfällig für hardware-basierte Attacken wie Reverse-Engineering, Produktfälschung und Hardware-Trojanern. Darüber hinaus ist die Adoption von Gegenmaßnahmen aus konventionellen Technologien unpassend und ineffizient, da solche zu extremen Mehraufwänden in der kostengünstigen Fertigung von gedruckter Elektronik führen würden. Aus diesem Grund liefert diese Arbeit eine Technologie-spezifische Bewertung von Bedrohungen auf der Hardware-Ebene und dessen Gegenmaßnahmen in der Form von Ressourcen-beschränkten Hardware-Primitiven, um die Produktionskette und Funktionalitäten von gedruckter Elektronik-Anwendungen zu schützen. Der erste Beitrag dieser Dissertation ist ein vorgeschlagener Ansatz um gedruckte Physical Unclonable Functions (pPUF) zu entwerfen, welche Sicherheitsschlüssel bereitstellen um mehrere sicherheitsrelevante Gegenmaßnahmen wie Authentifizierung und Fingerabdrücke zu ermöglichen. Zusätzlich optimieren wir die multi-bit pPUF-Designs um den Flächenbedarf eines 16-bit-Schlüssels-Generators um 31\% zu verringern. Außerdem entwickeln wir ein Analyse-Framework basierend auf Monte Carlo-Simulationen für pPUFs, mit welchem wir Simulationen und Herstellungs-basierte Analysen durchführen können. Unsere Ergebnisse haben gezeigt, dass die pPUFs die notwendigen Eigenschaften besitzen um erfolgreich als Sicherheitsanwendung eingesetzt zu werden, wie Einzigartigkeit der Signatur und ausreichende Robustheit. Der Betrieb der gedruckten pPUFs war möglich bis zu sehr geringen Betriebsspannungen von nur 0.5 V. Im zweiten Beitrag dieser Arbeit stellen wir einen kompakten Entwurf eines gedruckten physikalischen Zufallsgenerator vor (True Random Number Generator (pTRNG)), welcher unvorhersehbare Schlüssel für kryptographische Funktionen und zufälligen "Authentication Challenges" generieren kann. Der pTRNG Entwurf verbessert Prozess-Variationen unter Verwendung von einer Anpassungsmethode von gedruckten Widerständen, ermöglicht durch die individuelle Konfigurierbarkeit von gedruckten Schaltungen, um die generierten Bits nur von Zufallsrauschen abhängig zu machen, und damit ein echtes Zufallsverhalten zu erhalten. Die Simulationsergebnisse legen nahe, dass die gesamten Prozessvariationen des TRNGs um das 110-fache verbessert werden, und der zufallsgenerierte Bitstream der TRNGs die "National Institute of Standards and Technology Statistical Test Suit"-Tests bestanden hat. Auch hier können wir nachweisen, dass die Betriebsspannungen der TRNGs von mehreren Volt zu nur 0.5 V lagen, wie unsere Charakterisierungsergebnisse der hergestellten TRNGs aufgezeigt haben. Der dritte Beitrag dieser Dissertation ist die Beschreibung der einzigartigen Merkmale von Schaltungsentwurf und Herstellung von gedruckter Elektronik, welche sehr verschieden zu konventionellen Technologien ist, und dadurch eine neuartige Reverse-Engineering (RE)-Methode notwendig macht. Hierfür stellen wir eine robuste RE-Methode vor, welche auf Supervised-Learning-Algorithmen für gedruckte Schaltungen basiert, um die Vulnerabilität gegenüber RE-Attacken zu demonstrieren. Die RE-Ergebnisse zeigen, dass die vorgestellte RE-Methode auf zahlreiche gedruckte Schaltungen ohne viel Komplexität oder teure Werkzeuge angewandt werden kann. Der letzte Beitrag dieser Arbeit ist ein vorgeschlagenes Konzept für eine "one-time programmable" gedruckte Look-up Table (pLUT), welche beliebige digitale Funktionen realisieren kann und Gegenmaßnahmen unterstützt wie Camouflaging, Split-Manufacturing und Watermarking um Attacken auf der Hardware-Ebene zu verhindern. Ein Vergleich des vorgeschlagenen pLUT-Konzepts mit existierenden Lösungen hat gezeigt, dass die pLUT weniger Flächen-bedarf, geringere worst-case Verzögerungszeiten und Leistungsverbrauch hat. Um die Konfigurierbarkeit der vorgestellten pLUT zu verifizieren, wurde es simuliert, hergestellt und programmiert mittels Tintenstrahl-gedruckter elektrisch leitfähiger Tinte um erfolgreich Logik-Gatter wie XNOR, XOR und AND zu realisieren. Die Simulation und Charakterisierungsergebnisse haben die erfolgreiche Funktionalität der pLUT bei Betriebsspannungen von nur 1 V belegt

North American Fuzzy Logic Processing Society (NAFIPS 1992), volume 2

This document contains papers presented at the NAFIPS '92 North American Fuzzy Information Processing Society Conference. More than 75 papers were presented at this Conference, which was sponsored by NAFIPS in cooperation with NASA, the Instituto Tecnologico de Morelia, the Indian Society for Fuzzy Mathematics and Information Processing (ISFUMIP), the Instituto Tecnologico de Estudios Superiores de Monterrey (ITESM), the International Fuzzy Systems Association (IFSA), the Japan Society for Fuzzy Theory and Systems, and the Microelectronics and Computer Technology Corporation (MCC). The fuzzy set theory has led to a large number of diverse applications. Recently, interesting applications have been developed which involve the integration of fuzzy systems with adaptive processes such a neural networks and genetic algorithms. NAFIPS '92 was directed toward the advancement, commercialization, and engineering development of these technologies

Video modeling via implicit motion representations

Video modeling refers to the development of analytical representations for explaining the intensity distribution in video signals. Based on the analytical representation, we can develop algorithms for accomplishing particular video-related tasks. Therefore video modeling provides us a foundation to bridge video data and related-tasks. Although there are many video models proposed in the past decades, the rise of new applications calls for more efficient and accurate video modeling approaches.;Most existing video modeling approaches are based on explicit motion representations, where motion information is explicitly expressed by correspondence-based representations (i.e., motion velocity or displacement). Although it is conceptually simple, the limitations of those representations and the suboptimum of motion estimation techniques can degrade such video modeling approaches, especially for handling complex motion or non-ideal observation video data. In this thesis, we propose to investigate video modeling without explicit motion representation. Motion information is implicitly embedded into the spatio-temporal dependency among pixels or patches instead of being explicitly described by motion vectors.;Firstly, we propose a parametric model based on a spatio-temporal adaptive localized learning (STALL). We formulate video modeling as a linear regression problem, in which motion information is embedded within the regression coefficients. The coefficients are adaptively learned within a local space-time window based on LMMSE criterion. Incorporating a spatio-temporal resampling and a Bayesian fusion scheme, we can enhance the modeling capability of STALL on more general videos. Under the framework of STALL, we can develop video processing algorithms for a variety of applications by adjusting model parameters (i.e., the size and topology of model support and training window). We apply STALL on three video processing problems. The simulation results show that motion information can be efficiently exploited by our implicit motion representation and the resampling and fusion do help to enhance the modeling capability of STALL.;Secondly, we propose a nonparametric video modeling approach, which is not dependent on explicit motion estimation. Assuming the video sequence is composed of many overlapping space-time patches, we propose to embed motion-related information into the relationships among video patches and develop a generic sparsity-based prior for typical video sequences. First, we extend block matching to more general kNN-based patch clustering, which provides an implicit and distributed representation for motion information. We propose to enforce the sparsity constraint on a higher-dimensional data array signal, which is generated by packing the patches in the similar patch set. Then we solve the inference problem by updating the kNN array and the wanted signal iteratively. Finally, we present a Bayesian fusion approach to fuse multiple-hypothesis inferences. Simulation results in video error concealment, denoising, and deartifacting are reported to demonstrate its modeling capability.;Finally, we summarize the proposed two video modeling approaches. We also point out the perspectives of implicit motion representations in applications ranging from low to high level problems

Science Studies: Probing the Dynamics of Scientific Knowledge

How can we understand the intensifying interactions of science and society? It is the interdisciplinary field called science studies that provides us with a rich inventory of analytical approaches. They help us explore science as a practice, a subsystem, a culture, and an institution. Their joint observation: Science today is part and parcel of what has come to be known as 'knowledge society'. More than ever, knowledge production and consumption are in need of incessant monitoring and sophisticated reflection. Nine exemplary studies that inquire into, or are themselves examples of the dynamics of scientific knowledge, are included here: They cover issues as diverse as eugenics, climate research, and the role of historiography, and make use of different tools such as evolutionary reasoning, metaphor, and bibliometrics. Finally, they ponder the need for science to go public (PUS) as well as for society to regulate knowledge and to restructure universities as building blocks of our science system. Their joint message: Science studies can and should assume an active role in observing, reflecting, and communicating the intricate encounters of science and society today