BPA与3种双酚类化合物的联合作用雌激素效应

环境内分泌干扰物的联合作用已经是目前研究的重点.采用重组基因酵母检测法,分别测定了双酚A (BPA)、双酚AF(BPAF)、双酚AP(BPAP)、双酚F(BPF)4种双酚化合物的雌激素活性,并依据其测定结果,按照等效浓度比,设计了浓度比分别为EC₁₀和EC₅₀的6种二元混合物并测定了其雌激素活性.结果表明,这4种化合物的剂量-效应关系都可以用Weibull函数有效描述,BPA、BPAF、BPAP、BPF的EC₅₀值分别为：6.81×10^-6、7.44×10^-7、1.43×10^-5、7.52×10^-6 mol·L^-1,其雌激素活性大小顺序为：BPAF>BPA>BPF>BPAP.依据不同的联合作用判断方法对这4种化合物的联合效应进行判断,结果表明,相同化合物的不同混合比例可能对联合作用方式产生影响,采用DA和IA预测模型可以更加直观、方便地判断联合作用的类型,而且可以反映出不同混合比例对联合作用的影响.     

不同铁浓度对单细胞和群体铜绿微囊藻生长的影响

分别在限铁和富铁的条件下,比较研究了Microcystis aeruginosa PCC7806(单细胞株)和M.aeruginosa XW01(群体株)2株铜绿微囊藻的生长、光合作用效率、铁载体分泌及其细胞对铁元素的积累.2株藻的ITS 序列相似性为95%,铁吸收调节蛋白基因fur的序列相似性为98%,二者具有很高的遗传相似性.研究表明,在限铁条件下单细胞株微囊藻生长受到抑制,在第 6 d藻体黄化死亡,但群体株在限铁条件下能维持一定的生长; 限铁条件下最大光能转化效率(F_v/F_m)群体株高于单细胞株,二者分别为0.182±0.014和0.160±0.017.群体株比单细胞株有更高的光合作用能力; 2株藻均可产生铁载体菌株,其铁载体类型为氧肟酸盐型.在限铁条件下,群体株比单细胞株产生更多的铁载体.通过测定藻体铁的含量,发现缺铁条件下藻体积累的铁含量不足富铁条件下的1/3,但不同铁浓度培养的2株藻之间铁含量差异不大.研究结果显示,群体株比单细胞株有更强的适应低铁环境的能力,其机制并非是由于二者对铁吸收和积累的差异导致,可能是由于单细胞株的其他生理代谢过程对细胞内低铁状态更为敏感.     

粗糙集的最优近似集

Pawlak教授提出的粗糙集理论是解决集合边界不确定的重要手段,他构建了边界不确定集合的两条精确边界,但没有给出用已有知识基来精确或近似地构建目标概念(集合)X的方法.在前期的研究中提出了寻找目标概念X的近似集方法,但并没有给出最优的近似集.首先,回顾了集合间的相似度概念和粗糙集的近似集R_λ(X)的构建方法,提出并证明了R_λ(X)所满足的运算性质.其次,找到了R_λ(X)比上近似集R(X)和下近似集R(X)更近似于目标概念X的λ成立的区间.最后,提出了R_0.5(X)作为目标概念的最优近似集所满足的条件.     

有Mate-Pairs的个体单体型MSR问题的参数化算法

个体单体型MSR(minimum SNP removal)问题是指如何利用个体的基因测序片断数据去掉最少的SNP(single-nucleotide polymorphisms)位点,以确定该个体单体型的计算问题.对此问题,Bafna等人提出了时间复杂度为O(2^kn²m)的算法,其中,m为DNA片断总数,n为SNP位点总数,k为片断中洞(片断中的空值位点)的个数.由于一个Mate-Pair片段中洞的个数可以达到100,因此,在片段数据中有Mate-Pair的情况下,Bafna的算法通常是不可行的.根据片段数据的特点提出了一个时间复杂度为O((n-1)(k₁-1)k₂2^2h+(k₁+1)^2h+nk₂+mk₁)的新算法,其中,k₁为一个片断覆盖的最大SNP位点数(不大于n),k₂为覆盖同一SNP位点的片段的最大数(通常不大于19),h为覆盖同一SNP位点且在该位点取空值的片断的最大数(不大于k₂).该算法的时间复杂度与片断中洞的个数的最大值k没有直接的关系,在有Mate-Pair片断数据的情况下仍然能够有效地进行计算,具有良好的可扩展性和较高的实用价值.     

带等时空载返程运输的双机Flow shop调度问题复杂性

流水作业(Flow shop)问题是调度算法研究中经典问题模型之一,有两台处理机和一台运输机且运输机每次只运输一个工件的流水作业调度问题模型在现实中有着广泛的应用。同时考虑运输机去程(从机器M₁到M₂)与返程(从机器M₂到M₁)时间,在假定运输机去程运输时间及返程空载时间相等的情况下,通过把一个强NP-complete问题——3-PARTITION问题归约成一个研究问题的实例,来证明对这个问题求解是强NP-hard的。     

网格多处理机的一种改进的子网分配算法

子网分配问题是指识别并分配一个空闲的、满足指定大小要求的节点机.首先,提出了网格结构中一种新的具有O(N²_a·1og₂N_a)时间复杂度的空闲子网搜索算法,它优于现有的O(N³_a)时间复杂度的搜索算法.然后,用该算法对基于保留因子的最佳匹配类子网分配算法——RF(reservation factor)算法进行了改进,得到了     

有中断时间代价的一致并行机抢先调度问题

提出了一种具有中断时间代价的抢先调度问题(P|ptmn(δ)|C_max):在抢先调度中,一个任务发生一次中断,其总的执行时间会增加一个δ.该问题在工程任务分配、分布式计算和网络通信等实际问题中有着广泛的应用背景.证明了这是一个NP-hard问题,给出了一个时间复杂度为O(nlogn+m)的脱线近似算法LPT-Wrap,其近似比小于等于1.40825,并分析了P|ptmn(δ)|C_max的在线特性,给出一个线性时间复杂度的在线近似算法,其竞争比为2.     

一种改进的多连接查询优化方法

M.S.Chen提出了用于产生具有较低计算代价的join丛树的启发式方法G_MC和G_MR.本文在分析相关join操作的次序与计算代价的关系后,给出了时间复杂度为O(n²)的对G_MC和G_MR的改进算法.由于在该算法生成的join丛树中,任意两个相邻的内部结点(join操作结点)的操作次序是最优的,因此,它比G_MC和G_MR能进一步降低join丛树     

在消息传递并行机上的高效的最小生成树算法

基于传统的Borǔ vka串行最小生成树算法,提出了一个在消息传递并行机上的高效的最小生成树算法.并且采用3种方法来提高该算法的效率,即通过两趟合并及打包收缩的方法来减少通信开销,通过平衡数据分布的办法使各个处理器的计算量平衡.该算法的计算和通信复杂度分别为O(n²/p)和O((t_sp+t_wn)n/p).在曙光-1000并行机上运行的实际效果是,对于有10 000个顶点的稀疏图,通过16个节点的运行加速比是12.     

极小-极大-加系统(F,G,H)的能达能观性

在数字电路中"两个时间信号通过逻辑电路的"与"门相当于极大运算,"或"门相当于极小运算.因此,极小-极大-加系统可用于数字电路的时间分析.对于非线性极强的极小-极大-加系统(F,G,H)引入了分别能达和上限能观的概念.利用图论的方法给出了极小-极大-加系统(F,G,H)的状态变量x_t为分别能达分量的充要条件,同时,还得到了x_t为上限能观分量的充要条件.

     

时栅传感器气隙磁导正弦规律变化的调制方法

针对时栅传感器输出信号近似于正弦波中包含各次谐波成分的三角波,提出一种传感器气隙磁导正弦规律性变化的调制方法,来解决谐波成分的干扰、绕组短路等问题对精度的影响。应用微分法对这种新型传感器的数学模型进行计算,构建转子外圆柱面齿形曲线函数f1(θ)和f₂(θ)传感器数学模型,通过电磁场仿真,验证了设计方案的可行性和正确性。分析结果表明,f1(θ)和f₂(θ)型传感器的输出信号能更好的抑制谐波成分和提升正弦波规则性,在0°~6°测量范围内,仿真误差为±25″,对时栅传感器的设计具有重要的借鉴意义。     

P2-Packing问题参数算法的改进

P₂-Packing问题是一个典型的NP难问题.目前这个问题的最好结果是时间复杂度为O^*(2^5.301k)的参数算法,其核的大小为15k.通过对P₂-packing问题的结构作进一步分析,提出了改进的核心化算法,得到大小为7k的核,并在此基础上提出了一种时间复杂度为O^*(2^4.142k)的参数算法,大幅度改进了目前文献中的最好结果.     

k-LSAT (k≥3)是NP-完全的

合取范式(conjunctive normal form,简称CNF)公式F是线性公式,如果F中任意两个不同子句至多有一个公共变元.如果F中的任意两个不同子句恰好含有一个公共变元,则称F是严格线性的.所有的严格线性公式均是可满足的,而对于线性公式类LCNF,对应的判定问题LSAT仍然是NP-完全的.LCNF_≥k是子句长度大于或等于k的CNF公式子类,判定问题LSA(≥k)的NP-完全性与LCNF(≥k)中是否含有不可满足公式密切相关.即LSAT_≥k的NP-完全性取决于LCNF_≥k是否含有不可满足公式.S.Porschen等人用超图和拉丁方的方法构造了LCNF_≥3和LCNF_≥4中的不可满足公式,并提出公开问题:对于k≥5,LCNF_≥k是否含有不可满足公式?将极小不可满足公式应用于公式的归约,引入了一个简单的一般构造方法.证明了对于k≥3,k-LCNF含有不可满足公式,从而证明了一个更强的结果:对于k≥3,k-LSAT是NP-完全的.     

基于模糊时序和支持向量机的高速公路SO2浓度预测算法

针对现有SO₂浓度预测方法中存在的污染物来源和影响因素认识不统一、小样本数据敏感、易于陷入局部最优等问题,文中提出了基于模糊时序和支持向量机的高速公路SO₂浓度预测算法,为搭建高速公路环境健康监测系统提供了可靠的理论支持.该方法依据SO₂浓度的季节变动规律,以季节作为时间序列,以24h为粒化窗宽,通过高斯核函数提取原始样本数据的特征值,输入支持向量机训练模型,并利用k重交叉验证法结合网格划分优化模型参数.文中应用该方法建立了SO₂浓度预测模型,并以2014年4月至2015年3月山西省太旧高速公路某监测点SO₂小时浓度监测值为样本数据,在MATLAB平台下应用LIBSVM工具实现了计算过程.结果表明,基于模糊时序和支持向量机的高速公路SO₂浓度预测算法不受机理性理论研究的限制,支持小样本学习,非线性拟合效果好,泛化能力强.     

GA-ELM在硫铁矿制酸尾气SO2浓度预测的应用

基于对整个生产流程的管控,使硫铁矿生产硫酸尾气的SO₂浓度达标排放,提出运用GA-ELM对制酸尾气SO₂浓度进行建模预测.在硫铁矿制酸的生产过程中采集对尾气SO₂浓度影响较大的关键点参数,运用GA-ELM神经网络对烟气制酸尾气SO₂浓度进行预测.该方法在某厂实际检验,其预测结果与实际数据吻合度较高,对于调整和优化工艺指标和尾气达标排放起到很好的指导作用.     

数据仓库系统中层次式Cube存储结构

区域查询是数据仓库上支持联机分析处理(on-line analytical processing,简称OLAP)的重要操作.近几年,人们提出了一些支持区域查询和数据更新的Cube存储结构.然而这些存储结构的空间复杂性和时间复杂性都很高,难以在实际中使用.为此,提出了一种层次式Cube存储结构HDC(hierarchical data cube)及其上的相关算法.HDC上区域查询的代价和数据更新代价均为O(log^dn),综合性能为O((logn)^2d)(使用C_qC_u模型)或O(K(logn)^d)(使用C_qn_q+C_un_u模型).理论分析与实验表明,HDC的区域查询代价、数据更新代价、空间代价以及综合性能都优于目前所有的Cube存储结构.     

结合纹理梯度抑制与L0梯度最小化的纹理滤波

目的 纹理滤波是计算机视觉领域的一个基础应用工具,其目标是抑制图像中不必要的纹理细节和保持图像的主要结构。目前已有的纹理滤波方法多存在强梯度纹理无法被抑制或结构丢失的问题,为此提出一种结合纹理梯度抑制与L₀梯度最小化的纹理滤波算法。方法 首先,提出一种能够区分结构/纹理像素的方向性区间梯度算子,其中采取了局部对比度拉伸和尺度自适应策略,提升了弱梯度结构像素的识别能力。随后,利用区间梯度幅值对原始图像梯度进行抑制,并用抑制后的图像梯度进行图像重建,获得纹理像素梯度小于结构像素梯度的纹理抑制图像。最后,考虑到纹理梯度抑制时会对结构像素的梯度产生一定的衰减作用,本文采用具有梯度提升作用的L₀梯度最小化方法对纹理抑制图像进行滤波,得到纹理抑制结构保持的纹理滤波图像。结果 通过测试马赛克和自然风景等不同类型的图片,并与L₀梯度最小化、滚动引导图像滤波、相对总变分、共现滤波等方法相比较,本文算法能够在抑制强梯度纹理的情况下对图像的主要结构得以保持,并且具有良好的普适性和鲁棒性。同时本文将纹理滤波应用于图像的边缘检测和细节增强,取得了不错的效果提升。结论 本文算法在兼顾强梯度纹理的抑制和结构的保持方面已超越已有的方法,对于图像的目标识别、图像融合、边缘检测等易受强梯度纹理干扰的技术领域,具有较大的应用潜力。     

模态K4、D4系统的归结推理

本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．ＦａｒｉｎａｓｄｅｌＣｅｒｒｏ提出的模态归结推理方法推广到命题模态逻辑K₄和D₄系统，建立了K₄逻辑的归结推理ＲK₄；D₄逻辑的归结推理R D₄，分别证明了ＲK₄和ＲD₄关于K相似文献   

模糊故障树分析法在航空发动机滑油渗漏分析中的应用

为准确查找航空发动机滑油渗漏原因,研究模糊故障树理论在飞机故障诊断方面的应用;以CFM56-7B发动机滑油系统为研究对象,将故障树理论应用于滑油系统渗漏故障诊断中,采用下行法求解最小割集得到故障诱因最小事件;根据滑油故障发生概率具有模糊和不确定性特点,结合Delphi专家调查采用模糊数学理论进行定量分析,确定故障诱因事件风险重要度排序;从CFM56-7B滑油渗漏故障原因重要度排序可知,故障诱因依次为后收油池供油口盖封严损坏(x₁)、后收油池滑油回油管接头处裂纹(x₂)、发动机使用MJO291滑油后导致密封材料损坏(x₈)等,维修时应注意;维修单位故障记录验证了方法的有效性,可为准确和快速诊断和排除滑油渗漏故障提供参考。     

γ演算到Action演算的转换

Action演算簇(action calculi)作为描述不同并发交互行为的数学框架,可以表示一大类具有某些相同特性的并发形式化模型.试图把(演算(一种基于约束的高阶并发计算模)也包含在action演算簇的框架下.首先定义了一个具体的action演算AC(K_γ),然后给出了从(演算到AC(K_γ)转换的形式描述,最后在定义AC(K_γ)的可观察性、弱互模拟关系和弱等价关系的基础上,以(演算为中间表示,证明了这种转换保持了(演算的弱行为等价性.研究表明,action演算簇可以表示基于约束的并发模型,从而充分说明了action演算簇的描述能力,并且为在action演算簇框架下把(演算与其他并发模型结合并进行比较提供了前提.