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

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

基于无偏灰色-马氏链组合模型的股价研究

通过对股票价格运行特点分析，将这一随机时间序列分解成由灰色模型拟合的趋势变动序列和马尔可夫链，并在对两详细剖析的基础上建立了无偏灰色—马氏链组合模型，以此预测上证综合指数的区间概率分布、平稳分布、均值以及平均涨落时间，检验和实例表明该模型具有较高精度和应用价值．     

一种基于语音识别SoC调试的JTAG接口设计

在JTAG(jointtestactiongroup)工业标准的基础上,采用了一种基于语音识别SoC(SystemonChip)调试的JTAG接口设计.该设计以求用最少的硬件开销,最简单灵活的方式,支持寄存器查看和设置、IP核程序流跟踪、代码覆盖率检查、代码分析、IP核扫描测试等功能.该设计已经应用于以OpenRISC为核心的语音识别SoC设计平台上.     

简单图含有完全子图的一个充分条件

从生活中的一个问题出发,运用图论知识进行了分析,得到了结论,并且对结论进行了推广 得到了在一般情况下简单图含有完全子图的充分条件 并且,在度数要求方面,这个结果是最佳可能的     

我国城镇居民消费结构的分析与预测

将OLS估计与Markov链相结合,再利用LINDO软件包求解二次规划问题,分析了我国城镇居民消费结构的变化,并预测了我国今后几年城镇居民消费结构构成及相关产业发展动态,以期为我国经济建设提供参考.     

基于协同过程的产品开发链框架研究

从内涵、概念模型以及协同过程控制等方面建立了产品开发链的理论框架,提出了产品开发链的组织、过程及环境多视图模型;从成员选择的角度研究了开发链的构建原理;介绍了开发链的5大组成要素,即开发目标、组织结构、开发活动及任务、产品数据、协同控制机制等,而协同过程是产品开发链的核心元素,最后提出了基于协同过程的产品开发链系统层次框架.     

糖生物学--生命科学研究的新热点

糖生物学是糖的化学和生物学研究相结合而产生的一门新兴学科，近20年来，糖生物学研究取得了很多重要成就．介绍了糖生物学的重要进展及热点，包括糖链在新生肽链折叠过程中、在免疫系统中的作用和糖链与微生物感染等．目前许多国家对糖生物学研究都给予了足够的支持和重视，糖生物学已成为生命科学研究的前沿和新热点．     

关于图的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谱.此外,还讨论了高阶微扰方法、参量拟合方法等问题.所得理论结果与实验值符合得很好.     

Π-凝聚环的推广

首先给出了AF 环的概念并列举了AF 环的一些性质与特征,证明了在AF 环上,IF 环与自FP 内射环是等价的,最后讨论了AF 环在对偶理论中的重要性.特别地,证明了若环R是一个自FP 内射的右AF 环,则R是QF环当且仅当R是一个左完全环.