Macroscopic analysis of design processes based on a scheme for coding designers' cognitive actions

We have devised a new scheme for coding designers' cognitive actions from video/audio design protocols. Designers' actions are coded into four cognitive levels; physical, perceptual, functional and conceptual. Relations between actions belonging to different levels, such as dependencies and triggering relations, are also coded. The present scheme has two benefits. First, we found that design actions are definable in a systematic way using the vocabulary of the scheme, and thus a designer's cognitive behaviours in each of local design stages is represented as a structure composed of defined primitive actions. This is expected to lay the foundation for microscopic analyses of how particular types of actions contribute to the formation of key design ideas. Second, this scheme is suitable for macroscopic analyses of how designers cognitively interact with their own sketches. We examined, for a practising architect, the ways in which drawing, inspection of drawings, perception, and functional thoughts correlated with one another in his design process. The findings suggest that design sketches serve not only as external memory or as a provider of visual cues for association of non-visual information, but also as a physical setting in which design thoughts are constructed on the fly.     

新一代的国际互联网通信协议：IP Version6

本文通过对ＩＰｖ６和ＩＰｖ４协议的比较，讨论了新一代国际互联网通信协议ＩＰｖ６的特点，新增加的功能，并指出ＩＰｖ６协议的颁布对现有技术的影响和相应对策。     

ATM-PON光网络终端管理控制协议

遵照 ITU- TG.983建议 ,建立 ONT管理和控制通道 ,实现 ONT与 OLT间的管理控制信息传送。并校正了多信息流传送时可能会产生的并发消息错误     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

SPECTRAL DENSITY ESTIMATION FROM NONLINEARLY OBSERVED DATA

Abstract. The estimation of the spectral density function of a stationary Gaussian process at the input of an instantaneous nonlinearity is considered when the nonlinearity is known and a finite set of observations of the output process is given. A class of spectral estimates is considered and their quadratic-mean consistency is established; precise asymptotic expressions for their bias and covariance are derived and their asymptotic normality is obtained.     

水利电力自动化设备TCP/IP通信协议栈的选择

TCP/IP通信协议栈产品层出不穷,文中列举了几种适合水利电力行业使用的TCP/IP通信协议栈产品,进行了分析和测试比较,评价了各协议栈产品的优缺点,评估了其性价比和实用性,为水利电力行业设备的TCP/IP通信协议栈选择提供了参考依据.     

保序回归的大样本性质

利用保序回归与极大似然估计之间的关系,从极大似然估计解的大样本性质出发,得到了保序回归解的两个大样本性质。     

无线网状网技术与应用

无线网状网(WMNs)由网状路由器节点和客户机节点组成,其中的网状路由器节点组成了无线网状网的网络骨干,其移动性很小。他们一起为无线网状网和其他常规无线网络的客户机节点提供网络的无线接入。WMNs技术结合了中心式控制的蜂窝网与分布式控制的无线自组织网的优点,可有效克服这两种技术的缺陷并显著提高无线网络的性能,已经成为下一代无线通信网络的研究热点之一。WMNs可为无线个域网、局域网、校园网、城域网的一系列应用提供高速无线宽带接入服务。虽然目前WMNs技术发展很快,但其协议栈各层仍存在许多有待研究的课题。首先简要介绍了无线网状网的结构与特点;随后重点分析了其主要的几个应用领域;最后探讨了WMNs各协议层的研究现状与关键技术,并分析了该技术存在的问题及未来的研究方向。     

HART协议物理层设备的测试（II）

本文介绍HART协议物理层设备的测试要求、测试设备、测试方法及测试时的一些特别说明。     

无线网络中TCP与Ipsec的兼容性研究

针对有线网络设计的传输控制协议(TCP),在应用到无线环境中时存在许多不兼容问题,必须对TCP进行修改.目前人们提出了几种对TCP协议在无线网络环境下的改进方案,但是这些改进方案同IP安全协议(IPsec)存在一定的中突.文章分析了IPsec与TCP的改进方案之间的冲突问题,给出了4种解决方案:用传输层安全协议/安全套接层协议(TLS/SSL)代替IPsec、扩展封装安全载荷(ESP)协议、对TCP路径分段和修改IPsec的端到端保护模式,并分析了各方案的优缺点.