VC++6.0中实现将应用程序的图标加入到Windows的系统托盘中

本文对如何将应用程序的图标加入到Windows的系统托盘中做了较为详细的介绍,然后给出了一个C++类以方便的实现该功能,并在VC++6.0中给出了一个应用程序实例来体现其具体实现过程。同时该应用程序实例还讲解了如何在托盘中实现动画图标以及在程序中关闭计算机的技术。     

让你的键盘唱起来

键盘音效精灵让你的键盘不再沉默!键盘音效精灵是一款酷得能够让你从指间赢得快乐的键盘类增强工具!当按下键盘或鼠标的按键时,它在后台播放波形文件来模拟打字机或其它特殊效果的3D声音,并且在系统拖盘上同步播放按键动画。键盘音效精灵拥有极其易用的界面,你无需任何专业技巧或知识就可轻松驾驭键盘音效精灵。运行后,键盘音效精灵显示在系统拖盘上。敲敲键盘,按按鼠标,键盘音效精灵会给你带来无穷的乐趣。独有特色:1.极富创意的键盘动画:生动而极富趣味的键盘动画。当按下键盘或鼠标时,在播放声音的同时,软件将在系统托盘中同步播放动画,…     

VC＋＋6.0中实现将应用程序的图标加入到Windows的系统盘中

本文对如何将应用程序的图标加入到Ｗｎｄｏｗｓ的系统托盘中做了较为详细的介绍,然后给出了一个Ｃ＋＋类以方便的实现该功能,并在ＶＣ＋＋６．０中给出了一个应用程序实例来体现其具体实现过程。同时该应用程序实例还讲解了如何在托盘中实现动画图标以及在程序中关闭计算机的技术。     

用Delphi、VFP实现文件复制功能的动画镜头

在Ｗｉｎｄｏｗｓ９８中,当我们进行文件的复制、移动、删除时,经常看见文件飞来飞去的动画镜头,非常逼真有趣。其实在我们的应用程序中也能实现这种功能。本文介绍了如何用Ｄｅｌｐｈｉ、ＶＦＰ实现文件复制功能的动画镜头用Delphi、VFP实现文件复制功能的动画镜头@蔡可训     

基于Flash技术的电动机正反转模拟接线方法展示

Flash软件是动画创作与应用程序开发于一身的创作软件。丰富的矢量图绘制和编辑功能、多样的动画创作方法,制作的多媒体课件应用于电力拖动专业课实践教学中,发挥了重要的辅助作用。     

VB中动画效果的实现

在用VB开发应用程序时加入动画之后可使软件具有生动活泼的效果,有时动画效果必不可少。本文主要介绍在VB中应用Timer控件、Picture控件、shape控件、PictureClip控件来实现动画效果的关键技术、实现方法和操作步骤。     

在Vega环境下开发虚拟现实应用程序

Vega是目前流行的虚拟现实应用程序开发环境。与Vega环境相关的应用程序还有三维建模工具Creator和虚拟场景集成工具Lynx。该文介绍了虚拟现实应用程序区别于动画的主要特征,分析了Vega开发环境的主要特点及各个模块的功能。简要介绍了Creator和Lvnx的功能以及Vega与Creator、Lynx软件之间的相互关系,重点讨论了在Vega环境下开发虚拟现实应用程序的主要过程,并描述了控制台风格的Vega应用程序结构基本框架。     

PPT幻灯片中调用视频文件和flash影片的方法

在PPT课件、电子教案或其他PPT作品运行过程中,经常需要随时切换到其他程序窗口来完成操作或调用外部应用程序如Flash动画、视频等以达到PowerPoint程序本身无法实现的效果和功能.本文总结三种PPT文件中调用视频文件和flash影片的常用方法.     

用GTK+2编程实现"另类"动画效果

在应用程序开发中,为增强用户体验,经常需要增加动态效果.为了显示动态图片,除了使用支持动态图片显示的控件外,尝试使用一种新的或另类的方式来实现图片的动画效果,在Linux平台上,基于GTK+2编程环境,用定时器及多幅图片切换的方式来完成图片的动画功能,实现动态效果,在实际测试中取得令人满意的结果.     

一个用Authorware制作的测验程序

Authorware是一个优秀的交互式应用程序制作软件。利用该软件,可以使用图像、文本、动画、数字电影和声音等信息来制作一个交互式应用程序。本文中,笔者巧妙地利用了Anthorware选择分支结构的特点,制作了一个测验小程序,结构简单,使用方便,具有一定的实用价值。     

Probability-Based Chinese Text Processing and Retrieval

We discuss the use of probability-based natural language processing for Chinese text retrieval. We focus on comparing different text extraction methods and probabilistic weighting methods. Several document processing methods and probabilistic weighting functions are presented. A number of experiments have been conducted on large standard text collections. We present the experimental results that compare a word-based text processing method with a character-based method. The experimental results also compare a number of term-weighting functions including both single-unit weighting and compound-unit weighting functions.     

基于深度学习的自然场景文本检测与识别综述

自然场景文本检测与识别研究对于从场景中获取信息有重要意义,而深度学习技术有助于提高文本检测与识别的能力.主要对基于深度学习的自然场景文本检测与识别方法和其研究进展进行整理分类、分析和总结.首先论述自然场景文本检测与识别的相关研究背景及主要技术研究路线;然后,根据自然场景文本信息处理的不同阶段,进一步介绍文本检测模型、文本识别模型和端到端的文本识别模型,并阐述和分析每类模型方法的基本思路和优缺点;另外,列举了常见公共标准数据集以及性能评估指标和方法,并对不同模型相关实验结果进行了对比分析;最后总结基于深度学习的自然场景文本检测与识别技术面临的挑战和发展趋势.     

A TEXT THEORY OF ECOLOGICAL SYSTEM

In this paper, the authors continue with the development of an ecological models theory from the viewpoint of mathematical linguistics. The model is considered as a text, which complies with the text theory TT conditions. The variable transformed functions are defined as symbols, the flow equations are defined as words, the flow functions or right hand of differential equations are defined as sentences, resting on the author particular methodology inspired inspired in the system dynamic illustrated in other papers. Three meaning levels are established in each model text and the duality significance or explanation adjustment and significance or interpretation for the observer is defined as getting in the indexes for its indirect measure. A model interpretation theory is given also.     

一种基于改进支持向量机的文本倾向性分类算法

文本的倾向性分类器是文本倾向性分类的核心部分,它用于将待分类的文本映射到某一倾向性类别中去。传统支持向量机的核函数学习能力和泛化推广能力的平衡性有待提高,而且参数选择不易。对目前文本倾向性分类算法使用的传统的支持向量机进行了改进,一是构造了多核函数;二是使用粒子群算法对支持向量机的参数进行优化,平衡了核函数的全局性和局部性,更有利于对样本数据的学习和推广;最后利用改进的支持向量机构造文本倾向性分类算法。     

Authorware中基于文本文件的自动出题系统

在教师CAI教学中经常需要使用Authorware制作练习题。该文以单选题为例,介绍了一种简单的自动出题系统。该系统使用文件文件制作题库,在Authorware中通过文件操作语句直接访问文本文件,实现了自动出题、自动批改的功能。     

文本数据挖掘系统原型方案研究

本文在研究文本数据挖掘技术发展基础上,对文本数据挖掘系统设计进行深入分析,在此基础上,论文设计实现文本数据挖掘系统原型方案,该方案将文本分析、数据库和文本数据挖掘技术有机地结合起来,实现了文本特征值提取、特征值清理入库和关联规则挖掘等功能。     

The addition of bounded quantification and partial functions to a computational logic and its theorem prover

We describe an extension to our quantifier-free computational logic to provide the expressive power and convenience of bounded quantifiers and partial functions. By quantifier we mean a formal construct which introduces a bound or indicial variable whose scope is some subexpression of the quantifier expression. A familiar quantifier is the Σ operator which sums the values of an expression over some range of values on the bound variable. Our method is to represent expressions of the logic as objects in the logic, to define an interpreter for such expressions as a function in the logic, and then define quantifiers as ‘mapping functions’. The novelty of our approach lies in the formalization of the interpreter and its interaction with the underlying logic. Our method has several advantages over other formal systems that provide quantifiers and partial functions in a logical setting. The most important advantage is that proofs not involving quantification or partial recursive functions are not complicated by such notions as ‘capturing’, ‘bottom’, or ‘continuity’. Naturally enough, our formalization of the partial functions is nonconstructive. The theorem prover for the logic has been modified to support these new features. We describe the modifications. The system has proved many theorems that could not previously be stated in our logic. Among them are:

? classic quantifier manipulation theorems, such as $$\sum\limits_{{\text{l}} = 0}^{\text{n}} {{\text{g}}({\text{l}}) + {\text{h(l) = }}} \sum\limits_{{\text{l = }}0}^{\text{n}} {{\text{g}}({\text{l}})} + \sum\limits_{{\text{l = }}0}^{\text{n}} {{\text{h(l)}};} $$

? elementary theorems involving quantifiers, such as the Binomial Theorem: $$(a + b)^{\text{n}} = \sum\limits_{{\text{l = }}0}^{\text{n}} {\left( {_{\text{i}}^{\text{n}} } \right)} \user2{ }{\text{a}}^{\text{l}} {\text{b}}^{{\text{n - l}}} ;$$

? elementary theorems about ‘mapping functions’ such as: $$(FOLDR\user2{ }'PLUS\user2{ O L) = }\sum\limits_{{\text{i}} \in {\text{L}}}^{} {{\text{i}};} $$

? termination properties of many partial recursive functions such as the fact that an application of the partial function described by $$\begin{gathered} (LEN X) \hfill \\ \Leftarrow \hfill \\ ({\rm I}F ({\rm E}QUAL X NIL) \hfill \\ {\rm O} \hfill \\ (ADD1 (LEN (CDR X)))) \hfill \\ \end{gathered} $$ terminates if and only if the argument ends in NIL;

? theorems about functions satisfying unusual recurrence equations such as the 91-function and the following list reverse function: $$\begin{gathered} (RV X) \hfill \\ \Leftarrow \hfill \\ ({\rm I}F (AND (LISTP X) (LISTP (CDR X))) \hfill \\ (CONS (CAR (RV (CDR X))) \hfill \\ (RV (CONS (CAR X) \hfill \\ (RV (CDR (RV (CDR X))))))) \hfill \\ X). \hfill \\ \end{gathered} $$

     

时态信息的语义抽取与排序方法研究及系统实现

针对通用搜索引擎缺乏对网页内容的时态表达式的准确抽取及语义查询支持,提出时态语义相关度算法（TSRR）。在通用搜索引擎基础上添加了时态信息抽取和时态信息排序功能,通过引入时态正则表达式规则,抽取查询关键词和网页文档中的时态点或时态区间等时态表达式,综合计算网页内容的文本相关度和时态语义相关度,从而得到网页的最终排序评分。实验表明,应用TSRR算法可以准确而有效地匹配与时态表达式相关的关键词查询。     

基于文档信息空间模型的词元权重调整

在web文档信息检索中,文档分类、文档过滤的质量一直是影响用户查询结果的关键。这篇论文将通过分析一些典型的权重函数的构造,提出一个基于文档信息空间的权重函数来计算调整文档中词元的权重,使文档的分类和过滤效率更高。     

基于WM算法的多模式匹配改进算法WMN

入侵检测系统中有部分时间用来进行模式匹配,因此提高模式匹配算法的处理速度具有重要的意义。从两个方面改进了目前公认效率较高的多模式匹配算法WM,设计出WMN算法,并对该算法进行了性能测试和分析。实验证明该文提出的WMN算法能够有效提高模式匹配的处理速度。