Construction of checking sequences based on characterization sets

A general model for constructing checking sequences employing a characterization set for a given finite state machine is proposed. Some existing methods are shown to be special cases of the proposed model and are proven to construct checking sequences. Examples are provided as applications of the general model and its special cases.     

基于MAS的本体在企业知识管理中的应用研究

在企业通过各种手段获得知识积累后,如何与其他的战略伙伴进行有效的共享是当前企业知识管理的一大难题。引入了基于多Agent系统（MAS）的本体概念,采用框架系统对客观存在的概念、关系和规则进行描述,对企业联盟中不同企业间的术语进行统一的定义,使其能够被机器理解,从而消除机器交互时所产生的歧义,充分发挥Agent主动性、协作性等特征,实现企业之间的本体交互,达到知识共享的目标。     

基于知识管理的过程企业设备管理系统模型分析

在分析过程企业设备管理现状的基础上,提出基于知识的集成化设备管理模式,将设备管理知识化、系统化,设备工艺可靠性与设备运行可靠性结合,建立以共享技术解决基于工艺指标、流程监控、设备管理的企业能力平衡模式,实行以企业经济效益为目标的综合管理。并进而提出了设备管理的知识模型体系,包括设备优化控制模型、设备运行成本模型、经济评价决策支持模型、设备故障诊断模型、设备运行评价与更新决策模型等。知识建立与发布以企业设备管理业务流与决策流为目标。     

面向过程追踪的知识状态描述方法研究

针对企业知识安全管理的需求,提出了面向过程跟踪的知识状态描述方法。该方法将知识状态属性变化与知识流动过程信息关联,通过建立工作流过程状态矢量和融合过程追溯矢量表示知识流动的动态信息,结合其所对应的属性维和时间维的信息建立了知识状态的三维描述模型,实现了对知识流动过程中知识状态完整的、精确的描述。企业应用表明,在实际生产管理中该方法能够对知识状态信息进行完整描述,保证了知识流动的可追溯性,为企业知识安全管理提供了支持。     

企业知识管理中的位图盲数字水印原理与实现

首先对适于知识版权保护的数字水印技术进行了综述研究,而后设计并阐释了基于LSB算法的位图盲数字水印算法流程,继而开发了相应系统,通过应用实验对其中的技术细节进行了深入分析。     

Incremental testing of finite state machines

The automatic generation of test suites for systems modelled as finite state machines (FSMs) is an important problem that impacts several critical applications. Known methods that automatically generate tests for FSMs, specially the W‐method and some derivations, strongly assume that the number of system states is small. If the overall number of states in the FSM specification is relatively large, such methods become difficult to use. However, often in practice, a system is defined as a combination of several subsystems, with the latter already independently designed, developed and tested. In this paper, we define the concept of combined FSMs and introduce a new method to test modular compositions of FSMs. This method allows for a new incremental testing strategy that turns the testing of new systems into a much more scalable process. As an example, we present an infinite family of naturally occurring FSM models for which our method produces exponentially more compact test suites than the W‐method. Copyright © 2012 John Wiley & Sons, Ltd.     

直觉模糊有限状态机的子系统

提出了直觉模糊有限状态机的子系统(强子系统)在同态作用下的前像与像的概念,讨论了它们的性质,并刻画了子系统与强子系统的性质。     

基于有限状态机的网络协议状态机制检测方法

进行网络稳定性测试时,对网络协议状态机制进行检测可以有效提高测试的全面性.基于有限状态机思想提出了一种协议状态机制检测方法.建立待测协议特定消息发送实体的有限状态机模型,确定输入集合;测试并监测实体的状态转移情况,生成状态转移图;根据状态转移图判定该消息的状态机制,确定有状态协议消息的触发条件,对消息进行归纳分类实现协议状态机制的判定.搭建实验环境,验证了该方法的有效性.     

基于VHDL有限状态机控制器的设计方法

有限状态机作为形式化描述方法具有独特优点,在利用VHDL进行电子系统控制功能的设计和实现中,有限状态机已成为有力的手段和途径。通过一个循环控制器的设计实例,说明了利用有限状态机的基本流程和方法,并给出了程序与仿真结果。     

面向供需网协同管理的企业知识建模研究*

为了在供需网环境下实现企业知识的协同管理,提出了供需网企业知识本体(SDNKO)的概念,根据SDNKO的多粒度特性,将SDNKO的概念空间划分为元概念层、领域模型层和应用实例层。在分析元概念类的层次结构和概念类的关联集后,针对电梯行业领域的企业知识本体概念空间进行了详细的说明。为表达供需网的协同知识语义,阐述了SDNKO概念框架的巴科斯范式和文档类型定义。最后,给出了供需网企业产品订单生成的知识协同管理实例。     

基于扩展有限状态机模型的故障检测

提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。     

A practical approach for testing timed deterministic finite state machines with single clock

Finite State Machines (FSMs) are widely used for verification and testing of many reactive systems and many methods are proposed for generating tests from FSMs with the guaranteed fault coverage. However, some systems can only be properly described when time constraints are considered, advocating the adoption of models with the notion of time. In this paper, a method for deriving conformance tests with the guaranteed fault coverage from a Timed FSM (TFSM) with a single clock is presented. Test derivation is based on a given fault domain that allows the derivation of test suites with reasonable length. More precisely, the fault domain includes every possible faulty TFSM implementation with the known largest time constraints boundaries and minimal duration of time guards. Given a deterministic possibly partial TFSM specification, a complete test suite that guarantees the detection of all faulty implementations with respect to the above fault domain is derived. Experiments with randomly generated timed FSMs are conducted to determine length of obtained test suites and assess the impact of varying the TFSM specification parameters on length of obtained test suites. Further, experiments with both untimed and timed machines are conducted and these experiments show that similar patterns for timed and untimed machines are obtained with respect to varying the number of states, inputs, and outputs of machines.     

基于Verilog HDL的有限状态机设计与描述

有限状态机(FSM)是逻辑设计的重要内容,稍大一点的逻辑设计都存在FSM.介绍了采用Verilog HDL实现有限状态机的几种不同编码方式和描述风格,并从稳定性、可读性、速度和面积等方面比较了不同实现方式的利弊.最后,以简单序列检测器为例实现了可综合的FSM描述,并分析了其采用不同描述风格所得的综合结果.     

Quotient structures of intuitionistic fuzzy finite state machines

Quotient structures of intuitionistic fuzzy finite state machines are discussed. We give congruence relations which can be naturally introduced in such a way that each associates a semigroup with an intuitionistic fuzzy finite state machine. We also introduce the notion of intuitionistic admissible relation, and give its characterization. An isomorphism between an intuitionistic fuzzy finite state machine and the quotient structure of another intuitionistic fuzzy finite state machine is established.     

有限状态自动机在助力器检测设备中的应用

针对目前我国真空助力器检测设备的落后现状,采用有限状态自动机与现代控制技术开发了一种新型的汽车真空助力器设备的微机检测系统;通过对检测设备整个系统和各个分系统的动态行为分析,建立整个系统和各个分系统的状态机和子状态机并依据此模型开发出检测系统主控软件;应用结果表明,利用该方案设计的检测主控软件,增强了系统的可靠性与稳定性;软件结构清晰,易于维护和扩展。     

企业知识管理及其知识仓库的解决方案

分析了知识管理的概念、内容、关键问题及其解决方案，提出了知识仓库的概念，给出了知识管理的知识仓库解决方案。     

Framework of knowledge management in education based on knowledge grid

Knowledge grid is a kind of knowledge sharing environment based on the World Wide Web, and its essence is the synergy and sharing of internet knowledge resource and knowledge service. KM （knowledge management） in education based on KG （knowledge grid） makes use of the grid technology and integrates the methods and tools of KM in Education to support the whole cycle of knowledge application. Based on the advantages of KM in Education, in this paper, we construct a service-oriented model of KM in Education in order to achieve more effective knowledge sharing and knowledge service in education.     

融合状态关系的知识追踪模型

知识追踪模型建模学习者对每个知识点的状态推断其知识总状态,预测其未来的学习表现。但现有研究在建模知识总状态时,没有融合知识点状态之间的关系,影响了最终的预测效果。针对这一问题,提出一种融合知识点状态关系的知识追踪模型。首先向量化表示数据集中的知识点,构建知识点表示图;其次将知识点表示图扩散至潜式空间以反映其内在结构和本质信息;融合当前时刻的习题与知识点作为引导向量,从知识点表示图的潜式表示中提取知识点状态图;以知识点状态图为基础,推导知识总状态,预测当前习题的表现。通过在三个数据集上对比四个相关模型的实验证明,提出的模型在AUC、ACC和表示质量方面均取得了一定的优势。其中,在 ASSISTments2009数据集上表现最佳,与对比模型中的最优值和最低值比较,AUC分别提升了1.17%、10.57%,ACC分别提升了3.23%、12.17%,表示质量分别提升了1.95%、10.40%。进一步地,可视化地展示了知识点状态及其关系的内部推导过程,以及它们与真实答题结果之间的对应关系,说明模型具备一定的可解释性。同时,将该模型应用于三门课程以预测学生的表现,与相关模型对比取得了更好的结果,说明模型具备一定的实用性。     

Integrated knowledge acquisition architectures

An architecture for knowledge acquisition systems is proposed based upon the integration of existing methodologies, techniques and tools which have been developed within the knowledge acquisition, machine learning, expert systems, hypermedia and knowledge representation research communities. Existing tools are analyzed within a common framework to show that their integration can be achieved in a natural and principled fashion. A system design is synthesized from what already exists, putting a diversity of well-founded and widely used approaches to knowledge acquisition within an integrative framework. The design is intended to be clean and simple, easy to understand, and easy to implement. A detailed architecture for integrated knowledge acquisition systems is proposed that also derives from parallel cognitive and theoretical studies.     

图形化与知识形式企业模型间的相互转换

为有效地支持生产运营的知识共享和协同建模,提出一种在图形化形式与OWL本体形式企业模型间相互转换的方法。建立模型本体,图形化元模型对应于本体中的类,图形化模型元素对应于本体中类的实例。图形化模型元素之间的关联,对应于OWL本体中实例之间的对象属性。建模系统则作为一个建立模型本体实例的工具,将整个图形模型转化为OWL描述的本体实例。反之,通过解析OWL本体形式的模型,建模系统生成相应的图形化模型。