交互设计的未来Ⅱ

交互设计是人工制品、环境和系统的行为，以及传达这种行为的外观元素的设计和定义。交互设计首先规划和描述事物的行为方式，然后描述传达这种行为的最有效形式。交互设计是一门着重关注以下内容的学科：定义与产品的行为以及使用密切相关的产品形式；     

机载激光水下目标探测器卵形螺旋线扫描系统

建立了机载激光水下目标探测中的卵形螺旋线扫描系统的数学模型，提出了点阵均匀性优化方案。通过计算机模拟和实验测试验证了理论分析的正确性，指出把卵形螺旋式扫描系统叫做椭圆扫描系统是不正确的。     

基于规约说明语言的面向对象软件测试

提出了一种测试面向对象程序的框架模型．用Object-Z语言描述面向对象程序的形式化规约．从形式化规约说明中可以推导出的面向对象程序的状态转换图，状态图可以表示面向对象程序的动态行为，并且可以用来描述一个由面向对象程序的方法调用序列组成的测试数据集．最后给出了验证一个方法调用序列正确性的方法．测试结果显示这一框架模型对于测试面向对象程序是可行的．     

机载激光水下目标探测中卵形螺旋线扫描系统

建立了机载激光水下目标探测中的卵形螺旋线扫描系统的数学模型,提出了点阵均匀性优化方案.通过计算机模拟和实验测试验证了理论分析的正确性.指出把卵形螺旋线扫描系统叫做椭圆扫描系统是不正确的.     

铁路信号域形式化方法研究

铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。     

集合体与复杂系统的设计

人们需要计算机的功能不断增加，而希望计算机的价格不断降低，体积不断缩小，这些需求促使建立在自适应分布式计算机基础上的一种新的计算范例形成。这种计算范例用于复杂工程系统的控制及优化，或者是自然系统的分析。这些问题只能通过一个大型的计算机共同体的联合行动才能解决，其中的每一个计算机都运行它们自己的复杂、分散的机器学习算法。当这样的系统与系统层次的性能规范相结合时就被称为集合体。本书奠定了集合体科学的基础，而且描述了为了优化性能应该怎样设计这类系统。     

试论规约分析系统在电力调度中的运用问题

本文通过对调度自动化系统的现状进行分析,指出了规约分析系统在信息传输方面所存在的问题,并通过对规约分析系统特点的归纳,详细阐述了规约分析系统在电力调度自动化系统中的具体应用途径。     

刻面和规约描述相结合的构件检索

通过分析基于刻面分类和构件规约语法的检索方法,发现刻面分类及其检索方法侧重于构件的静态特征描述,没有考虑构件的行为描述等,而构件规约语法描述部分偏重于构件的行为描述,构件规约对构件中每个功能的语法描述具有独立性.设计一种基于字符串匹配的软构件刻面检索算法,同时考虑到刻面检索没有支持组装这一需求,提出在检索过程中,插入基于构件规约的语法匹配过程,以提供较准确的构件组装信息和提高复用效率.     

内含定理证明器的程序开发系统

提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制．优化规则用于优化代码和满足某些特殊需求．运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的．对优化规则和测试等式的证明,是由系统中的证明子系统（定理证明器）完成的．定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期．     

基于SystemC的嵌入式系统规约建模

探讨了一种基于SystemC的嵌入式系统规约建模方法.本文在介绍嵌入式系统常用规约方法的基础上,提出了基于SystemC的规约方法.接着分析了SystemC在嵌入式规约时利用的一些关键技术,最后分析了SystemC的分层模型描述.     

一种验证软件演化过程行为的代数推导方法

针对现有软件过程验证主要以结构验证和性质验证为主,缺乏行为验证的不足,提出了一种验证软件演化过程行为的代数方法.该方法使用通信进程代数ACP对软件演化过程元模型EPMM进行扩展,提出软件演化过程元模型代数EPMM-A.针对EPMM建模产生的软件演化过程模型,一方面使用EPMM-A形式定义软件演化过程模型的行为规约,另一方面在其公理系统的支持下,基于等式推导验证软件演化过程模型的行为与行为规约是否一致,使行为验证方式从模型推导(非形式化)变为代数推导(形式化).为了说明代数推导的正确性,证明了软件演化过程元模型代数的公理系统具有可靠性.     

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

一种Agent结构的形式化描述

以BDI模型为代表的Agent结构描述存在抽象、复杂和不完整等问题，很难应用于实际Agent的构造。基于物理和设计立场，提出一种新的Agent结构模型，并作了形式化描述。该模型克服了现有模型建立在纯意识系统基础上的缺点，解决了Agent模型与具体Agent结构、行为和目标的映射问题。用该模型构造的电子谈判实例验证了它的正确性和有效性。     

基于改进遗传算法的多部件系统故障分布模型参数估计

应用延迟时间模型描述航空装备多部件系统的故障过程,应用改进遗传算法获得延迟时间模型参数的最大似然估计值,用计算机仿真方法验证算法代码的正确性.应用本文方法对系统故障分布模型参数进行估计,结果可为航空装备多部件系统的视情维修策略提供参考依据.     

化学结构的计算机描述

计算机在化学领域的应用加快了化学的发展，为化学研究提供了更为先进的方法和手段。简要介绍了化学结构的计算机描述方法，包括系统命名法、碎片码、线性码、拓扑码、连接表以及非经典方法等，并讨论了它们各自的特点、局限性以及各自不同的应用范围。     

浅析DGT-801系列保护装置与监控系统通讯

随着对厂站自动化程度要求的提高,越来越多的保护装置需要接入监控系统中,本文通过对DGT-801系列微机型保护装置与监控系统通讯方法的分析,初步描述此系列保护装置的主要通讯规约类型,并以MODBUS通讯规约为例,描述此规约的原理、传输方式、现场接线、信号测试等。     

HowNet与意义的计算

语言是人类思想的基本承载者，而且是人类交流最重要的工具，当第一台计算机于20世纪40年代出现时，人们试图完成的第一个应用是处理的自然语言，例如开发自动翻译系统。自然语言处理是人工智能的一个子领域，它瞄准了两个紧密相关的目标；一个是使得计算机能够利用自然语言的能力与人类相互作用，第二是应用，包括自动文本理解、从数字化图书馆析取知识、信息检索、问题应答系统、机器翻译、自动文本概括、语音识别和语音合成等。与此同时，一门新的研究学科——计算语言学诞生了。HowNet不是本体论或类属词典，也不是类似于WordNet这样的词汇数据库。HowNet是适用于人类语言技术的意义计算在线附加语言知识系统。本书是对自然语言处理和HowNet全景描述及实例研究的进一步的语言知识理论探索。书中对有关高层次的HowNet规范定义作了极具特色的讨论，例如事物、部分、属性、时间、空间、事件和属性值以及它们之间的关系，对在HowNet背后创作者哲学的深入讨论是本书最有价值的部分。本书同时介绍了HowNet的意义可计算性的吸引力，描述了意义计算软件怎样能够收集这样多相关的词汇与表达式，并且在任何两个词或表达式之间给出它们的相似性值。     

简谈变电站综合自动化系统原理

本文针对变电站综合自动化系统原理、数据通信规约的应用现状,介绍了数据通信实时监听技术的应用。描述了综合自动化概念及基本原理,自动化产品对遥测、遥信数据的处理方式;遥控过程实现的技术特征。并指出了实际应用中存在的问题并提供相关改进建议。     

工程图纸扫描输入与矢量化系统的研究

所描述的工程图纸的扫描输入与矢量化系统，是利用扫描仪将工程图纸输入计算机，经过图象处理，图形模式识别，实现了从光栅文件到商业性ＣＡＤ／ＣＡＭ系统所能接收的数据格式的转换，给出了系统的部分处理结果。     

净室软件工程探讨

净室软件工程是软件开发的一种形式化方法，它使用盒结构规约进行分析和设计建模，强调将正确性验证作为发现和消除错误的主要机制，从而大大提高了软件的质量。论述了净室软件工程的理论基础及所使用的主要技术，并阐述了净室过程与其他软件工程实践的关系。