Artificial argument assistants for defeasible argumentation

The present paper discusses experimental argument assistance tools. In contrast with automated reasoning tools, the objective is not to replace reasoning, but to guide the user's production of arguments. Two systems are presented, and based on . The focus is on defeasible argumentation with an eye on the law. Argument assistants for defeasible argumentation naturally correspond to a view of the application of law as dialectical theory construction. The experiments provide insights into the design of argument assistants, and show the pros and cons of different ways of representing argumentative data. The development of the argumentation theories underlying the systems has culminated in the logical system that formalizes the interpretation of prima facie justified assumptions. introduces an innovative use of conditionals expressing support and attack. This allows the expression of warrants for support and attack, making it a transparent and flexible system of defeasible argumentation.     

基于电话网络的矿山综合监控系统设计

本文根据矿山综合监控系统的功能要求，提出了监控系统的总体设计、系统配置方案及软硬件技术特点和功能等。该系统在矿山中的应用提高了矿山管理的现代化水平。     

The Influence of Magnetic Permeability on the Configuration of magnetic Field in Helimak Device

The Helimak of USA is a plasma physics experimental device designed and built by CASIPP.Its configuration of magnetic field is of very importance during the operation of this device.In this paper,the influence of magnetic permeability on configuration of magnetic field will be discussed due to the effect of weld metal in the vacuum vessel of Helimak,and some conclusion is useful for some engineering designs of the fusion experimental device.     

控制系统校正环节优化设计的计算机辅助分析

结合共轭梯度法,借助于MATLAB软件,提出一种控制系统校正环节优化设计的新方法.该方法利用了MAT-LAB软件中的符号数学工具箱、控制系统工具箱和优化设计工具箱,使设计简单、快捷,提高了编程效率.     

造纸过程中定量检测系统的研究

介绍了以MCS－51系列单片机为核心的定量检测系统的基本原理。并对其硬件结构和软件设计进行了详细地介绍。     

网络服务器软件老化现象的测试与分析

提出了一种测试软件老化过程的实验方案，编制了实现该方案的软件工具集，并以应用广泛的Apache网络服务器为目标，研究了当负载为泊松流时服务器的老化现象，用回归分析和ARIMA(自回归差分滑动平均)模型分析了剩余内存的变化情况。结果表明ARIMA模型可以较好地描述和预测内存的使用情况。     

一种大信噪比下的BPSK信号解调方法

提出了一种基于时间测量的BPSK信号解调方法 ,介绍了解调原理并给出了实验结果。该方法属于非相干解调方式 ,可以采用软件解调 ,需要的硬件电路很少 ,而且可以产生数据的同步时钟。该方法适合中低速大信噪比BPSK信号的解调     

MCGS组态软件与多台ST2200的通信

研究了MCGS组态软件与多台ST2 2 0 0多功能回路控制器的通信问题。采用事件驱动的串行通信方式和自开发的用户通信模块实现了它们之间的动态数据交换 ,运行结果表明此方法合理可行     

网络视频调度会议系统的开发与应用

利用企业现有的计算机局域网络，采用软件压缩解压方法低投入的实现生产调度网络视频会议系统，以及系统所能实现的功能。     

静脉输液结束呼叫监控系统设计

介绍了输液结束后的自动呼叫监控系统的硬件、软件。该系统的应用将大大提高了医院的护理水平。