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