双路直流电源分配柜设计

主要介绍了双路直流电源分配柜的总体布局及布线方案设计,同时阐述了关键技术——导电性能、电绝缘性能、绝缘强度的设计。     

分布式仿真中聚合模型网络通信的研究

网络通信是制约分布式仿真系统扩展性的“瓶颈”，本文针对聚合模型进行分布式仿真中网络通信频繁、信息交互量大的特点，从信息交互协议和信息交互方式两方面进行探讨，提出了采用变长交互协议，使用预估DR算法来减少仿真中聚合模型信息的交互量。实验证明：该方法较好地解决了仿真中信息交互“瓶颈”问题。     

一种有效的分布式构件交互性质验证方法

目的在基于构件的分布式系统开发过程中,更大程度地消除对构件交互风格和交互协议描述与验证产生的所谓的状态爆炸现象。方法提出一种有效的基于π-演算的构件交互协议验证方法——状态约减验证算法,在模型组合之前,将与性质定义无关的状态剥离,然后再进行模型组合。结果用标记转移系统证明了该验证算法的有效性,采用π-演算描述的同步请求/响应交互模型作为例证,证明上述算法比传统算法更有效。结论该算法缩小了组合模型的状态空间,提高了验证效率。     

结合Petri网和UML的用户交互行为建模研究

Petri网和统一建模语言是当前两种非常流行、功能强大的用户交互行为建模工具。认为Petri网便于定量描述,可以动态运行,但缺乏层次;UML可以完整、细致地刻画系统,但量化不够;提出结合两者的优点,对用户交互行为进行建模;并以自动柜员机为例,建立了密码输入和验证过程的用例图、状态图、活动图、顺序图、协作图和Petri网模型。该实例不失一般性,研究成果对于建立其它类型的用户交互行为模型有相当的借鉴意义。     

Data crystallization applied for designing new products

It is only the observable part of the real world that can be stored in data. For such incomplete and ill-structured data, data crystallizing aims at presenting the hidden structure among events including unobservable events. This is realized by data crystallization, where dummy items, corresponding to potential existence ofunobservable events, are inserted to the given data. These dummy items and their relations with observable events are visualized by applying KeyGraph to the data with dummy items, like the crystallization of snow where dusts are involved in the formation of crystallization of water molecules. For tuning the granularity level of structure to be visualized, the tool of data crystallization is integrated with human＇s process of understanding significant scenarios in the real world. This basic method is expected to be applicable for various real world domains where previous methods of chance-discovery lead human to successful decision making. In this paper, we apply the data crystallization with human-interactive annealing （DCHA） to the design of products in a real company. The results show its effect to industrial decision making.     

多分辨率作战仿真系统中实体交互的研究

指出了多分辨率作战仿真系统中存在的不同分辨率的聚合级实体之间以及聚合级实体和平台级实体之间的交互问题。针对这一问题，提出了通过指挥实体的指挥控制关系有机的连接不同分辨率的聚合级实体和平台级实体的方法，解决了不同分辨率的聚合级实体之间以及聚合级实体和平台级实体之间交互信息的过渡问题．建立了交互信息的层次化处理机制和方法，提高了交互信息处理的效率和针对性．     

一种具有优先级的参数配对组合覆盖测试集生成方法

参数的配对组合测试广泛用于软件系统错误的检测。然而在实际参数组合测试的应用中，由于时间或预算等限制原因，无法运行整个测试集。在此情况下，必须设置测试案例的优先级。本文引入优先级权值的概念，使用一个贪心算法为已生成的参数配对组合覆盖测试集按照优先级高低进行排序。不论测试在任何时刻中断，都可确保最重要的测试已被运行。     

The Current Version of Emery's Open Systems Theory

There are variations on the idea of an open systems theory (OST) or socioecology. This paper deals with the "current" variant developed primarily by Fred Emery, or OST(E). It is "current" because that terminology acknowledges a continuing development of knowledge. OST(E) is heir to a long line of intellectual development known as the "thin red line" and can be distinguished from other variants by its adherence to that line of development. The paper outlines the state of the art of OST(E) and its historical relation to the thin rd line.     

配体间的弱相互作用--从配位化学到超分子化学

简短地讨论了超分子化学的发展历史与配位化学发展历史的某些相似性。讨论了配位化合物中的配体间的各种可能的弱相互作用。强调指出,正是这些配体间的弱相互作用架设了由配位化学通向超分子化学的桥梁。     

浅谈"互动"模式在大学英语课堂中的运用

新时期的英语教学的培养目标是具备英语能力和创造力的综合型人才,英语课堂上的"师生互动"活动是实现这一目标的行之有效的教学模式之一.本文借助语言学的理论,对互动式教学模式的概念、具体形式以及实施互动模式应注意的问题进行探索,旨在提高教学效果.