摘要：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.

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

摘要：由于新兴处理器、内存和网络技术的显著进步,百亿亿级系统将在未来几年(2020–2022)推出。随着百亿亿级系统被配置和使用,具有更细粒度、更短时间步长和更大数据量的下一代应用程序将被持续需求。从发展趋势看,2025–2035年间,下一代应用程序将需要超百亿亿级系统。本文关注超百亿亿级系统在网络和通信方面面临的挑战。首先,提出超百亿亿级系统的设想架构。其次,从不同方面阐述面临的挑战,包括多种网络技术、高性能通信和同步协议、加速器和现场可编程门户阵列的集成支持、容错和服务质量支持、能量感知通信方案和协议、软件定义网络以及多种内存和存储器的可扩展通信协议。再次,指出在这些系统上进行支持高性能计算、大数据和深度学习的高效编程模型设计面临的挑战。最后,强调了这些系统的上层共同设计运行时间的关键需求,以实现最优性能和可扩展性。

摘要：由于网络传输带宽的限制,在网络传输中可能造成数据的丢失.对于同时具有测量数据和控制数据丢失的一类网络控制系统,研究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.

摘要：Topological design of service networks is studied in the paper. Quantitative model and algorithm minimizing cost of processing and delivery is described. Algorithm solving combinatorial problem of optimal design based on binary partitioning, a parametric search and dynamic programming optimization of a binary tree is described and demonstrated in numeric example.

摘要：The objective of the present article is to find an optimal design of a fan inlet to reduce the amount of noise radiated to the far field from the system. Against the gradient-based optimization algorithms, we employ here a method based on measure theory which does not require any information of gradients and the differentiability of cost function.

摘要：A meteorological data acquisition system is built using a PIC16F877A microcontroller and electric output-based sensors. This system is programmed in C language using the PCWH compiler. It is smart, accurate, cheap, small, light and easily movable. It is designed to automatically get instantaneous measurements of air temperature, atmospheric pressure, and relative humidity. Depending on their utilisation, these measurements are collected with repetition rate tuneable from one minute to one hour. They are displayed on LCD screen and transferred to a personal computer where they are stored and processed. As an application, such data are recorded in situ and used to estimate the radio refractivity of air near the ground in real time. This parameter is necessary to account for the propagation of radiofrequency waves through the lower atmosphere, during wireless transmissions.