基于Visio的规则库的设计与实现

为了进一步优化专家系统规则库,通过分析基于微软Visio故障树的结构和属性,详细阐述了在Visio下如何通过软件将故障树转换为规则库。实际应用表明,这种树一表转换处理可以提高专家系统规则库的开发效率。     

串空间代数缺陷到实际攻击的转换

根据串空间证明协议安全性的代数结论,可以判断协议是否存在缺陷,但没有给出一个精确的答案：究竟攻击是如何进行的?本文提出四务启发式规则以完成代数缺陷到实际攻击的转换。并结合Needham—Schroeder公钥协议、Otway—Rees对称密钥协议进行了攻击转换分析。实践表明这四条规则在把串空间的代数缺陷转换为实际攻击时非常有效。     

一种基于ORM的OWL本体与关系数据库映射模型

如何使现有的关系数据库具有语义特征,如何对面向对象中的对象模型进行语义描述,是语义网应用过程中的两个重要问题。提出了一种Ontology-Object-Relational映射模型,提出了相关的映射规则及算法,基于映射元数据实现了本本、对象以及关系数据库间的映射与相互转换。实现了基于该模型的实验系统,并对关系数据库与本体实例间的相互转换进行了实验,实验结果表明本文所提出的映射模型、映射规则及算法是正确与可行的。     

基于MDA的模型转换器的设计与实现

本文提出了从PIM到PSM模型转换器的设计思想,详细说明了如何应用XMI规范作为PIM到PSM模型转换过程的中间桥梁.依据桥接器[1]概念并且结合实际给出了一套从UML类图到数据库代码的映射规则,并对模型转换过程中存在的时序依赖进行了分析.     

广义左,右线性递归规则组改写

本文从左，右线性递归规则组的定义出发，提出了广义左，右线性递归规则组的定义，放宽了左，右线性递归规则组寻规则形式的限制，扩展了Ｕｌｌｍａｎ提出的左，右线性递归规则组改写方法的适用范围。本文证明了由广义左，右线性递归规则组向左，右线性规则组转换的相容性，并给出了具体的转换算法。     

MDA中关联从UML模型到Java模型的转换

关联变换是MDA中模型转换的难点,研究了如何定义一套高质量的映射规则用于关联变换.首先讨论了UML中关联关系及其两种实现模式,接着对每种模式分别定义了一套从UML模型（平台独立模型）到Java模型（平台相关模型）的变换规则,最后给出了两种实现模式按规则转换的实例.     

基于规则库的工作流流程文件转换方法

针对工作流流程定义文件之间需要相互转换的问题,提出了一种基于规则库的流程定义文件转换方法.该方法首先通过建立映射规则库采存储不同流程定义语言间相互转换的规则,然后在转换过程中动态查找规则库,获取当前流程定义转换所需要的规则,最后用获取的规则初始化转换引擎以实现流程定义文件的转换.采用上述方法建立了从XPDL(Xml process definition language)到BPEL(business process execution language)及BPEL到XPDL之间的转换规则库,运用该规则库完成了实例的相互转换.实验结果表明了该转换方法的可行性和有效性.     

C#实现短信息的PDU模式编码

短信服务递信息方便快捷、价格低廉,而越来越受人们的青睐。在短信发送过程中,用户数据转换为PDU模式串的编码比较麻烦。本文分析了SMS服务中PDU模式下短信编码规则,提出了如何利用C#进行编码,并给出了关键源代码。     

MDA中PIM到PSM变换规则的研究

在MDA开发模式中,将模型分为PIM(平台独立模型)和PSM(平台相关模型),其目的在于通过一定的变换规则实现PIM到PSM的自动转换,从而可以方便地生成应用程序代码以及测试框架。要实现PIM到PSM的自动转换,关键在于变换规则的精确定义。本文对变换规则提出了一种形式化的定义,并结合特定的PSM给出了一个具体的转换实例,最后给出在此基础上设计的平台的实践结果。     

基于动词配价的德汉译文转换生成的研究

本文对德汉机译系统中,动词配价理论在译文转换生成中的应用进行了分析,结合实际的系统为基础,阐述了以译文转换式为主、以语料规则为辅的转换生成方法,并讨论了语义要素的具体实现。     

合理选择基于单片机的数字滤波方法

本文在讨论各种单片机数字滤波算法优缺点及其适用范围的基础上 ,着重介绍了单片机数字滤波方法的选择及实施原则。列出了一些数字滤波的变种算法和组合算法。用一个运用实例诠释了在设计单片机数字滤波算法时如何融入这些选择原则。     

基于BRMS的“旅游一卡通”计费系统的设计

对业务规则管理系统技术进行了介绍，并从“旅游一卡通”计费系统这个需要大量业务规则的应用领域出发，对业务规则管理系统技术的应用进行了研究与设计。提出了一个适合该系统的业务对象模型，并对如何根据业务对象模型，提取目前以参数化和程序形式“固化”在计费系统的业务规则进行了论述。     

决策规则在仿真调度中的应用

讨论了用决策规则解决ＦＭＳ车间调度问题的方法与规则库的具体实现，说明基于规则的仿真调度是产生可行调度方案的一条有效途径。分析了规则与性能指标的关系，对如何合理地选用规则给出了建议。     

防火墙中规则的翻译及检测方法的研究

iptables的Web配置系统,虽然使防火墙的规则输入变得非常容易操作,避免了输入规则的语法错误,而同时又保持了iptables的强大功能,但没有考虑规则之间的联系。在以往的防火墙规则输入过程中,规则都由用户判定其语义是否正确,规则之间是否矛盾,是否有无用的规则。但因规则的语义是与其在规则表中的位置相关的,因此,当规则较多时,很容易出错。因此文中针对基于Linux防火墙的包过滤系统,提出了如何对包过滤规则进行翻译和正确性检测。     

基于系统调用的入侵检测规则的生成

由授权进程产生的系统调用短序列可作为计算机免疫系统中的“自我”标识。介绍如何利用数据挖掘技术在应用程序的系统调用数据集上进行分类挖掘,从而生成计算机免疫系统中的入侵检测规则,给出并分析了实验结果,发现用此方法生成的规则对未知数据进行分类有较高的准确率。     

Enterprise Modeling and Decision-Support for Automating the Business Rules Lifecycle

Business rules represent policies, procedures and constraints regarding how an enterprise conducts its business. To get the full benefits of modeling business rules requires an approach to managing them through their full lifecycle, from acquisition through deployment and evolution. The research reported in this paper is aimed at determining what infrastructure capabilities are needed to provide this lifecycle support. The solution embodies a modeling framework that captures the structure of the enterprise, in terms of which the business rules can be expressed, and decision-support capabilities for reasoning about and deriving business rules. The paper demonstrates the possibility of automatic support of the business rules lifecycle by automatically generating business rules from the captured information, along with data representing domain assumptions in a case study (the London Ambulance System). A system was implemented to illustrate the methodology and to demonstrate the feasibility of the approach. The methodology also gives guidance on how to deal with pragmatically important situations such as rules that involve both automated and human tasks, nondeterministic rules, and goal-oriented versus operational rules.     

角色指派规则生成研究

RBAC中,用户-角色指派常常由系统管理员完成,适用于用户数量不大,指派关系简单的环境。在分布环境中,用户数量巨大,指派关系复杂且易变,传统的用户-角色指派方法效率较低。角色指派规则的出现为实现URA过程的自动化提供了可能,也是角色对用户的一种限制条件。用户只有满足指派规则后才能获得角色。已有研究工作未说明如何生成指派规则,本文提出了角色指派规则的生成方法。根据角色获得权限的方式,研究了PRA过程中角色指派规则的生成,以及角色继承关系中子角色的角色指派规则生成。同时,本文也对上面两种情况所引起的角色权限变化而带来的角色指派规则的变化进行了研究。     

A methodology and tool support for managing business rules in organisations

Business rules are evidently important for organisations as they describe how they are doing business. Their value has also been recognised within the information system (IS) domain, mostly because of their ability to make applications flexible and amenable to change. In this paper, we propose a methodology that helps business people and developers to keep business rules at the business level inline with the rules that are implemented at the system level. In contrast to several existing approaches that primarily focus on business rules in the scope of an application, our methodology addresses the entire IS of an organisation. The paper also describes requirements for a tool support that would be appropriate to support the methodology.     

用MDA方法实现CORBA体系结构

为了解决软件可重用问题,OMG发布了模型驱动体系结构(MDA)。MDA认为系统开发的最好方式是隔离系统设计与系统实现,独立建模业务行为和领域元素,关注系统应用本身而不是将中间件平台作为系统开发的中心。它将系统结构化成PIM和PSM模型,通过映射和转换机制将PIM转换成PSM并不断求精,最后生成代码。文中以“香港利苑集团餐饮管理系统”为背景,介绍利用MDA方法开发CORBA系统。     

语句级汉字输入系统中语义规则研究

提高音字转换的正确率是新一代汉字输入技术-语句输入技术的核心问题,而基于语料库统计模式和基于语法规则相结合是提高音字转换正确率的一种有效途径。建立规则的核心问题就是要研究和解决适合于音字转换的短语搭配问题。文章依据自然语言理解和计算语言学理论,就规则在音字转换中的作用和建立方法进行了研究。