formalize相关论文
为解决企业异构数据的共享问题,提出利用本体模型和描述逻辑对元数据进行形式化的方法,通过形式化元数据交互实现异构数据的共享。......
该文按照数理逻辑的方法从句法格式,论元及论元模式,动词和名词之间语义关系及逻辑表达式等四个方面对SUBS＋NP结构进行初步的形式化......
安全协方的形式化验证是网络安全的一个重要领域。文章介绍了一种机器的自动证明算法。与传统算法不同，文章的算法是证伪的，从“攻击......
特征代码反病毒系统已经不能适应当前计算机病毒的检测要求,行为检测法将取代特征代码法。在对病毒恶意行为进行简要分析后,将状态......
It is an important issue in Software Engineering that combined the formal development method with the vi-sual developmen......
对数学解题中一类规律进行了总结，重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用，说明了应用此方法可以把许......
保证职工的合理报酬,是建立和谐稳定劳动关系的关键环节。但由于种种原因,目前的工资集体协商制度还存在较严重的形式化倾向。工会......
采用文献资料法、调查法、访谈法等,分析了全民健身运动＂形式化＂错误导向.讨论了全民健身的地位和作用;讨论了全民健身的落实问题;最......
大学的根本在于学问，为学术而学术是学者的至高境界。外加的形式化的东西，并非大学和学者的动力源泉。一再地用形式化、符号化的办法......
X-machine是一种形式化的、适用于动态系统建模的方法．首先介绍了该建模方法，然后设计、实现了一个可复用的、可转换X-machine模型为......
建筑设计中首要的是构思方法与技巧。构思方法与技巧可分为两类：模式化与自由化，两者的实质是生活化。以鸿雁山庄的构思过程为例，探讨......
基于软件体系结构模型的形式化描述，从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述，并建立了相应的......
