基于CUDA并行平台实现核膜系统求解可满足性问题的研究

膜系统能以空间换时间的方式在多项式时间内求解NP难问题,作为膜系统中的一个新类型,核膜系统不仅包含了不同类型膜系统的特征,而且能提供一种统一性的描述．因此基于核膜系统构建系统模型,并以此求解一个典型的NP难问题：可满足性问题．为了加速对核膜系统的仿真过程,程序将在CUDA并行方式下仿真实现,通过与传统的串行方式比较,使用CUDA能减少95％的仿真时间,这也表明使用CUDA并行方式非常适合仿真核膜系统．     

山东省科技顾问团成员简介

我省首批聘任的科技顾问共10名院士,简介如下: 宋健 控制论专家,山东荣成人,1931年12月29日生,中国工程院、中国科学院、美国工程院外籍院士,现任全国政协副主席,中国工程院院长。1960年前后,在最优控制系统理论方面获得一系列重要成果,后又从事分布参数控制理论的研究,建立了由偏微分方程描述的受控对象与常微分方程描述的控制器模型。70年代,修订和扩充了钱学森《工程控     

我国在美学者发现奇特新粒子

据美国国家实验室斯坦福直线加速器中心（SLAG）日前报道，著名国际实验合作组BaBar发现了一种奇特的粒子Y（4260）。该粒子由中国科技大学校友叶树伟博士和娄辛丑教授发现的。     

新一代城市交通流分布式实时控制系统的研究与实现

开发出新一代城市交通流控制系统即ＳＴＣ，它采用先进的分布式多任务并发实时在线系统的体系桔构，具有分布式多Ａｇｅｎｔ计算模型的特性，在系统实用性、实时性、可靠性、可维护性、可扩充性等方面具有更高的性能，能支持多种自适应实时控制策略．实际运行结果表明，该系统与国内外同类系统相比更能适应我国的城市交通情况，取得了很好的综合效益．     

数字光纤通信中APD—BJT光接收机噪声的近似分析

根据数字光纤通信中光接收机接收的光脉冲信号波形类型与特点,利用归一化放大器与均衡滤波器的传输特性.可以实现脉冲波形的归一化,以保证放大器与均衡滤波器输出波形皆为升余弦波,求得升余弦波有关参数,再根据APD-BJT光接收机中噪声与这些参数关系,得出噪声近似分析结论。     

摧垮了古罗马的铅

古罗马曾经是称霸世界的一大强国,极盛时地跨欧亚非三洲,浩瀚无垠的地中海一度成为它的内海。它的辉煌成了后来欧洲文明的摇篮。可盛极而衰,在其达到巅峰的一百多年以后,偌大的帝国出现了江河日下的迹象:经济每况愈下,财政入不敷出,内外征战频繁,人口锐减,城市残破,国民流离失所。在内忧外患打击下,罗马帝国先是一分为二,分裂为东西两个国家。公元476年,代表罗马帝国主体的西罗马帝国最终灭亡。     

谈电教设备的配置

<正>过去,一般电教部门使用的摄像机,以电视专业型业务级单管摄像机为主,也有少量三管摄像机。大多是从日本进口的产品。这类单管摄像机,其设计性能尚属中等,配备为电教制片的常规武器,基本上能胜任电教用电视片的拍摄。一般地县级电视台也有使用,省市以上电视台,大多使用较高档的广播级三管摄像机。     

~（51）VNMR可以作为铁传递蛋白中金属键合的探针

本文给出了利用５１ＶＮＭＲ研究鸡卵铁传递蛋白的实验过程和结果，显示出卵铁传递蛋白的两个结合金属的部位（Ｃ末端与Ｎ末端）在结构和作用上的相似性和差别，并表明了５１ＶＮＭＲ是钒与卵铁传递蛋白结合的高灵敏度的探测工具，可用于研究钒与其它金属蛋白的结合。     

单身白领"相"来的爱情

进入21世纪，许多旧事物被抛弃，青年人追新奇、追浪漫，但“相亲”这种认识异性的传统形式却依然在新一代的青年中流传。大凡到了一定年龄，却没有固定男女朋友的人，多少都有过几次相亲的经历，而且相亲的次数往往与年龄成正比。