The Limits of Horn Logic Programs

Given a sequence $\{\Pi_n\}$ of Horn logic programs, the limit $\Pi$ of $\{\Pi_n\}$ is the set of the clauses such that every clause in $\Pi$ belongs to almost every $\Pi_n$ and every clause in infinitely many $\Pi_n$'s belongs to $\Pi$ also. The limit program $\Pi$ is still Horn but may be infinite. In this paper, we consider if the least Herbrand model of the limit of a given Horn logic program sequence $\{\Pi_n\}$ equals the limit of the least Herbrand models of each logic program $\Pi_n$. It is proved that this property is not true in general but holds if Horn logic programs satisfy an assumption which can be syntactically checked and be satisfied by a class of Horn logic programs. Thus, under this assumption we can approach the least Herbrand model of the limit $\Pi$ by the sequence of the least Herbrand models of each finite program $\Pi_n$. We also prove that if a finite Horn logic program satisfies this assumption, then the least Herbrand model of this program is recursive. Finally, by use of the concept of stability from dynamical systems, we prove that this assumption is exactly a sufficient condition to guarantee the stability of fixed points for Horn logic programs.Comment: 11 pages, added new results. Welcome any comments to [email protected]

The chinese financial system at the Dawn of the 21st century: An Overview

Based on a systematic review and summarization of China’s 30 years of financial reform and development, this paper comprehensively analyzes the past, present and future development of China’s financial system and also presents the mechanism for China’s financial development from the view of political economics. Generally, the Chinese financial system is bank-oriented. The property rights structure, led by state-owned banks, is the prominent feature of the Chinese banking system. Equity, bond, money, currency and real estate markets have been developing rapidly; however, the development rate of these markets varies, and institutional construction generally falls behind the market development. China’s financial decision-making authority belongs to the State Council, and the financial supervision system adopts the mode of “separate regulation.” China’s state-driven, progressive financial reforms have promoted the formation of the government-led financial structure, which is composed of three parts: first, monetary policy, balancing both inflation control and economic growth; second, bank credit expansion under the implicit guarantee of the state; and third, the adjustable pegged exchange rate system based on capital controls. The next phase of financial reform in China will mainly focus on the following four key goals: first, to further improve the corporate governance and the mixed operation of financial institutions; second, to construct the institution of a financial market system and improve the effectiveness of the financial markets; third, to re-integrate regulatory resources, combine macro- and micro-prudent views, and establish a comprehensive framework for financial stability; fourth, to promote the liberalization of interest rates, marketization of the exchange rate and the opening of capital accounts based on a progressive approach and to improve the openness of the financial system based on macroeconomic stability.China, Financial System, Bank-oriented, Political Economics

Dynamic Pricing Problems Arising in the Adoption of Renewable Energy

There are two problems at the interface of electrical power and economics that are examined in this thesis. The first problem addresses the issue of optimally operating electric vehicle (EV) charging stations, where price as well as scheduling of purchasing, storing, and charging play key roles. The second problem addresses the challenge faced by electric power system operators who have to balance power generation and demand at all times, and are faced with the task of maximizing the social welfare of all affected entities comprised of producers, consumers and prosumers (e.g., homes with solar panels who may be producers at some times and consumers at other times). For the first problem, we have developed a layered decomposition approach that permits a holistic solution to solving the scheduling, storage and pricing problems of charging stations. The key idea is to decompose problems by time-scale. For the second problem, we have shown that for the special case of LQG agents, by careful construction of a sequence of layered VCG payments over time, the intertemporal effect of current bids on future payoffs can be decoupled, and truth-telling of dynamic states is guaranteed if system parameters are known and agents are rational. We have also shown that a modification of the VCG payments, called scaled-VCG payments, achieves Budget Balance and Individual Rationality for a range of scaling, under a certain identified Market Power Balance condition

Research on development of biomedical nanocomposites in drug delivery system （薬物徐放システムにおけるバイオメディカルナノ複合材料の開発に関する研究）

信州大学(Shinshu university)博士（工学）この博士論文は、次の学術雑誌論文を一部に使用しています。RSC ADVANCES. 7(84):53401-53406 (2017); doi:10.1039/c7ra10757a. © The Royal Society of Chemistry 2017.JOURNAL OF MATERIALS SCIENCE. 53(15):10617-10626 (2018); doi:10.1007/s10853-018-2241-4. © Springer Science+Business Media, LLC, part of Springer Nature 2018.JOURNAL OF BIOMATERIALS SCIENCE-POLYMER EDITION. 30(7):501-507 (2019); doi:10.1080/09205063.2018.1493670.JOURNAL OF DRUG DELIVERY SCIENCE AND TECHNOLOGY. 53:UNSP 100900 (2019); doi:10.1016/j.jddst.2019.01.015. © 2019 Elsevier B.V.ThesisMA KE. Research on development of biomedical nanocomposites in drug delivery system　（薬物徐放システムにおけるバイオメディカルナノ複合材料の開発に関する研究）. 信州大学, 2019, 博士論文. 博士（工学）, 甲第701号, 平成31年03月20日授与.doctoral thesi