Leibniz公式在矩阵各种乘积上的推广

本文主要论证下列公式:〔AB〕~(·)=ΣC_a~nA(a-b)B(k)k=0〔A·B〕~(a)=ΣC_n~a(a-k)·B(k)k=0〔A×B〕~(a)=ΣC_a~nA(a-k)×B(k)k=0其中A,B为函数项矩阵且有各阶导数,AB代表A与B的通常乘积,A·B代表A与B的Hadamard乘积。A×B代表A与B的Knonecker积,即直和或张量积.     

间氟苯重氮氨基偶氮苯的合成及其与镉（Ⅱ）配合物性质的研究

本文合成了新三氮烯试剂间氟苯重氮氨基偶氮苯，用元素分析和红外光谱进行了结构表征。研究了该试剂与镉形成配的的最佳条件及配合物的性质，并利用该剂与镉形成配合物的性质建立了光度法测定微量镉的新方法，成功地应用于实际样品中镉的分析。     

计算机辅助有机合成简介

计算机辅助有机合成(Computer Assist-ed Organic Synthesis,简称CAOS)是指利用计算机根据给定的原料去寻找目标化合物各种可能的合成路线。自从1969年E.J.Cor-rey和W.T.Wipke在SCIENCE上发表了第一个可以帮助化学工作者寻找目标化合物途径的有机化学合成模拟系统OCSS(Or-     

空间曲线的Crofton公式

这篇文章论述了空间曲线的Crofton公式,将平面上的Cauchy—Crofton公式推广到空间情形。     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。     

Laminin五肽对胃癌细胞系MGc－803的体外抑制作用

描述了Ｌａｍｉｎｉｎ五肽（ＹＩＧＳＲ）对胃癌细胞系ＭＧｃ－８０３的体外抑制作用，在多肽浓度为１ｍｇ／ｍｌ时抑制率高达７３％．抑制作用的机理可能是Ｌａｍｉｎｉｎ五肽竞争了肿瘤细胞上Ｌａｍｉｎｉｎ受体，从而封闭了肿瘤细胞对基底膜的结合及增殖．因此，利用Ｌａｍｉｎｉｎ五肽一类的药物有可能为肿瘤术后防止扩散提供一个新方法．