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

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

基于DPCA ALSSVR的燃气轮机负荷估算方法

燃机负荷的实时估计能够为燃机参与调峰创造重要的前提条件,针对燃机负荷的实时测算问题,提出了一种基于动态主元分析结合自适应支持向量机的燃机负荷回归估计方法.首先应用动态主元分析方法挖掘出与燃机负荷相关的主要参数,获得代表相关性程度的量化指标关联度.在此基础上,利用自适应支持向量机建立燃机负荷的回归估计模型,并通过交叉验证...     

基于相似性理论的弹药相似性分析

在介绍相似理论的相关问题的基础上,着重介绍了权重值的计算方法,进而给出了系统相似度的概念和公式。并举实例说明了利用相似理论计算弹药相似度精确值的可能性及在具体计算过程中需要考虑的一些问题。     

用MATLAB实现AAL2信元带宽利用率近似模型仿真

论文通过使用MATLAB仿真对AAL2协议在移动通信中的应用进行研究和分析。文中介绍了CDMA系统中AAL2协议的基本原理,然后用一种新的近似计算的分析方法分析了定时参数t和信元带宽利用率之间的关系,并通过使用MATLAB仿真验证了结论。     

牡丹江市空气质量影响因素分析

牡丹江市空气质量监测始于20世纪80年代中期,空气质量整体上从污染较严重到现在一直呈下降趋势,2006年牡丹江市的三项指标(可吸入颗粒物、SO2、NO2)均达到国家二级标准.达到二级标准天数为314天,非采暖期基本三项目都能达到二级标准.     

用例及其制品的追踪性研究

需求的可跟踪性已经被反复证明是软件工程管理和软件系统质量的关键因素,其研究已成为需求工程的一个重要领域.20世纪90年代后期,在需求工程中大量应用了用例的方法,用例驱动已成为许多软件开发方法的特征.首先提出了用例应增量迭代开发的观点,给出了用例、用例的不同版本及用例开发和实现过程中产生的各种制品的追踪关系模型和应用追踪表和追踪矩阵表示和实现该追踪关系的方法,最后给出了可追踪性策略的实现步骤.     

两不同部件并联可修系统稳态解中p0的最优控制

讨论了在具有两不同部件并联的可修复系统中,利用Banach空间理论研究其稳定解中的p0的最优控制问题,并得到最优解的存在性.     

导数是外可逆时方程G(x)=0的解的分布状况

利用强F-可微及叠代序列研究了不满足隐函数定理的正常条件时,方程G(x)=0的解的分布状况.这里G:X→Y是强F-可微的,X与Y均为Banach空间.     

一维混杂控制系统可生存域计算

讨论了一维混杂控制系统在闭区间里的最大可生存域的计算问题.采用混杂微分包含描述混杂控制系统,针对系统为一维的情况作了合理的简化.将一维混杂控制系统的最大可生存域的计算问题转化为一个优化问题,并给出了具体的例子来说明这一结果.     

均匀磁场中三维各向同性谐振子低能级简并度的解除

在考虑均匀磁场中三维各向同性谐振子哈密顿量中B^2项影响的情况下,计算了均匀磁场中三维谐振子低能级的微扰矩阵元和一级能量修正值,并讨论了其能级简并度的解除。