关键词： 点控制模型   CLY系列算法   模拟结果  

摘要： 研究了交通信号的实时配时控制问题.建立了在已有交通设施条件下,控制信号具有线性约束的非线性实时配时系统优化模型,设计了与模型相适应的实时CLY系列算法.重点讨论了点控制问题,建立了相应的数学优化模型,设计了CLY-Point1算法求解.还对线控制问题和面控制问题,建立了多层优化控制模型,并设计CLY-Point2、CLY-Line和CLY-Area算法进行求解.数值模拟结果表明,CLY系列算法具有很强的实时性,车辆平均等待时间比固定配时减少了约20%.

关键词： 算法   物不知数   中国剩余定理  

摘要： 现行高中教材将《孙子算经》中的"物不知数"作为一个算法案例加以介绍.本文就其中的算法原理进行了分析,并结合该实例由浅入深地介绍了中国剩余定理.

关键词： Mathematical models   algorithms   parametric synthesis  

摘要： Mathematical expressions and algorithms designated for determination of the basic parameters of actuators of control drives of maneuvering aircrafts are considered. Presented relations and algorithms provide determination of the parameters of actuators using the criterion of minimal established drive power guaranteeing satisfaction of the required movements of control drives of different types.

关键词： biomathematics   algorithmic algebra   model checking  

摘要： Systems biology as a subject, has captured the imagination of both biologists and systems scientists alike. But what is it? This review provides one researcher's somewhat idiosyncratic view of the subject, but also aims to persuade young scientists to examine the possible evolution of this subject in a rich historical context. In particular, one may wish to read this review to envision a subject built out of a consilience of many interesting concepts from systems sciences, logic and model theory, and algebra. culminating in novel tools technique's and theories that can reveal deep principles in biology-seen beyond mere observations. A particular focus in this review is on approaches embedded in all embryonic program dubbed 'algorithmic algebraic model checking', and its powers and limitations.

关键词： 图像增强   数学形态学   多结构元素   多路加权合成  

摘要： 由于数学形态学边缘提取算法优于微分边缘提取算法,故提出一种数学形态学图像对比度增强方法。利用数学形态学的相关原理,使用双梯度多尺度、多结构元素进行边缘检测,成功地实现了对模糊图像的去模糊处理实验。仿真结果表明,该方法优于拉普拉斯去模糊方法,并且提取出的图像边缘较好地保持了原来的细节特征,去模糊效果好,图像的对比度得到明显增强。

关键词： classification problems   algebraic approach   estimation algorithms   correct algorithms  

摘要： Algebras over estimation algorithms in the set of regular problems with nonoverlapping classes are considered. A correctness criterion for the arbitrary degree algebraic closure of the model of estimation algorithms in the classification problems of this type is proposed;this criterion can be efficiently verified. An estimate of the minimal degree of the algebraic closure that is sufficient for constructing a correct classifier in an arbitrary regular problem with nonoverlapping classes is found.

关键词： 虹膜定位   数学形态学   多尺度   多结构   眼睑  

摘要： 虹膜图像的边缘提取是采用Hough变换结合边缘检测进行虹膜定位的关键步骤.提出一种基于数学形态学算子的虹膜定位方法,内边界采用二值化的形态学边缘检测算子;运用多尺度边缘检测方法以获取虹膜灰度图像的外边界和眼睑轮廓图,利用连通区域的标记进一步去除随机噪声,得到较理想的图像边缘,大大减少了Hough变换搜索的时间,并与经典的定位方法进行比较.实验表明,该算法抗噪性能良好,具有一定的应用价值.

关键词： 运筹学   模型及算法   整数线性规划   启发式算法   车辆路径问题   双需求   集货送货一体化  

摘要： 本文研究了具有总时间和车容量约束的双需求集货送货一体化车辆路径问题,在综合考虑运输费用和车辆出行固定费用的前提下,建立了该问题的整数线性规划模型,并分别给出了求解该模型的精确算法和基于节约准则的启发式算法。最后通过一个具体实例验证了算法的有效性。

关键词： 小学数学   算法多样化   优化算法   一题多解  

摘要： 校本教研是以学校所存在的突出问题和学校发展的实际需要为研究范围,以学校教师为研究主体,通过一定的组织形式和研究程序取得研究成果,并将研究成果直接运用于教育教学实际的研究活动。因此,选择在实际教学中所遇到的"算法多样化"这一问题作为研究对象,通过教学实践取得了一定成效。

关键词： 数学形态学   扩张   腐蚀   开启   闭合   图像骨架提取与重建  

摘要： 数学形态学提供了一种以形态或集合论为基础的对图像进行分析理解的工具,主要包括扩张、腐蚀、开启和闭合4个算子。基于数学形态学理论,提出一种改进的二值图像骨架提取和重建算法,并取得了很好的效果。