奇下标契贝谢夫多项式的积和式及其应用

研究了第二类契贝谢夫多项式Un(x)(n=0,1,2,…)的性质,给出了奇下标第二类契贝谢夫多项式的一组积和式及二个推论.     

基于模糊推理的人员目标监控

针对拥挤情形下的人员目标跟踪问题,提出了一种使用模糊推理机制的视频监控新方法。首先采用背景减除法获得目标的前景图像,再利用特征搜索法去测量目标的新的位置变化,然后使用混合的模糊信息推理机制的方法去验证跟踪结果,并且根据需要对误差进行补偿。针对不同场景进行了实验,实验显示,使用本方法对误差进行补偿之后,在拥挤情形下的召回率和准确率都能达到90%以上,平均误差降低了10%以上。实验结果证明,本方法能够有效提高视频监控系统对于拥挤情形下多目标跟踪的性能。     

Kant,causation and laws of nature

In the Second Analogy, Kant argues that every event has a cause. It remains disputed what this conclusion amounts to. Does Kant argue only for the Weak Causal Principle that every event has some cause, or for the Strong Causal Principle that every event is produced according to a universal causal law? Existing interpretations have assumed that, by Kant’s lights, there is a substantive difference between the two. I argue that this is false. Kant holds that the concept of cause contains the notion of lawful connection, so it is analytic that causes operate according to universal laws. He is explicit about this commitment, not least in his derivation of the Categorical Imperative in Groundwork III. Consequently, Kant’s move from causal rules to universal laws is much simpler than previously assumed. Given his commitments, establishing the Strong Causal Principle requires no more argument than establishing the Weak Causal Principle.     

《模拟电子技术基础》CAI课件开发及在教学中的应用

针对模拟电子技术基础课教学存在的问题,在Windows操作平台上用Visual Basic 6.0等工具软件,将教学内容通过生动形象的图、文、声、像有机组合成多媒体演示系统,使其具有友好的界面和良好的人机交互功能,既便于教师课堂演示时控制节奏、减轻教师的工作量,又可大大提高学生的学习兴趣、增加信息量.     

关于话语内含的准确理解

为了准确把握话语内含,成功地臆测对方的言外之意,交际双方不但要有不受语境假设影响的共知,还必须掌握每一项有关的语境信息。在跨文化交际中尤其需要利用对语境及其功能的认识,才能避免语用失误,准确地理解对方和表达自己。     

基于模糊集理论的知识表示法及其似然推理新算法PMLIFS-Ⅰ,PMLIFS-Ⅱ

该文探究了基于模糊集理论的知识表示法,提出了似然推理新算法PMLIFS-I.基于所提出的λ-合成这一新概念,提出了算法PMLIFS-I的改进算法PMLIFS-Ⅱ.两算法具有较强的实用性和普遍意义.     

浅谈递归程序的分析方法

通过实例介绍嵌套分析法、“回推”和“递推”分析法两种分析递归程序的方法,旨在对递归程序的执行过程有较深刻的理解。     

烧结过程控制专家系统(Ⅳ)——构造

研究了烧结过程控制专家系统的多库结构知识库组织形式及系统的过程化推理与正向推理相结合的混合推理策略;提出了具有通用性的复杂过程多级目标推理机模型及有限广度优先搜索策略,实现了系统的实时高效推理．研究开发的知识库容量达近１０００条规则,其系统软件已成功用于现场离线控制     

一种多智能体系统不确定性结论的合成算法

从合成函数的构成分类出发 ,讨论了适用于多智能体结论合成的合成函数类型 .同时 ,对已有的结论合成算法进行了分析 ,指出它们在实际应用中的一些不合理性 ,并提出了一种递归合成的方法来克服已有算法的缺点 .最后构造出一种用于递归合成的算法 ,验证了其用于结论合成的合理性 .     

雨滴运动分析

用雨滴与气体分子碰撞模型来描述雨滴所受阻力,分析雨滴的收尾速度。提出在未达到收尾速度前雨滴加速度是均匀递减的假设,根据这一假设,并且利用已得出的雨滴收尾速度,分析雨滴在未达到收尾速度前的运动。