论文部分内容阅读
本文简述了范畴论的特点,研究了它在等式演绎和语义学等方面的应用,并介绍了由范畴的通用构造的性质导出合一算法的思想。
范畴论在计算机科学中的若干应用
【摘 要】
：
本文简述了范畴论的特点,研究了它在等式演绎和语义学等方面的应用,并介绍了由范畴的通用构造的性质导出合一算法的思想。
【机 构】
：
南京大学计算机软件研究所
【出 处】
：
计算机科学
【发表日期】
：
1989年03期
其他文献
＜正＞荒漠化土地治理不仅是一个重大的生态环境问题，也是当今世界各国面临的严峻的经济社会可持续发展问题。金塔县是河西走廊荒漠化分布的主要县区之一，新中国成立以来，15万金塔干部群众响应党开展绿化运动的号召，坚持不懈战风沙抗干旱，植胡杨锁“黄龙”，经过70多年努力，使全县林地面积、森林覆盖率大大提高，荒漠化和沙化土地面积大大缩减，昔日茫茫戈壁荒漠，变成了宜居宜游的美丽绿洲，创造了荒漠化治理的“金塔模式
期刊
＜正＞李女士下班回家发现，儿子壮壮的脸、嘴角、手臂、衣服沾上了一些不明成分的有色液体。她立即扒开孩子的嘴，闻到异常的香味，再查看周围环境，发现了一颗破损的洗衣凝珠。李女士意识到孩子误食了洗衣凝珠，紧急送医抢救。经过洗胃等治疗，壮壮的各项指标正常，没有造成严重后果。
期刊
所有科目教师的课堂教学,最重要的都是课堂教学的有效性。初中的音乐课作为一门培养初中学生艺术修养的学科,理应成为初中阶段课堂教育教学的重要学科,但是,往往被老师和学生们所忽略,导致课堂教学效率萎靡不振。如何提高初中音乐课堂教学的效率,实现音乐课堂的高效性,是每一位音乐教师面临的难题,解决问题的措施之一就是课堂教学中教师要理顺教师和学生的民主平等关系,做到以学生为主体,把课堂自主权还给学生。让学生在自
保持手卫生是感染防控的重要策略,但是如何提高其依从性成为预防传染性疾病和减少医疗机构获得性感染的一大挑战。以行为科学为基础的手卫生助推干预以更“隐性”的方式将洗手转变为一种可自动触发的行为习惯,弥补了以知识分享和健康宣教为主的传统手卫生干预策略的诸多局限性。基于影响机制的不同,手卫生助推干预策略可分为提供决策信息、优化决策选项、影响决策结构、提醒决策方向4个大类的框架体系。多模式助推策略的有效性也
本文关注基于VR技术的沉浸式交互影像设计与制作问题,以明长城板厂峪段杨来楼空心敌楼为基础,梳理基于文化遗产开发沉浸式交互虚拟现实影像的一般流程、设计要点与制作方法,基于Cinema 4D与3Ds Max进行建模,基于Unity 3D进行交互设计,并从视点设计、沉浸场景、视线引导与交互动作四方面,探讨沉浸式交互虚拟现实影像及体验的制作。
孙中山的地价税思想诞生于20世纪初期,当时的中国正处于内忧外患之中,社会矛盾问题错综复杂,其中又以土地矛盾问题格外显著;一方面是农地矛盾,由于土地兼并状况严重,使得农村土地大多集中于地主手中,人民对于土地的渴望和地主对于无地农民的压榨成为农村地区的重要社会矛盾;另一方面是城市土地矛盾,在上海、广州等大城市的工业化发展进程中,中外资本对于土地的投机导致城市地区土地价值暴涨,许多投资者持有大量土地趁此
环氧丙烷（PO）嵌段脂肪酸甲酯乙氧基化物（FMEE）无凝胶化现象，冷水易溶，具有优异的渗透力和控泡能力，在洗涤过程中可缩短衣物浸泡时间，提高漂洗效率，并能达到省时节水的效果。以非离子表面活性剂PO嵌段FMEE和阴离子表面活性剂伯烷基磺酸钠PAS-80作为洗衣凝珠基础液的主要成分，通过单因素试验确定了FMEE和PAS-80按照质量比1∶1复配可获得最佳的净洗效果。
＜正＞6月17日是第28个世界防治荒漠化与干旱日，我国的主题是“携手防治荒漠化共建命运共同体”。6月16日，国家主场活动在北京线上线下举行。近年来，我国坚持依法防治、科学防治、综合防治方针，实行国家主导、地方负责、社会参与的治理模式，不断健全完善防沙治沙顶层设计，统筹推进山水林田湖草沙一体化保护和修复，持续实施京津风沙源、三北防护林、石漠化综合治理、
期刊