一种基于主体可信度的联合辩论框架

辩论框架是计算机利用辩论机制来解决实际问题的基础,如商务谈判、法律纠纷和劳动争议等。传统的辩论框架对辩论机制和论证方法作了具体的形式化描述,但忽略了辩论主体及其对辩论结果影响的描述,而且在辩论过程中一个论点通常需要多个论据的联合论证。针对以上问题,在传统辩论框架的基础上,提出了一种基于主体可信度的联合辩论框架(STUAF)。首先引入了辩论主体的概念,并对观点和论据之间的联合论证进行形式化定义;其次给出了完整的框架结构和语义描述,证明了该辩论框架满足Dunk提出的标准辩论框架的基本定理;然后结合辩论树给出了语义计算的算法;最后给出一个具体的应用实例,实例分析表明S I'UAF及其语义算法是有效的。     

网络CAI软件中动画过程的设计与实现

针对网络计算机辅助教学的将点和实际开发过程中积累的经验,提出各动画过程的设计思想,并简要给出陈春实现方法,讨论了用Ｊａｖａ的实现的网络教学系统中的尝试、演示关键功能携炔的具体技术。     

全国节水增效示范项目不同节水模式效果分析

自1996年到2008年底中央已在全国31个省（自治区、直辖市）及新疆生产建设兵团完成了2000个节水灌溉增效示范区建设,对农业节水灌溉持续发展起到了良好的示范作用,根据示范项目的特点,通过调研分析总结了不同节水模式所产生的效益、效果及对灌溉的影响。     

唐山市油葫芦泊水库报废论证分析

油葫芦泊水库是唐山市的一座平原水库,该库建于1958年,位于蓟运河流域还乡河与津唐运河之间。水库自建库以来未正常发挥调蓄功能,油葫芦泊水库不但不能发挥任何效益,还存在防洪风险,对下游构成洪水威胁。因此建议对水库进行报废处理,减轻防汛压力,并通过工程措施使库区土地成为“涝能排,旱能灌”的宜耕种土地,增大库区土地开发的经济效益。     

基于主题教学模式的烹饪专业英语教学实践探究

文章基于主题教学模式,对烹饪专业英语教学实践进行了探究。在分析了传统教学模式弊端的基础上,提出了如何将主题教学模式应用于烹饪英语教学实践及其意义,以促进学生技能和英语能力的全面提高。     

基于PLC的步进式加热炉演示系统设计

本系统以八一钢铁股份有限公司棒材厂加热炉控制现场为背景,设计完成了步进式加热炉演示系统.系统采用西门子S/-200系列PLC为核心,通过检测传感器信号,根据加热炉控制工艺,并利用MCGS组态软件实现了对步进式加热炉工作情况的上位监控,为过程控制和PLC等相关课程提供实验平台.     

基于非晶薄带逆磁致伸缩特性的非接触扭矩传感器

新型扭矩传感器的开发一直是国内外众多专家学者研究的重点,提出了一种基于逆磁致伸缩效应的扭矩传感器,它利用粘贴在轴上的高磁致伸缩非晶态合金层代替轴本身作为应力敏感元件。此传感器可安装在旋转轴上,而固定的测量仪器采用磁性耦合技术,可避免滑动接触。实验论证了传感器的基本特性,结果表明传感器具有检测扭矩的能力。     

750kV电网工程中的技术创新

分析了我国第一个750 kV电压等级输变电示范工程建设的技术难点和特点,阐述了关键技术和新技术在工程中的实际应用情况,为后续750 kV电网工程和国家百万伏特高压输变电工程的建设提供了可以借鉴的技术经验。     

Total System Reliability: Integrated Model for Growth and Test Termination

Reliability demonstration testing is not the most efficient method of assuring product reliability prior to shipment. It is costly, time consuming and has inherent technical and social limitations. The dilemma facing the reliability and quality engineer is whether to continue demonstration testing and risk shipping a product late or ship the product and risk warranty and field service returns. Either option can cause the company to lose significant market share and profit. This paper sets out to solve this dilemma by meeting both the time to market constraints and the product reliability goals. The weaknesses of existing reliability demonstration techniques are explored and a comprehensive methodology is introduced involving controlled development processes, stress testing, root cause determination and process change feedback mechanisms. All prototype products are manufactured on the final volume process line resulting in the early identification and correction of process‐related problems. Testing commences on the first available prototypes with system stress/robust testing being employed to stimulate failures, determine their root cause and correct them. Reliability growth modelling assesses the ongoing improvements occurring in reliability during the development cycle, while a statistical stopping rule is used to determine the optimal product release time without risking product warranty. The approach is applicable to systems incorporating both hardware and software elements. The methodology has been validated on three development projects of telecommunication systems comprising hardware and software. In addition to enhancing team behaviour and performance, the development times have been reduced by 14% and the ramp‐up time to full worldwide product shipments has been reduced by 50%. Copyright © 2005 John Wiley & Sons, Ltd.     

三峡工程的论证与现实

本为记访谈录。章从防洪和通航、投资、移民、泥沙、生态环境、地质灾害、科学与技术及民主的论证工作方式等七个方面阐述三峡工程论证过程，并指出论证结论完全符合客观实际。