论文部分内容阅读
逻辑验证自身的特点及其利用
【机 构】
：
北京工业大学计算机学院,中国科学院计算技术研究所CAD开放实验室
【出 处】
：
计算机学报
【发表日期】
：
1999年4期
【基金项目】
：
国家自然科学基金
其他文献
针对联想记忆器存在的根本的问题，除记忆的样本作为稳定状态外，还有伪状态出现，采用带有一个附加参数（即阈值）的三阶输出函数代替二阶输出函数；应用平均场理论研究该阈值在系统行为
文中提出了一种新的手写体数字识别的结构方法，将字符轮廓划分为特征片段：凸弧、凹弧、直线段、端点、洞，并由特征片段得到特征基元，构成对字符结构的完整描述．文中还提出了一种轮廓点的曲率滤波方法以及利用字符的特征基元序列测量两样本之间的相似度方法．在此基础上，提出了一个两阶段的识别方法及两种拒识准则．在第一阶段，通过基于相似度比较的分类器，对每个待识字符识别或拒识．拒识的字符进入第二阶段识别．拒识分两种
本文从金华山国家级风景名胜区的建设现状出发，通过系统分析该区的开发历史和自然与人文资源背景，提出建设其为中国道教名山和浙中旅游胜地的规划总体构思，并且提出实现这些远景
提出了一种基于Ｚ规格说明的软件测试用例自动生成方法，通过对软件Ｚ规格说明的分析，找出描述软件输入、输出约束的线性谓词，经过经性谓词转换，线性谓词到线性不等式组的转换，找出区域
目的胰腺癌是早期诊断困难、手术切除成功率低、生存期短的消化道恶性肿瘤。多数病人确诊时已无法手术切除,这类胰腺癌患者,全身化疗治疗结果也不满意,微创性介入治疗已成为