从藏语格标记看结构语言学的局限性

在藏语语法中格标记具有举足轻重的作用,诸如使动词成为羡余,使句子中名词性成分容量提升,造成句法成分的多重性等。在以格标记为核心的名词句中,结构语言学直接成分分析法的局限性明显凸现,而语言逻辑却占有一席之地。     

未知逻辑的故障电路快速重构算法研究

针对未知逻辑的故障电路诊断与修复问题,研究了一种以同样功能的正常电路作为参考电路,然后利用电路逻辑快速重构算法进行故障修复的方法。该算法将对参考电路的逻辑功能采集与故障电路的逻辑功能重构同步进行,既能降低算法运行过程中的空间消耗,同时也避免了故障电路逻辑功能重构过程中,进行复杂的逻辑综合。此外该算法改进了传统的分块串行处理模式,解决了将采集数据分块并行逻辑综合的问题,提高了故障电路重构的速度。测试表明,相对直接的Q-M逻辑综合算法,该算法处理时间最快能减少70%。     

对依法治校与现代大学制度的一种理论追寻

我国现代大学制度的内涵首先表现在应秉承学术自由、大学自治、以人为本和彰显民族特色的价值理念,要使得这些理念得以制度化就必须实施依法治校的方略;依法治校的实质内涵与灵魂是奉行法的统治,坚持一种制度化、规范化与程序化的大学治理方式;依法治校与现代大学制度之间存在着必然的逻辑贯通.     

An Adaptive Design for Six Sigma（ ADFSS ） ： a Simulated Annealing and Regression Analysis Embedded Approach

Design for six sigma (DFSS) is a powerful approach of designing products,processes,and services with the objective of meeting the needs of customers in a cost-effective manner.DFSS activities are class...     

Capacitated stochastic coloured Petri net-based approach for computing two-terminal reliability of multi-state network

Classical network reliability problems assume both networks and components have only binary states,fully working or fully failed states.But many actual networks are multi-state,such as communication networks and transportation networks.The nodes and arcs in the networks may be in intermediate states which are not fully working either fully failed.A simulation approach for computing the two-terminal reliability of a multi-state network is described.Two-terminal reliability is defined as the probability that d units of demand can be supplied from the source to sink nodes under the time threshold T.The capacities of arcs may be in a stochastic state following any discrete or continuous distribution.The transmission time of each arc is also not a fixed number but stochastic according to its current capacity and demand.To solve this problem,a capacitated stochastic coloured Petri net is proposed for modelling the system behaviour.Places and transitions respectively stand for the nodes and arcs of a network.Capacitated transition and self-modified token colour with route information are defined to describe the multi-state network.By the simulation,the two-terminal reliability and node importance can be estimated and the optimal route whose reliability is highest can also be given.Finally,two examples of different kinds of multistate networks are given.     

基于同步网的虚拟拆卸过程建模方法研究

针对大型复杂装备虚拟拆卸过程建模问题,分析了其在拆卸作业的顺序关系、逻辑关系和语义表示等方面的需求。基于同步网给出了虚拟拆卸网(VDN)的定义和规则,其中变迁表示了维修作业中的拆卸动作,库所表示拆卸过程中部件的状态,同步器定义了拆卸序列的选择和并行关系。VDN能够确定拆卸序列、描述维修动作之间的逻辑关系,具有拆卸作业的具体语义,包含了维修知识信息。详细给出了VDN建模的步骤和简化规则,并通过一个VDN建模实例对方法和可行性进行了验证。     

电力系统故障的计算机新算法

本文提出了计算电力系统对称和不对称故障的一种新算法,其特点是数学模型非常简单,既可计算正常潮流又可计算故障潮流,把正常潮流和故障潮流统一在一个数学模型中.     

Horn子句逻辑程序的Petri网模型

Horn 子句逻辑程序 H 可以逻辑等价地转化为 Petri 网模型 M,在 M 中从初始标识 N_0到目标变迁/g(?)形成的发射序列对应着求解 H 的调用序列,在 M 中存在变迁不变式 X≥(?),并且 X(tg)≠0是 H 有解的充要条件。