首页 > 最新文献

Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium最新文献

英文 中文
Theory of including degrees and its applications to uncertainty inferences 包含度理论及其在不确定性推理中的应用
Wenxiu Zhang, Y. Leung
Uncertainty inference is a key problem in artificial intelligence. The concept of including degree is introduced and some methods of generating including degrees are given. Some applications of including degrees to the retrieval and inference in expert systems are demonstrated.
不确定性推理是人工智能中的一个关键问题。介绍了包含度的概念,给出了生成包含度的几种方法。给出了包含度在专家系统检索和推理中的一些应用。
{"title":"Theory of including degrees and its applications to uncertainty inferences","authors":"Wenxiu Zhang, Y. Leung","doi":"10.1109/AFSS.1996.583677","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583677","url":null,"abstract":"Uncertainty inference is a key problem in artificial intelligence. The concept of including degree is introduced and some methods of generating including degrees are given. Some applications of including degrees to the retrieval and inference in expert systems are demonstrated.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114228150","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 46
Operator fuzzy modal logic and principle of resolution 算子模糊模态逻辑和解析原理
Weimin Pan, Li Shen
This paper generalizes operator fuzzy logic to operator fuzzy modal logic. Some properties, such as, reduction and transformation of modalities, are discussed. Based on the definitions and properties depicted above, clauses set and standard clauses set are proposed. It is proved that for every clauses set there is a standard clauses set which is logically equal to it. This paper defines /spl lambda/-unsatisfiable and /spl lambda/-reduced set of standard clauses set, and proves that standard clauses set is /spl lambda/-unsatisfiable if and only if its /spl lambda/-reduced set is unsatisfiable. Therefore, any clauses set is /spl lambda/-unsatisfiable if and only if the /spl lambda/-reduced set of its standard clauses set is unsatisfiable. Based on the author's previous works, /spl lambda/-reduced set is unsatisfiable if and only if the empty clause can be derived from its resolvable form. Then we complete /spl lambda/-resolution on an operator fuzzy modal logic system.
将算子模糊逻辑推广到算子模糊模态逻辑。讨论了模态的约化和变换等性质。基于上述定义和性质,提出了子句集和标准子句集。证明了每一个子句集都存在一个与它逻辑上相等的标准子句集。本文定义了标准子句集的/spl λ /-不可满足和/spl λ /-约简集,并证明了标准子句集是/spl λ /-不可满足当且仅当它的/spl λ /-约简集不可满足。因此,当且仅当其标准子句集的/spl lambda/-约简集不可满足时,任何子句集都是/spl lambda/-不可满足的。根据作者以前的工作,当且仅当空子句可以从其可解析形式派生时,/spl lambda/-约简集是不满足的。然后我们完成了一个算子模糊模态逻辑系统的/spl λ /-解析。
{"title":"Operator fuzzy modal logic and principle of resolution","authors":"Weimin Pan, Li Shen","doi":"10.1109/AFSS.1996.583649","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583649","url":null,"abstract":"This paper generalizes operator fuzzy logic to operator fuzzy modal logic. Some properties, such as, reduction and transformation of modalities, are discussed. Based on the definitions and properties depicted above, clauses set and standard clauses set are proposed. It is proved that for every clauses set there is a standard clauses set which is logically equal to it. This paper defines /spl lambda/-unsatisfiable and /spl lambda/-reduced set of standard clauses set, and proves that standard clauses set is /spl lambda/-unsatisfiable if and only if its /spl lambda/-reduced set is unsatisfiable. Therefore, any clauses set is /spl lambda/-unsatisfiable if and only if the /spl lambda/-reduced set of its standard clauses set is unsatisfiable. Based on the author's previous works, /spl lambda/-reduced set is unsatisfiable if and only if the empty clause can be derived from its resolvable form. Then we complete /spl lambda/-resolution on an operator fuzzy modal logic system.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115320072","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Supporting rough set theory in very large databases using oracle RDBMS 支持粗糙集理论在非常大的数据库使用oracle RDBMS
R. Chen, T.Y. Lin
Earlier a "new" rough set theory for very large databases was proposed by T.Y. Lin (1996). In this paper the authors attempt to evaluate the performance of such a rough set theory for a very large database. ORACLE, a relational database management system (RDBMS), is the market leader in open system databases. Windows NT has been growing into the data server environment and is a strong contender for decision support system applications with its open and cost-effective architecture. So ORACLE running under Windows NT was used in this report. The main goal of this research is to formulate a suitable rough set theory for very large databases.
早些时候,T.Y. Lin(1996)提出了一个“新的”大型数据库粗糙集理论。在本文中,作者试图评估这种粗糙集理论在一个非常大的数据库中的性能。ORACLE是一种关系数据库管理系统(RDBMS),是开放系统数据库的市场领导者。Windows NT已经成长为数据服务器环境,并凭借其开放和经济高效的体系结构成为决策支持系统应用程序的有力竞争者。因此,本报告使用的是在Windows NT下运行的ORACLE。本研究的主要目标是为非常大的数据库制定一个合适的粗糙集理论。
{"title":"Supporting rough set theory in very large databases using oracle RDBMS","authors":"R. Chen, T.Y. Lin","doi":"10.1109/AFSS.1996.583625","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583625","url":null,"abstract":"Earlier a \"new\" rough set theory for very large databases was proposed by T.Y. Lin (1996). In this paper the authors attempt to evaluate the performance of such a rough set theory for a very large database. ORACLE, a relational database management system (RDBMS), is the market leader in open system databases. Windows NT has been growing into the data server environment and is a strong contender for decision support system applications with its open and cost-effective architecture. So ORACLE running under Windows NT was used in this report. The main goal of this research is to formulate a suitable rough set theory for very large databases.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"249 24","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114057887","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
SIRM's connected fuzzy inference model and its applications to first-order lag systems and second-order lag systems SIRM连通模糊推理模型及其在一阶滞后系统和二阶滞后系统中的应用
N. Yubazaki, J. Yi, M. Otani, K. Hirota
SIRMs (Single Input Rule Modules) Connected Fuzzy inference Model is proposed for multiple input fuzzy control. In the model, the importance degree is defined first and single input fuzzy rule module is constructed for each input item. The model output is obtained by summarizing the production of the importance degree and the fuzzy inference result of each module. The proposed model needs both very few rules and parameters and the rules can be designed much easier. Moreover, the role of each input item can be strengthened or weakened by changing its importance degree according to experts' intuitive experiences. The proposed model is applied to typical first order lag systems and second order lag systems to confirm the improvement in control performance compared with the conventional model.
针对多输入模糊控制,提出了单输入规则模块连接模糊推理模型。该模型首先定义重要度,并对每个输入项构建单输入模糊规则模块。将各模块的重要度生成和模糊推理结果进行汇总,得到模型输出。所提出的模型只需要很少的规则和参数,而且规则的设计也容易得多。此外,每个输入项的作用可以根据专家的直觉经验,通过改变其重要程度来增强或减弱。将该模型应用于典型的一阶滞后系统和二阶滞后系统,验证了与传统模型相比,该模型在控制性能上的改进。
{"title":"SIRM's connected fuzzy inference model and its applications to first-order lag systems and second-order lag systems","authors":"N. Yubazaki, J. Yi, M. Otani, K. Hirota","doi":"10.1109/AFSS.1996.583707","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583707","url":null,"abstract":"SIRMs (Single Input Rule Modules) Connected Fuzzy inference Model is proposed for multiple input fuzzy control. In the model, the importance degree is defined first and single input fuzzy rule module is constructed for each input item. The model output is obtained by summarizing the production of the importance degree and the fuzzy inference result of each module. The proposed model needs both very few rules and parameters and the rules can be designed much easier. Moreover, the role of each input item can be strengthened or weakened by changing its importance degree according to experts' intuitive experiences. The proposed model is applied to typical first order lag systems and second order lag systems to confirm the improvement in control performance compared with the conventional model.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133297582","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Integration of fuzzy classifiers with decision trees 模糊分类器与决策树的集成
I. Chiang, Jane Yung-jen Hsu
It is often difficult to make accurate predictions, given uncertain and noisy data for classification. Unfortunately, most real-world problems have to deal with such imperfect data. This paper presents a new model for fuzzy classification by integrating fuzzy classifiers with decision trees. In this approach, a fuzzy classification tree is constructed from the training data set. Instead of defining a specific class for a given instance, the proposed fuzzy classification scheme computes its degree of possibility for each class. The performance of the system is evaluated by empirically compared with a standard decision tree classifier C4.5 on several benchmark data sets from the UCI machine learning repository.
在不确定和嘈杂的分类数据下,通常很难做出准确的预测。不幸的是,大多数现实世界的问题都必须处理这种不完美的数据。将模糊分类器与决策树相结合,提出了一种新的模糊分类模型。在这种方法中,从训练数据集构造一个模糊分类树。提出的模糊分类方案不是为给定实例定义特定的类,而是计算每个类的可能性程度。在UCI机器学习存储库的几个基准数据集上,通过与标准决策树分类器C4.5进行经验比较,评估了系统的性能。
{"title":"Integration of fuzzy classifiers with decision trees","authors":"I. Chiang, Jane Yung-jen Hsu","doi":"10.1109/AFSS.1996.583602","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583602","url":null,"abstract":"It is often difficult to make accurate predictions, given uncertain and noisy data for classification. Unfortunately, most real-world problems have to deal with such imperfect data. This paper presents a new model for fuzzy classification by integrating fuzzy classifiers with decision trees. In this approach, a fuzzy classification tree is constructed from the training data set. Instead of defining a specific class for a given instance, the proposed fuzzy classification scheme computes its degree of possibility for each class. The performance of the system is evaluated by empirically compared with a standard decision tree classifier C4.5 on several benchmark data sets from the UCI machine learning repository.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134098947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Evaluating a weapon system using catastrophe series based on fuzzy scales 基于模糊尺度的突变序列评价武器系统
Ching-Hsue Cheng, Yinghai Liu, Yin-Fang Lin
We propose a new algorithm for evaluating a guided missile destroyer by catastrophe series based on fuzzy scales, which is a multiple criteria decision making approach in a fuzzy environment. The descriptions and judgements on weapon systems are usually linguistic and fuzzy. We use the triangular fuzzy number 1/spl tilde/, 3/spl tilde/, 5/spl tilde/, 7/spl tilde/, and 9/spl tilde/ to indicate the relative strength of the elements in the judgement matrix, its elements use a comparison of the performance scores. Our method does not require the subjective weight vector with the corresponding criteria. It utilizes catastrophe series to evaluate multi-goal decision making problems, including cusp, swallowtail and butterfly catastrophe models. However, it is subject to criteria /spl les/4 for decision making problems. Therefore, we derive an extension formula for decision making problems with 5 criteria, which is a wigwam catastrophe model. The catastrophe series method is used in a multiple attribute decision making problem in a conflict environment (i.e., all criteria have different degrees of importance). A fuzzy decision problem is solved and an example of weapon system selection is used to illustrate our method and compare it with other methods.
提出了一种基于模糊尺度的导弹驱逐舰突变序列评价新算法,这是一种模糊环境下的多准则决策方法。对武器系统的描述和判断通常是语言性的和模糊的。我们使用三角模糊数1/spl波浪/,3/spl波浪/,5/spl波浪/,7/spl波浪/和9/spl波浪/来表示判断矩阵中元素的相对强度,其元素使用性能分数的比较。我们的方法不需要带有相应标准的主观权重向量。利用突变序列对多目标决策问题进行评价,包括尖突变模型、燕尾突变模型和蝴蝶突变模型。然而,它受制于决策问题的标准/spl / les/4。因此,我们导出了一个5准则决策问题的推广公式,这是一个wigwam突变模型。将突变序列方法应用于冲突环境下的多属性决策问题(即所有准则的重要程度不同)。解决了一个模糊决策问题,并以武器系统选择为例对该方法进行了说明,并与其他方法进行了比较。
{"title":"Evaluating a weapon system using catastrophe series based on fuzzy scales","authors":"Ching-Hsue Cheng, Yinghai Liu, Yin-Fang Lin","doi":"10.1109/AFSS.1996.583593","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583593","url":null,"abstract":"We propose a new algorithm for evaluating a guided missile destroyer by catastrophe series based on fuzzy scales, which is a multiple criteria decision making approach in a fuzzy environment. The descriptions and judgements on weapon systems are usually linguistic and fuzzy. We use the triangular fuzzy number 1/spl tilde/, 3/spl tilde/, 5/spl tilde/, 7/spl tilde/, and 9/spl tilde/ to indicate the relative strength of the elements in the judgement matrix, its elements use a comparison of the performance scores. Our method does not require the subjective weight vector with the corresponding criteria. It utilizes catastrophe series to evaluate multi-goal decision making problems, including cusp, swallowtail and butterfly catastrophe models. However, it is subject to criteria /spl les/4 for decision making problems. Therefore, we derive an extension formula for decision making problems with 5 criteria, which is a wigwam catastrophe model. The catastrophe series method is used in a multiple attribute decision making problem in a conflict environment (i.e., all criteria have different degrees of importance). A fuzzy decision problem is solved and an example of weapon system selection is used to illustrate our method and compare it with other methods.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"544 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123228757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
A fuzzy self-tuning controller design 一种模糊自整定控制器设计
Wen-Shyong Yu, Jen-Wei Chiang
We propose a new design method to overcome the singularity problem in a self-tuning control system when using the pole placement technique. This method uses the fuzzy gradient least squares estimation to identify the coefficients of the plant and guarantee the controllability of the estimated plant model. From the simulation results, it is seen that the proposed method can have satisfactory results.
本文提出了一种新的设计方法来克服自整定控制系统在采用极点放置技术时的奇异性问题。该方法利用模糊梯度最小二乘估计来识别植物的系数,保证了估计的植物模型的可控性。仿真结果表明,该方法能取得满意的结果。
{"title":"A fuzzy self-tuning controller design","authors":"Wen-Shyong Yu, Jen-Wei Chiang","doi":"10.1109/AFSS.1996.583591","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583591","url":null,"abstract":"We propose a new design method to overcome the singularity problem in a self-tuning control system when using the pole placement technique. This method uses the fuzzy gradient least squares estimation to identify the coefficients of the plant and guarantee the controllability of the estimated plant model. From the simulation results, it is seen that the proposed method can have satisfactory results.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123472118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Complex adaptive fuzzy inference systems 复杂自适应模糊推理系统
Ying Li, Yua-Tong Jang
The paper presents two complex adaptive fuzzy inference systems, CANFIS and CFBFN. CANFIS is a complex extension of ANFIS. CFBFN is a variation of CANFIS where the number of fuzzy rules can be chosen with greater flexibility. These systems can be used in such applications as communications, radar, and sonar, where the information bearing signals are usually complex.
本文提出了两种复杂自适应模糊推理系统:CANFIS和CFBFN。CANFIS是ANFIS的复杂扩展。CFBFN是CANFIS的一种变体,可以更灵活地选择模糊规则的数量。这些系统可用于诸如通信、雷达和声纳等应用,其中信息承载信号通常是复杂的。
{"title":"Complex adaptive fuzzy inference systems","authors":"Ying Li, Yua-Tong Jang","doi":"10.1109/AFSS.1996.583709","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583709","url":null,"abstract":"The paper presents two complex adaptive fuzzy inference systems, CANFIS and CFBFN. CANFIS is a complex extension of ANFIS. CFBFN is a variation of CANFIS where the number of fuzzy rules can be chosen with greater flexibility. These systems can be used in such applications as communications, radar, and sonar, where the information bearing signals are usually complex.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123017888","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Fuzzy resolution on the infeasibility of user equilibrium in traffic assignment problem 流量分配问题中用户均衡不可行性的模糊求解
Hsueh-Ling Liao, Hsiao-Fan Wang
The user equilibrium in traffic assignment problem is to choose the minimum cost path between every origin-destination pair. In this study, we consider the infeasible user equilibrium in traffic assignment problem. That is, there does not exist any solution of the problem. We are interested in the minimum degree of relaxation needed so that the problem can exist with at least one solution. Therefore, we apply the method and concept of the theory of fuzzy resolution on the infeasibility of variational inequality to solve the infeasible user equilibrium problem.
流量分配问题中的用户均衡问题是在每个始发目的地对之间选择代价最小的路径。在本研究中,我们考虑了流量分配问题中的不可行的用户均衡。也就是说,这个问题不存在任何解决方案。我们感兴趣的是使问题至少存在一个解所需的最小松弛度。因此,我们应用变分不等式不可行性的模糊解决理论的方法和概念来解决不可行的用户均衡问题。
{"title":"Fuzzy resolution on the infeasibility of user equilibrium in traffic assignment problem","authors":"Hsueh-Ling Liao, Hsiao-Fan Wang","doi":"10.1109/AFSS.1996.583570","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583570","url":null,"abstract":"The user equilibrium in traffic assignment problem is to choose the minimum cost path between every origin-destination pair. In this study, we consider the infeasible user equilibrium in traffic assignment problem. That is, there does not exist any solution of the problem. We are interested in the minimum degree of relaxation needed so that the problem can exist with at least one solution. Therefore, we apply the method and concept of the theory of fuzzy resolution on the infeasibility of variational inequality to solve the infeasible user equilibrium problem.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123831704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A formal framework for the impacts of design strategies on requirements 设计策略对需求影响的正式框架
J. Yen, W. A. Tiao
One of the important tasks in requirements engineering is to identify the impacts of various design strategies on satisfying the requirements of the target system. This paper proposes a formal framework for studying the relationships between design strategies and requirements. The elasticity of imprecise requirements is captured using fuzzy logic, and design strategies are explicitly defined in terms of requirements. Based on such a formal framework, we have developed a systematic reasoning scheme for reasoning about the positive/negative impacts of design strategies on requirements. The framework can reduce the efforts in identifying requirement and design conflicts and assist the software engineers in evaluating design alternatives more effectively.
需求工程中的一项重要任务是确定各种设计策略对满足目标系统需求的影响。本文提出了一个形式化的框架来研究设计策略和需求之间的关系。使用模糊逻辑捕获不精确需求的弹性,并且根据需求明确定义设计策略。基于这样一个正式的框架,我们已经开发了一个系统的推理方案,用于推理设计策略对需求的积极/消极影响。框架可以减少识别需求和设计冲突的努力,并帮助软件工程师更有效地评估设计方案。
{"title":"A formal framework for the impacts of design strategies on requirements","authors":"J. Yen, W. A. Tiao","doi":"10.1109/AFSS.1996.583651","DOIUrl":"https://doi.org/10.1109/AFSS.1996.583651","url":null,"abstract":"One of the important tasks in requirements engineering is to identify the impacts of various design strategies on satisfying the requirements of the target system. This paper proposes a formal framework for studying the relationships between design strategies and requirements. The elasticity of imprecise requirements is captured using fuzzy logic, and design strategies are explicitly defined in terms of requirements. Based on such a formal framework, we have developed a systematic reasoning scheme for reasoning about the positive/negative impacts of design strategies on requirements. The framework can reduce the efforts in identifying requirement and design conflicts and assist the software engineers in evaluating design alternatives more effectively.","PeriodicalId":197019,"journal":{"name":"Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131300071","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
期刊
Soft Computing in Intelligent Systems and Information Processing. Proceedings of the 1996 Asian Fuzzy Systems Symposium
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1