圆柱形可充MH/MnO_2电池研究

探讨了 AA型可充 MH / Mn O2 电池研制过程中遇到的问题及解决的途径 .对研制的 AA型可充 MH /Mn O2 电池进行了测试 ,结果表明电池充放电性能良好 ,明显优于可充 Zn/ Mn O2 电池 .     

适于数模混合集成电路的可布性分析模型

布局、布线是集成电路后端物理设计的两个主要环节,可布性分析作为连接布局和布线的枢纽,对优化布局和提高布线的布通率具有非常重要的作用。作者提出一种不可切割(non-slicing)结构的非均匀划分算法,大幅度减少了划分后的区域数量,同时建立了与此相应的适用于数模混合集成电路布局的可布性分析模型。对于实验电路的分析证实了本模型的准确性和高效性。     

镇巴县防震减灾工作现状、存在问题及对策

5．12汶川大地震发生后,全国人民众志成城,万众一心,抗震救灾,取得了历史性的胜利。同时,也对县区防震减灾工作进行了一次深刻的检验,让我们清醒的认识到,县区防震减灾工作是我国整个防震减灾工作体系中不可缺少的基础部门,是实现新时期我国防震减灾奋斗目标和总体要求的不可替代的重要力量。镇巴县防震减灾工作自2001年5月启动以来,在县委、、县政府和省、市地震局的领导下,全面贯彻执行“预防为主,     

信息集广义博弈模型与Nash平衡的存在性

通过信息集及相应的集值映射建立信息集广义博弈的模型,讨论该模型Nash平衡的存在性.     

一族Liouville可积系及其双Hamilton结构

利用Loop代数 A2的一个子代数,设计了一个等谱问题.应用屠格式,导出了一族新的可积系,具有双Hamilton结构,并且是Liouville可积的.另外,它可约化为著名的热传导方程.     

可重复排列数的序数

探讨了利用数制的变换,求可重复排列数的序数之方法和计算公式。     

对序列紧空间中点集性质的证明

在一维动力系统中,若I为实线段,已经证明了回归点、链回归点通过f的n次迭代,有R(f)=R(fn),CR(f)=CR(fn).把实线段上点集的有关性质推广到序列紧空间中进行证明,得到了R(f)=R(fn),ω(f)=ω(fn)和CR(f)=CR(fn)在序列紧空间成立.     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

多元线性模型系数岭估计的改进研究

文章对病态的多元线性模型Yn×q～(Xn×pBp×q,Vq×q(⊕)In×n)提出了c-k型估计,证明了利用Stein式压缩技术可以改进岭估计;同时给出了参数最优值满足的条件,证明了c-k型估计的可容许性.     

基于一阶理论的个性化定制需求可满足性研究

产品个性化定制在服装等产品生产中广泛使用,但是个性化定制需求的多样性等特点导致在判断生产商是否具备加工能力时存在困难。文中采用基于一阶逻辑描述生产线加工能力以及个性化定制产品需求的方式,基于该模型提出判断生产线能否满足个性化定制需求的方法,将个性化定制需求表示为逻辑公式,生产线的生产要素表示为一阶理论,通过检查需求公式是否是该理论的语义属性判断需求在某个生产线的可满足性。该方法可以在用户明确需求之后,根据生产商资源判断个性化定制需求的可满足性。