论文部分内容阅读
在ＡＧＭ系统中，对于部分收缩函数－可以确定其对应和选择函数ｒ，使Ｂ∈ｒ（Ａ⊥ｘ）当且仅当Ａ－ｘ∈Ｂ且Ｂ∈⊥ｘ，进而－满足（－７）当且仅当（ｒ７）成立，－满足（－８）当且仞当（ｒ８）成立。
AGM系统的某些特性
【摘 要】
：
在ＡＧＭ系统中，对于部分收缩函数－可以确定其对应和选择函数ｒ，使Ｂ∈ｒ（Ａ⊥ｘ）当且仅当Ａ－ｘ∈Ｂ且Ｂ∈⊥ｘ，进而－满足（－７）当且仅当（ｒ７）成立，－满足（－８）当且仞当（ｒ８）成立。
【机 构】
：
扬州师院数学与计算机科学系
【出 处】
：
扬州师院学报：自然科学版
【发表日期】
：
1995年3期
【基金项目】
：
江苏省教委自然科学基金资助课题.
其他文献
当今世界科技进步日新月异,综合国力竞争日趋激烈,综合国力竞争归根结底是人才的竞争.重庆高校能否集聚人才,能否构筑成人才高地,关系着库区发展,关系着重庆的地位与能否可持
目的研究双切口双钢板内固定术与单侧锁定钢板内固定术治疗复杂胫骨平台骨折的效果。方法选取我院骨科2016年3月~2018年1月收治的138例复杂胫骨平台骨折患者为对象,根据患者
用不同活性的碲盐，在５０％Ｋ２ＣＯ３水溶液和二氯甲烷溶剂组成的两相体系中与对苯二甲醛反应，分别得到双环氧、双烯酮和双烯类化合物。
目的探究护理干预对腹腔镜手术麻醉复苏的影响。方法选取我院2018年1月~2018年8月在本院行腹腔镜手术的患者238例。采用随机数字表将其分为观察组和对照组,各119例。对照组患
利用ε有效广义约束向量所张成的向量锥方法,通过求解一个低维的简单线性规划子问题获得一个下降可行方向,从而构造出求解某类二次规划的算法,并对算法进行了收敛性分析与数
中水回用既能缓解水资源短缺的矛盾,又可减少废污水排放污染.大连是一个严重缺水的城市,又是一个环保城市,因此实现污水资源化,发展污水再生回用,不仅十分必要,也是现实可行
目的研究低位小切口甲状腺瘤切除术与传统手术的疗效和术中出血量。方法选取2017年11月~2018年4月我院收治的甲状腺瘤患者58例作为研究对象,以入院顺序将其分为研究组(低位小
基于产品的三维特征造型 ,完成了对产品实体 STL格式文件的离散和层化 ,成功地实现了 CAD/CAE、CAD/RPM之间的数据信息交换 ,为机械产品 CAD/CAE/RPM系统的研究和开发打下了基础
证明了算法复杂性函数渐近优超等价类数学结构Ａ［Ｆ］中的分解性定理。对任意非免费算法复杂性函数类［ｆ］∈Ａ［Ｆ］及正整数ｎ，存在类［ｇ１］，［ｇ２］，…，［ｇｎ］∈Ａ［Ｆ］满足［ｇｉ］〈［ｆ］（ｉ＝１，２，…，ｎ）且［ｆ］＝Ｖｉ＝１＾ｎ［ｇｉ］。
Ｍｇ（ＣｌＯ４）２对胆甾醇光氧化反应的转化率无影响，但对产物的分布有影响，主要产物为７－ＯＯＨ，Ｍｇ（ＣｌＯ４）２促进了５α－ＯＯＨ重至７－ＯＯＨ。