溶液及电极表面性质对肾上腺素电子转移性能的影响

采用循环伏安法研究了肾上腺素在不同pH缓冲溶液中和不同铂电极表面上的电化学行为.实验结果表明,在不同pH值的Britton-Robinson缓冲溶液中及不同铂电极表面上,肾上腺素的循环伏安曲线中出现不同的氧化还原峰;而且在乙酸-乙酸钠、Britton-Robinson这两种不同的缓冲溶液中,随溶液pH值的变化,肾上腺素的氧化峰电流也呈现不同的变化规律.     

鲁达慈悲情怀辨考——《水浒》人伦和谐之一

一部《水浒》把108将性格写尽。其中的鲁达是个任性率直的卤莽人,既助人救人,又杀人放火,但作者却安排他放下屠刀,立地成佛,最终找到一个较完好的生命归宿。鲁达这样的仗义英雄,禅杖打尽不平路,戒刀刺向对垒人,虽五台山出家,却又不像出家人性格,除了“戒淫欲”外,杀生、偷盗、嗔怒、恶口样样没禁,却能立地成佛,这完全因为他有一腔撼天动地的慈悲胸怀,并且童心无忌。     

对醇氧化的一些特殊氧化剂的探讨

在对醇氧化的问题,需要用一些特定的氧化剂。本文通过介绍氧化铬、二氧化锰、二甲亚砜、异丙醇铝(或异丁醇铝)和分析这些氧化剂对不同的醇氧化问题,发现对于羟基所处的部位不同的醇,需要用到上述不同的氧化剂,才能得到理想的终端产品。     

三孔法腹腔镜胆囊切除+阑尾切除的临床报告

随着腹腔镜外科的成熟发展,同时患两种以上疾患行联合微创手术已成为可能。笔者总结这几年三孔法腹腔镜胆囊切除 阑尾切除46例,现予以报告如下:1临床资料与方法1.1临床资料46例患者中,男14例,女32例,平均年龄48岁(25～63岁),34例为慢性结石性胆囊炎,4例为慢性胆囊炎,4例为胆囊多发性真性息肉,4例为胆囊胆固醇息肉,其中40例有较典型的慢性阑尾炎病史,另外6例有慢性右下腹痛史。麻醉采用气管插管全麻。1.2手术方法及要点术中腹壁安放3个Trocar分别位于脐部,剑突下和右肋缘下,位置要兼顾到胆囊与阑尾两部位的操作。先行胆囊切除,然后改足高头…     

μC／OS-Ⅱ在实时监控系统中的应用

将实时操作系统引入嵌入式系统，可以提高嵌入式应用系统的可靠性和系统开发效率．分析了抢占式实时多任务内核μC／OS-Ⅱ应用在实时监控系统中所要解决的问题，并结合Microchip PIC18F452 MCU提出了具体的实现方法．经运用于工程项目的结果表明，该系统具有良好的实际应用效果．     

Reconstruction of Temperature Field in 3-D, Absorbing, Emitting, and Anisotropically Scattering Medium

IntroductionRecently ,theinvestigation on numerical radiative heattransfer has been focused onthe reconstruction of temperatureprofile in target space according to its boundary heat fluxgained by detectors[1 8], whichis a kind of inverse problemofradiation. Among these investigation, Li HY[1 4]hasresearched on one-di mension or two-di mension rectangular ,spherical or cylindrical medium which is absorbing ,emitting , and isotropically scattering ; Liu LH[5,6]hasresearched on the semitranspar…     

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.     

机载脉冲多普勒雷达回波信号模拟

回波信号作为雷达信号处理之源,它的模拟对研究雷达系统仿真具有非常重要的实际意义。在研究雷达回波特性的基础上,获得雷达回波信号的准确表达式,采用映象法将地面分成大杂波单元和小杂波单元,对各小杂波单元产生的回波采用矢量相加以求得相干视频信号,计算整个距离环的回波获得完整的雷达回波信号。最后的仿真结果证明了计算的正确性。     

带有持续扰动非线性系统的最优跟踪控制

研究具有外界持续扰动的非线性系统的无静差最优跟踪控制问题。首先基于内模原理构造一扰动补偿器,将系统化为无扰动的增广系统。然后利用灵敏度法推导出了该系统的最优跟踪控制律。仿真实例表明了该设计方法的有效性。     

超大型弧形剪力墙、梁施工设计研究

介绍超大型弧形剪力墙、弧形梁的应力分析,结构设计,精确定位,模板设计,混凝土的浇筑等施工设计技术,确保工程的顺利完工。