面向对象建模语言AML的代数语义

ＡＭＬ语言是一种基于Ａｄａ的通用面向对象建模语言,其兼具形式化语言和面向对象图形语言的特点,并克服了现有建模语言在并发模型和不确定性描述等方面的不足。本文利用代数语义技术,着重讨论ＡＭＬ语言中与Ａｄａ９５ 中有明显不同的成份的语义,即类程序包、结构程序包的代数语义．     

教育资源语义模型研究

针对电子学习系统中实现教育资源智能搜索与整合的要求，提出了一个运用语义Web技术建立的教育资源语义模型，通过资源的内容、上下文、结构3个层次上元数据描述与相应本体的构建，可形成不同层次概念的抽象与层次结构，以实现对资源描述共享语义的理解和互操作．     

OOPN与嵌入式系统开发

提出了一种适合于嵌入式系统的OOPN建立方法，并给出了嵌入式系统软硬件协同设计OOPN模型建立实例．该模型使得复杂的嵌入式系统描述更加模块化，具有可重用性．     

软件开发中的海洋模型

提出了软件开发的海洋模型，讨论了如何将软件开发的一般模型与海洋模型相结合，给出了一个海洋模型实现的实例─—Ｈａｉｇａｎｇ系统．用ＳＯＫＭ／Ｌ语言对海洋模型进行了描述．     

无线移动信道的离散时间模型及其应用

基于慢衰落无线移动信道的统计特性，针对数字通信系统的计算机仿真要求，利用蒙特卡罗方法得到了一种无线移动信道的离散时间模型，并运用此信道模型构造了GD-OFDM系统仿真模型，研究了OFDM系统的性能．仿真结果表明，该信道模型有效地描述了无线移动信道的多普勒扩展和时延扩展的特点，在无线移动通信系统的软件仿真中具有实用性．     

基于M_(AS)的形式化数据流图的方法

由于ＤｅＭａｒｃｏ的数据流图（ＤＤＦＤ）缺乏形式化的描述方法，本文提出了一种使用综合知识表示模型ＭＡＳ来形式化描述ＤＤＦＤ的新方法．使用此方法，能方便地建立一些有关ＤＤＦＤ的知识规则，并能对ＤＤＦＤ自动进行一致性和完全性检查     

基于认证规则的加权认证可信度研究

针对认证系统的子规则和复合规则给出表示其重要性的权值．在对当前模糊逻辑中加权模型真值计算研究的基础上，提出基于认证规则的加权认证可信度模型．模型先计算单加权认证规则的可信度，再计算多加权认证规则情况下用户的认证可信度，然后与系统认证可信度门陷值进行比较，从而形成认证结论．模型比较全面地描述了认证系统中的不确定性，更好地增强系统在多种认证机制情况下的安全性．     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

面向使用的GUI软件关键测试路径选择策略

从软件统计测试的思想出发，提出了窗口导航网（WNN）模型，并通过WNN选择关键测试路径，以降低GUI软件的测试代价．提出了多种窗口和输入粒度，从不同层次上描述GUI软件，并在一定粒度上构建WNN模型．模型中的顶点对应GUI中的窗口，弧对应窗口之间的转移，各弧关联一个[0，1]区间的实数，描述转移发生的概率．使用该方法可以从用户角度建模GUI软件，建模过程简单直观，且不存在状态爆炸问题．实例分析表明，通过WNN模型能有效地获取关键测试路径．     

信息隐藏的空间概念模型构建

为弥补目前基于信息论的信息隐藏模型缺陷，充分利用信息隐藏活动离散化特点，提出了信息隐藏的空间概念模型．该模型利用集合论和矩阵空间概念对信息隐藏各元素进行了空间概念表示，同时对信息隐藏过程进行了空间转换描述，然后推导出了隐藏评价指标的定量计算公式．结果表明该模型能有效阐释现有信息隐藏技术，在隐藏系统的歼发中更具有可操作性．     

一种基于域和事件的并行计算模型

基于一对一通信的模型易导致并发操作的不自然表示．本文提出了一种基于域和事件的并行计算模型,其对象间通过广播进行交互,能有效表示各种并发操作．另外,对模型的同步和互斥表示也进行了讨论．     

提高硅光电探测器树脂封装可靠性研究

树脂封装能缩小器件尺寸、减轻重量、降低成本、促进小型化。但它的可靠性,特别足抗潮湿性差。本文通过抗潮湿性能分析,比较了几种树脂封装,发现用F S203 C十G N522封装可提高其可靠性。     

Internet网络性能实时监测关键技术研究

详细探讨了基于OWDP（One way delay and package loss protocol)网络性能监测及评价方法,提出了OWDP在实际应用中存在的时钟同步和最小资源占用问题,并采用GPS（全球定位系统）技术和Poison信息流得到解决,在此基础上,设计并实现了实时性能监测系统,实验结果表明,该系统结果CAINONET（中国高速信息示范网）性能实时监测各项要求,具有测量精度高,实时性好,配置灵活等优点。     

分布式系统的层次式命名方案设计

针对大规模分布式系统中对象迁移、网络和系统动态重构的要求,本文提出了一种层次式的命名和编址方案,它将对位置透明的标识（ＯＩＤ）和表示位置的地址（ＯＡＤ）二者结合起来标识对象．     

基于Web技术的网络拓扑图生成方法的研究

综合采用提取路由表和地址转发表的方法，对网络逻辑拓扑结构和物理拓扑结构进行自动探索，提出了用于优化显示网络拓扑图的一种显示算法，采用Java技术实现了基于Web的网络拓扑图，并对在实现过程中遇到的问题进行了探讨。试验结果表明，由此生成的网络拓扑图准确、美观、能够实现跨平台和跨区域的管理。     

R-S码快速译码算法的研究

基于ＧＦ（２ｍ ）域的傅里叶变换和傅里叶反变换,提出了Ｒｅｅｄ－Ｓｏｌｏｍ ｏｎ（Ｒ－Ｓ）系统码的一种变换域译码算法,并用Ｃ语言予以实现．与常规Ｒ－Ｓ译码算法相比,该算法运算规范,具有不用求错误多项式的根和错误值、硬件开销小、吞吐率高等优点,适合超大规模集成电路的实现．     

基于CSCW的协同编著系统的设计

讨论了计算机支持的协同工作(CSCW)的主要技术，其中重点讨论了协同编著系统设计中的并发控制技术，指出了其与传统的并发控制技术的区别。根据CSCW的基本原理设计出了一个基于Browse／Server结构的协同编著系统的系统模型。该系统模型比传统的模型更加方便了用户之间通过Internet的浏览器进行协作。     

自适应混合演化算法

为避免标准的演化算法演化速度慢，易收敛到局部极值的缺点，融合对梯度的随机模拟，免疫算子，模拟退火算法的思想，提出一种自适应混合演化算法，它在不同的演化阶段自适应的采用不同的演化算子，在演化初期具有较强的全局搜索性能，在演化中后期具有较强的精搜索性能，能迅速收敛于全局最优解；对标准测试函数的仿真结果表明，该算法具有精度高，收敛速度快，稳健性强的优点。     

凸二次规划非精确不可行内点算法

提出了凸二次规划非确不可地内点算法，该算法使用的搜索方向仅需要达到一个相对的精度，这样的搜索方向可以通过krylov子空间迭代法得到，还分析了算法的全局收敛性，并对算法中非精确牛顿搜索方向的计算进行了讨论。