暂无评论
基于L*系统，针对由两个原子生成的公式，解决了王国俊教授提出的函数决定公式问题，给出了逻辑公式真值函数的特征，进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
论文研究-随机递归算法求解车辆路径问题.pdf,
主要用于蚁群算法优化模糊隶属度函数参数,可以避免参数选择的盲目性。
论文研究-关于“关键路径的极大代数解法”的补充说明.pdf, 本文对文[1]的算法补充了确定关键路径集合的步骤。
以板坯库为背景，给出了基于碰撞检测的三维文字动态注记模型。在三维的大场景中，影响文字注记的因素有距观察者距离、不同模型间占用相同空间、模型间相互遮挡等。提出的模型很好地权衡了这些影响因素，并应用碰撞检
论文研究- 关于系统学研究的若干问题.pdf, 随着科学技术的进步,社会经济的发展,人类向自然攫取的强度和速率与日俱增,进而产生了全球性的口、资源、环境、经济和社会等问题。而且,这些问题之间还存在
Erdos-Sos猜想的注记，杨国斌，张晓东，Erd
缺陷关联使得目前的缺陷定位方法面临着严峻挑战，为了快速准确定位软件缺陷，保证软件产品质量，对定位方法的改进势在必行。基于函数调用路径（functioncallingpath，FCP）技术，把缺陷定位的
基于带活性膜膜系统的SAT问题时间无关解，宋弢，宋博升，膜系统（也称为P系统）是一类受生物活细胞的结构与功能启发得到的分布式并行生物计算模型。在之前的研究中,膜系统可以在有效时间�
NULL博文链接：https://finally-mm.iteye.com/blog/551487
暂无评论