• 中国哲学年鉴2002·研究状况和进展：哲学在线(《多主体认知系统中的互知推理》，《哲学研究》2001年第4期)周晓聪、李文军、李师贤为研究高阶子类型的范畴论语义模型区分了带高阶子类型的类型系统中的各种上下文，...

• 潜在失效模式及后果分析-中国制造-管理咖啡-世界经理...也可能是较高阶子系统或系统之失效原因,或较低阶零组件的失效效应。v 列出特别项目和功能的每一潜在失效模式。假设失效是将发生的但不是必须发生的,潜在失效模式或尽...

• 线性代数 练习_百度文库而高阶子式全为零 中所有的r阶子式均不为零 中所有的 阶子式均不为零，而高阶子式全为零.ax1+x 2+x3 = 1 3.设线性方程组 x1+ax 2+x3 = a 有唯一解，...

• 类型系统λω×≤的范畴论模型 A CATEGORICAL MODEL OF TYPE ...类型系统一直是理论计算机科学的研究热点,特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用.不过至今为止人们还没有得到高阶...

• null-管理文档-无忧文档网5ucom.com也可能是较高阶子系统或系统之失效原因,或较低阶零组件的失效效应。对失效的产品进行分析,找出零件组件之失效模式,鉴定出它的失效原因,研究该项失效模式对系统会产生...

• 两岸杂志 大陆 商业 销售与市场-评论版 2010年12月企业在推出高阶子品牌时，多品牌经营中产生的资源分配、人才缺失，以及高阶品牌形象打造等问题，都会导致企业高阶子品牌打造失败。...

• 中国科技论文在线-科技期刊-年份期数的搜索该估计表明由于降维对系统长期行为的影响不仅与系统的高阶子空间中的固有频率和阻尼比乘积的最小值有关，并且与高阶子空间中的某一最大固有频率有关。...

• 多态类型系统_论文下载探讨了一个命名为类型系统λω×≤的带高阶子类型的多态类型系统,并利用插入子和fibration理论,引入λω×≤fibration作为该类型系统的语义模型.进一步,讨论了类型...