共查询到20条相似文献，搜索用时 265 毫秒
1.
关联规则挖掘的核心问题是算法的效率和伸缩性,这就产生了基于约束的关联规则挖掘方法。关联规则挖掘中除了支持度和信任度外的约束外,最基本的是项目约束。本文总结和归纳了含有项目约束的关联规则挖掘的分类,并在算法Apriori的基础上,介绍了基于项目约束的关联规则的挖掘算法D irect。 相似文献
2.
为了提高语义Web服务的发现性能,从Web服务描述上下文中抽取语义标注的约束信息并生成新的更精确的语义标注,从而减少语义标注与参数之间的语义偏差,精化Web服务的语义描述.首先,从本体定义中抽取概念的约束模板,并对Web服务的描述文本进行句法分析;然后,根据约束模板,从句法分析树中抽取语义标注的约束信息,并构造新的概念表达式作为对应参数的新的语义标注.最后,提出了一种新的语义相似度度量方法以度量概念表达式的相似度.实验结果表明：该方法能够提高语义Web服务发现的平均准确率,且计算代价相对较小.从描述文本中抽取概念的约束信息,能够减少标注的语义偏差,更精确地表达语义Web服务的语义,提高Web服务的发现性能. 相似文献
3.
4.
将定义好的地理本体及其关系应用到空间聚类分析过程中,通过逻辑规则推理,强化地理空间知识对聚类算法的指导,探索解决聚类分析缺乏地理知识约束等问题的方法,使聚类分析结果更合理。实现了一个基于本体约束的DBSCAN程序原型,并将聚类结果展示在Web电子地图中。以本体建立地理空间约束知识聚类分析实际上是对地理空间对象进行半监督的空间分析过程。原型系统验证表明,地理本体知识约束下的DBSCAN算法是可行的。 相似文献
5.
探讨了一类基于某种时态约束的周期时态关联规则的有关问题．首先，引入了时态型的定义以及相关的概念．然后，给出了一种时态事件模型，用以描述基于时态型的不同属性的各种状态的事件，同时定义了一类事件问的周期时态关联规则，它能在诸如股票波动、天气预报、商品销售等领域提供短期的预测和决策．最后，给出了发现此类周期时态关联规则算法的主要步骤，并且给出了对股票数据挖掘的实验结果分析． 相似文献
6.
刘兵 《鞍山师范学院学报》1999,(1)
提出了两状态流约束通讯网络可靠度计算的一个组合路算法 ,算法在 S.Rai和 S.Soh[6] 的 CPE算法基础上 ,重新将极小路分类 ,定义了新的路的组合规则 ,减少了组合路数 . 相似文献
7.
根据实验区域已有数据和EGM2008重力场模型,本文进行了某区域的似大地水准面精化计算.小区域似大地水准面精化采用GPS/水准观测和移去-恢复法进行,将精化成果与EGM2008模型的插值数据进行比较可以得出结论:GPS/水准法可以快速、高效完成小区域大地水准面精化计算,同时精化成果可以与EGM2008模型的插值数据进行比对,使精化成果得到检核,因此基于EGM2008模型比对的GPS/水准法是一种有效的小区域似大地水准面精化方法. 相似文献
8.
为支持流程中不确定性因素和动态因素的描述,提出了柔性工作流的动态层次描述方法,使得流程设计人员在流程定义阶段定义的主流程可以在任意时刻由子组织的负责人进行细化和扩充.为保证动态层次描述的正确性和完整性,讨论了动态层次描述的一系列约束规则,确保分解后的流程与原有流程实现无缝衔接.该描述方法支持对不可预知的非确定性因素的描述,支持业务流程的动态层次描述以及组织机构的变化,极大地增加了工作流管理系统的柔性和可扩展性. 相似文献
9.
刘新友 《辽宁师范大学学报(社会科学版)》1988,(6)
做出正确的定义,除了必须具备与被定义概念有关的具体知识以外,还必须遵守定义的规则。定义的规则是人们长期以来经验的总结,是保证定义正确的必要条件。中外传统逻辑著作包括讲授传统逻辑内容的教科书,在亚里士多德定义理论的基础上,郑重列出了四条关于古典定义的规则。如何对待这些古典定义的规则?如何正确地去考虑和确定属加种差定义的逻辑规则?本文想谈点不成熟的看法。下面就古典定义的规则逐条 相似文献
10.
刘奇光 《贵州教育学院学报》2004,15(4):1-3
对数学概念下定义的基本要求、定义的实质和思想方法进行探讨。把形式逻辑关于真实定义的四条规则用来作为数学定义的基本要求是不恰当的，可以针对数学的三类基本概念中的不变个体制定具体的定义规则。可消去性准则和非创新性准则的思想应当在中学数学教材教法的逻辑内容中得到反映。 相似文献
11.
空间方向关系形式化模型是判定空间关系的基础,为了提高模型的可靠性,提出了一种基于F直方图的空间方向关系形式化模型。首先给出了基本的F直方图算法,然后提出了基于F直方图的空间方向关系判定方法。采用人工图片作为算例进行实验的结果表明该模型是可行的。 相似文献
12.
在50、60、70、80℃下,聚合醋酸乙烯酯( VAc)制得一系列聚醋酸乙烯酯(PVAc),并在氢氧化钠作用下醇解制得聚乙烯醇( PVA);通过黏度法测定聚乙烯醇被高碘酸钾降解前后的相对分子质量,从而计算出聚乙烯醇中“头碰头”的键合几率;然后聚乙烯醇与甲醛在酸催化作用下制备聚乙烯醇缩甲醛,并计算出聚乙烯醇缩甲醛的缩醛度;最后得出聚合温度对聚乙烯醇键合方式和聚乙烯醇缩甲醛缩醛度的影响.实验结果表明:聚合温度低,聚乙烯醇的聚合度大、相对分子质量大、黏度大,而且聚乙烯醇分子中“头碰头”键合几率小,最佳的聚合温度是60℃;聚乙烯醇缩甲醛的缩醛度则随着聚合温度的升高而降低. 相似文献
13.
The use of formal specification in software development is becoming increasingly prevalent. The Z nota-tion is a formal method, a language, and a style for expressing formal specification of software systems. This paperpresents a part of the specification work on a hotel guestroom reservation system. 相似文献
14.
MIAO Huai kou Bizuneh Bekele Teklay Tesfay 《上海大学学报(英文版)》1999,3(4):287-292
１ Ｉｎｔｒｏｄｕｃｔｉｏｎ Ｓｐｅｃｉｆｉｃａｔｉｏｎｄｅｓｃｒｉｂｅｓｔｈｅｂｅｈａｖｉｏｒｏｆｔｈｅｓｙｓｔｅｍｉｎｔｅｒｍｓｏｆｒｅｓｕｌｔｓ,ｗｈｅｒｅａｓａｎｉｍｐｌｅｍｅｎｔａｔｉｏｎｄｅｆｉｎｅｓｂｅｈａｖｉｏｒｉｎｔｅｒｍｓｏｆｐｒｏｃｅｄｕｒｅ．Ｔｈｉｓｄｉｓｔｉｎｃｔｉｏｎｇｉｖｅｓｒｉｓｅｔｏｔｈｅｉｎｆｏｒｍａｌｎｏｔｉｏｎｏｆｄｅｓｃｒｉｂｉｎｇｓｐｅｃｉｆｉｃａｔｉｏｎａｓ“ｗｈａｔ”ａｓｏｐｐｏｓｅｄｔｏｄｅｓｃｒｉｂｉｎｇｉｍｐｌｅｍｅｎｔａｔｉｏｎａｓ“ｈｏ… 相似文献
15.
16.
李喜英 《商丘职业技术学院学报》2009,8(5):29-32
原型法在开发大型软件系统、理解其开发和进化过程方面是最好方法,但由于不同系统的开发环境和过程不同,很多形式模型在实现中都有技术上的困难.用基于超图的软件进化模型表示和研究有多维分层结构的复杂软件的进化过程,可以有效地帮助开发者描述、理解和控制软件的进化过程.经开发多媒体系统的实践证明,这一模型在需求多变的软件开发中进行软件进化控制效果良好. 相似文献
17.
张盛彬 《安徽师范大学学报(人文社会科学版)》2001,29(3):376-381
世界观与方法论有一致,也有不一致。形而上学方法是科学方法。形式逻辑是形而上学方法的产物,故需要接受辩证方法的改造。受苏联极左思潮影响,辩证民形式逻辑被人为分家,中国逻辑研究被极左思潮误导已半个世纪了。黑格尔、马恩列的逻辑理想就是在辩证法的指导下,对形式逻辑认识过程的整合,辩证逻辑实是认识逻辑。 相似文献
18.
Rolf Reber Hilde Hetland Weiqin Chen Elisabeth Norman Therese Kobbeltvedt 《学习科学杂志》2013,22(4):509-548
We investigated example choice as a new method for the teaching of formal theoretical principles. Formal principles are presented with several examples from different topics, and students choose the one that interests them most. Example choice might be related to prior knowledge, interest, or perceived control. In an experimental study, we examined the effects of degree of example choice and degree of prior knowledge on interest, perceived control, and learning outcomes in a presentation on confirmation bias. The main finding was that participants who could choose an example showed more interest in the presentation of the formal principle than participants who either were given an example by the experimenter or only saw the presentation. Control was lowest for the group without example choice and without prior knowledge. Finally, prior knowledge, but not example choice, increased performance on a transfer of knowledge task. Example choice thus offers a new approach for closing the gap between formal principles as presented at school and a student's interests. 相似文献
19.
论述了在均匀稳定磁场中低速运动的导体上电荷分布的情况,得出了求解这种分布的一种方法,并讨论了几种形状导体上的电荷分布。 相似文献
20.
林升乐 《十堰职业技术学院学报》2005,18(4):65-66
高职院校出版正式学报是由高职教育的内涵和特性所决定的。本科院校学报侧重于理论研究,高职院校学报侧重于技术和方法研究,而且是沟通产学研的重要渠道。两者都不可偏废。高职院校出版正式学报的布局,应考虑数量上与本科院校学报之间的适当比例,应考虑地域平衡、专业平衡,应对办刊院校进行考察评估,实行动态管理。 相似文献