藏文统计语言模型研究

藏文语言模型是藏文信息处理的基础和核心技术。研究和开发具有强大描述藏语能力的藏文统计语言模型对藏文信息处理的各个应用领域，如机器翻译、藏文语音识别、藏文输入法、藏字校对和藏文信息检索等具有重要的现实意义和实用价值，构建藏文语言模型是藏文信息处理的关键性基础工作，是实现藏文信息化的必要步骤。 本文首先对藏文自动分词进行了研究，实现了基于格助词的藏文最大匹配分词方案。接着研究了统计语言模型构造、数据平滑等技术，实现了一个藏文统计语言模型系统，主要包括词频统计、模型训练和模型评估三个模块。为解决数据稀疏问题，实现了多种模型平滑方法，包括Witten-Bell平滑、绝对折扣平滑、Kneser-Ney平滑和修正的Kneser-Ney平滑。 本文的实验在收集和整理一定规模的藏文语料并进行预处理的基础上，使用分词程序对藏文文本进行分词，并将藏文文本分成训练语料和测试语料两个部分。接着使用测试语料训练得到藏文统计语言模型，并使用了多种平滑方法，结合测试语料对藏文统计语言模型进行评估，比较了不同平滑方法的优劣。

软件成本估算方法及应用

软件成本估算从20世纪60年代发展至今,在软件开发过程中一直扮演着重要角色.按照基于算法模型的方法、非基于算法模型的方法以及组合方法的分类方式,全面回顾、分析了软件成本估算的各种代表性方法,也归纳讨论了与成本估算强相关的软件规模度量问题.在此基础上,进一步研究了软件成本估算方法的评价标准,并给出了一个应用实例及其分析.最后,从估算模型、估算演进、估算应用、估算内容、工具支持和人为因素6个方面,指出了软件成本估算方法下一步的主要发展趋势.

结构化P2P网络上可靠的基于内容路由协议

在结构化P2P网络上构建基于内容的发布/订阅系统,可以很好地支持大规模、高度动态的分布式应用.然而,现有的基于内容的路由协议在P2P网络上只能提供弱的可靠性保证.根据结构化P2P网络的路由协议的特点,设计了一种新型的基于内容的路由协议——基于编码区间的路由(identifierrangebasedrouting,简称IRBR)协议.IRBR协议具有良好的容错性,只要事件的发布者与订阅者之间在P2P网络中是可达的,则订阅者一定能够收到它所订阅的事件,且只收到一次.同时,该协议也比现有的协议具有更高的事件路由效率.在Pastry上开发了一个原型系统,模拟实验表明了该协议的效率和容错性.

电子商务公平协议设计与分析方法研究

电子商务安全性得到了人们越来越多的重视，安全协议在电子商务中发挥着重要的作用，尤其是电子商务公平协议，公平性问题渗透在电子商务活动的各个环节和应用场景下，本文围绕电子商务公平协议的设计和分析方法进行了研究，取得了以下几个方面的成果： 1）设计了一种多方公平非否认协议。将可验证可恢复加密签名算法用于多方公平非否认协议，有效地减少了协议主体介入协议的程度，提高了恢复协议执行的效率。由于收据具有可验证性和可恢复性，使得发送者获得的收据不论是在TTP介入的情况下还是在TTP没有参与的情况都是一样的，在一定程度上简化了出现纠纷时的裁决过程。 2）提出了一种基于适应度函数遗传算法的公平协议自动生成方法。通过对Clark-Jacob方法进行扩展，针对公平协议设计空间特征，获得公平性判定模型，模型中引入通信信道类型编码，将主体拥有集合和主体信念集合相分离来对安全目标进行判定，并指出公平性包含的局部目标和全局目标。利用基于适应度函数的遗传优化算法，对用二进制串表示的协议空间进行优化搜索，最终获得满足目标的协议。 3）通过增加对不诚实主体干扰行为的描述，给出了一种基于主体干扰的离线TTP公平协议形式化分析方法。利用主体干扰迹来模拟主体的干扰行为，将丛中结点的状态定义为平衡状态和不平衡状态，利用结点状态平衡性和协议执行结果一致的特性来证明协议的公平性。对两个协议进行分析，发现了一个以前没有被提到过的不公平的问题，验证了两个协议中确实存在的问题。 4）提出了一种可用于分析公平协议的基于逻辑推理的分析方法。针对离线TTP公平协议具有协议簇的特点，将协议实例化，实例化后可以对实例的非否认性和有效性单独进行分析；通过增加时间相关的限定词来表述协议的执行序列和时效性的满足条件，从而用于时效性和公平性的分析。 5）针对ZG离线公平非否认性协议存在的问题，对其进行了改进。两种改进协议适合于不同的场景。通过在改进协议中增加协议的状态信息，使得不会因解决请求延迟到达协议被按照无效处理而导致协议中每个主体的执行状态不一致，而影响公平性，同时利用时间戳服务来对消息设置时间戳，减少解决请求被延迟的情况发生。 6）设计了一种挂号邮件方案。该方案的特点是：现有的邮件系统做小的改动来提供挂号电子邮件；具有时间认证性。通过利用邮件头中的用户自定义选项，在邮件收发的过程中，邮件被获取的时候接收者先只能够获得邮件的主题、邮件的摘要信息、发送者信息，只有在接收者发送了接收收据以后，才能够获得邮件正文。

一种基于组织实体能力的软件过程建模方法

提出了一种基于组织实体能力的软件过程建模方法(organizational entity capabilities based software process modeling method,简称OEC-SPM),针对软件过程的特殊性,将具有确定能力的组织实体定义为建模过程中的核心要素和基本单元——过程Agent(过程主体).过程Agent根据其自身的目标、知识、经验和能力,在确定的项目目标和约束环境下,通过主动和自治的行为推理,生成具体的软件开发过程和生产过程,为软件项目开发提供正确的决策和有效的支持.该方法由于在建立软件过程时充分考虑过程执行者完成目标的能力,使建立的过程具有良好的可预见性,具备过程稳定执行的前提,因此从根本上解决了软件过程不稳定、难以控制等问题.

一种任务类型敏感的J2EE事务调度算法

J2EE(Java 2 platform enterprise edition)是构建分布式企业应用的基础中间件平台,当前的J2EE事务对资源的访问调度仍然是简单的先来先服务策略,导致服务器负载很重时,次要任务和关键任务争夺有限的资源,降低了关键任务的性能与成功率.为此,有必要识别任务类型,在资源不足时优先保证关键任务事务的执行.但提交给J2EE的事务基于交互方式执行,且缺乏必要的调度信息,因而不能简单地沿用已有的优先级驱动调度算法.提出一种新的事务调度算法TMPBP(threaded multi-queue priority-based protocol),该算法能够安全、有效地提高系统重负载情况下关键事务的服务质量,防止饥饿和优先级倒置.TMPBP包含了一种新的启发式优先级分派算法HRS(heuristic resource statistics),可以在调度信息缺乏的J2EE环境下动态识别关键事务.结果表明,通过合理地选择参数,TMPBP算法能够显著地提高关键事务的服务质量.

基于结构转换和序列标注的形式化句法统计翻译模型研究

随着全球化的不断深入和互联网的发展，人们在日常工作和生活中常常需要面对大量的非母语信息，如何利用计算机实现不同语言之间的自动转换以克服人类的语言障碍已成为当前人们的迫切需求。由于统计机器翻译方法具有语言依赖性弱、系统开发周期短、翻译质量较好等优点，目前已成为机器翻译研究界的热点研究方向。本文从形式化句法的角度，针对目前统计机器翻译方法中存在的非连续短语处理、训练和搜索相独立以及短语顺序的调整等问题开展了研究工作。论文的主要工作和创新点总结如下： 1. 改进的短语翻译模型 目前常用的基于短语的翻译模型没有考虑对非连续短语的处理。我们提出了一种基于非连续短语的统计翻译模型，利用该模型可以使翻译的基本单元从连续短语扩展到带有间隔的非连续短语，通过借助上下文词汇信息以达到改善翻译结果的目的。同时，由于该方法抽取的短语数量较少，也使得解码的效率得到了提高。实验表明，改进的非连续短语模型在取得与层次型短语模型相当的翻译性能的情况下，计算效率也得到了提高。 2. 基于SEARN的形式化句法模型 在目前的机器学习方法中，训练和搜索的过程相对独立，训练时采用的复杂结构信息在搜索过程中常常难于保持。我们提出了一种转换操作，将集成训练和搜索的结构化预测方法（Search-based Structured Prediction，SEARN）用于转换后的序列标注问题，以解决双语句法树之间的映射。实验表明，该方法在抽取短语数量只有短语模型十分之一的情形下，仍可取得与短语模型相当的翻译性能。 3. 基于压平的双语句法树结构的形式化句法模型 短语顺序是翻译时需要关注的关键问题之一，目前的方法通常只是以源语言端的信息作为调序的依据。我们提出了一种基于压平的双语句法树结构的形式化句法方法。其核心是抽取带有方向属性的短语对，利用这种方向属性辅助目标句子的生成，从而改善目标句子的内部结构（短语顺序）以提高翻译质量。在NIST MT08机器翻译评测数据上的实验表明，这种方法和基于短语的系统相比BLUE值获得7%的提高。 4. 基于序列标注的形式化句法模型 在翻译时句子中的某些区域通常倾向于作为一个整体来进行翻译，目前的方法对句子中的所有词都允许任意位置的词序调整，带来了很多不合理的顺序调整结果。我们提出了一种基于序列标注的形式化句法模型。首先利用压平的双语句法树结构表示双语句子，然后通过我们定义的标签对树节点进行标记，最后借助条件随机场模型对这些标签进行学习。通过这些标签可以区分出能够作为整体翻译的区域，以及句子中难于翻译的部分。同时，对不同的翻译区域可以采用不同的翻译方法，通过局部翻译质量的提高可以带来了整个句子翻译质量的改善。该模型和基于层次型短语的模型比较，BLUE值得到了5%的提高。

一种基于时间自动机的实时系统测试方法

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.

semantic oriented ontology cohesion metrics for ontology-based systems

Ontologies play a core role to provide shared knowledge models to semantic-driven applications targeted by Semantic Web. Ontology metrics become an important area because they can help ontology engineers to assess ontology and better control project management and development of ontology based systems, and therefore reduce the risk of project failures. In this paper, we propose a set of ontology cohesion metrics which focuses on measuring (possibly inconsistent) ontologies in the context of dynamic and changing Web. They are: Number of Ontology Partitions (NOP), Number of Minimally Inconsistent Subsets (NMIS) and Average Value of Axiom Inconsistencies (AVAI). These ontology metrics are used to measure ontological semantics rather than ontological structure. They are theoretically validated for ensuring their theoretical soundness, and further empirically validated by a standard test set of debugging ontologies. The related algorithms to compute these ontology metrics also are discussed. These metrics proposed in this paper can be used as a very useful complementarity of existing ontology cohesion metrics.

列车通信网络容错机制研究及关键通信逻辑的仿真

本文是对列车通信网络（TCN）的容错性第一次比较系统、比较全面地进行深入的分析和总结，并基于此分析的基础上对列车通信网络（TCN）的容错性进行了评估并提出了相关的改进建议，例如MVB使用8比特的CRC校验码、使用全冗余、与其它列车总线标准结合使用等。除此而外，本文还对列车通信网络（TCN）的关键通信逻辑进行了仿真，并得出了相关的数据，为实际物理网络的开发提供了一定的实验性数据参考。 随着计算机通信和网络控制技术、嵌入式电子控制技术、工业控制技术以及故障诊断技术的快速发展，现代列车控制系统已从集中型的直接数字控制系统发展成为基于网络的分布式车载微机控制系统，并结合以现场控制总线技术，使得列车通信在互操作性、智能化、实时性、可靠性方面性能不断提升，从而出现了各种应用于列车网络通信方面的技术，如基于CAN总线的列车通信，基于LonWorks的列车通信，基于工业以太网的列车通信等，但是由于上述几种技术的普适性，在列车通信对强实时性、高可靠性方面不能够完全满足，从而出现了专门用于列车通信的TCN网络技术。伴随着TCN标准不断完善，特别是2007年发布的IEC61375标准族和即将发布的最新版（第三版）的IEC61375，对列车网络的通信细节有了明确的规定，使得列车通信领域在建立一个完整的、高可靠性、强实时性、良好互操作性的列车通信网络方面有了长足的进步。 由于列车通信的特殊性，高可靠性永远是第一位的要求。要保证系统的可靠性，就要求列车通信在特殊应用场景下能够安全地工作，也即相应的部件能够在容错性方面有相应的保证机制。本文很重要的一部分内容即是对TCN容错机制的研究，并结合可靠性工程理论对相应的容错机制进行可靠性分析。 除此以外，由于TCN通信网络技术在列车通信网络技术方案中不断上升的市场占有率，相关的网络实现与部署也变的愈发重要。在现代的通信网络的开发过程中，使用仿真系统对通信网络进行提前的建模仿真，对标准中规定和说明的核心逻辑进行验证，对系统的相关属性进行实验仿真测试，得出相应的仿真数据，如影响网络通信性能的主要因素及各个因素与性能的关系，网络通信实时性的关键因素及可能的瓶颈等，从而为实际的物理网络的开发和部署提供可靠的数据参考，以避免物理网络开发中出现的可能问题，降低开发成本，提高开发效率。这种仿真先行的开发模式已经非常流行，特别是对一些网络复杂度比较高、通信逻辑比较复杂的通信网络。 显然TCN正是一种网络复杂度高、通信逻辑复杂的网络通信系统，本文使用仿真准确度高且得到理论界和工程界广泛认可的OPNET作为仿真工具，来对TCN的两个关键的通信逻辑进行仿真，即MVB的主权转移和WTB的初运行逻辑。 基于此，本文首先介绍了文中所涉及的相关理论基础，主要包括网络通信的容错机制、可靠性工程理论、网络仿真系统的原理并对OPNET进行了简要说明。此处的说明贯穿整个文章来作为相关的理论基础和相关的分析工具。 接着，根据TCN标准族的组成，分别对构成TCN的两个总线协议进行说明。按照顺序，首先对MVB总线进行了说明，包括其通信过程，MVB的主权转移逻辑，主要通信协议层的说明，最后对MVB的容错机制进行了详细的分析与研究，特别是对传输的完整性和设备冗余进行了详细的说明与分析。其次对WTB总线进行了研究，与MVB的类似，首先说明了其通信过程，及各个主要通信协议层，与MVB相似的予以简要说明，与MVB不同的，如WTB网关节点进行了详细的说明。最后说明了WTB的容错机制，同样类似于MVB，简化相似部分，主要说明了WTB特有的容错机制，如WTB网关节点的容错性等。 基于对MVB和WTB总线的相关说明及对其容错性的研究，在第五章，本文站在TCN作为一个完整的通信协议的角度总结了TCN的容错机制，并且结合通用的网络通信容错机制与TCN通信协议的特殊性提出了几点关于容错性的建议。 鉴于网络仿真对于实际的物理网络开发的重要性，在研究完TCN的主要容错机制后，本文开始对TCN中的两个关键通信逻辑进行了建模与仿真，使用OPNET作为仿真工具，设定相关的网络仿真参数，得出相应的帧时延等关键属性，并且验证了相关的关键数据流与通信逻辑。此处的关键逻辑选取的是MVB的主权转移和WTB的初运行，二者在TCN的通信逻辑中具有重要的作用。 最后，结合对TCN通信网络容错性的研究与分析，与对TCN关键逻辑的仿真，对整个文章进行了总结，并结合工程与理论上的研究方向对TCN的未来及相关的技术进行了展望。

一种开放混合实时系统的开放自适应调度算法

开放计算环境下的实时与非实时任务不确定并发,以及多种实时约束混合的复杂约束系统,即开放混合实时系统的需求越来越广泛.通过引入接收控制、调度服务器、自适应调节机制,提出一种开放环境下的自适应实时系统调度架构——OARtS(open adaptive real-time scheduling).它能适应开放计算环境的不确定性,有控制地接受实时任务运行;可根据系统空闲计算带宽变化,自适应地调节任务的实时等级,使得系统运行在最优的实时性能上;对于软实时任务,可根据其计算带宽需求变化,自适应地调节其计算带宽分配,以适应任务执行时间时变引起的实时不确定性.

gcs-ma: a group communication system for mobile agents

Reliable messaging is a key component necessary for mobile agent systems. Current researches focus on reliable one-to-one message delivery to mobile agents. But how to implement a group communication system for mobile agents remains an open issue, which is a powerful block that facilitates the development of fault-tolerant mobile agent systems. In this paper, we propose a group communication system for mobile agents (GCS-MA), which includes totally ordered multicast and membership management functions. We divide a group of mobile agents into several agent clusters,and each agent cluster consists of all mobile agents residing in the same sub-network and is managed by a special module, named coordinator. Then, all coordinators form a ring-based overlay for interchanging messages between clusters. We present a token-based algorithm, an intra-cluster messaging algorithm and an inter-cluster migration algorithm to achieve atomicity and total ordering properties of multicast messages, by building a membership protocol on top of the clustering and failure detection mechanisms. Performance issues of the proposed system have been analysed through simulations. We also describe the application of the proposed system in the context of the service cooperation middleware (SCM) project.

基于SPEM2XPDL模型转换的软件过程执行

SPEM(software process engineering metamodel)是国际标准化组织制定的标准元模型,正日益成为软件过程建模领域的行业标准,但在过程执行方面,SPEM还存在不足.将软件过程看作是一种特殊的工作流,提出了一种应用工作流运行机制支持软件过程执行的方法.通过将SPEM模型转换为XPDL(XML process definition language)模型,利用XPDL引擎支持SPEM模型的执行.制定了SPEM和XPDL之间的映射规则,设计了转换算法并开发了转换引擎.该方法被应用在SoftPM项目中,成功地基于XPDL引擎Shark实现了对软件过程模型的执行支持.

dynamic evolutions based on ontologies

With the continuous changes in application requirements of the enterprises, Web resources must be updated, so do the underlying ontologies that are associated with the Web resources. In the situation, it is very challenging for ontological engineers to specify the changes of ontologies, keep their consistencies and achieve semantic query of Web resources based on the evolving ontologies. We propose a construct called Prioritized Knowledge Base (PKB) based on SHOQ(D) description logic, and discuss some properties of PKB.PKB can be used for describing the evolutions and updates of ontologies with conflicting information. Furthermore, we develop some algorithms for checking conflict rules and performing semantic query based on PKB.