标准单元测试环境的CAD二维图形自动判别技术研究

针对一种标准单元模式的CAD二维图形自动评判技术进行了研究,解决了批量CAD测试图形自动打开、图形数据自动采集、评判、记录、显示、储存、查询、输出等一系列复杂问题,为CAD技术人才培训和考核提供科学的测试系统。     

大比例尺微机辅助成图系统的研制及其应用

大比例尺微机辅助成图系统ＬＣＭＡＰ４．５是一个综合的微机辅助成图系统，可在ＡｕｔｏＣＡＤ或ＭｉｃｒｏＳｔａｔｉｏｎ图形环境下工作，可以完成野外数据采集，现场微机自动编辑，室内绘制地形图的一体化工作。该系统中建立了观测资料，坐标成果数据库与图形数据库的对应关系，解决了ＡｕｔｏＣＡＤ图形环境与Ｍｉｃｒｏ Ｓｔａｔｉｏｎ图形环境的衔接，实现了２Ｄ与３Ｄ的转换和图形数据库的自动管理，ＬＣＭＡＰ４．５也为土     

大比例尺微机辅助成图系统的研制及其应用

大比例尺微机辅助成图系统ＬＣＭＡＰ４．５是一个综合的微机辅助成图系统，可在ＡｕｔｏＣＡＤ或ＭｉｃｒｏＳｔａｔｉｏｎ图形环境下工作，可以完成野外数据采集、现场微机自动编辑、室内绘制地形图的一体化工作。该系统中建立了观测资料、坐标成果数据库与图形数据库的对应关系，解决了ＡｕｔｏＣＡＤ图形环境与ＭｉｃｒｏＳｔａｔｉｏｎ图形环境的衔接，实现了２Ｄ与３Ｄ的转换和图形数据库的自动管理．ＬＣＭＡＰ４．５也为土地管理、场地立体管理、房地产管理提供了有力的工具．     

桥梁固有模态的识别

介绍了所编制的实桥环境随机振动测试数据处理及固有模态识别程序ＥＤＰＦＤＭ，该程序以频域法为基础，可对经实桥分组环境随机振动测试面得到的大量数据进行快速自谱、互谱及相位差和凝聚性分析，从而识别出桥梁的固有模态有对应的结构阻尼比的估计范围，以香港汲水门大桥固有模态环境随机振动测试为实例，结合用ＭＳＣ－ＮＡＴＲＡＮ通用程序的模态分析结果，证明了程序ＥＤＰＦＤＭ的效率和可靠性。     

双极型晶体管GP模型参数自动提取系统

在叙述晶体管模型参数提取原理的基础上,着重介绍了自制晶体管ＧＰ模型参数自动提取系统的工作原理．该系统通过计算机控制实现数据自动采集、采用模型参数总体优化提取方法提取晶体管ＧＰ模型参数．运用该系统对ＭＪＥ１３００５晶体管进行参数提取及ＰＳＰＩＣＥ模拟,模拟结果与器件外特性测试结果相符合     

双极型晶体管GP模型参数自动提取系统

在叙述晶体管模型参数提取原理的基础上,着重介绍了自制晶体管ＧＰ模型参数自动提取系统的工作原理,该系统通过计算机控制实现数据自动采集,采用模型参数总体优化模型方法提取晶体管ＧＰ模型参数,运用该系统对ＭＪＥ１３００５晶体管进行参数提取及ＰＳＰＩＣＥ模拟,模拟结果与器件外特性测试结果相符合。     

成套电器面板计算机辅助设计与制造系统

成套电器面板计算机辅助设计与制造系统ＪＤＰ－ＣＡＤＡＭ是一个ＣＡＤ与ＣＡＭ集成数控自动编程系统，在ＣＡＤ部分，利用人工神经网络，输入细表，可以实现面板的自动布置，并自动形成开孔图，在ＣＡＭ部分，读取面板开孔图后，系统自动选择加工刀具和确定加工路线，自动生成ＮＣ程序并用动画模拟的方法校核其正确性，文章在总体概括ＪＤＰ－ＣＡＤＡＭ系统的基础上，重点介绍了数控自动编程部分的功能及实现方法。     

微机在非电量测试系统中的应用

本论述了通过开发一套微机辅助测试系统，利用此系统可进行测试数据的自动采集与分析处理，同时简要地介绍了数据采集与处理软件。     

控温器与电加热器微机监控测试系统

本文介绍由Ｚ８０ＡＣＰＵ组成的工控机监控测试系统，该系统利用温度传感器，温度变送器，电压电流互感器和变送器以及接口电路自动进行数据采集，和微机构成闭环监控系统，实现控温器和电加热器电气性能动态特性自动控制和测试。     

FPGA逻辑资源测试图形自动生成方法

提出一种通用FPGA逻辑资源测试图形自动生成方法.建立了可编程逻辑单元CLB的测试模型,提出了FPGA的测试配置集的自动生成算法,在测试配置集的基础上得到了具有通用性的,高故障覆盖率且测试时间短的测试图形.     

拟压缩映射的公共不动点定理

研究了拟压缩映射不动点存在的问题，得到了四个映射公共不动点存在的条件和映射列不动点存在的条件．     

λ-超凸度量空间中可交换非扩张映射的不动点定理

给出λ-超凸度量空间中有限个可交换非扩张映射的公共不动点集及一定条件下任意个可交换非扩张映射的公共不动点集的λ-超凸性(λ＜2),并获得一些更一般的不动点定理及一个重要反例.所得结果推广了一些已知的结果.     

隐压缩映射的公共不动点定理

在弱相容和不相容映射的隐压缩条件和积分型压缩条件下,给出一些新的隐压缩条件,并证明了一些新的不动点定理.     

超凸度量空间中的不动点定理

研究超凸空间中非扩张映象及连续映象的不动点、近似不动点的存在性,推广了部分现有的结果.     

概率度量空间中一类映射的非唯一不动点定理

在非阿基米德概率度量空间中研究了一类新的Ciric-Altman型映射不动点的存在性.首先,在一定条件下建立了新的非唯一不动点定理;其次,作为特例在度量空间获得了Ciric-Altman型映射不动点的存在性定理;最后,在两个非阿基米德概率度量空间中对Ciric-Altman型映射不动点作了讨论.所获得的存在性定理在很大程度上推广和改进了现有文献中的相应结果.     

Pr紧映射的正不动点与固有值

本文利用锥的拟正规常数与P_r紧映射的不动点指数性质讨论了P_r紧映射的不动点指数计算,在一定的边界条件下得到了某些不动点定理与固有值存在性定理,推广了若干已知结果。     

关于拟非扩张映像族的强收敛定理

引入新的杂交投影迭代算法,用来构造Hilbert空间中拟非扩张映像族的公共不动点.利用所提出的杂交投影迭代算法证明了拟非扩张映像族的公共不动点的强收敛定理,所得结果是近期相关结果的改进。     

一类一维不连续分段光滑映射的加周期分岔

本文讨论了一类一维不连续的非线性分段光滑映射的动力学行为,得到了其不动点存在和稳定时参数所满足的条件;讨论了其形如$A^{m-1}B$的稳定$m$-周期轨($m\geqslant2$)的存在性,得到了此类周期轨存在及稳定时满足的参数条件,并进一步讨论了这些周期轨的倍周期分岔和鞍结点分岔现象。     

有限个广义渐近非扩张映射的公共不动点逼近

给出了一个具有误差项的逼近有限个广义渐近非扩张映射公共不动点的多步隐式迭代格式,在适当条件下证明了该迭代格式收敛的充分必要条件和强收敛定理.所得结论推广并改进了该领域内的一些最新结果.     

离散的扩充BVP振子的分支研究

Nishiuchi在经典的BVP振子的基础上提出了扩充BVP振子,并通过数值模拟分析了系统的复杂动态.有关文献已经讨论了连续的扩充BVP振子的复杂性.作者致力于离散的扩充BVP振子的研究,利用稳定性理论和分支理论,首先分析出系统存在两类不动点,并分别讨论其稳定性条件,其次,对原点不动点随参数变化产生的分支进行了详细的讨论,得出系统局部发生Hopf分支、Pitchfork分支的条件.随之,对非原点不动点的Hopf分支曲面进行了分析,最后,通过对振子进行数值模拟,验证了理论结果.