【摘 要】
：
范畴数据类型可以看成是抽象数据类型的扩充,它的对象就是封装了数据表达式以及涉及同态操作的控制流的集合.因此同态的关系是构造范畴数据类型关键,但是,在数据类型中有些操
【机 构】
：
西安建筑科技大学管理学院,西安建筑科技大学信控学院
论文部分内容阅读
范畴数据类型可以看成是抽象数据类型的扩充,它的对象就是封装了数据表达式以及涉及同态操作的控制流的集合.因此同态的关系是构造范畴数据类型关键,但是,在数据类型中有些操作并不是同态操作.本文扩充了范畴数据类型中同态思想,得到了范畴数据类型中几乎同态的理论基础,同时我们通过例子说明了同态方法不能解决的并行计算问题可以用几乎同态的方法来解决.总之,在元组元素的运算上几乎同态问题比同态问题更复杂些,并且它扩充了范畴数据类型变换的应用范围.
其他文献
中国公司上市以后，业绩断崖式下滑，现金量疯狂下降流向不明，上市高门槛、退市过程不完善和治理不佳是重要原因。
对喷漆漆层发生脆弱现象的原因进行了详细分析，阐明它是由于施工环境温度太低所致，并通过对比试验说明，未除油或除油不净所造成的漆层脱落和施工温度低造成漆层脆弱的区别。
当前,美国国会参众两院正在对《专业投资者公平投资法案》(Fair Investment Opportunities for Professional ExpertsAct)的议案进行审议、论证,意在对美国《1933年证券法》
近日，网文《“大爷大妈”不是中国股市主角》《究竟谁在主宰A股？真的是大爷大妈吗？》中，引用《中国家庭金融调查报告》，论证“投资股市的中国家庭，真实占比很可能比11％低得多”，同时
房地产销售数据和投资、待售面积与投资之间的常规关系和时滞规律在这一轮房地产投资周期的运行中被打破。正如经济增长速度从一个稳态跳跃到下一个均衡，
10月1日，人民币正式被纳入国际货币基金组织（IMF）特别提款权（SDR）货币篮子，正式加盟美元、欧元、日元和英镑，成为“国际储备货币俱乐部”的一员。
利用动态应力-应变关系及其推广的Masing加卸载准则,考虑土体在地震等产生的不规则加载条件下的非线性滞回特征,将增量法与相应场地地震线性反应解析解相结合,提出了该动力非
21世纪的中国世界瞩目。随着城市化进程的发展及城乡一体化的建设，城市城际交通的建设是构建和诣社会．促进国民经济增长的重要保障。党中央提出了“十一五”规划的重大目标：加快
本文从权重优化的角度来实证SmartBeta组合在A股市场上的效果，在以上证50指数为基准的例子中，几种不同的SmartBetaS~权方式，包括等权组合（EqualWeight）、最小方差组合（MinimumVaria