首页>中文会议>工业技术>机械与仪表工业>1998年计算机专题学术会议

1998年计算机专题学术会议

召开年：1998
召开地：重庆
出版时间： 1998-06-21

主办单位：中国计算机学会

会议文集：计算机专题学术会议论文集

会议论文

热门论文

全部论文

最新会议

更多>>

全选（0）

1.小波分析应用前景展望
- 李建平;徐问之
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文分析了小波分析一些有前景的应用领域，对小波分析在活动图像压缩中的应用作了深入探讨，并对小波分析的未来发展作了预测。
2.跨地区中心数据库系统灾难防御
- 朱征宇
- 《1998年计算机专题学术会议》 | 1998年
摘要：随着计算机网络通讯技术和信息技术的高速发展，如今在中国众多大行业或集团内都不同程度的形成了跨地区的中心数据库系统，而且对该行业的发展起作致关重要的作用。然而各种人为或自然灾难极大地威胁作中心数据库系统的工作，一旦防犯不周，将给企业造成不可估量的损失。虽然目前国际上已有众多较为成熟的高可靠热备份技术，但普遍对通讯要求极高，中国多数企业恐难达到。该文将探讨适合中国国情的能有效降低通讯要求的冷备份技术，能较有效地防御各种灾难。
3.中介逻辑十五年
- 朱梧(木贾);肖奚安
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文从构造和发展中介逻辑的思想背景与原则、数学背景与相关方案的实施情况以及中介逻辑在计算机科学中的应用前景等几个方面阐述了开始研制中介逻辑至今年１５年来的发展概况。
4.CMOS与ECL电路的开关级设计
- 吴训威
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文在分析数字电路的传统设计理论中存在问题的基础上，提出了使用开关变量与信号变量来分别描写数字电路内部元件的开关状态与电路信号等二者，并由此出发建立了开关－－信号理论。根据具体数字电路内部的工作原理及信号的电压表示与电流表示，该文分别对ＣＭＯＳ与ＥＣＬ等二种电路进行了讨论，并发展了相应的开关级设计技术。设计实例表明，由于设计中以开关晶体管为构造单元，因此开关级设计的电路要比传统的门级设计具有较简单的结构。
5.关于计算科学中的形式方法
- 闵应骅
- 《1998年计算机专题学术会议》 | 1998年
摘要：近年来计算机硬件和软件中发展的几个人所共知的故障使人们对计算机系统可信性的问题，提高了警觉。计算科学中的形式方法在硬件、软件设计中进一步被重视。但是，形式方法的威力是否真的如此强大，置疑者不少。该文遵循这一线索，用一些实例来说明作者的一些看法。
6.演化计算的算法分析
- 童(兆页)
- 《1998年计算机专题学术会议》 | 1998年
摘要：演化计算是一种受生物自然演化过程启示而提出的计算方式。特别适合于求解非良结构的、非线性的、随机的乃至具有混沌性质的各类信息处理问题。该文着眼于生物个体或群体在自然生态环境中的自适应优化机制，提出了一个生态学演化计算模型及其相应的通用演化算法。文中对这一通用算法的基本性质进行了分析，论述了演化计算的潜力及其应用前景，指出针对具体问题实现演化算法时必须解决的算法设计问题。
7.容错技术在CIMS工程中的应用
- 吕志华;陈冰
- 《1998年计算机专题学术会议》 | 1998年
摘要：中国的企业为了在激烈的国际市场竞争中求生存与发展，纷纷在各自企业中实施了ＣＩＭＳ工程。而为了使ＣＩＭＳ工程安全可靠地运行，必须采用容错技术。该文提出了在ＣＩＭＳ工程中采用三级容错技术的思想，并详细介绍了三级容错技术的方案，提出了容错器的设计算法，由于容错器与原系统的程序代码分开，使得各企业只花很小的代价即可获得高可靠性的ＣＩＭＳ工程。
8.逻辑验证自身的特点及其利用
- 杨志娟;梁业伟;石茵
- 《1998年计算机专题学术会议》 | 1998年
摘要：文中提出了逻辑验证自身的特点：它的对象设计，可以利用设计中所有的信息资源，可以深入设计内部分而治之。用一个１６×１６位的乘法器为例说明这些特点的利用，使得原来很难的逻辑验证工作变得容易多了。
9.TMN的网元管理层及开发方法
- 王宽全;程代杰
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文分析了ＴＭＮ网元管理层的几个关键问题，提出了使用开发工具进行ＴＭＮ应用开发的方法。该文还给出了作为ＴＭＮ开发工具应具有的功能，并介绍了当前国际上较典型的几个ＴＭＮ开发工具。
10.双核淋巴细胞的小波神经网络识别
- 易东;李辉智;何中市
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文提出了双核淋巴细胞形状识别的七个特征参数，采用小波神经网络实现图象目标的识别。通过计算机仿真实验，对不同目标的识别，证明该方法是可行的。
11.径向基函数网络的分类机理及学习算法
- 吴开贵;王韶;周家启;张安帮
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文研究了径向基函数网络（ＲＢＦＮ）的分类原理，分析了ＲＢＦＮ使用正、负两类训练样本来估计判别函数的特点，并讨论了相应情况下ＲＢＦＮ输出层连接权、模式分类判别域的特点，最后设计出了变结构的ＲＢＦＮ的自适算法。
12.一类网络的可靠性分析
- 何中市;田玉芳;杨晓帆;易东
- 《1998年计算机专题学术会议》 | 1998年
摘要：在网络的结点相互独立地以常数概率失效的情况下，其可靠度定义为删除失效结点及与之相关联的线路所得到的网络连通的概率。对一类具有较小直径的网络－－ＤｅＢｒｕｉｊｎ网络，得到可靠度的界，并分析了可靠度的渐近性质。
13.基于包容原理的信息处理结构及其在神经网络中的应用
- 傅鹂
- 《1998年计算机专题学术会议》 | 1998年
摘要：提出了一类新的信息处理结构，即基于包容原理的信息处理结构。指出了此类计算结构的应当具备特点，给出了相应的理论基础，指出了在神经网络和其它方面的应用研究方向。
14.一种手持式计算机中的容错技术
- 陈蜀宇
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文以一种实际研制成功的手持式计算机系统为背景，介绍了容错技术在这种机器上的应用和实际使用效果，同时也可作为同类型机器在引入容错技术以提高其可靠性时进行借鉴和参考，在较强的实用性和推广性。
15.多值逻辑中的Sheffer函数
- 罗铸楷
- 《1998年计算机专题学术会议》 | 1998年
- 多值逻辑;
- Sheffer函数;
16.求解NP难问题的拟物拟人方法
- 黄文奇;许如初
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文提出拟物拟人方法。然后描叙要如何按此种方法为ＮＰ难问题设计出高效实用的快速求解算法。作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛及工业生产中得到了显示。
17.采用混合演化算法实现微分方程组的自动建模
- 曹宏庆;康立山;陈毓屏
- 《1998年计算机专题学术会议》 | 1998年
18.基于时态逻辑的扩充状态转换模型
- 张广泉;戎玫;沈一栋
- 《1998年计算机专题学术会议》 | 1998年
摘要：基于模型和基于逻辑的方法是并发系统形式化描述的两类重要方法，其典型代表分别是转换系统和时态逻辑，该文首先阐述并剖析这两种方法，然后基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架，引入一种将两者相结合的形式化描述方法。
19.一种高可用容错服务器的设计
- 袁由光;熊庭刚;刘志模
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文介绍了一种与通用网络服务器兼容的容错网络服务器系统的设计，重点描述了系统结构及其配置，基于硬件容错原理的实现机理和过程以及该系统的可用性评估。
20.小波分析在ICT中的应用
- 曾理;徐问之;张世清
- 《1998年计算机专题学术会议》 | 1998年
摘要：该文的工作主要分为以下几个方面：（１）研究二维母小波函数与其一维投影函数的关系，从一维母小波函数反投影构造二维母小波函数。（２）研究从ＩＣＴ图象探测边缘的小波方法，并导出从ＩＣＴ投影数据探测边缘的小波方法。（３）研究用多尺度小波分析的方法，对ＩＣＴ投影数据进行过滤降噪，然后重建ＩＣＴ图象。笔者在重庆大学ＩＣＴ中心进行了大量实验，取得了较好的效果。该文的方法也可应用于医用ＣＴ中。