对时间自动机进行空性检测的过程和改进

为了提高对时间自动机进行空性检测的效率,研究了使用基于时钟区域(zone)的符号化方法和抽象对时间自动机进行空性检测,提出了针对时间自动机自身特点对检测过程进行改进的方法。通过使用基于zone的符号化表示方法和抽象,一个符号化状态表示显式的状态的集合,时间自动机的状态空间会显著缩小,不同的抽象方法对状态空间有不同的效果。符号化状态间不仅有相等关系还有包含关系,通过判断这种包含关系可以尽早的找到接收路径和避免不必要的状态展开从而提高空性检测的效率。实现了改进的检测过程,对一些例子进行了数据比较,取得了较好的实验结果。

生成诊断公式的有限状态进程等价验证

分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法,当两个进程不能互模拟时,产生两个诊断公式。算法的时间复杂度为O(mlogn),空间复杂度为O(m+n)。

加权模糊相对熵在电机转子故障模糊识别中的应用

提出了一种基于加权模糊相对熵的电机转子故障模糊识别方法。该方法将加权思想引入到模糊相对熵,用于识别电机转子故障严重程度。加权方法的引入增加了信息量丰富的符号区间的模糊相对熵占全部区间模糊相对熵的比重,可以更充分、合理地利用该区间的故障信息进行故障识别。电机转子断条故障诊断仿真实验结果表明,提出的方法有效地实现了电机故障的定量分析,能够准确地识别出电机转子故障的严重程度,使算法的鲁棒性得到了改善,故障分类的可靠性及准确程度得到了提高。

改进的符号时间序列分析方法及其在电机故障诊断中的应用

提出了一种改进的基于符号时间序列分析的电机异常探测方法,该方法自适应地将符号序列中出现符号最多的符号区间重新划分为2个新的符号区间,使得数据密集区间可以分配到相对更多的符号,而数据稀疏区间则分配到较少的符号,提高了符号对于信号变化的灵敏度。电机转子断条故障的诊断实验结果表明:该方法较平均划分区间的方法对于电机异常诊断有着更高的灵敏度以及更好的鲁棒性和可靠性。

一种新型四自由度并联机器人运动学正问题的求解

对一种新型四自由度并联机器人运动学正问题进行了研究，利用３个变量构造 出求解正问题的３个约束方程，然后运用符号计算和析配消元法推导出了只含有一 个变元的３２次多项式方程，并且应用计算机软件系统Ｍａｔｈｅｍａｔｉｃａ进行了求正问 题实解的数值验证。

线索语义相容性的研究

With the studies of the Stimulus-Response Compatibility (SRC), more and more psychologists consider that the compatibility isn't only exist between stimulus and stimulus, response and response, but also any two sets in the information processing, it means that the compatibility is the basic feature of the human information processing. Research on the compatibility of the precue is a powerful evidence to support the issue. Dimension Overlap Model (Kornblum, 1990) is one of the most popular models to explain the mechanism of the SRC which focus on the dimension overlapping between the stimulus and response will activate the compatible response automatically, the compatibility effects origin from whether the compatible response prove or interference the response, the so the time course between the automatic activation and the task processing cause the dynamical time feature of the SRC (Kornblum, 1997). Yet the DO model has gotten many supports, it hasn't been tested in the paradigm of the precue task. At the same time, company with the development of the Environment Psychology, the effect of the ex-information in the environment on the inside information processing has drown much attention, does the validity probability of the cue have any influence on the cue compatibility? How about the relationship of the cue compatibility and the SRC? Research on the questions will reveal the characteristics of the human information processing, enhance the knowledge of the compatibility phenomena and resource, enlarge the field of SRC and produce more practice usage on the design of human-machine system. The mechanism and influence factors of symbolic compatibility between cue and stimulus were investigated within a precueing paradigm. The influence of the dimension overlapping relation between the cue and the stimulus, cue and the response on the reaction time were studied under the different kinds of SRC, to test whether or not it confirms the dimension overlap hypothesis, to test is there any effect of SOA and validity probability of cues on the cue compatibility. The results showed that the cue compatibility exists and owns such features: 1, It confirms the dimension overlap model that the cue which dimension overlapped with the stimulus or the response will influence the efficiency of the processing, the reaction time is shorter when the cue is congruent with the stimulus or the response that that of the incongruent cue; 2, Consistent to the automatic activation hypothesis, the time course is the important characteristic of the cue compatibility. The largest compatibility effect can be gotten from the middle duration of SOA. 3, The validity probability of cues influence the cue compatibility significantly, the strength of the cue compatibility effect grows stronger with the higher validity probability of cues. 4, The cue compatibility affect the effect of SRC, especially when the cue is compatible with the stimulus; 5, The cue compatibility has two-fold meaning, the cue-stimulus compatibility and the cue-response compatibility, the former is stronger than the later when they compete each other. In summary, the compatibility, the basic feature of human information processing, is proved by the research, and the dimension overlap model and automatic activation hypothesis is tested by the studying on the cue compatibility.

品牌形象的消费行为学分析

Brand image is the attributes set and the related associations of a brand in consumers mind, and it is the subjective reflections of brands. The paper explored the factors of brand image system and their weight. As the traditional means to evaluate weight coefficients are not perfect, a new method, conjoint analysis, was attempted. The factors of brand image were explored through questionnaire. Sports sneaker, toothpaste, and personal stereo were chosen as product sample, and four hundred and twenty university students from Tangshan city and Beijing as subjects(each person evaluated two kinds of products). The first two kinds of products were requisites of students, and sports sneaker belonged to High conspicuous products and toothpaste was low conspicuous product. On the other hand, personal stereo was the sample of development and entertainment products. Several factors of three products brand were taken out with factor analysis. In order to explore the weight of the brand image factors, a contrast of factor contribution ratio method, holistic quartation method and conjoint analysis is made here. Twenty university students evaluated the weight of the image factors of three kinds of brand with holistic quartation method, then they gave the weight of personal stereo with conjoint analysis method. Product function, advertising and propaganda, symbolic meaning, market orientation, brand appetency, consuming experience are the factors of sports sneaker brand image. Product function, advertising and propaganda, market orientation, product grade, corporation image are the factors of toothpaste brand image. Corporation image and product function, advertising and propaganda, consuming experience, symbolic meaning, price and function ratio are the factors of personal stereo brand image. So the hypothesis was proved that brand image is an ordinal and organical system, "ordinal" means the weight of factors are different, "organical" means that brand image can be deposed into several factors and the factors belonged to function components and meaning components (function components are the factors about physical characteristics and function, which are called "hard factors"); meaning factors are those that can show the personality、value and lifestyle of consumers, which are called "soft factors". The research also gave evidence of the hypothesis below: the factor structures of brand image of different product category have commonness and individuality; the function components of low conspicuous products are more important than the high conspicuous products. The exploration of conjoint analysis is what the paper seeks to be some creative in some degree.