一类带脉冲接种和脉冲剔除的SIR传染病模型的稳定性态

文章研究了一类具有脉冲接种和脉冲剔除的SIR传染病模型的动力学性态．应用Floquet定理研究了无病周期解的局部稳定性，通过脉冲微分不等式证明了其全局渐近稳定性．     

A QUANTIFIER-ELIMINATION BASED HEURISTIC FOR AUTOMATICALLY GENERATING INDUCTIVE ASSERTIONS FOR PROGRAMS

A method using quantifier-elimination is proposed for automatically generating programinvariants/inductive assertions.Given a program,inductive assertions,hypothesized as parameterizedformulas in a theory,are associated with program locations.Parameters in inductive assertions arediscovered by generating constraints on parameters by ensuring that an inductive assertion is indeedpreserved by all execution paths leading to the associated location of the program.The method can beused to discover loop invariants-properties of variables that remain invariant at the entry of a loop.Theparameterized formula can be successively refined by considering execution paths one by one;heuristicscan be developed for determining the order in which the paths are considered.Initialization of programvariables as well as the precondition and postcondition,if available,can also be used to further refinethe hypothesized invariant.The method does not depend on the availability of the precondition andpostcondition of a program.Constraints on parameters generated in this way are solved for possiblevalues of parameters.If no solution is possible,this means that an invariant of the hypothesizedform is not likely to exist for the loop under the assumptions/approximations made to generate theassociated verification condition.Otherwise,if the parametric constraints are solvable,then undercertain conditions on methods for generating these constraints,the strongest possible invariant of thehypothesized form can be generated from most general solutions of the parametric constraints.Theapproach is illustrated using the logical languages of conjunction of polynomial equations as well asPresburger arithmetic for expressing assertions.     

BP神经网络算法探讨

BP神经网络算法是在BP神经网络现有算法的基础上提出的,是通过任意选定一组权值,将给定的目标输出直接作为线性方程的代数和来建立线性方程组,解得待求权,不存在传统方法的局部极小及收敛速度慢的问题,且更易理解。     

土霉素残留在鲫鱼体内的消除规律

在(10±1)℃水温条件下,用50mg/kg剂量对鲫鱼口灌土霉素3d,每天2次.用紫外分光光度计测定鲫鱼 血液和组织中土霉素的残留量.结果表明:在土霉素消除期间,肾脏中土霉素残留量最高,肌肉中最低,血液和肌 肉中土霉素的含量与时间的动态变化趋势很相似;给药后的第32h,土霉素的量在血液和组织中达到最高含量;土 霉素在达到最高含量之后的一段时间内,肾脏中土霉素含量随着时间的推移急剧下降,而在肌肉中,土霉素含量随 着时间的推移缓慢下降;第288h时,土霉素在肝脏、肌肉和血液中已经下降到较低水平,其含量分别为0.53, 0.12,0.39mg/kg,肾脏中药物含量仍然很高,为2.75mg/kg.由此得知:在所有的组织中,肌内中土霉素的残留 量是最低的;最后一次给药后的第12d后,人食用鱼肉是安全的.     

H.264中树状结构运动估计的连续消除算法

为减少视频编码标准 H.2 6 4中树状结构运动估计的高运算复杂度 ,将连续消除算法 (SEA )应用于树状结构的运动估计中。在性能完全相同的条件下 ,与 H.2 6 4整像素运动矢量全搜索算法相比 ,其块匹配运算量减少到原来的 1%～ 2 0 %。利用不同大小块之间因部分重叠 ,其运动矢量具有更强相关性的特点。提出了一种简单有效地确定运动矢量搜索初值的方法 ,并应用两种快速的目标运动矢量判定方法 ,改进了 SEA算法。在性能损失可以忽略的情况下 ,进一步将基本 SEA运算量降低到全搜索块匹配运算量的 0 .3%～4 %。     

基于超螺旋精度提升机制的OFDM网络信道噪声消除算法

为解决当前OFDM网络信道噪声消除算法难以规避信道中的窄带莱斯噪声,且抗信道衰落能力不强,以及信道间普遍存在严重的频率干涉问题,提出了一种基于超螺旋精度提升机制的OFDM网络信道噪声消除算法.首先,根据各个传输子信道具有差异化的频率载波特性,将传输子信道等价为接收背景中的接收点,从而构建了超螺旋接收结构,有效消除不同传输子信道间存在的频率干扰特性,降低信道窄带莱斯噪声对信号预发射过程的衰落影响;随后,基于角度识别方式进行锐-钝识别,并结合拐点思想,采用序列重排技术,将待发射信号进行消波处理,并进行自旋精度提升,从而提高了其抗窄带莱斯噪声的性能.仿真实验表明:与常见的超高频精度自适应机制(UHF adaptive,UHFA)、共线度自旋精度提升机制(the degree of accuracy of collinear spin,DACS)相比,本文算法与理想状态下的OFDM功率谱密度曲线最为接近,具有更高的信号增益水平与更低的信道误码率.     

小城镇住宅排水系统存在问题调查分析

随着社会的发展,国民对居住环境质量的要求越来越高,对建筑排水系统中排水噪声大、排水器具返臭气、漏水、排水不畅等诸多问题的反映也越来越强烈。根据对台州市椒江区调查的住宅排水系统实态资料,对国内小城镇住宅排水系统存在的主要问题进行了统计分析,并提出相关建议。     

痕量PBBs/PBDEsGC/MS分析法中PCB及其衍生物干扰消除方法

电子电气产品中痕量阻燃剂聚溴联苯/聚溴联苯醚(PBBs/PBDEs)的检测通常采用气相色谱/质谱(GC-MS)联用法,但该法是建立在持久性污染物多氯化苯/多氯化萘(PCBs/PCNs)基础上,因此此类物质干扰不可避免。为了解决此类问题,提出了2种解决方法:1)阴离子化学电离-气相色谱/质谱联用法(GC/MS-NICI)和电子轰击-气相色谱/质谱联用法(GC/MS-EI)联合使用;2)以YMC ODS-C18为载体,基质固相分散法(MSPD)吸附分离。结果显示,前者可以同时洞察聚溴联苯和联苯醚的分子链断裂后阴离子碎片[Br]-,[HBr2]-和分子链段碎片[M+2]+,[M+4]+,[M+6]+,[M+8]+的滞留峰,增加了对溴系阻燃剂的选择性。后者可以有效分离多种多氯化苯与聚溴联苯醚的色谱峰,这为溴系阻燃剂气相色谱/质谱联用分析法中多氯化苯及其衍生物干扰提供了新的解决方法。采用此方法对8类电子电气产品中10种聚溴联苯醚和多氯化苯进行加标回收实验及精密度分析,回收率在60%～98%,相对误差在9.5%以内,符合国际电工委员会(IEC)对溴系阻燃剂检测精度要求,说明方法具有较高的可靠性,也为我国电子电气业更好遵守...     

Varieties of noise: Analogical reasoning in synthetic biology

The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue that the actual situation is more nuanced and complex. Synthetic biology is a highly interdisciplinary field of research located at the interface of physics, chemistry, biology, and computational science. All of these fields provide concepts, metaphors, mathematical tools, and models, which are typically utilized by synthetic biologists by drawing analogies between the different fields of inquiry. We will study analogical reasoning in synthetic biology through the emergence of the functional meaning of noise, which marks an important shift in how engineering concepts are employed in this field. The notion of noise serves also to highlight the differences between the two branches of synthetic biology: the basic science-oriented branch and the engineering-oriented branch, which differ from each other in the way they draw analogies to various other fields of study. Moreover, we show that fixing the mapping between a source domain and the target domain seems not to be the goal of analogical reasoning in actual scientific practice.     

一种新的SHEPWM三电平逆变系统的仿真和实验研究

针对中点钳位型三电平逆变系统SHEPWM开关角度的求解问题,提出了基于混沌蚁群算法的三电平中点钳位型逆变系统的SHEPWM优化方法.蚁群算法在求解SHEPWM非线性超越方程组时不需要求解方程特定的初值,而变尺度混沌算子融合到蚁群算法之中,可以有效防止算法陷入局部最优解,提高计算精度.仿真和实验结果证明了基于混沌蚁群算法的三电平NPC逆变系统消谐模型的有效性.