An efficient algorithm to generate candidates in discovering frequent episodes

0 IntroductionData mining is widely used in many research fieldssuch as decision supporting systems[1], bio-informationanalysis[2]and knowledge engineering[3-5]. Most data col-lected from scientific experiments or telecommunicationnetworks have inherent sequential nature inthemand canthus be abstractly viewed as a sequence of events . Onebasic problemin miningsuchevent sequencesis discoveryof recurrent combinations of events , which are calledepisodes. Once frequent episodes are discovered,rul…     

基于博弈论的开放环境下场景规约监控语义

在开放环境中,环境和系统本身行为的改变可能使得软件系统的实现不再满足原来规约,从而最终导致软件失效的发生.运行时监控是一种轻量级的形式化动态验证技术,已成为开放环境下检测软件失效的基本手段.针对基于场景的规约属性序列图,从博弈论的角度定义其多值监控语义:满足、无限可控、系统有限可控、系统紧急可控、环境有限可控、环境紧急可控和违例.通过多值监控语义的定义,监控器能够根据当前轨迹尽可能早地检测到系统失效或异常,并提供足够信息为失效的预防和恢复服务.实例研究表明了属性序列图多值监控语义的实用价值,并显示了其广泛的应用前景.     

基于网络考试系统的UML建模

通过统一建模语言(UML)对网络考试系统进行了分析和建模,建立了系统用例图,并结合主要用例-学生考试模块,建立了类图、顺序图、活动图.描述了系统的功能需求、功能流程、类的结构与关系、对象之间的交互.最终采用面向对象语言实现在线考试系统.使用这种方法对系统进行建模,优化了开发过程,并有利于提高系统的稳定性、可维护性和可重用性.     

Periodic performance of the chaotic spreadspectrum sequence on finite precision

It is well known that the periodic performance of spread spectrum sequence heavily affects the correlative and secure characteristics of communication systems. The chaotic binary sequence is paid more and more attention since it is one kind of applicable spread spectrum sequences. However, there are unavoidable short cyclic problems for chaotic binary sequences in finite precision. The chaotic binary sequence generating methods are studied first. Then the short cyclic behavior of the chaotic sequences is analyzed in detail, which are generated by quantification approaches with finite word-length. At the same time, a chaotic similar function is defined for presenting the cyclic characteristics of the sequences. Based on these efforts, an improved method with scrambling control for generating chaotic binary sequences is proposed. To quantitatively describe the improvement of periodic performance of the sequences, an orthogonal estimator is also defined. Some simulating results are provided. From the theoretical deduction and the experimental results, it is concluded that the proposed method can effectively increase the period and raise the complexity of the chaotic sequences to some extent.     

Simulated annealing algorithm for the optimal translation sequence of the jth agent in rough communication

In rough communication, because each agent has a different language and cannot provide precise communication to each other, the concept translated among multi-agents will loss some information and this results in a less or rougher concept. With different translation sequences, the problem of information loss is varied. To get the translation sequence, in which the jth agent taking part in rough communication gets maximum information, a simulated annealing algorithm is used. Analysis and simulation of this algorithm demonstrate its effectiveness.     

Interaction model of artificial fish in virtual environment

Conventional artificial fish has some shortages on the interaction with environment, other fish, and the animator. This article proposes a multi-tier interaction control model of artificial fish, realizes the interaction model through integration of virtual reality technology and Markov sequence, and provides a virtual marine world to describe the interaction between artificial fish and the virtual environment and the interaction between the artificial fish and the animator. Simulation results show that the interaction model owns not only the basic characteristics of virtual biology, but also has high trueness interaction function.     

Structural characterization of two papaya chitinases, a family GH19 of glycosyl hydrolases

Two chitinases, able to use tetra-N-acetylglucosamine, chitin and chitosan as substrates, were characterized after purification from Carica papaya latex. The complete amino acid sequence of the major form and about 40% of the minor one were determined through proteolytic digestions and mass spectroscopy analysis. Sequencing demonstrated that both papaya chitinases are members of the family 19 of glycosyl hydrolases (GH19). Based on the known 3-D structures of other members of family GH19, it was expected that papaya chitinases would adopt all-alpha structures. However, circular dichroism and infrared spectroscopy indicated, for the papaya chitinases, a content of 15–20% of extended structures besides the expected 40% of alpha helices. Since the fully sequenced papaya chitinase contains a large number of proline residues the possibility that papaya chitinase contains polyproline II stretches was examined in the context of their resistance against proteolytic degradation. Received 11 July 2006; received after revision 13 October 2006; accepted 25 October 2006     

直扩信号的谱检测和神经网络估计

论述了二次谱理论、谱相关理论和神经网络方法在直接序列扩频(DS/SS)信号的检测与估计中的应用,提出了利用谱分析结合神经网络的方法来实现对低信噪比DS/SS信号的参数及其伪码(PN)序列的估计.计算机模拟结果表明,该方法在较低的输入信噪比条件下能良好地工作.     

DMGSP:一种快速分布式全局序列模式挖掘算法

为了解决分布式环境下挖掘全局序列模式常产生过多候选序列,加大网络通信代价问题,提出了一种基于分布式环境下的快速挖掘全局序列模式算法--DMGSP.该算法将分布式环境下的各站点得到的局部序列模式压缩到一种语法序列树上, 避免了重复的序列前缀传输. 采用合并树中结点序列规则和项序扩展策略,对非频繁序列进行剪枝,有效地约简了候选序列,减少了网络传输量,从而快速生成全局序列模式.算法分析和实验结果表明,在大数据集环境下的DMGSP算法性能优越,能够有效地挖掘全局序列模式.     

i-内射半模

该文给出了i-内射半模的概念及一些较好的特征刻划,并讨论了内射半模与i-内射半模的关系.主要有左R半模E是i-内射半模当且仅当反变函子HomR(-,E)真正合,并通过给出弱内射半模的定义得出左R-半模E是内射半模当且仅当E既是弱内射半模又是i-内射半模.