摘要：Argumentation (abduction) is widely applied in artificial intelligence (AI) and law reasoning. However, the problem of how to perform argumentation in disjunctive logic programming (DLP) is still *** addition, a unifying semantic framework is required for incorporating various semantics for DLP. An argumentation-theoretic framework for DLP by taking the disjuncts of negative literals as abducibles is presented. This semantics not only is a simple and intuitive framework for performing argumentation and abduction in DLP, but also provides a unifying framework for many key semantics of disjunctive logic programs. In particular, it is shown that the EGCWA, well-founded model and disjunctive stable models can all be embedded into this semantics.

摘要：This paper proposes a Genetic programming based algorithm that can be used to design optimal controllers. The proposed algorithm will be named a Multiple Basis Function Genetic programming (MBFGP). Herein, the main ideas concerning the initial population, the tree structure, genetic operations, and other proposed non-genetic operations are discussed in details. An optimization algorithm called numeric constant mutation is embedded to strengthen the search for the optimal solutions. The results of solving the optimal control for linear as well as nonlinear systems show the feasibility and effectiveness of the proposed MBFGP as compared to the optimal solutions which are based on numerical methods. Furthermore, this algorithm enriches the set of suboptimal state feedback controllers to include controllers that have product time-state terms.

摘要：Pair programming (PP) that has gained extensive focus within pedagogical and industrial environments is a programming practice in which two programmers use the same computer to work together on analysis, design, and programming of the same segment of code. Distributed Pair programming (DPP) system is a programming system to aid two programmers, the driver and the navigator, to finish a common task such as analysis, design and programming on the same software from different locations. This paper first reviews the existing DPP tools and discusses the interaction and coordination mechanism in DPP process. By means of activity theory and language-action theory, some basic requirements of the DPP system are presented. Then, a design framework of such system and functions of each sub-system are deeply analyzed. Finally, a system prototype is implemented by plug-in style in Microsoft Visual Studio environment.

摘要：In this paper, the function characteristics of instruction are introduced, and the focus is on contact compare instruction and the characteristics of the transfer instructions. With the traffic lights control as an example, this paper proposes the application of contact compare instruction and transfer instruction to program design method, making the program structure compact and statement concise. The control requirements are easily completed. Key words： Function Instruction; programming; Traffic Lights; Contact Compare Instruction; Transfer

摘要：本文的下半部分不乏枯燥的数学理论知识和哲学思想,然而这些真正的“基本思想”才是Functional programming的核心所在。如果您足够耐心,相信您将通过本文受益匪浅。

摘要：With object oriented design/analysis, a general purpose corrosion data model (GPCDM) and a corrosion data markup language (CDML) are created to meet the increasing demand of multi-source corrosion data integration and sharing. "Cor- rosion data island" is proposed to model the corrosion data of comprehensiveness and self-contained. The island of tree-liked structure contains six first-level child nodes to characterize every important aspect of the corrosion data. Each first-level node holds more child nodes recursively as data containers. The design of data structure inside the island is intended to decrease the learning curve and break the acceptance barrier of GPCDM and CDML. A detailed explanation about the role and meaning of the first-level nodes are presented with examples chosen carefully in order to review the design goals and requirements proposed in the previous paper. Then, CDML tag structure and CDML application programming interface (API) are introduced in logic order. At the end, the roles of GPCDM, CDML and its API in the multi-source corrosion data integration and information sharing are highlighted and projected.

摘要：It has been generally recognized that Green function integrated with Boundary Element Method (BEM) has advantages in dimensional reduction, high accuracy and satisfaction of the radiation condition at infinity, etc. Recently, the computational technique has rapidly developed and the orient-object programming has been widely applied, whereas the attribute of abstraction and the integration of Green function employed in BEM have not been discovered yet. In this work the abstraction and integration of Green function are carried out for soil dynamics problems, and the procedure of the object-oriented calculation method is presented. Based on the Green function developed for the two-phase saturated medium, the response of the wave field to tunnel subjected to dynamic loading is calculated, and the transient solution as well as the time history of response is obtained.

摘要：With the significant advancement in emerging processor, memory, and networking technologies, exascale systems will become available in the next few years （2020 2022）. As the exascale systems begin to be deployed and used, there will be a continuous demand to run next-generation applications with finer granularity, finer time-steps, and increased data sizes. Based on historical trends, next-generation applications will require post-exascale systems during 2025-2035. In this study, we focus on the networking and communication challenges for post-exascale systems. Firstly, we present an envisioned architecture for post-exascale systems. Secondly, the challenges are summarized from different perspectives： heterogeneous networking technologies, high-performance eonmmnication and synchronization protocols, integrated support with accelerators and field-programmable gate arrays, fault-tolerance and quality-of-service support, energy-aware communication schemes and protocols, software- defined networking, and scalable communication protocols with heterogeneous memory and storage. Thirdly, we present the challenges in designing efficient programming model support for high-performance computing, big data, and deep learning on these systems. Finally, we emphasize the critical need for co-designing runtime with upper layers on these systems to achieve the maximum performance and scalability.

摘要：由于网络传输带宽的限制,在网络传输中可能造成数据的丢失.对于同时具有测量数据和控制数据丢失的一类网络控制系统,研究H_2输出反馈控制问题.数据的丢失采用满足Bernoulli分布的二进制随机变量进行表述.利用矩阵不等式方法给出了H_2动态输出反馈控制器存在的充分条件,所设计的控制器使得闭环系统是均方意义下指数稳定并具有给定的H_2性能.采用SLPMM(Sequentially linear programming matrix method)给出相应的控制器求解算法.最后用数值仿真验证了所提出算法的可行性.

摘要：This paper considers the pipeline network design problem (PND) in ethanol transportation, with a view to providing robust and efficient computational tools to assist decision makers in evaluating the technical and economic feasibility of ethanol pipeline network designs. Such tools must be able to address major design decisions and technical characteristics, and estimate network construction and operation costs to any time horizon. The specific context in which the study was conducted was the ethanol industry in Sao Paulo. Five instances were constructed using pseudo-real data to test the methodologies developed.