1995年, 第21卷, 第05期　刊出日期：

  

• 全选
  |

论文
• Select
  Z语言模式正确性的检验

  陈晶，朱关铭，童頫　

  . 1995, 21(05): 3-9.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  软件规格说明的正确性是最终目标代码正确性的关键。本文从完全性、一致性、冗余性和类型检查四个方而对Ｚ语言规格说明加以检验，使能尽早发现错误、提高软件正确性、降低开发开销。
• Select
  开放式犯规提交协议

  董小洁，夏宽理

  . 1995, 21(05): 10-14.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  推出了可以忍受任意数目的可信结点的失职和不可信结点的失职或犯规的一族２ＰＣ协议，它们保证参与事务的（至少是）可信结点一致地终止事务，因此称为开放式犯规提交协议。
• Select
  基于思维方式的软件开发

  吴永辉

  . 1995, 21(05): 15-18.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  给出一个用于软件开发的实验性原则ＷＹＨ系统，该系统通过将两向对象的分析与设计同思维方式相结合来分析需求和设计软件，并采用分层次的功能结构图、而向对象图、操作图、类层次图和规范说明语言ＯＯＬＯ作为开发人员与用户的媒介。
• Select
  BC＋＋4．0对Windows消息事件的处理及实现

  阳道善

  . 1995, 21(05): 19.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  ＢＣＯｂｊｅｃｔＷｉｎｄｏｗｓ２．０对Ｗｉｎｄｏｗｓ消息事件的处理不再采用动态下标派遣，而是采用消息事件响应表机制。本文详细讨论了该机制的处理过程及其实现过程．
• Select
  面向对象高性能存储器管理

  卢映芳，徐公权

  . 1995, 21(05): 25.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  高性能面向对象（ｏｂｊｅｃｔｏｒｉｅｎｔｅｄ）存储器管理方法运用专用控制器ＡＳＩＣ对两级高速缓存器ｃａｃｈｅ进行管理，将中央处理机ＣＰＵ从对象地址转换和活跃对象管理的负担中解除出来．这一设计适用于高性能工作站和其他ＯＯＰ（ＯｂｊｅｃｔＯｒｉｅｎｔｅｄＰｒｏｇｒａｍｍｉｎｇ）环境．在两级高速缓冲存储器ｃａｃｈｅ和动态随机存取存储器ＤＲＡＭ的配置下，硬件能以低于２０ｎｓ的存取周期存取对象数据（包括上下限检查和保护检查）．由硬件实现伙伴算法的情况下，对象能以低于５００ｎｓ的存取周期被分配或释放．
• Select
  面向对象软件系统的测试

  丁宝康，陈莹

  . 1995, 21(05): 31-34.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  介绍面向对象软件系统的测试过程，涉及类的测试、集成测试、测试实例的继承性和测试计划的安排．
• Select
  人体表面损伤面积的交互式检测系统

  岳东剑，宣国荣

  . 1995, 21(05): 35-38.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  通过对人体表面损伤面积检测问题的分析，提出了一个能比较客观和科学地进行损伤面积检测的方法．首先将人体表面损伤的轮廓描绘下来，再将其经扫描仪输入计算机，然后采用图像处理的有关方法对扫描输入的图像进行处理，最后计算其有效包络内的面积．
• Select
  三维实体布局中改进局部最优解的冲突决策方法

  戴佐，查建中

  . 1995, 21(05): 39.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  利用博弈论中冲突决策的思想实现了三维实体布局从一个局部最优解向另一个更好的局部最优解跳跃的算法，部分克服用了统优化算法的主要瓶颈一局部最优陷井的问题．理论分析及实例计算表明，当布局问题陷入某一局部最优解时，该算法利用冲突决策策略能有效地使其跳入另一个更好的局部最优点上．通过一系列这样的跳跃，最终使布局问题获得一个高质量的解．
• Select
  工艺路线综合决策算法初探

  王立明，王东伟，刘晓刚，李寅年

  . 1995, 21(05): 43.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  研究了排序知识的表达和组织结构，给出工零件工艺路线有序集合的表达式，提出了工艺路线综合决策算法概念．采用二叉排序树的方法，调用相应的排序知识，建立了工艺决策二叉树．经中序遍历后，可得到较为合理的工艺路线。决策过程便于计算机存储，有利于解释排序过程．
• Select
  基于元特征的联想记忆神经网络

  吴福朝，张铃

  . 1995, 21(05): 46-50.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  本文作为研究神经元网络实现理解式记忆与联想总课题的一个组成部分，主要集中讨论基于元特征的联想记忆网络．利用我们在文献［２］中给出的ＦＰ学习和综合算法思想，建立此种网络模型．它与文献［２］中的聚类网络组合起来，可实现人类在求解复杂问题时所使用的分层递阶技术．
• Select
  基于神经网络的k—近邻分类器

  李伟，何永保

  . 1995, 21(05): 51.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  设计了一个神经网络结构来执行著名的ｋ－近邻分类器，神经网络的并行计算大大减少了传统ｋ－近邻分类器的计算时间，并且性能不变，已有的传统ｋ－近邻分类器的特点同样可以继承．三种减少ｋ－近邻分类器结点的修改规则同样可包含在神经网络的学习算法中．另外，本网络采用的ｋ－Ｍａｘｉｍｕｍ子网具有比“赢者独吞”更好的性质。
• Select
  利用遗传算法简化神经网络结构

  晏建军，何永保

  . 1995, 21(05): 56-61.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  讨论了如何采用遗传算法从例子中建立精简的分段线性型神经网络结构。所建立的网络结构中将只出现两类结点（神经元）：一类结点是求和结点，该结点上的作用函数是线性的；另一类结点是选择结点，该结点上的作用函数是诸如ＭＡＸ，ＭＩＮ等形式的选择函数、对于求和结点，使用遗传算法过程来获得其输入权重、输出偏正值等，从而得到该结点的输入－输出关系结构；对于选择结点，其上的作用函数是选择函数，但该选择函数的确定仍旧是较困难的，本文试图通过先建立起精简的神经网络结构模型，再在此模型上经过样本例子的学习来求得每个选择择点上的选作函数。一般地，在使用遗传算法时，应定义一个匹配函数，以便衡量染色体的“好”的程度，同时，为了加快遗传算法过程的速度，采用了一种传统的算法──单纯形法最优算法来减小搜索空间。最。后，以上海宝山钢铁总厂高炉炼铁过程中的滑料情况为实例说明了此方法的有效性．
• Select
  RISC妥协策略──仿真X86指令集

  雨百

  . 1995, 21(05): 62-67.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  主要目标在于阐明ＲＩＳＣ系统设计者的妥协策略．面对着Ｘ８６结构巨大的软件优势，ＲＩＳＣ厂商只得采用仿真Ｘ８６指令的途径，以提高ＲＩＳＣ产品的竞争力．
• Select
  桥、路由器、集中器的技术特点及其在LAN与高速光纤环网（FDDI）连网中的应用

  赵信

  . 1995, 21(05): 68-72.

  摘要 ( ) PDF全文 ( )   可视化   收藏

  从应用角度出发介绍了ＦＤＤＩ的主要部件桥、路由器、集中器与相关技术，讨论了它们在ＬＡＮ与ＦＤＤＩ连网中的应用．