在大问题空间中计算电磁耦合的一种混合法

应用时域有限差分（ＦＤＴＤ）法计算大问题空间的电磁耦合和传输，建立了一种ＦＤＴＤ和拓扑网络相结合的方法混合法给出了各网络节点端口处波矢关系的总方程每个节点特性可用ＦＤＴＤ法求出以波导中多膜片结构作为数值算例，验证了方法的正确性混合法与传统ＦＤＴＤ法相比有节省时间、节省计算机内存、建模灵活等优点     

一种有效的求解无约束最优化问题的算法──负参数正定 Broyden 族方法的效能探索

提出了Ｂｒｏｙｄｅｎ族变尺度法的一种新的计算机实现方法，其中，参数θ在不同迭代中取不同的值，并尽量满足θ＜０提出了参数θ的几种选取规则，并给出利用不同选取规则形成的不同算法求解典型例题的计算结果，与ＢＦＧＳ法比较，说明新方法是一种有效的求解无约束最优化问题的算法     

云南省审计厅计算机局域网及远程通信网建设分析

通过介绍云南省审计厅计算机局域网及远程通信网案例，讨论快速交换以太网，特别是交换和路由技术的具体应用该应用先进、实用、可扩展性好     

计算机网络建设中的电子邮件系统

讨论了电子邮件系统的特点、基本工作原理和现在流行的电子邮件系统的各种协议标准,分析了计算机网络建设中电子邮件系统的设计、实施最后介绍了云南省审计厅计算机网络及远程通信网中的电子邮件系统     

多面体模型布尔运算算法及其稳定性

布尔运算算法是实体造型技术的核心之一，它能否得到实用关键在于其稳定性如何本文提出一种布尔运算算法，并对算法的稳定性进行了研究分析该算法已在国家八五＂攻关课题典型数控机床计算机辅助工业造型设计系统＂中得到成功应用．     

一种用于旋转机械振动故障诊断的专家系统

介绍了旋转机械的振动诊治方法,并在振动理论及振动故障诊断理论的指导下,用结构分析法建立了一种旋转机械振动故障计算机诊断系统     

A real- time holographic interferometry for quantitative analyzing out-of-plane displacement

用实时全息法分析多层陶瓷复合传感器的表面法向位移量当复合传感器在受激励后，表面上各点相对受激励前的状态会产生位移，从而形成干涉条纹用摄像机记录这个过程，利用像分离器把干涉图像传输到计算机中，按像元的位置和强度以一定格式存储对存储图像的处理过程如下：数字化、滤波、二进制处理、筛选、定级后分成不同二维像矩阵库，从而进行数值和形象化处理最后的矩阵生成表面位移量的三维投影图本文所提供的两幅三维位移图，是同一复合材料的两个不同位置传感器受激励前后的位移变化所测得的最大法向位移为１３２９ｎｍ     

CAD/CAPP集成专家系统中工艺尺寸的计算

在已开发的齿轮类零件ＣＡＤ／ＣＡＰＰ集成专家系统的基础上,针对零件轴向工艺尺寸计算问题,论述了计算机辅助工艺尺寸计算模块的设计方法、构成及工作原理,并重点介绍了用图解追踪法求解工序尺寸以及工艺路线建模的方法上述方法不仅适用于齿轮类零件,同时也适用于其它的如轴类、盘、套类零件的工艺尺寸计算问题     

减震器特性的统计模拟研究

对减震器特性提出了一种新的模拟方法———统计模拟法叙述了该方法的具体步骤，给出了其应用实例，分析了其使用效果及其意义     

舰船航态极短期预报的非线性方法

针对舰船航态的非线性特征，提出了采用非线性自回归模型描述舰船海上航行极短期运动过程的新方法利用正交化的手段得到了辅助模型，进而通过对辅助模型的辨识推导出舰船航态超前多步预报器仿真结果表明本文提出的预报方法比线性自回归模型描述的预报方法有效，能提高预报精度、加长预报时间另外，本文给出的非线性预报器的辨识方法，可以加快预报时计算速度，适于进行实时预报     

可重构媒体处理器测试程序生成技术

可重构计算是媒体处理器的发展方向,功能测试是可重构媒体处理器设计中的一个难点。本文针对可重构媒体处理器的功能测试问题,提出了一套完整的测试程序生成方法,本方法采用遗传算法以提高测试程序覆盖率。本文所提出的方法已被应用到可重构媒体处理器的设计实践中。实验结果表明:本方法能够有效地生成测试程序,所生成的测试程序的覆盖率明显高于传统方法生成的随机测试程序的覆盖率。     

基于ASP的程序切片

针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法.ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题,基于ASP的切片方法,可以把切片的查找转化为回答集的求解.另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率.通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器(DLV、Smodels、Cmodels)的执行效搴,基于Cmodels的改进算法的运行效率是最高的.     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

逐步求精的一种模型

提出一种支持程序开发的结构化方法．该方法以一种简单的问题分解策略为基础，比Ｗｉｒｔｈ－Ｄｉｊｋｓｔｒａ的自顶向下逐步求精方法更利于面向目标的程序设计．由该方法可知，一个程序可经一系列求精而开发出来，每一步求精都能为相应的最弱前置条件序列建立后置条件．这种策略使情况分析减少到极限，简化了结构化程序的证明，并保证了程序结构和数据结构之间的对应．     

DOS程序中严重错误的简单处理

给出了重写ＤＯＳ严重错误处理程序的一般方法和相关信息，同时，鉴于重写该中断程序的难度，介绍了一种简单可行的方法，籍此，严重错误处理程序可以得到极大简化，其他工作转由应用程序实现．     

基于ASP的程序切片

针对程序切片在程序理解和程序测试方面的应用,提出了一种基于ASP的程序切片方法。ASP是一种声明性问题解决方法,它可以高效地描述程序切片问题。基于ASP的切片方法,可以把切片的查找转化为回答集的求解。另外,对传统数据流切片算法进行了改进;改进后的算法可以减少重复计算,提高了运行效率。通过实验表明了此改进法的正确性和高效性;并且比较了3种ASP求解器（DLV、Smodels、Cmodels）的执行效率,基于Cmod-els的改进算法的运行效率是最高的。     

基于遗传算法的二进制程序模糊测试方法

针对当前二进制程序模糊测试中基于变异生成的测试数据的执行路径重复率高导致代码覆盖率低的问题,提出基于遗传算法的二进制程序模糊测试方法.该方法将测试数据转换为遗传算法中的个体,利用Quick Emulator对二进制程序进行插桩以获取程序执行路径,使用基于程序执行路径的适应度函数指导遗传算法中的进化过程,使生成的测试数据能够覆盖更多的程序执行路径.实验结果表明,该方法在相同时间内达到的代码覆盖率平均比模糊测试工具American Fuzzy Lop （AFL）高25.4%.同时,该方法在漏洞挖掘实验中发现了测试程序中的所有崩溃漏洞并且其效率至少比AFL提高10%.该方法能够用于提高模糊测试的漏洞挖掘效率.     

一种工程图参数化绘图方法的研究

根据工程图的特点,提出了一种参数化的绘图方法,把参数化绘图过程分为两个部分,即绘图控制和图形参数化信息的提取。该方法比较适用于建立参数化图形库和批量绘图工作。     

基于OpenCV的运动目标检测与跟踪

提出了一种基于OpenCV的视频应用程序的开发方法。将Intel公司开放的OpenCV源代码作为开发的视频应用程序的基础函数库,改写或调用其中的函数,可根据需要用C＋＋语言开发视频应用程序,从而克服了视频应用程序开发周期长、效率低的缺点。给出了部分OpenCV具体的设置方法和过程,并通过利用OpenCV编写的运动目标检测与跟踪的应用程序验证了该方法的有效性和可行性。对图像进行形态学去噪、平滑滤波处理和二值化阈值分割等图像预处理,获得二值化黑白图像。通过轮廓提取和跟踪检测得到车辆和人的外轮廓,进而实现运动目标的跟踪。在VC＋＋6.0环境下,利用OpenCV编程实现了此方法。实验结果表明,该方法可行。     

SVTJ-2500型涂胶机数控系统的开发

基于二自由度平面机器人结构特点，对SVTJ-2500型涂胶机的控制系统，提出了一种二自由度平面机器人结构反向运动求解的方法，并采用可扩展指令集程序设计方法实现了数控程序解释器，提高了程序的可移植性和可扩展性。