自动制造系统Petri网模型的一类子网极小信标的计算

作为Petri网的一个结构性目标,信标在柔性制造系统死锁控制理论中起着关键的作用。基于Petri网图论和信标的定义,针对Petri的一类子网S4PR网,提出了一种极小信标的计算方法。首先找出S4PR网的初始资源图,然后根据初始资源图找到所有的资源子图,对应每一个资源子图计算其对应的信标,最后根据极小信标的定义对得到的信标进行判断,删除非极小信标即得到所有的极小信标。给出一个S4PR网的例子解释提出的计算方法的应用,和传统的极小信标的计算方法比较,该计算方法可以节约计算时间,另外该算法可以用于任意规模的S4PR网的极小信标的计算。     

无向图顶点度数若干问题的分析与论证

用图形来描述某些对象（或事物）之间具有某种特定关系常常感到特别方便。本文感兴趣的是两对象之间是否具有某种特定关系,所以图形中两点间连接与否很重要,但是连接线的方向则无关紧要.     

基于核酸的信息安全技术研究现状及发展建议

由于具有巨大并行计算能力、海量信息存储密度及超低能耗等优势,近年来,核酸分子在分子计算、数据存储以及信息安全等研究领域广受关注。特别作为基于数学难题的、传统的密码理论与技术的有益补充,以核酸为信息载体的数据隐藏、认证、加密等信息安全技术极富发展前景。文章在介绍基于核酸的加密、隐藏及认证技术原理的基础上,详细论述了该领域国内外的最新研究成果,并对我国如何发展基于核酸的信息安全技术的研究提出了建议。     

基于DNA计算的无向赋权图哈密顿路径问题

本文给出一种通过DNA序列编码来处理权值的方式,对无向赋权图哈密顿路径问题进行了描述。首先用寡核苷酸片段编码图中的顶点和边,然后将这些寡核苷酸片段放入缓冲溶液中,利用连接酶将它们连接起来,从而产生所有无向边不同的DNA链,最后利用PCR扩增、探针、电泳等生物手段寻找对应于只经过图的顶点一次的无向Hamilton路的DNA链,通过比较以及前面实验条件的控制最终找到最短的Hamilton路径。     

最小支撑树的DNA凝胶电泳算法

DNA计算是解决困难问题的一种很重要的方法。应用DNA计算解决图论中的最小支撑树问题。利用DNA的热力学特性,根据边的权长不同,给它们设计不同溶解温度的DNA链。根据温度的不同,电泳时DNA分子的形状不同,电泳的速度也不同,从而根据电泳速度分离出最小支撑树的所有边。在这里给出了5个顶点的赋权图为例来求它的最小支撑树,说明了该方法的简便性。     

覆盖问题解决技巧的深入探讨

覆盖问题是一种常见的问题,由于其状态复杂,数据规模大,直接的搜索往往效率过低,复杂度难以承受。从解决覆盖问题的一般方法出发,深入探讨了动态规划、数学归纳法,以及Dancing links算法的转化在覆盖问题中的应用,充分弥补了现今大多数书籍和文献中解决覆盖问题时忽视算法设计技巧的缺点。     

基于覆盖集和逆高斯变异的AFSA算法在WSN中的覆盖研究

针对人工鱼群算法(AFSA)对节点能量以及分布考虑不足的情况,本文在无线传感优化覆盖中,引入了覆盖集和逆高斯变异概念,通过在AFSA的觅食阶段采用覆盖集,使得个体人工鱼的选择的效率得到提高,在聚群阶段使用逆高斯变异,将个体人工鱼的活动区域进行了合理的分布,使得探寻食物的效率得到了提供。通过经典函数测试,本文的算法在性能上优于AFSA算法,通过仿真实验证明,本文算法在节点能量消耗上和节点覆盖效率上有了进一步的提高。     

体内生物分子计算系统的原理、进展和展望

体内生物计算模型是基于生物体内各种生化分子以特定的形式互相协作、处理信息的能力而出现的一种新的计算模型,是近年来计算机科学与分子生物学交叉产生的前沿研究领域。该领域的研究使得人们可以深入理解生物体信息处理能力以及获得对这种能力的有效操控,这在计算机科学、生物学、医学上有着深远的影响。文章介绍了近几年在体内构建分子逻辑电路、分子状态机等方面的研究进展,并对未来的发展方向进行了展望。     

基于逻辑覆盖的软件测试分析

逻辑覆盖是设计白盒测试方案的一种技术,白盒测试是软件测试技术的一种动态方法,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。     

无线列调场强覆盖问题的解决方案

文章介绍了大准铁路无线列调系统400MHz改造过程中解决场强覆盖问题可用的解决方案,并通过进行比较,选出最佳方案。     

错排问题的DNA计算方法

全错位排列问题是组合数学中最常见的一类问题，本文给出了它的一个运用图论和DNA计算的新方法。     

云计算背景下数字图书馆可信计算研究

研究了云计算在5个层次上分别具有的安全隐患,引入可信计算这一成熟技术以解决上述隐患。在这个基础上分析了将可信计算用于数字图书馆的云计算建设所需要解决的两个问题,提出了应对这些问题的对策和方法。     

基于云计算的生物DNA指纹图谱大范围比对方法

针对DNA特征比对过程中,产生的生物DNA特征图谱特征较为复杂,生物特征极为琐碎,海量生物DNA特征的对比,依然是一项十分复杂的工作。传统算法多是基于单个DAN特征进行车轮式对比。一旦生物特征过于繁琐,造成比对匹配耗时,效率较低。本文提出了一种基于云计算的生物DNA特征海量数据对比技术。建立云计算网络模型,计算生物DNA泳道特征系数,将DNA限制性片断形成的谱带从背景中分离出来,完成海量DNA数据对比。实验证明,这种算法能够避免由于DNA图谱数量过大造成的匹配耗时缺点,提高了生物DNA指纹图谱大范围比对的效率。     

云计算环境下ERP系统部署运行方案设计

针对ERP建设和维护过程中存在建设成本高、资源利用率低以及维护管理复杂等方面的不足,提出了基于开源云平台Eucalyptus构建私有云ERP系统的设计方案。运用该系统,用户可以通过云平台,按需、可扩展地使用ERP系统,满足了企业信息化管理的需要。实验表明：使用 Eucalyptus可以方便快捷地部署云,性能稳定;私有云ERP建设方案能很好地实现硬件资源共享,大大降低ERP建设及维护成本。     

基于云计算的景区智能导览平台设计

单景区智能导览系统由于信息孤立,不能实现景区间导览过程的无缝切换,造成导游服务过程不连续,从而不能带来高质量的旅游体验和导览效果。基于云计算技术,以实现景区间无缝切换一体化导览为主要目标,设计开放式景区智能导览平台,探讨平台架构、结构和关键技术。实例验证发现,该平台可以实现景区间导览过程的连续和无缝切换。     

云计算架构在银行批处理流程优化中的应用研究

银行业在实现业务和数据集中处理的信息化架构后,随着业务的发展,面对数量越来越多、规模越来越大的批处理需求,如何提高计算资源的使用效率和灵活配置资源是银行信息中心不断面对的挑战。以资源和应用虚拟化为核心的云计算架构和技术正在不断发展和成熟,它可以有效地提高信息中心的资源使用,为批处理业务动态配置有效资源。针对以批处理中按照业务类型和处理流程进行资源配置的传统方法,提出了一种将业务流程进行优化分解成为可以进行独立并行处理任务的方法,可以在云计算环境下分组处理具有共同特征的计算和操作任务,实现优化资源调配。通过HadoopMapReduce并行计算架构进行模拟验证,初步实验结果表明了该方法在批处理执行效率、资源使用和灵活性方面的优势,在大量批处理业务领域（金融、证券、电子商务）具有一定的应用和研究价值。     

基于云计算的三网融合业务平台的设计

分析了三网融合业务平台的演进发展需求,提出了一种基于云计算的业务平台设计思路。     

基于移动云计算的个人学习环境支持系统的构建研究

本文基于移动云计算和Mashup技术构建个人学习环境支持系统,为学习者提供符合个性化的知识与学习资源的信息推送与引导,即时获取和存储在云端的学习资源,实现任何时间、任何地点实时满足学习者的学习需求,为进一步研究基于移动互联网环境下的提升高校教学能力的深入挖掘提供依据。     

高维空间中基于DNA计算的RNA数字编码的运算法则

随着DNA计算机的发展，用RNA代替DNA来进行大规模的计算已成为很有价值的研究课题，同时对RNA序列进行数字编码有其生物学和数学背景．RNA序列的高维空间二进制数字编码，除可以对RNA序列的碱基结构、功能基团、碱基互补、氢键强弱等性质进行编码之外，还可以方便地进行数学运算和逻辑运算．RNA序列高维空间数字编码的运算法则是：(1)根据：RNA序列数码的奇偶性质，可以推导出其与末位碱基的对应关系．当RNA序列R的数值X(R)=4n，4n 1，4n 2，4n 3时，其末位碱基依次为C，U，A，G(n=1，2，…)；(2)提出RNA序列高维空间的表观维数Nn，数值维数Nx及差异维数Nd的概念．当Nd=0时，首位碱基为A或G，当Nd=2n或2n 1(n=1，2，…)时，首位碱基为C^n或(C)^nU；(3)提出RNA子序列的概念并定义RNA子序列的定值部Xi(digital value)和定位部职(location value)及其计算公式；(4)导出RNA序列的延长运算、删除运算、缺失运算、插入运算、转位运算、换位运算和置换运算等的运算法则．