依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

基于VaR技术的国有股过渡流通市场研究

VaR技术模型分析了A股与过渡流通股之间波动的价差,二者的价差并不稳定,因此不能给非流通股定价,应建立过渡流通股市场,在过渡期中,逐步赋予非流通股以流通权.     

关于单形体积的一个不等式

应用距离几何的理论与方法研究了n维欧氏空间En中n维单形的体积问题,建立了切点单形与旁切点单形体积的一个不等式.     

关于图的Ramsey数的几个下界

推广了3个C4对完全图的R am sey数下界以及一个经典R am sey数下界问题,得到了3个C4对完全图的R am sey数的线性下界,以及一个关于多项式的经典R am sey数下界.     

用光谱和EPR谱确定CsMgCl3:Ni2+和CsCdCl3:Ni2+的局域结构

采用半自洽场（semi-SCF）自由Ni^2＋的3d轨道波函数、点电荷-偶极子模型和Ni^2＋-6X-（X=F,Cl,Br,I）络合物的μ-κ-α模型,建立了结构参数与光谱、EPR谱之间的定量关系,利用完全对角化方法,由光谱和电子顺磁共振（EPR）谱,确定了CsMgCl3：Ni^2＋和CsCdCl3：Ni^2＋晶体在77K温度时的Ni^2＋占位和局域结构参数,统一解释了CsMgCl3：Ni^2＋和CsCdCl3：Ni^2＋晶体的结构、光谱和EPR谱.此外,还讨论了高阶微扰方法、参量拟合方法等问题.所得理论结果与实验值符合得很好.     

黎曼流形的抛物性与度量的共形形变

借助于黎曼流形的抛物性概念研究黎曼度量的共形形变问题, 证明了Gauss曲率小于某负常数的非紧完备2维黎曼流形其度量不可能共形形变到具有非负Gauss曲率的完备度量.     

群为完全群的一个充要条件

一个群为完全群，而当它是另一个群的正规子群时，则必为其直因子，反之成立否，马元达（1982）对有限群的情况进行了证明，该文推广到一般群。     

论研究生教育收费的可行性、原则及配套措施

目前，对高层次人才的持续需求为研究生教育收费提供了外在的动力；人们对非义务教育“谁受益，谁出钱”的教育投资观已经有所认识，为研究生教育收费提供了内在的社会思想基础；城乡居民收入的增长为实现研究生教育收费提供了一定的经济基础；可以采取配套措施来消除收费可能给经济困难学生带来的压力，因此，实行研究生教育收费正当其时。但在制定研究生教育收费政策时应坚持扩大宣传和循序渐进、成本多元有限分担、保证国家及社会人才需要、按地域校别专业差别收费、充分考虑到社会承受力、强化监督与权力下放等原则。对研究生教育实行收费的同时，应同时对现行的研究生奖学金、贷学金、困难补助金等相关政策进行配套改革。     

完备Brouwer格上的T-型正则L-关系

利用完备的Brouwer格L上的无穷V-分配t-模T定义格L上的T-型正则L-关系，建立这些L-关系的基本性质，并给出T-型正则L-关系的最大T-型广义逆L-关系的两个计算公式．     

DNMR 研究金属烯烃内质子交换的动力学行为

该文用完全线形分析法、磁化强度迁移法和自选锁定技术等三种具体的DNMR法对含有不同取代基的金属烯烃有机化合物中因碳碳键转动引起的分子内质子的化学交换的动力学行为进行了较为详细的研究。结果表明，测得的化学交换的速率常数是合理的。它们满足Eyring 和Ar-rehenuius 关系式；由此获得的化学交换的活化能参数和活化自由能的变化与化合物中的取代基的Hammett 常数6存在很好的一致关系。