排序方式: 共有20条查询结果,搜索用时 15 毫秒
11.
12.
给出拉回、集体拉回、I-拉回、广义拉回的第六等价定义,即从可表函子角度定义,并用此定义证明了函子范畴的一个有趣结果. 相似文献
13.
公选课课程内容丰富,学生量大,但学时数有限.如何在有限的时间和空间内加强与学生的互动,提高课程的教学质量? 本文以学生为中心,以学生能力培养为导向,以公选课网上资源开发和文化建设为目标,理论与实践相结合,课内与课外相结合,构建了集开放性、实用性、共享性等多功能为一身的营养化学公选课数字化网络教学平台,不但可满足学生的学习和资源综合服务平台,也可满足各类人群的身心健康需求. 相似文献
14.
针对杜儿坪煤矿煤层自然发火现象比较严重的现状,结合目前井下实际开采技术条件和生产布局,提出适用于杜儿坪煤矿的矿井自然发火综合防治技术体系。 相似文献
15.
16.
通过范畴的扩张构造两类monoidal范畴。给定一个monoidal范畴,构造了一个回路范畴并证明其仍然为monoidal范畴。给定一个加法monoidal范畴及一个加法严格monoidal函子,证明可以构造一个仍然为monoidal范畴的平凡扩张范畴。 相似文献
17.
计算机科学是近50年来发展起来的一门新兴学科,它借用了一些古老学科的概念。这些借用的概念在计算机科学中被赋予了全新的含义,但新旧概念之间既能被借用,当然也有一些特有的同一性。特别地,随着计算机应用的日益普及,计算机病毒也成为人们日常谈论的话题。病毒一词原本是生物学中用来描述一类特定的微生物的,人们一听到“计算机病毒”一词,便联想到它将对人体造成危害,这是一种常见的想当然的误解。那么,到底什么是计算机病毒?它与生物学上的病毒到底有哪些相同和相异之处呢?1一般描述生物病毒是微生物中的一种。微生物是一些… 相似文献
18.
19.
冯清 《科技情报开发与经济》2009,19(31):204-206
以西山煤电集团公司杜儿坪矿综采二队68214工作面为例,详细介绍了快速过无炭柱的一些主要技术及做法、措施。 相似文献
20.