论文部分内容阅读
本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子.
Girard Quantale范畴中的乘积
【摘 要】
：
本文讨论了Girard Quantale范畴的乘积,并且给出了该乘积的结构,同时证明了此范畴中有等化子.
【机 构】
：
泰山学院数学与系统科学学院,肥城市汶阳中心小学,肥城市汶阳中心中学
【出 处】
：
泰山学院学报
【发表日期】
：
2010年3期
其他文献
提出基于Lyapunov指数能谱熵的航空发动机转子一机匣系统状态识别和故障诊断新方法。基于Lyapunov指数谱，提出并定义系统Lyapunov指数能谱熵；在基于实测的航空发动机机匣振动时
国有农场在长期生产实践中，切身感受到频繁灾情的危害。由于自然灾害导致的受灾面通常相对集中而且面积较大，对于单个农场难以承受的灾情，只有运用“大数法则”的农业保险手段才
基于定时器对发条的工作可靠性要求，通过试验方法分析原材料因素对发条物理性能的影响效果，确定发条最佳生产方案，为编制发条的生产制造工艺提供依据，满足用户对其机械性能的要求
农业作为基础产业，由于自身的弱质性和生产过程的特殊性，面临着自然和市场双重风险，农业保险对于分散农业风险至关重要。农业保险是一个增强农业防范和抵抗风险能力，提高可持续发
提出基于动力边界元的混合建模方法研究整机结构的动态特性。通过对整机结构混合建模过程分析和结合条件的处理，采用动静态基本解，将结合部特性通过域内项合理地引入整机结构中
本文主要应用了基于小波域的图像隐藏技术，通过对基于小波域的方法的分析，能够知道基于小波城的图像隐藏效果较好，计算量比较小，数据隐藏量比较大，含密图像没有明显失真，在秘密信息
利用复变函数法、多极坐标变换及傅里叶级数展开技术求解二维直角平面内偏心圆形衬砌对稳态入射平面SH（shearing horizontal）波的散射问题。首先构造出介质内不存在偏心圆形衬
分度凸轮机构是大多数自动机械中的核心环节，其动力学特性对机器的整体性能起到关键的作用。间隙是影响分度凸轮机构的动态性能的最重要因素之一。文中对岔间隙弧面分度凸轮机