C语言中两个常见问题的通用算法

通过解析第4届全国ITAT教育工程就业技能大赛C程序设计的复赛试题,给出其中一个编程题目的具体实现,并从中总结出C语言中两个常见问题的通用算法。     

聚众事件的建模与实现

在视频监控领域聚众等异常事件检测有着广泛的应用前景,然而相关研究在国内发展还比较缓慢。在这里给出了基于隐马尔科夫模型的聚众事件的检测方法,其简单过程如下:首先在高斯混合模型检测出目标的基础上,针对聚众事件视频序列的特性,完成了关于帧图像二元组的特征提取;然后,在合理选择初始模型的前提下使用Baum-Welch算法训练聚众事件的隐马尔科夫模型;最后通过实拍的视频序列验证其有效性。     

Continuous collision detection for adaptive simulation of articulated bodies

We perform continuous collision detection (CCD) for articulated bodies where motion is governed by an adaptive dynamics simulation. Our algorithm is based on a novel hierarchical set of transforms that represent the kinematics of an articulated body recursively, as described by an assembly tree. The performance of our CCD algorithm significantly improves as the number of active degrees of freedom in the simulation decreases.     

Structural Presburger digit vector automata

The least significant digit first decomposition of integer vectors into words of digit vectors provides a natural way for representing sets of integer vectors by automata. In this paper, the minimal automata representing Presburger sets are proved structurally Presburger: automata obtained by moving the initial state and replacing the accepting condition represent Presburger sets.     

多级集群式供应链跨链库存合作及鲁棒优化算法

以四级两单链的集群式供应链为研究对象,在两个单链相巨竞合条件下,建立了两单链问两零售商跨链问库存协作的时变鲁棒控制系统模型,以及牛鞭效应的弱化方法,并用H∞优化算法来求解动态最优决策.通过实例分析表明,集群式供应链跨链间协调及鲁棒优化能有效抑制牛鞭效应、降低库存水平,在减小订货波动的同时可提高对集群市场的响应速度.     

课堂教学与家庭测验软件设计与开发

本教学软件满足了小学数学课堂教学与家庭测验的需求。在直观展示演示窗口和设计窗口的基础上,分析程序的逻辑结构和流程图,并给出了主要的关键代码。     

基于纹理特征的指纹识别算法

基于纹理特征的指纹识别方法,具有计算量小的特点。本文对该指纹识别算法进行了系统研究,提出了一套新颖的方向图修正算法,对于噪声相对较小的情况具有良好的效果。本文对多窗口法求块方向图给出了减少运算量的方法;在方向滤波器设计方面,给出了一个方向滤波器的闭合等式,可以简化方向滤波器设计,大大减少运算量,并取得了较好的增强效果;在中心点求取方面,提出了一种新的粗搜索算法,可以减少计算量,加快中心区域搜索速度。     

基于PIC单片机的AES算法优化设计

现代鉴别技术,涉及对秘密(也就是密钥)的知识检测,可用合适的算法防止密码被破解,AES算法是现在公认的最有安全度和最有效率的算法。本文首先分析了对称密码和公钥密码及其相应的鉴别模型;然后给出了高级加密标准(AES)算法在PIC单片机上的优化,并进行了仿真;最后对AES加密方案的性能做了进一步的分析;在对加密时间要求不高,并且加密数据量很小的场合,使用8位单片机的软件进行优化和实现,可以简化电路,降低成本和功耗。     

基于肤色和Adaboost算法的人脸检测研究

人脸检测是计算机视觉和人工智能领域中的一项富有挑战性的工作,在虚拟现实、人机交互等很多领域都有广泛的应用。研究了基于Adaboost的人脸检测,并提出了肤色与Adaboost算法相结合的人脸检测方法。对输人的彩色图像进行从RGB空间到YCrCb空间的转换,再结合形态学等方法进行区域肤色分割,排除背景干扰,然后用Adaboost算法对可能区域进行检测,得到人脸位置。实验表明,该方法有较高的准确性和鲁棒性,可以得到满意的检测效果。     

A Ramsey theorem in Boyer-Moore logic

We use the Boyer-Moore Prover, Nqthm, to verify the Paris-Harrington version of Ramsey's theorem. The proof we verify is a modification of the one given by Ketonen and Solovay. The theorem is not provable in Peano Arithmetic, and one key step in the proof requires ₀ induction.Author supported by NSF Grant DMS-9100665.