基于MFC的《离散数学》实验演示系统的设计与实现

针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:安徽广播电视大学学报 2013 (3), p.121-124
1. Verfasser: 邹乐 华珊珊 吕刚
Format: Artikel
Sprache:chi
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 124
container_issue 3
container_start_page 121
container_title 安徽广播电视大学学报
container_volume
creator 邹乐 华珊珊 吕刚
description 针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。
format Article
fullrecord <record><control><sourceid>wanfang_jour_chong</sourceid><recordid>TN_cdi_wanfang_journals_ahgbdsdxxb201303027</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cqvip_id>47145906</cqvip_id><wanfj_id>ahgbdsdxxb201303027</wanfj_id><sourcerecordid>ahgbdsdxxb201303027</sourcerecordid><originalsourceid>FETCH-LOGICAL-c627-7a2a94af1f04983bf06f22b1ed26c3e2eb32b1bf1f764c4708caa907b9c0aff63</originalsourceid><addsrcrecordid>eNotjTFLw0AcxTMoWGo_hLME_rm73CWjBqtCxaV7uUtyaURTTRDr1sFJJZNdOlhE6SAYCi6SiF-mTVK_hQd1ejx-P97b0BoGgKVTQMaW1kqSUAAgZFpAzIa2X07zZZ6etJ16crcY3dezohq_VuN5-TFbjB7K7Pn3_bH6fqrf8vqzqIup0lbZzyp7WX6litbpfFvblPw88Vv_2dS67YOuc6R3Tg-Pnb2O7lLEdMYRtwmXhgRiW1hIoBIhYfgeoi72kS-wakJxRolLGFgu5zYwYbvApaS4qe2uZ294JHkU9M4G13GkDnu8Hwgv8YZDgcDAgAExZe-sbbc_iIKrUPmXcXjB49seYQYxbaD4D_3wafY</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>基于MFC的《离散数学》实验演示系统的设计与实现</title><source>Alma/SFX Local Collection</source><creator>邹乐 华珊珊 吕刚</creator><creatorcontrib>邹乐 华珊珊 吕刚</creatorcontrib><description>针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。</description><identifier>ISSN: 1008-6021</identifier><language>chi</language><publisher>合肥学院网络与智能信息处理重点实验室 计算机科学与技术系,合肥,230601</publisher><subject>主合取范式 ; 二部图 ; 等价关系 ; 等价类</subject><ispartof>安徽广播电视大学学报, 2013 (3), p.121-124</ispartof><rights>Copyright © Wanfang Data Co. Ltd. All Rights Reserved.</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Uhttp://image.cqvip.com/vip1000/qk/83109X/83109X.jpg</thumbnail><link.rule.ids>314,780,784,4024</link.rule.ids></links><search><creatorcontrib>邹乐 华珊珊 吕刚</creatorcontrib><title>基于MFC的《离散数学》实验演示系统的设计与实现</title><title>安徽广播电视大学学报</title><addtitle>Journal of Anhui Television University</addtitle><description>针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。</description><subject>主合取范式</subject><subject>二部图</subject><subject>等价关系</subject><subject>等价类</subject><issn>1008-6021</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><recordid>eNotjTFLw0AcxTMoWGo_hLME_rm73CWjBqtCxaV7uUtyaURTTRDr1sFJJZNdOlhE6SAYCi6SiF-mTVK_hQd1ejx-P97b0BoGgKVTQMaW1kqSUAAgZFpAzIa2X07zZZ6etJ16crcY3dezohq_VuN5-TFbjB7K7Pn3_bH6fqrf8vqzqIup0lbZzyp7WX6litbpfFvblPw88Vv_2dS67YOuc6R3Tg-Pnb2O7lLEdMYRtwmXhgRiW1hIoBIhYfgeoi72kS-wakJxRolLGFgu5zYwYbvApaS4qe2uZ294JHkU9M4G13GkDnu8Hwgv8YZDgcDAgAExZe-sbbc_iIKrUPmXcXjB49seYQYxbaD4D_3wafY</recordid><startdate>2013</startdate><enddate>2013</enddate><creator>邹乐 华珊珊 吕刚</creator><general>合肥学院网络与智能信息处理重点实验室 计算机科学与技术系,合肥,230601</general><scope>2RA</scope><scope>92L</scope><scope>CQIGP</scope><scope>~WA</scope><scope>2B.</scope><scope>4A8</scope><scope>92I</scope><scope>93N</scope><scope>PSX</scope><scope>TCJ</scope></search><sort><creationdate>2013</creationdate><title>基于MFC的《离散数学》实验演示系统的设计与实现</title><author>邹乐 华珊珊 吕刚</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c627-7a2a94af1f04983bf06f22b1ed26c3e2eb32b1bf1f764c4708caa907b9c0aff63</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>chi</language><creationdate>2013</creationdate><topic>主合取范式</topic><topic>二部图</topic><topic>等价关系</topic><topic>等价类</topic><toplevel>online_resources</toplevel><creatorcontrib>邹乐 华珊珊 吕刚</creatorcontrib><collection>中文科技期刊数据库</collection><collection>中文科技期刊数据库-CALIS站点</collection><collection>中文科技期刊数据库-7.0平台</collection><collection>中文科技期刊数据库- 镜像站点</collection><collection>Wanfang Data Journals - Hong Kong</collection><collection>WANFANG Data Centre</collection><collection>Wanfang Data Journals</collection><collection>万方数据期刊 - 香港版</collection><collection>China Online Journals (COJ)</collection><collection>China Online Journals (COJ)</collection><jtitle>安徽广播电视大学学报</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>邹乐 华珊珊 吕刚</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>基于MFC的《离散数学》实验演示系统的设计与实现</atitle><jtitle>安徽广播电视大学学报</jtitle><addtitle>Journal of Anhui Television University</addtitle><date>2013</date><risdate>2013</risdate><issue>3</issue><spage>121</spage><epage>124</epage><pages>121-124</pages><issn>1008-6021</issn><abstract>针对离散数学的特点,以MFC和面向对象技术为设计环境,建立了一个可视化的离散数学实验演示系统。该系统实现了抽象概念可视化、界面操作可视化、处理结果可视化的要求。通过演示主合取范式、二部图匹配、群的判定、等价关系、等价类和Krushal算法求最小生成树五个子功能模块,展示了该实验演示系统的功能。</abstract><pub>合肥学院网络与智能信息处理重点实验室 计算机科学与技术系,合肥,230601</pub><tpages>4</tpages></addata></record>
fulltext fulltext
identifier ISSN: 1008-6021
ispartof 安徽广播电视大学学报, 2013 (3), p.121-124
issn 1008-6021
language chi
recordid cdi_wanfang_journals_ahgbdsdxxb201303027
source Alma/SFX Local Collection
subjects 主合取范式
二部图
等价关系
等价类
title 基于MFC的《离散数学》实验演示系统的设计与实现
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-28T14%3A15%3A14IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-wanfang_jour_chong&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=%E5%9F%BA%E4%BA%8EMFC%E7%9A%84%E3%80%8A%E7%A6%BB%E6%95%A3%E6%95%B0%E5%AD%A6%E3%80%8B%E5%AE%9E%E9%AA%8C%E6%BC%94%E7%A4%BA%E7%B3%BB%E7%BB%9F%E7%9A%84%E8%AE%BE%E8%AE%A1%E4%B8%8E%E5%AE%9E%E7%8E%B0&rft.jtitle=%E5%AE%89%E5%BE%BD%E5%B9%BF%E6%92%AD%E7%94%B5%E8%A7%86%E5%A4%A7%E5%AD%A6%E5%AD%A6%E6%8A%A5&rft.au=%E9%82%B9%E4%B9%90%20%E5%8D%8E%E7%8F%8A%E7%8F%8A%20%E5%90%95%E5%88%9A&rft.date=2013&rft.issue=3&rft.spage=121&rft.epage=124&rft.pages=121-124&rft.issn=1008-6021&rft_id=info:doi/&rft_dat=%3Cwanfang_jour_chong%3Eahgbdsdxxb201303027%3C/wanfang_jour_chong%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_cqvip_id=47145906&rft_wanfj_id=ahgbdsdxxb201303027&rfr_iscdi=true