【摘 要】
：
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动,大到整个生物系统,只要选择合适的抽象层次,就能够建立形式化分析模型,进程代数的自动验证工具也在系统分析中发挥着比较大的作用,所以进程代数在生物研究中有着很好的发展前景.
【机 构】
：
上海交通大学计算机科学与工程系BASICS实验室,上海,200030 上海交通大学DNA计算机交叉
【出 处】
：
2005年全国理论计算机科学学术年会
论文部分内容阅读
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动,大到整个生物系统,只要选择合适的抽象层次,就能够建立形式化分析模型,进程代数的自动验证工具也在系统分析中发挥着比较大的作用,所以进程代数在生物研究中有着很好的发展前景.
其他文献
本文针对Internet流媒体传输中存在的带宽不足、接入多样性等问题,分析了流媒体传输的自适应控制技术,提出了基于RTP的MPEG4可扩展编码视频流的自适应传输控制算法,通过适时调整速率,减小丢包率,实现较高的网络带宽利用率和一定的TCP友好性,为提高流媒体传输端到端服务质量提供了的一个较为全面的解决方案.
本文针对自学考试计算机信息管理系统在报考方面的局限性,提出并设计了一个嵌入式报考机终端系统,并从软、硬件方面进行了分析与设计.
本文研究了一种单端反激拓扑、完全能量传递方式开关电源的谐振软开关技术,该技术不但可降低开关损耗,而且实现了漏感能量回收,效率比硬开关提高5﹪,并有可能使反激拓扑应用于较大功率的电源.另外通过该技术可降低电源的干扰,提高电源的带宽、功率和电源的EMC性能,达到开关电源洁净的目的.本文还通过谐振条件的分析,设计了一种基于通用芯片的可行的控制方式.
在太空环境下,具有精密电子结构的大规模集成电路不断受到电离辐射的损伤而导致电子设备的故障,这种故障由于设备工作条件的限制不能直接进行人工修理.本文采用演化硬件(EHW)技术使硬件系统实现自修复,从而提高VLSI的可靠性.EHW是指可以随外界环境(如高温、电磁辐射等)的变化而动态改变其自身结构和行为的部件.研究表明,采用EHW技术可以大大提高VLSI系统的可靠性和自修复能力,尤其在航空、航天领域具有
光纤传感器较传统传感器有诸多优点,它越来越引起人们的广泛关注,并得到了深入的研究和广泛的实用化.文中论述了光纤传感器的原理与特点.介绍了光纤传感器的应用状况、国内外发展现状、新型光纤材料与器件.最后对光纤传感器的前景予以了展望.
本文研究了ICP传感器的低电压电池供电方法,设讨了一种典型的ICP传感器系统电源管理电路,其中包括一个高效的升压DC-DC变换电路,此电路利用MC34063设计而成,能够将5～7V的电池电压输入转化为18～30V的电源输出,为ICP传感器系统供电.
本文从系统辨识的角度出发,尝试将人工神经网络应用于水下航行器噪声源贡献比分析研究.文章详细分析了神经网络用于水下航行器贡献比分析研究的建模思想、一般框架,给出了具体应用步骤及相应流程,并用一个仿真实验证实了所提出方法的可行性.
本文对软件流水领域高维数组数据相关性分析算法进行了研究.文章扩展了一般λ测试技术,解决了高维数组的数据相关性判定问题,获得了比传统方法更加精确有效的结果.
本文对q值逻辑函数进行了研究.q=pm,p是质数,文章定出了q值逻辑函数是广义Bent函数的几个充要条件,并阐述了基本概念与定理,介绍了主要成果.
本文考虑了将大量独立的,等大小的任务分配到一个异构系统的问题,提出了一种渐近算法,用以解决具有不同通信速度和计算速度的异构系统中任务分配问题,并证明该算法在系统有足够带宽的情况下是渐进最优的.