普遍声逆散射微扰论与形式参数展开法

使用第一作者提出的形式参数展开法给出了在Ｂｏｒｎ 和Ｒｙｔｏｖ 变换下的有限形式声衍射层析成像理论算法．所给出的Ｂｏｒｎ 变换下的有限形式重建公式对散射体的要求比较松,适用于一类中强散射情况,而且计算量也不大．Ｒｙｔｏｖ 变换下的有限形式重建公式,因涉及广义散射,所以Ｓｏｍ ｍ ｅｒｆｅｌｄ 辐射条件不再成立,用它进行重建仍有很大困难．本文还给出了单频任意波阵面入射波情况下更普遍逆散射微扰论,包括Ｒｙｔｏｖ 变换下积分形式声逆散微扰理论．     

形式复环上的规范内积模

考察内积模的内积象性质。抽象出形式复环与Ｇ·Ｓ同构概念，并给出形式复环一些判定。     

Evaluation Model of System Survivability

This paper puts forward a survivability evaluation model, SQEM （Survivability Quantitative Evaluation Model）, based on lucubrating the main method existed. Then it defines the measurement factors and parses the survivability mathematically, introduces state change probability and the idea of setting the weights of survivability factors dynamically into the evaluating process of SQEM, which improved the accuracy of evaluation. An example is presented to illustrate the way SQEM works, which demonstrated the validity and feasibility of the method.     

Hurwitz同余定理

建立了简明的Hurwitz定理,并考虑了它在简化已有结论的证明和创立大量同余式方面的应用.它例示着数学研究的模式性.     

C编译器对函数调用的编译及应用

介绍C编译器对函数调用的编译及由此产生的一个应用，设计格式输出函数。     

HDLC通信控制器及规程软件的实现

本文介绍HDLC通信控制器及HDLC规程软件的实现原理、方法和设计过程。由于采用了先进的协定形式化技术和层次化结构,使研制的通信控制器具有优良的性能。     

形式语言文法在加密技术中的应用

描述了形式语言文法应用于对称式密码和非对称式密码2种加密体制的实现原理,并分别给出了运用形式语言文法加密的简单实例.     

基于属性偏序表示原理的经方方证研究

方证研究是中医领域研究的热点,但方证之间数据量大,复杂度高,传统的数据挖掘方法面对海量的中医数据显得力不从心.随着大数据时代的到来,大数据的理念和技术为中医知识的充分研究带来机遇.本文基于形式概念分析的属性偏序表示原理,运用属性偏序结构图揭示方证的特征症状,对挖掘中医经典的科学内涵、促进学术创新有一定的借鉴价值.     

基于进程代数WS-CDL交互模式建模研究

基于WS-CDL的编排是从全局视角描述Web服务交互功能,但其缺乏形式化语义。基于进程代数提出了PA4WS(Process Algebra for WS-CDL)来描述WS-CDL的形式化语法和语义。相比其他相关工作,PA4WS给出了WS-CDL编排的工作单元建模、基于信息对齐交互模式和异步交互建模。最后,通过一个例子给出了PA4WS带来的好处。     

7号初等元胞自动机生成的时间序列的复杂性分析

使用禁止字理论、计算机搜索和符号动力学的方法对7号初等元胞自动机生成的时间序列从形式语言的角度进行复杂性分析,确定了禁止字集及其Chomsky层次,确定了演化语言的一个精简的Chomsky层次,并由此得到了时间序列的完整描述.