线性可分结构系对二进神经元的覆盖问题

二进神经网络中每个二进神经元等价于一个线性可分函数,但每个二进神经元所表达的线性可分函数的逻辑意义仍不完全清楚。对此,首先分析了已有的几种线性可分结构系;其次,讨论了其是否覆盖了所有的二进神经元;最后,指出阈值在某些范围内二进神经元所对应的线性可分函数的逻辑意义仍不清楚,这为进一步完善二进神经元的覆盖问题指明了方向。     

基于网格的二次K-means聚类算法

传统的K-means算法是一种常用的聚类算法,但它对于初始聚类中心敏感,容易受到"噪声"和孤立点的影响,由此提出了一种基于网格的二次K-means聚类算法.此算法先将空间划分为多个大小相等的网格,然后根据给定的密度阈值来计算出密集网格,对密集网格中的点进行初次聚类,将初次聚类结果的均值点作为第二次聚类的初始均值点,从而消除了"噪声"和孤立点的影响,并且保证了信息的完整,实验证明此算法是有效的.     

基于二进神经网络的0/1分布系统可靠性分析

系统可靠性的计算依赖于各基本单元的0/1分布关系及其构成的布尔逻辑. 本文利用二进神经网络可以完备实现布尔逻辑的特性,提出一种基于二进神经网络的可靠性分析方法. 该方法针对每个二进神经元的输入都是0/1逻辑关系的线性组合这一特点,提出并且证明了0/1分布的线性组合的概率分布函数;建立系统功能与布尔函数间的等价关系,将系统转化为相应的二进神经网络;利用线性组合的概率分布函数,通过逐层计算该二进神经网络的0/1输出概率,解决了一般系统的可靠性计算问题.     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于关联帧差分法的运动目标检测与跟踪

针对帧间差分运动目标检测方法检测出的运动目标容易产生拖影现象及存在一定程度的空洞等缺陷,该文提出基于关联帧差分法的运动目标检测与跟踪方法.通过计算相邻三帧图像的相似度,并求取相邻帧之间的差分图像,对差分图像进行与操作后进行轮廓填充来获取运动目标.实验结果表明,该文所提算法不仅可以精确检测与跟踪运动目标,克服帧间差分运动...     

基于GPS和GIS的公共交通监控平台

高效的公交服务系统是解决城市交通拥挤的有效途径,公交管理的信息化、监控实时化是提高公共交通服务效率的关键.阐述了一个符合J2EE与J2ME架构,将嵌入式技术、网络技术、GPRS技术、GIS技术相结合,适合现代公共交通管理的公共交通监控平台.具体介绍了其网络拓扑结构、车载单元的软硬件组成、监控端的组织架构与其实现的关键技术.平台可以为普通用户提供公共交通信息,同时公交企业可以利用该平台实时查询、跟踪、管理运行车辆,进行最优化的车辆调度,提高城市的公共交通服务水平.     

Markov决策过程不确定策略特征模式

马尔科夫决策过程可以建模具有不确定性特征的复杂系统,而在进行模型分析时需要采用策略对不确定性进行处理。首先,研究不同策略下时空有界可达概率问题,给出不确定性解决策略的定义及分类方法。其次,在时间无关策略下,证明基于确定性选取动作和随机选取动作的时空有界可达概率的一致性,并且论证了时间依赖策略相对于时间无关策略具有更好的时空有界可达概率。最后结合实例简要阐述了结论的正确性。     

基于熵值法的短时交通流组合预测仿真研究

研究短时交通流预测问题.传统的非参数回归预测模型中,输入状态向量的选取没有综合考虑预测点和领域点的情况.为了提高预测的精度,提出了用熵值组合的非参数回归短时交通流预测方法.首先用灰关联度和相关系数法确定邻域点和预测点的输入状态向量,用反馈机制动态调节输入变量与系统变量,然后采用带权重的预测算法分别计算这两组参数下的预测值,采用熵值法构造组合预测的权系数,可求解出新的预测结果.实测数据仿真结果表明,组合预测能够提高预测的准确性,为实际设计提供依据.     

连续时间Markov决策过程互模拟等价及逻辑保持

模型检测中,Markov决策过程可以建模具有不确定性的系统,然而状态空间爆炸问题将会影响系统验证的成败与效率,互模拟等价可以用于系统状态的简约.在强互模拟关系的基础上,给出Markov决策过程模型弱互模拟等价关系的概念,导出了连续时间Markov决策过程及其内嵌离散时间Markov决策过程互模拟等价关系的内在联系;在强互模拟等价关系逻辑特征保持的基础上,给出弱互模拟等价关系下的逻辑保持性质,证明了弱互模拟等价的两个状态,同时满足除下一步算子外的连续随机逻辑公式,从而可以将原模型中的验证问题转换为简约后模型的验证问题,提高验证的效率.     

基于CAD/CAE的平板电脑后壳倒灌注塑模具设计

以某平板电脑后壳倒灌注塑模具设计为例,介绍了CAD/CAE软件在塑件成型中的作用,制订了塑件流道及浇口布置方案,通过采用CAE软件对塑件的两种CAE流动方案进行变形与熔接痕等分析,最终得到了一套切实可行的方案,使得模具设计缺陷大大降低,提高了塑件的内在质量和工作性能。实践表明,通过采用CAD/CAE软件进行注塑模具设计,有利于模具结构得到进一步优化,从而确保塑件的成型质量和生产周期符合要求。