检索结果-内蒙古大学图书馆

2011年青年通信国际会议

作者：张岚高博内蒙古财经学院计算机信息管理学院

大部分程序都要用到循环结构,如何有效地保证循环程序的正确性是程序正确性验证领域中重要的问题。目前针对循环程序的正确性验证存在着很多方案。其中,在程序中加入断言和不变式的证明方法是最为精确的一种。此方法通过数学上的证明对... 详细信息

大部分程序都要用到循环结构,如何有效地保证循环程序的正确性是程序正确性验证领域中重要的问题。目前针对循环程序的正确性验证存在着很多方案。其中,在程序中加入断言和不变式的证明方法是最为精确的一种。此方法通过数学上的证明对循环程序进行验证,保证程序的正确性。这种方法比传统的方法更准确,得出的结论也更具有说服力。但该方法在具体实施中存在着一些难点,主要表现在如何构造循环不变式。本文在综合考虑各种循环特征的基础上给出了一种循环不变式的构造方法。与传统的方法相比该方法可以更准确的反映程序运行的实际情况。

关键词：循环不变式程序正确性气球理论程序验证

来源：评论

学校读者我要写书评

暂无评论

论校园文化建设与大学生思想教育

引用

内蒙古财经学院学报（综合版） 2011年第3期9卷 10-13页

作者：钱卫华黄青内蒙古财经学院计算机信息管理学院内蒙古呼和浩特010051 内蒙古商贸职业学院计算机系内蒙古呼和浩特010021

校园文化建设是学院办学水平的重要标志,是一个学校发展的内涵式品牌,是学校物质财富和精神财富的总称。它包括物质文化、制度文化及精神文化,物质文化是校园文化的表层结构,制度文化是校园文化的中层结构,精神文化则是校园文化的深层... 详细信息

校园文化建设是学院办学水平的重要标志,是一个学校发展的内涵式品牌,是学校物质财富和精神财富的总称。它包括物质文化、制度文化及精神文化,物质文化是校园文化的表层结构,制度文化是校园文化的中层结构,精神文化则是校园文化的深层结构。本文就校园文化建设的必要性、校园文化引导大学生思想政治教育的时效性谈点看法。加强校园文化建设,创造一种优良的适合学生要求的文化氛围,作为思想教育的手段与补充,应该是可行的。

关键词：大学校园文化建设思想教育

来源：评论

学校读者我要写书评

暂无评论

《多媒体技术应用》实验教学多元考核研究

引用

现代计算机 2011年第9期17卷 39-42页

作者：舒力迪白古勒齐内蒙古财经学院计算机信息管理学院呼和浩特010070 呼和浩特广播电视大学电教科呼和浩特010053

针对《多媒体技术应用》实验教学中存在的问题,提出多元考核改革方案。通过对21个公共课教学班的实验教学课程设计考核,同时抽取4个公共课教学班进行同期多元考核的对比实验。实践证明,多元考核可以实现跟踪了解学生平时对各章节知识要... 详细信息

针对《多媒体技术应用》实验教学中存在的问题,提出多元考核改革方案。通过对21个公共课教学班的实验教学课程设计考核,同时抽取4个公共课教学班进行同期多元考核的对比实验。实践证明,多元考核可以实现跟踪了解学生平时对各章节知识要点的掌握情况,也够能实现对学生实际动手能力和操作水平的考核,对提高教学质量具有比较大的参考价值。

关键词：多元考核教学考核多媒体技术应用实验教学

来源：评论

学校读者我要写书评

暂无评论

赤平足痕迹生物特征识别系统

引用

计算机系统应用 2011年第9期20卷 27-30页

作者：舒力迪轩兴涛云宝璠内蒙古财经学院计算机信息管理学院呼和浩特010070 内蒙古自治区公安厅刑警总队足迹检验鉴定支队呼和浩特010051

近年来,犯罪手段多变复杂,而且赤脚作案的发案率或频率明显上升,给刑侦侦破工作带来非常大的压力,所以赤脚平面足痕迹(简称赤平足)生物形态特征识别技术的研究成为现阶段刑侦识别技术研究的热点。赤平足识别属于生物形态和生物结构特征... 详细信息

近年来,犯罪手段多变复杂,而且赤脚作案的发案率或频率明显上升,给刑侦侦破工作带来非常大的压力,所以赤脚平面足痕迹(简称赤平足)生物形态特征识别技术的研究成为现阶段刑侦识别技术研究的热点。赤平足识别属于生物形态和生物结构特征识别技术研究,通过图像预处理、生态形态分割、对象变换、生物形态和结构分析、生物特征提取、生物形态和结构匹配比对等一系列操作而进行的身份识别工作。对赤平足识别系统层次结构、系统模型、生物形态分类、生物形态特征数据库等重点内容进行了详细的介绍和说明,对赤平足识别系统建模和开发具有较大的参考价值。

关键词：赤脚平面足迹赤平足生物形态生物特征识别技术

来源：评论

学校读者我要写书评

暂无评论

基于界模型的真相关反馈信息检索

引用

东南大学学报（自然科学版） 2010年第A02期40卷 301-306页

作者：王彪高光来内蒙古大学计算机学院呼和浩特010021 内蒙古财经学院计算机信息管理学院呼和浩特010070

建立了一种表达用户信息需求的界模型,通过计算信息需求的上边界、下边界,确定信息需求的需求域.该模型从语言学的角度出发,通过挖掘语言的内涵和外延来表达语言的含义.用户的查询请求有其内涵和外延,信息需求域正是通过表达查询请求的... 详细信息

建立了一种表达用户信息需求的界模型,通过计算信息需求的上边界、下边界,确定信息需求的需求域.该模型从语言学的角度出发,通过挖掘语言的内涵和外延来表达语言的含义.用户的查询请求有其内涵和外延,信息需求域正是通过表达查询请求的内涵和外延来反映用户的真实信息需求.在信息检索时,计算文档与信息需求域的相似度,并根据相似度对文档进行排序.在实际检索时,采用用户真实相关反馈机制,该相关反馈机制得到的是真相关文档,因而可以更好地表达用户的信息需求.使用Lemur工具进行的对比分析实验表明,界模型下的真相关反馈信息检索具有较理想的效果.

关键词：信息需求域下边界上边界界模型相关反馈

来源：评论

学校读者我要写书评

暂无评论

基于ARCGIS ENGINE的封山育林设计系统的设计与实现

引用

电脑知识与技术 2011年第28期

作者：马鹏烜内蒙古财经学院计算机信息管理学院

来源：评论

学校读者我要写书评

暂无评论

程序代码相似度度量的研究与实现

引用

计算机工程 2010年第4期36卷 45-46,49页

作者：于海英内蒙古财经学院计算机信息管理学院呼和浩特010070

针对程序代码相似度的度量问题,提出一种属性计数和结构度量相结合的方法,通过统计程序源代码的操作符和操作数个数,产生Halstead长度、Halstead词汇和Halstead容量3个程序的特征向量,利用向量夹角的余弦计算属性相似度,采用最长公共子... 详细信息

针对程序代码相似度的度量问题,提出一种属性计数和结构度量相结合的方法,通过统计程序源代码的操作符和操作数个数,产生Halstead长度、Halstead词汇和Halstead容量3个程序的特征向量,利用向量夹角的余弦计算属性相似度,采用最长公共子序列算法获取结构相似度,从而衡量程序对间的相似程度。实验结果表明,该方法能够有效检测出学生作业中的相似程序代码。

关键词：属性计数结构度量程序代码相似度

来源：评论

学校读者我要写书评

暂无评论

C2C电子商务交易中信息不对称的博弈分析

引用

企业经济 2010年第6期29卷 40-42页

作者：杜宏内蒙古财经学院计算机信息管理学院内蒙古呼和浩特010070

互联网的普及,使C2C电子商务在我国得到快速发展。但由于信息不对称,一些商家在C2C电子商务交易中销售劣质商品,欺骗消费者,这将严重地影响C2C电子商务的健康发展。完全信息下的静态博弈表明,加大C2C电子商务交易信息的公开和透明程度,... 详细信息

互联网的普及,使C2C电子商务在我国得到快速发展。但由于信息不对称,一些商家在C2C电子商务交易中销售劣质商品,欺骗消费者,这将严重地影响C2C电子商务的健康发展。完全信息下的静态博弈表明,加大C2C电子商务交易信息的公开和透明程度,加强政府管理部门的监管力度,对于消除C2C电子商务交易中的信息不对称都可以起到积极的作用。

关键词： C2C 电子商务交易信息不对称博弈

来源：评论

学校读者我要写书评

暂无评论

基于CRM的企业组织再造与企业文化重塑

引用

企业经济 2010年第5期29卷 24-26页

作者：乔晓华内蒙古财经学院计算机信息管理学院武汉理工大学

CRM虽然形式上是一套软件系统,却蕴含着客户至上、以信息管理为核心的新型管理理念和操作方式。CRM的实施使企业的关注重心从过去的产品、生产,转向构建以客户为中心的核心竞争力。同时,企业结构、业务流程、企业文化都朝着客户中心、... 详细信息

CRM虽然形式上是一套软件系统,却蕴含着客户至上、以信息管理为核心的新型管理理念和操作方式。CRM的实施使企业的关注重心从过去的产品、生产,转向构建以客户为中心的核心竞争力。同时,企业结构、业务流程、企业文化都朝着客户中心、信息通畅、反应迅速的目标进行相应的转变。可以说,客户关系管理带来的企业多层面变革,才是CRM帮助企业走向现代经营的真正契机。而经过变革的企业,也为实施CRM系统铺平了道路,使CRM的实施与应用水到渠成。

关键词： CRM 组织再造企业文化核心竞争力

来源：评论

学校读者我要写书评

暂无评论

网络教学环境设计与控制策略研究

引用

内蒙古财经学院学报（综合版） 2010年第1期8卷 45-48页

作者：舒力迪陈连锁轩兴涛内蒙古财经学院计算机管理学院内蒙古呼和浩特010051

教学环境设计是网络教学的基础,控制策略是网络教学的手段,教学质量是网络教学成败的关键。从这三个方面综合研究网络教学是十分重要的课题。本文全面分析了三方面的相互关系,在总结网络教学经验的基础上,提出了具体的可操作措施。

关键词：网络教学环境设计控制策略

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：