声光效应拉曼-内斯方程矩阵级数解法及声光调制器优化设计

提出一种求解正常声光相互作用拉曼 内斯 (Raman Nath)方程的矩阵级数解法 ,该解法直观方便且具有普遍性。计算结果表明 ,对Q =4 1π ,Bragg衍射的效率只有 97 5 % ;对非对称入射 ,以往的Raman Nath近似解误差较大 ;指出提高Bragg衍射效率的有效途径在于提高声光频率比并给出计算声光器件最优长度的计算公式。     

等离子体法制备碳化硅超细粉末研究

本文采用直流电弧等离子体法合成β－ＳｉＣ超细粉末，产品纯度大于９７％，平均粒径范围０．０５～０．５μｍ产率１ｋｇ／ｈ，此外，对其工业开发前景作了展望。     

吸收对准相位匹配线性电光效应的影响(英文)

研究吸收对准相位匹配线性电光效应的影响,得到适用于吸收介质的准相位匹配线性电光效应的耦合波方程及其解析解.计算结果表明,吸收不但削弱光的强度,且影响o光与e光之间的电光耦合.当o光与e光的吸收系数不同时,由于它们之间的电光耦合,总输出光强随外加电场变化而变化.研究结果可用于吸收介质的电光器件设计.     

一类并发实时系统的自动验证

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索这个空间是不现实的.该文引入了一个等价关系来验证一个由多个实时自动机通过共享变量组成的并发系统是否满足一个线性时段特性.同时,还引入了格局之间的兼容关系来避免对状态等价类空间的穷尽搜索.基于这两个关系,文章提出了一个算法来验证是否一个实时自动机网满足一个线性时段特性.实例研究显示,此算法在某些情况下比其他一些工具有更好的时间和空间效率.     

实时系统软件开发过程中形式方法的作用

针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。     

场景驱动的构件行为抽取

如果构件含有冗余的功能,特别是含有用户不想要的功能,则无法被用户正确使用.因此,如何从构件中提取场景规约中所描述的用户想要的行为便是一个亟待解决的问题.给出了解决该问题的一种方法.该方法通过为构件构造一个环境,即极大包含环境,使得场景规约中所描述的所有行为可以从构件中抽取出来,并保留到该构件与其极大包含环境的组合中.同时,构件中的其他行为,即不在场景规约中的行为,被尽可能地舍弃.用接口自动机为构件的行为建模,并将用消息序列图描述的场景规约抽象为一组活动序列.构件的组合描述为接口自动机的乘积.给出了基于场景进行构件行为抽取的相关算法,并用一个实例对文中所述方法进行了说明.     

软件Agent的继承性研究

Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出了Agent继承的语义,将Agent实例的动态复制机制形式地划分为功能分割、逻辑分割、择优分割和返祖分割这4类,分析了每类分割方式的作用,并基于电子市场系统应用背景给出了相应的实例.     

对象类型与对象子类型研究

本文揭示了对象类型的子类型关系,给出对象子类型的性质及规范,分析了对象子类型关系存在的语法条件,语义条件,充要条件,阐述了对象子类型与程序精化的联系,最后给出对象子类型的推理规则。     

一种基于格局的程序分析方法

本文提出了一种自动程序分析方法，其基本思想是程序可以看成由一组基本成分根据特定的构造方式来构成，从而可以通过提供一组标准的分析方法，实现对程序的自动分析与理解．