一种矛盾需求信息的建模方法

来源 :信息系统工程 | 被引量 : 0次 | 上传用户:yancliu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对需求分析过程中的矛盾信息,将多值逻辑和时序逻辑相结合,建立了多值时序逻辑作为需求建模的工具。通过对多值时序逻辑的语法规则、语意解释的讨论不仅展示了对系统行为、活性、安全性等属性的描述能力,同时保证了对矛盾信息的建模能力。
其他文献
河北省涞源县湖海岭一带,发育多种矿产:有磁铁矿、方铅矿、闪锌矿、铜矿等。本文试图通过对该地区的成矿地质背景的分析,并对该地区的成矿特征进行归纳总结,以期对今后的找矿方向
目的:探究电针足少阳经穴配合功能训练治疗膝关节骨性关节炎的临床疗效。方法:膝关节骨性关节炎患者120例,随机将其分为观察组和对照组,每组各60例。对照组患者口服硫酸氨基
行业合作发卡主要包括联名卡、认同卡及主题卡等,其中多以联名卡为主(以下统称“联名卡”)。根据行业合作发卡营销策略理论,并在国内外案例实践的基础上,系统性地提出一套适用于我
据《中国国土资源报》报道,中国地质学会举办第三次年度十大地质科技成果和十大地质找矿成果评选,我省《华北平原地下水污染调查与评价》、《河北省滦南县马城铁矿勘查》入选。
美国多家大型信用卡发卡机构于2009年8月17日陆续向其监管机构递交了7月的信用卡违约率报告。从报告来看,各信用卡发卡机构的数据要好于预期。其中,美国最大规模的信用卡发行机
河北省地矿局第四水文工程地质大队是一支从事水文地质、工程地质、环境地质勘察、地质灾害防治,岩土工程勘察与治理、液体矿产勘查、勘查工程施工、地球物理勘查、建设项目水
一场国际金融危机,将信用卡这个金融产品推到了风口浪尖,有关信用卡的各种正面的、负面的、质疑的、解析的、社会事件型的、理论探讨型的报道评论出现在各类媒体上。一时间,信用
据银监会公布的最新统计数据,截至2008年12月31日,全国已有105家新型农村金融机构获准开业,其中村镇银行89家,贷款公司6家,农村资金互助社10家,另外还有5家机构获准筹建,并将在近期
通过对邯邢地区铁矿勘查现状及地质特征分析,阐明了重磁法在接触交代型铁矿找矿中的可行性。
目前做好地勘单位的档案数据管理,存在职责不明、保存不妥的现象,造成了不良后果和严重损失,因此,加强地勘单位档案管理工作,提高地勘人员质量意识和建立地质档案数据管理体系。推