导出匹配问题的NP-完全性以及导出匹配可扩问题的CO-NP-完全性(英文)

图Ｇ的一个匹配Ｍ是导出的，若Ｍ是图Ｇ的一个导出子图．图Ｇ是导出匹配可扩的（简记ＩＭ－可扩的），若图 Ｇ的任一导出匹配均含于图 Ｇ的一个完美匹配当中．本文我们将证明如下结果． （１）对无爪图而言，问题“给定图Ｇ以及一个正整数ｒ，确定是否存在图Ｇ的一个导出匹配Ｍ使得｜Ｍ｜≥ｒ”是ＮＰ－完全的． （２）对直径为２的图以及直径为３的偶图，问题“确定一个给定图是否为导出匹配可扩的”是ＣＯ－ＮＰ－完全的；而对完全多部图而言，该问题线性可解。

多证明者交互式语言类MIP与co-NP的强分离

本文获得了下述结果:存在递归集A使得类co—NP中有语言L是MIP—禁集。

Co/MOF-808(Zr)复合材料的制备及其对有机磷化合物的降解性能

为了解决普通单金属MOFs材料几乎不能直接将双(4-硝基苯)磷酸酯(BNPP)直接降解为毒性更低的对氨基苯酚(4-AP)的问题,通过油浴法制备出MOF-808(Zr)后,采用后修饰法将草酸钴负载于MOF-808(Zr)上,制备出Co/MOF-808(Zr)复合材料,并对所制材料进行XRD和TEM表征。结果表明:MOF-808(Zr)具有高晶体结构稳定性,Co/MOF-808(Zr)的粒径在250 nm左右且分布均匀;Co/MOF-808(Zr)通过级联反应成功将有机磷神经毒剂模拟物BNPP直接降解为毒性更低的4-AP,而非一般的毒性较高的降解产物对硝基苯酚(4-NP)。其最佳级联降解反应条件为:温度45℃,Co/MOF-808(Zr)剂量为2 mg/mL,底物BNPP为0.6 mmol/L,硼氢化钠0.06 mmol/L。实践得出,Co/MOF-808(Zr)在将有机磷化合物直接降解为毒性更低的4-AP方面表现出良好的应用潜力。

Determinacy-A_3是Co-NP完全的

群试(group testing)方法首先由Dorfman在第二次世界大战期间提出,当时是出于征兵验血的需要。现在,群试方法已应用于多门学科,诸如计算机科学,组合学及统计学等。可以把群试问题简述如下:设N是一个含有n个元素的集合,记为N={1,…,n},在N中有一些“坏”元素,我们试图通过一系列试验把全部“坏”元素找出来,如何使试验次数最少?我们把全体“坏”元素集称为样本,所有可能的样本形成样本空间。

μ-演算嵌套不动点表达式分块计算算法

利用叠代计算μ-演算公式时的单调特性,提出了一个分块计算嵌套μ-演算公式的全局算法,算法时间复杂度为O(nd/2),空间复杂度为O(d×n)。由于算法的空间复杂度低,使得不动点算子嵌套深度很大的μ-演算公式的求解成为可能,这在模型检测方面有着非常重要的意义。

命题μ-演算全局模型检测的高效算法设计

在Long,Browne,Jha和Marrero等人工作的基础上,详细分析了用Tarski不动点定理计算不动点交替嵌套深度为4的命题μ-演算公式的计算过程,找到了计算中间结果间具有的两组偏序关系,利用这两组偏序关系设计了一个高效的命题μ-演算全局模型检测算法,该算法与Long等人提出的算法有相似的时间复杂度(O((2n+1)-d/2-+1)相对于O(n-d/2-+1)),但空间复杂度有很大的改进(O(dn)相对于O(n-d/2-+1)),其中n是变迁系统的状态规模,d是命题μ-演算公式中不动点算子的嵌套深度.算法性能的改进对于命题μ-演算模型检测技术的理论研究与实际推广应用都意义重大.

昆明系和Balb/C系小鼠用于显性致死试验的比较研究

本研究选用昆明系和Ｂａｌｂ／Ｃ系小鼠同时进行了显性致死试验的对比研究。试验一选用封闭群昆明系９～１０周龄的雄性小鼠７８只，随机分成６组，其中５个剂量组分别灌服１６０、５３、１６ｍｇ／ｋｇ体重的复方硝基酚钠和１５、３０ｍｇ／ｋｇ体重的环磷酰胺，另一组为空白对照组。受试物组每天给药一次，连续５ｄ后，按１∶２的雄雌比例与正常的９～１０周龄封闭群昆明系雌鼠进行交配，每周交配一批，连续交配８批。试验二除选用近交系Ｂａｌｂ／Ｃ雄鼠取代昆明系雄鼠外，其它条件与方法同试验一。试验结果表明，各批雌鼠各组之间的受孕率、着床数均无明显差异；两个试验中１５、３０ｍｇ／ｋｇ环磷酰胺组的第１、第２和／或第３批的活胎数明显低于其它各组，死胎数、有一个以上死胎的孕鼠率及显性致死率明显高于其它各组，显性致死试验结果为阳性；而不同剂量的复方硝基酚钠组的各项指标与空白对照组比较未见明显差异。本研究中雌雄试验动物选用同一个品系的昆明系小鼠进行显性致死试验的结果与选用Ｂａｌｂ／Ｃ系雄鼠与昆明系雌鼠进行杂交的结果比较无明显差异。

复方硝基酚钠诱发小鼠骨髓细胞和睾丸精原细胞染色体畸变的观察

研究了鱼虾促生长药物添加剂复方硝基酚钠对体细胞和雄性生殖细胞的致突变性。骨髓细胞染色体畸变分析以每公斤体重用２５０、８３．３、２５ｍｇ的复方硝基酚钠分别给小鼠经口染毒，每日１次，连续５ｄ，同时设空白对照组和阳性对照组。睾丸精原细胞染色体畸变分析以每公斤体重用２５０、１２５、６２．５ｍｇ的复方硝基酚钠给雄性小鼠经口染毒，每日１次，连续５ｄ，同时设空白对照组和阳性对照组。上述两种致突变试验结果均为阴性。

一种改进的死锁和活锁避免资源联合分配协议

提出一种改进的死锁和活锁避免资源联合分配协议——OODP3(Optimal ODP3),OODP3基于ODP3(Or-der-based Deadlock Prevention Protocol with Parallel requests)的安全状态方法避免死锁和活锁,但是,OODP3将其时间复杂度降到多项式级,并对OODP3的正确性进行了理论证明,实验结果表明OODP3的执行速度快,而且比现有的资源联合分配协议具有更优越的性能;最后进一步讨论了退避时间协议和资源分配策略对OODP3性能的影响.

复方硝基酚钠的小鼠显性致死试验

本文选用Ｂａｌｂ／Ｃ雄性小鼠和昆明系雌性小鼠进行显性致死试验研究鱼虾促生长药物添加剂复方硝基酚钠对雄性生殖细胞的致突变性。设３个复方硝基酚钠剂量组，即以１６０、５３．３和１６ｍｇ／ｋｇ本品给雄性小鼠经口染毒，每日１次，连续５日，同时设空白对照和阳性对照。各组雄鼠与未染毒雌鼠连续交配８周。试验结果为阴性，可初步认为复方硝基酚钠对雄性生殖细胞无致突变性。本文空白对照组的试验结果符合显性致死试验的要求，但母鼠的受孕率在３４．８％～６０．０％之间。选用Ｂａｌｂ／Ｃ雄性小鼠和昆明系雌性小鼠进行显性致死试验尚属首次。

关于 NP=?CO—NP 的两个问题

本文讨论两个问题:(1)研究了 NP=?NP 与 NP=?CO—NP 之间的关系;(2)证明了 NP=CO—NP<=>(■C■∑*)(C∈NP且C∈NPT)。

PLGA/O-CMC载药纳米粒子的体外释药行为研究

本文以聚乳酸_乙醇酸共聚物 (PLGA)和自行制备的O_羧甲基壳聚糖 (O_CMC)为原料 ,以5_氟尿嘧啶 (5_FU)为抗癌药物模型 ,采用自身设计的改良复乳法制备了载药纳米微粒。微粒平均粒径为 98 5nm ,粒径分布指数为 0 192 ,粒子表面 ξ电位为 6 1 4 8eV ,载药率高达 18 9% ,包封率为86 %。然后用SEM动态监测载药纳米粒子降解过程中表面形貌的变化 ,并连续追踪粒子降解过程中的质量损失和降解介质的pH变化。载药纳米粒子在PBS中的释药行为研究表明 :(1)前 12h的释药动力学符合Huguchi方程 ,具有一级释放特性 ;(2 )在 2

基于CHC算法的集卡与岸桥协调调度优化问题

集卡调度与岸桥调度是集装箱码头作业的两个重要子问题,针对其运营效率是一个动态持续的NP-hard调度问题,考虑到集卡在对集装箱作业时的不确定和动态性到达,提出了一种新的调度规则,建立了集卡与岸桥作业的协同调度数学模型,基于计算复杂性,采用改进的遗传算法,即CHC算法进行求解。实验证明,该模型及算法能够在更大程度上提高码头的整体运作效率,提高码头设备的利用率,减少资源的闲置。

PLGA/O-CMC载药纳米微粒的体外降解及释药行为研究

本研究以聚乳酸乙醇酸共聚物(PLGA)和自行制备的O羧甲基壳聚糖(OCMC)为原料,以5氟尿嘧啶(5FU)为抗癌药物模型,采用自身设计的改良复乳法制备了载药纳米微粒。微粒平均粒径为98.5nm,粒径分布指数为0.192,粒子表面ξ电位为61.48eV,载药率高达18.9%。然后用SEM动态监测载药纳米粒子降解过程中表面形貌的变化,并连续追踪粒子降解过程中的质量损失和降解介质的pH变化。载药纳米粒子在PBS中的释药行为研究表明,(1)前12h的释药动力学符合Huguchi方程,具有一级释放特性;(2)在20d内的释药动力学符合零级释放特性。细胞凋亡实验结果表明载药纳米粒子对TJ905脑胶质瘤细胞增殖有明显的抑制作用。

紫杉醇mPEG-PLGA纳米粒的制备及其抗肿瘤作用研究

目的探讨负载紫杉醇的聚乙二醇单甲醚-聚乳酸-乙醇酸(mPEG-PLGA)亲性嵌段共聚物纳米粒及其对肝癌H22细胞的体内抗肿瘤作用。方法采用界面沉积法制备紫杉醇mPEG-PLGA纳米粒(Ptx-Nps);应用透射电镜表征纳米粒的形态;粒径分析仪测其粒径及Zeta电位;研究mPEG在共聚物中的含量及紫杉醇投药量对纳米粒的影响;考察纳米粒对昆明小鼠肝癌H22的疗效和过敏实验。结果Ptx-Nps成球型,粒径为纳米级(<120 nm),均带负电荷(适合于静脉注射),与紫杉醇注射液(Ptx)相比,Ptx-Nps对肝癌H22的抑制作用比Ptx好。结论采用界面沉积法制备的纳米粒在紫杉醇投药量为1%,mPEG含量为4%时包封率最佳,本研究为开发紫杉醇新型静脉注射制剂提供了实验依据,mPEG-PLGA共聚物可成为抗肿瘤药物的理想新型载体。

德国安全文明与中国核电跃进——2.中-俄-德合作首座第三代核电厂

本文继前文"高技术革命"、"高铁革命"、"德国核政策变革"之后,以核电案例来讨论技术经济过程。即Siemens-Pycatom-江苏核电公司将合作建设世界最大的10 kMWe级核电厂作为"亚欧高铁"起点连云港的发电厂。3方如何把握商机,就看各自的水平了!

荆芥内酯聚乳酸乙醇酸纳米粒的制备及其稳定性研究

目的制备荆芥内酯聚乳酸乙醇酸纳米粒,并优化其制备工艺。方法以粒径、分散度、包封率和载药量为指标,对溶剂挥发法、溶剂扩散法和溶剂-非溶剂法制备荆芥内酯纳米粒进行比较。在单因素考察基础上,采用正交设计法对纳米粒的处方和溶剂-非溶剂法制备工艺进行优化,并考察了4℃和25℃条件下纳米粒溶液的稳定性。结果溶剂-非溶剂法制备的荆芥内酯纳米粒形态圆整,大小均匀,平均粒径(80.3±1.75)nm,分散度0.0144±0.00625,包封率可达52.53%±0.97%,载药量27.56%±0.91%,显著优于溶剂挥发法和溶剂扩散法,且具有良好的稳定性。结论溶剂-非溶剂法制备荆芥内酯纳米粒具有工艺简便,粒径和分散度小,包封率和载药量高,重复性好,质量稳定的优点。

基于网络处理器的高速包分类机制设计

三元按内容寻址寄存器(TCAM)是内容寻址存储器(CAM)的一种变形,较CAM而言可以使查找更加灵活,对其工作(如包处理)效率的提高也起着极大的优化作用。文章从TCAM的原理及结构特点出发,阐述了其适用于提高NP性能的原因,通过一个设计实例说明了采用TCAM协处理器在网络处理器中加速包处理过程的方法和技术。

SiC_(np)/Co涂层电磁波吸收性能研究

吸波材料可以吸收电磁波能量,在节能环保以及军事上有重要用途。本研究采用碳热还原法制备SiC_(np)/Co吸波剂,并进一步制成吸波涂层。该涂层在固含量30 wt%,厚度2 mm时,有效吸波频带达6.9 GHz,覆盖Ku波段;厚度增大至3 mm时,其有效吸波频带拓宽至7.5 GHz。

基于网络处理器的高速转发模块设计

随着网络应用业务的不断增长,传统网络业务处理方案已不能满足新一代智能化网络设备设计要求。网络处理器具有强大协议处理能力和灵活可编程性特点,是下一代网络的核心技术之一。在分析研究了NP-2网络处理器的功能特点之后,介绍了一种基于网络处理器的高速转发模块设计方案,包括硬件设计、数据包转发流程,并给出了有关的转发性能测试数据。经测试验证,这种设计方案具有很高的报文处理和转发效率。