干涉条纹计算机图象处理系统的实现

本文介绍了一个用计算机数字图象处理技术实现激光干涉条纹的自动处理和识别，进而实现高精度几何量测量的系统。该系统处理速度快、精度高、操作简单。

多媒体计算机安装及使用经验点滴

多媒体计算机安装及使用经验点滴魏华中科院成都计算机应用研究所数理室四川成都（６１００４１）刘雷激中科院成都山地灾害与环境研究所四川成都（６１００４１）随着计算机市场的蓬勃发展，越来越多的用户开始安装和使用多媒体计算机。在安装和使用过程中也产生了不少的...

软件可靠性预测技术研究

首先分析多种软件可靠性预测模型,指出其不足;充分考虑了模块内复杂度和模块间关系以及改错能力对可靠度的影响后,提出一种正交体系结构下基于Markoff链的软件可靠性定量分析方法。该方法考虑了复杂度、开发能力、修改能力和使用频率对软件可靠性的影响,使用时对数据的要求不严格,易满足,可用于软件开发中后期。

基于知识的企业信息集成模式研究

知识型企业将成为未来企业运作的主流模式 ,本文提出基于知识的企业信息集成模式 。

几何定理并行验证算法研究

几何定理证明的数值验证法以数值计算代替符号计算来提高效率,但是在实际应用中对复杂命题的解题效率还存在问题。该文尝试用并行计算方法来提高算法效率,分析了MPI编程模型下的任务划分、通信组织、任务调度等问题,并在MPICH2下实现了数值并行验证算法,对算法的并行性能指标进行了测试,得到了较好的结果。

消息传递模型的并行性能研究

消息传递模式因其通用性、可描述性、易于调试性和高性能的优点在并行程序设计中得到广泛应用.以MPICH 2构建并行计算环境下对消息传递模式的点对点性能、组通讯性能进行研究,将网络并行计算系统中的性能指标模型化,以期对分析整个系统的并行性能提供帮助.

基于降维的并行符号行列式计算

为了更有效地计算科学与工程领域所涉及的大量符号行列式计算,基于降维算法和并行行列式计算,呈现了一个混合的符号行列式计算算法。新算法将多变元的符号行列式转化为仅有两个变元的并行行列式计算。更重要的是,新算法大大提高了原并行算法的并行度。实验结果表明,新算法有效地减少了中间过程的膨胀,因此更能处理多变元的且阶数较高的符号行列式。

泥石流冲击力研究

泥石流冲击力是许多工程结构破坏的主要因素，但泥石流冲击力的计算还未有适当的方式。本文通过对泥石流冲击力实测资料的分析和处理，得到了泥石流冲击力频谱特性曲线，并利用此曲线阐明了泥石流工程结构设计中如何计算冲击力的问题。

基于遗传编程(GP)与键合图的机电系统自动设计

提出一种基于遗传编程与功率键合图的机电一体化等多领域系统的自动设计方法。本方法的优点在于其开放式的结构搜索,以及同时进行的参数优化搜索。这种基于进化计算和系统仿真的自动设计方法给传统的机电系统的创新设计提供了新的思路,同时对改进各种现有设计方案也具有广泛的应用潜力。

ZigBee技术在煤矿安全监测中的应用

提出了以ZigBee技术为基础组成无线传感器网络,并将其应用于煤矿井下环境的安全监测系统中。该系统用于监测煤矿工作环境的各项指标,收集必要信息,将有效信息传送到监测中心进行数据分析,从而对煤矿井下作业环境进行实时监测。实验结果表明,该无线传感器网络充分考虑了系统的需要,组成的安全监测系统运行良好,能达到预期要求。

基于知识的集成产品设计与制造

基于对知识管理和CAD/CAE/CAPP/CAM集成的关系分析 ,重点研究了基于知识的CAD/CAE/CAPP/CAM集成技术体系结构、集成平台体系结构 ,基于知识的CAD/CAE/CAPP/CAM集成的关键技术以及基于知识的CAD/CAE/CAPP/CAM集成系统中的知识管理策略。

面向图像的调色板技术

本文探讨了微型计算机彩色图像显示中的调色板问题,分析了目前常见的调色板设计方法,尝试提出面向图像的调色板设计,并进行了相应算法的设计、分析和改进,介绍了这种技术的实际使用效果。

植物生长的形态与生理并行仿真模型

基于L-系统,构建植物形态结构与生理并行仿真模型。模型以L-系统字符重写迭代机制为基础。定义规则字符F所代表的枝条节间为基本生长单元对象,将植物体抽象映射为基本生长单元链表集合。链表中F字符寻找其直接前继字符进行生长状态标定,使抽象链表成为植物生长状态链。在植物生长周期内,将生物量生成分配模型同L-系统生长的拓扑模型耦合,实现植物生长的结构—功能模型互反馈仿真。以幼龄杉木植株为实验对象,在VC++编程平台下进行结构-功能模型耦合程序实现,在Open GL图形渲染环境中完成结果可视化。提出的模型对于忠实于植物基本生理活动规律的植物形态仿真具有一定的刻画能力。

平面代数剖分样本点临界点算法

侯晓荣给出了寻求平面代数剖分样本点的临界点算法 ,这较惯用的柱形代数分解 (CAD)算法 ,其效率较高 .基于侯晓荣的算法 ,作者对有无界分支的情形 ,采用了球极变换 ,将其转化为有界分支 ,再利用临界点算法来求样本点 .

一类不确定时滞系统的变结构控制

本文针对不确定输入时滞系统，提出了一种具有滑动模态的变结构控制。先把系统变换成形式上不含时滞的系统，再据变换后的系统设计切换函数和控制律。用切换函数使滑动模态渐近稳定，用变化的不连续控制保证滑动模态的存在和削弱抖振。最后，通过一开环不稳定的不确定系统仿真，验证本文的方法是有效的。

一种网络协议的标准化测试方法——钳形渡口测试法

中科院成都计算机应用研究所在国家自然科学基金和“七·五”攻关项目的研究中,在1985年提出的“渡船原理”基础上,引入了“钳形渡口”的新概念。本文全面地讨论了与钳形渡口测试法有关的各个方面,分析了它对网络协议标准化测试的冲击。

Lotka-Volterra系统与Kolmogorov系统极限环的存在性与中心焦点的算法化判定（英文）

本文得到Kolmogorov系统为中心的充分条件.对三维Lotka-Volterra系统和Kolmogorov系统之间的关系进行探讨.通过研究Kolmogorov系统极限环的存在性,得到三维Lotka-Volterra系统极限环的存在性.

SYBASE数据库系统的备份和恢复

本文主要讲述了在ＳＹＢＡＳＥ系统中如何对数据库进行备份和恢复。即如何利用ＢａｃｋｕｐＳｅｒｖｅｒ对数据和日志进行定期的备份和整理，如何处理年接转问题。

应用规划技术设计ICAI系统

本文介绍了一种设计ＩＣＡＩ系统的技术－规划技术，提出了系统的组成、各部分划分及功能，并结合实例模拟了一个ＩＣＡＩ系统的设计与实现过程。

补偿时滞特性的智能采样方法

从提高对含有较多有用信息的数据的利用角度出发,提出了智能采样环节,以补偿被调过程的时滞特性。该智能采样环节在线实时地识别输入数据的包含的有用信息,并据此制定采样策略。