模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

中国南海海绵化学成份研究Ⅱ—B·C

从中国南海西沙群岛永胜岛附近海域采集到的一种海绵(种属未定)分离到两种新的三羟基长链酰胺类化合物S—Ⅱ(C_(49)H_(99)NO_4,M=765,m.p.138-140℃)和S—Ⅲ(C_(45)H_(93)NO_4,M=723,m.p.92—93℃),通过对它们的IR,MS,~1HNMR,~(13)CNMR及~(13)CNMR DEPT等波谱数据分析,S—Ⅱ和S—Ⅲ的结构分别确定为N-(1-乙基-3,22-二羟基)二十二烷基-2-甲基-4-羟基二十四脂肪酸酰胺和N-(1-羟甲基-2-乙基-4-甲基-3,18-二羟基)十九烷基—二十三脂肪酸酰胺。     

Ruin Probability with Variable Premium Rate and Disturbed by Diffusion in a Markovian Environment

We consider a risk model with a premium rate which varies with the level of free reserves. In this model, the occurrence of claims is described by a Cox process with Markov intensity process, and the influence of stochastic factors is considered by adding a diffusion process. The integro-differential equation for the ruin probability is derived by a infinitesimal method.     

一维单原子链空位的一种新统计方法

视一维单原子链中原子为谐振子，运用玻尔兹曼分布给出了空位的一种新统计方法．     

以交互式电子白板技术实现课堂教学信息化

课堂教学信息化是教育信息化的关键．传统的黑板和大屏幕投影由于其内在的缺陷均不能实现课堂教学的信息化，本文在详细分析了交互式电子白板的组成、特点与功能后，指出交互式电子白板这一新技术能有效地整合信息技术与课堂教学从而可以真正实现课堂教学的信息化．     

《高等数学》学习方法探讨

从高等数学的知识体系及其学习的特点与基本要求入手,论述了学习高等数学的基本方法,即阐述了如何接收信息、如何消化材料和所学知识如何运用等问题。     

从遗传基因收获“才富”

基因是人类生命的密码,记录着所有个体特征的遗传信息。本文将在肯定遗传基因的客观作用的基础上,对遗传和环境,情商和智商等一系列关系作一初探,以求对创新人才培养制度和方式有所启示。     

分布控制型供应链的多层规划模型研究

研究分布控制型供应链的生产、配送与库存决策问题,通过分析成员的独立决策行为,针对供应链系统上下层之间所具有的Stackelberg博弈特征,建立多层规划模型,最后利用交互式多层模糊算法进行求解.     

新建白果沱大桥拱轴系数的确定

原白果沱大桥因当地经济的发展及下游修建水电站的影响，需拆除重建。文章就设计过程中拱轴系数的比选情况进行了说明。     

PEAK COVARIANCE STABILITY OF A RANDOM RICCATI EQUATION ARISING FROM KALMAN FILTERING WITH OBSERVATION LOSSES

We consider the stability of a random Riccati equation with a Markovian binary jump coefficient. More specifically, we are concerned with the boundedness of the solution of a random Riccati difference equation arising from Kalman filtering with measurement losses. A sufficient condition for the peak covariance stability is obtained which has a simpler form and is shown to be less conservative in some cases than a very recent result in existing literature. Furthermore, we show that a known sufficient condition is also necessary when the observability index equals one.