一种多级库存的优化控制策略

针对供应链环境下的多级库存优化控制问题,以系列系统为例,应用级库存理论,并考虑到日常生活中库存水平影响需求率这一现象,建立了一个需求率受库存水平影响的多级库存决策模型.然后,在遗传算法(GA)中加入叫行化操作,对模型进行求解.最后,以算例说明模型和算法的有效性.     

城镇水厂最优水价模型

介绍了由城镇供水生活用水需求弹性和工业用水需求弹性计算生活用水需求函数和和水需求函数的方法;以水厂最大利润为目标,建立了最优水价模型,推导出了最优水价公式,并给出了一个算例说明模型的应用。     

基于NTRU的PKI模型

计算机网络的发展与普及,使得人们对网络安全的要求也越来越高,PKI正是能够实现信息安全的热门密码技术.NTRU算法是一个新的公钥密码体制,它具有密钥产生容易、高速和低需求等特点,它的加密使用基于多项式代数和对数p,g约化模的混合系统,而解密使用基于概率论的非混合系统.文中提出了一个基于NTRU和NTRUSign的PKI模型,在此模型中一个主体拥有两个证书,且证书的颁发由两个子CA进行,这样减轻了根CA的负荷,讨论了此模型具有的特点,从而使这个模型具有一定的实用价值.     

应用生成器NITAG的设计与实现

NITAG 是面向企事业事务数据处理、以自动生成事务数据处理应用软件为目标的应用生成器。它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。NITAG 在接受这种描述后便可自动生成用户所需的应用软件。NITAG 采用了程序变换法与知识工程法相结合的系统工作原理,首先对用户的需求说明按变换规则进行变换、细化,使需求说明逐步地接近目标语言(EQUEL/C)的表示形式,然后根据系统的编程知识进行分析、推理,取出相应的软部件构造用户的目标程序。     

一个新的随机存贮模型

对需求是连续随机变量的存贮问题的原有模型存在的问题进行了说明，并加以改进，建立了一个新的模型，新模型在该类问题的各个阶段均适用，并给出所建模型的最优策略.     

光滑化Newton法在网络平衡模型中的应用

建立了由制造商、分销商、顾客组成的带有竞争性的需求不确定的供应链网络平衡模型,采用收敛速度快的光滑化Newton法求解.最后通过算例说明用光滑化Newton法计算很快就能得到平衡解.     

单元化制造系统的评价体系

针对单元化制造的特点,首次全面地提出了一个完整的评价指标体系,从成组性、动态性、柔性和敏捷性对单元化制造系统进行综合评价,并构造了基于制造单元生命周期的单元化制造系统评价模型,该模型采用了模糊层次分析法对系统进行综合评价.最后示例说明该模型.     

基于自回归正则化和稀疏表示的图像超分辨率重建

针对图像超分辨率重建中稀疏系数解不精确和重建图像质量不理想的问题,本文提出了一种空间自回归正则化的超分重构算法.该重构算法联合稀疏K-SVD方法训练一个具有相同稀疏系数解的相对应于高低分辨率图像块的字典对,在此基础上利用自然图像本身具有的局部自回归性先验知识来对图像进行处理,经过模型的训练和选择引入正则化项,实现图像的局部约束,从而完整构造了基于正则化的稀疏编码目标函数,为了进一步实现图像去模糊得到清晰图像,利用退化模型实现全局约束.实验结果表明:与Bicubic、NE和SCR等算法相比,本文算法在主观视觉效果和客观评价指标方面都有了一定地提升.     

电子信息系统领域需求模型复用方法

为了解决电子信息系统开发过程中领域需求模型的复用问题,结合基于本体的需求获取方法,在介绍领域需求模型构建的基础上,提出了领域需求模型的共享方法.该方法通过领域的根本体对领域不同的需求模型进行合并、关联和修正等操作.这些操作可以识别出现有领域的不同需求模型的共同和相异特征,进而构造完整和一致的新模型.为复用领域需求模型,提高系统开发的效率和质量奠定了基础.     

基于改进CV模型的目标多色彩图像分割

针对Chan-Vese(CV)模型无法完整分割目标包含多色彩及色彩具有突变性图像的问题,通过K-means聚类对图像演化曲线内部像素进行处理,得出聚类中心点,用聚类中心点值与均值滤波后图像的灰度信息构造CV模型内部拟合值,从而提高模型对复杂目标图像分割的适应性.此外,用矩形脉冲函数代替CV模型能量泛函中的正则化脉冲函数,可将水平集演化方程的计算限定在零水平集附近,从而避免图像背景干扰物对分割结果的影响.实验结果表明:改进模型可准确、快速地分割目标包含多色彩及色彩具有突变性的图像.     

形式化方法在飞机轮刹系统安全性分析中的应用

在民机设计领域,大多数传统的系统安全性分析具有高度的主观性并依赖于工程师们的实践经验,其分析结果无法做到完整、一致、无误。而近年来兴起的形式化方法却能弥补这些不足。形式化方法就是用具有形式语义的记号和工具明确地表述出所设计系统的安全性需求,即给出系统的规范,并根据系统规范利用上述记号和工具对给定系统所具有的性质和最终实现的正确性进行严格的证明。本文将以ARP4761中所述的轮刹系统为例,简单介绍形式化方法是如何应用于验证民机设计方案的。虽然做不到面面俱到,但可以让人们对该方法的执行过程有一定的了解。     

微机矩阵法拟定化学反应机理

编制的计算程序可列出与给定反应物种和基元反应步聚相一致的所有可能反应机理以及总包反应中各个基元步骤的计量数。用已知的一些有重要工业意义和复杂性的实例考证所编程序的正确性和广泛的适应性。     

山西省信息经济投入产出分析

文章利用 1992年山西省“全口径”投入产出表 ,运用信息投入产出分析方法 ,对山西省 1992年的信息经济作了较为完整的定量分析 ,并在此基础上提出了山西省发展信息产业的若干战略性建议。     

TTCN-3:用于分布式系统黑盒测试的新一代测试描述语言

介绍了TTCN 3的基本概念 ,对TTCN 3测试方法的配置、使用等作了较为详细的研究 ,并针对MTC与SUT间异步通信的情况 ,介绍了TTCN 3在系统测试中的应用     

提高XD11型多波信号发生器性能指标的措施

ＸＤ１１型多波信号发生器是一种多用途的全晶体管信号发生器．本文对这台仪器的正弦波振荡电路，矩形脉冲电路，锯齿波电路进行分析并提出改进措施，以提高这台仪器的技术指标和稳定性．     

Riemann积分与Lebesgue积分的本质区别

对Riemann积分与Lebesgue积分的本质区别进行了研究。得出二者的本质区别为：区间上所有Riemann可积函数所生成的空间不是完备的,而所有Lebesgue可积函数所生成的空间是完备的,并对此结论进行了证明。     

连续映射的弱specification性质与混沌

specification性质是一种重要的动力性质,对连续的区间映射和树映射,该性质与拓扑混合等价。对紧致度量空间,满足POTP性质的拓扑混合映射具有specification性质。文章对紧致度量空间上连续自映射,研究了弱specification性质与各种混沌之间的关系,证明了具有弱specification性质的系统是Li-Yorke意义下混沌的,是Ruelle-Takens意义下混沌的,是处处混沌的,并且具有性质P。     

CORBA与Web服务集成技术

为了解决企业内部的遗留系统如何通过标准的Web服务技术实现互访的问题,通过对基于Web服务的典型应用集成场景的分析,参考Object Management Group(OMG)的相关规范,提出了更为全面的集成模型.其中新加入了基于Servant的SOAP-CORBA网关,对规范进行了必要的补充,并克服了其他同类系统未能解决的性能瓶颈和单点失效问题,而且本模型更易于灵活的分发部署,有利于整个系统的负载平衡.通过实验验证和分析,证明了模型的可行性,同时具有 良好的性能.     

结构化面向对象形式规格说明语言OOZS——规格说明测试

自动或半自动实现面向对象形式规格说明的测试不但要求相应的规格说明语言具有严格的形式语义,而且要求使用人员具有较深的数学基础,从而最终影响了面向对象规格说明测试的研究。本文提出了一种测试方法,该方法通过构造测试用例对面向对象形式规格说明的各种特性进行检验,可以较容易地发现形式规格说明中的不一致、不完整之处。     

玻璃钢集装箱的强度试验

依照TB2114-90铁路集装箱测试技术规范，应用应变电测技术对玻璃钢集装箱进行了起吊、侧壁、端壁及箱顶测试，测试结果表明，集装箱在正常工作情况下，强度完全合格。