一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·

软件开发质量管理体系实施阻力的根源与对策

对于某些复杂的事物,组成事物的各个部分之间的各种联系成为决定事物性质的关键因素。从这个基本点出发,对比一般工业品生产和软件产品生产的区别,分析了软件生产在构造流水线式生产的困难、开发过程中的信息传递不畅,以及信息结构日趋复杂等特点。结合我国软件业实际,总结出软件质量管理体系实施阻力的主要具体表现和根源,并提出了根据本企业特点强化质量体系、管理者推动、定期质量培训、做好思想动员等改善软件质量管理体系实施效果的相关措施。

数字化定量诊断乳腺肿瘤细胞形态学及软件制作的研究

目的:应用数字化定量诊断,克服病理医生的主观诊断,提高病理诊断率。方法:回顾性分析乳腺肿瘤100例,乳腺癌50例,乳腺纤维脉瘤50例,常规HE染色,用显微镜目镜测微尺检测,每例100个细胞,共计10000个,设乳腺纤维瘤为正常细胞。以变量加权形成函数,建立数学模式,制成软件,求出贴近度。结果:检测乳腺癌良恶性细胞的数据差异,经统计学处理有意义(P<0.01)。通过计算机统计运算求出贴近度区分点(r)=0.15。结论:数学模式的建立及软件研究具有科学性与实用性,可作为临床病理诊断的参考指标。

数字化定量诊断乳腺肿瘤细胞形态学及软件制作的研究

目的：应用数字化定量诊断，克服病理医生的主观诊断，提高病理诊断率。方法：回顾性分析乳腺肿瘤100例，乳腺癌50例，乳腺纤维腺瘤50例，常规HE染色，用显微镜目镜测微尺检测，每例100个细胞，共计10000个，设乳腺纤维瘤为正常细胞。以变量加权形成函数，建立数学模式，制成软件，求出贴近度。结果：每个恶性肿瘤的参数比良性肿瘤的参数高，两者相比有显著性差异(P<0．01)。贴近度等于0．15，贴近度大于0．15的细胞可能被认为是恶性的。结论：经实验证明，数学模式的建立以软件研究具有科学性和实用性，可以推广应用。检测乳腺肿瘤细胞的数据经统计学处理有意义。通过计算机统计运算求出贴近度区分点(r)=0．15，可作为临床病理诊断的参考指标。