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

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

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

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

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

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

皮秒量级的快速率可重构光混沌逻辑运算

基于垂直腔表面发射激光器(VCSEL)自身的光反馈以及线性电光调制效应,设计了一种实现动态可重构的光混沌逻辑运算的技术方案.归一化注入电流被调制为逻辑输入,横向电场被调制为控制信号,逻辑输出通过对VCSEL输出的x偏振光光强的均值与阈值做差进行解调.通过转换控制信号与逻辑输入的逻辑运算关系,系统就能在基本的逻辑运算如N...     

活性氧在肿瘤坏死因子信号传导中的作用

肿瘤坏死因子α(TNF-α)是最强的细胞内信号诱导剂之一。它通过对半胱氨酸蛋白酶家族(caspases)、丝裂原激活的蛋白激酶(MAPK)、c-jun N端激酶(JNK)、核转录因子AP-1和NF-κB的活化,可诱导细胞凋亡、分化和基因转录。此外,TNF也可通过调节细胞的还原状态,特别是内源性活性氧的改变来介导细胞内的信号。综述了ROS在TNF所诱导细胞内信号传导的相关内容,以阐述ROS介导TNF在细胞内信号传导及调节细胞的存活和凋亡中的作用。     

Lagrange乘数法的几何直观推导

从几何上，直观地介绍求解一类条件极值问题的Lagrange乘数法，显得很形象、易于理解。另外，用Lagrange乘数法求出的解不一定是条件极值问题的极小值解。利用二阶导数给出了用Lagrange乘数法求出的解是条件极值问题的极小值解的一个充分条件。用该条件判别，比用已有的方法判别简单易行。     

关于Riccati方程的可积条件研究的再讨论

目的补充R iccati方程的可积条件。方法等式的等价变换。结果完善了R iccati方程的可积条件。结论得到可积R iccati方程的判断方法。     

任意纵横比下的自举电流的求解

自举电流最早是由Bickerton、Connor和Taylor发现的。自热核聚变装置TFTR以及后来的JET、JT-60以来,自举电流都受到了广泛的关注。直到现在,自举电流被认为是维持托卡马克装置稳定运行的根本。由于非感应电流驱动的效率很低．这使得用非感应电流驱动提供聚变中全部等离子体电流的成本非常巨大．导致托卡马克装置稳定运行变得不可能。     

RFID技术及其在电子政务中的应用

射频识别（Radio Frequency Identification,RFID）技术是一种利用射频通信实现的非接触式自动识别技术。RFID标签具有体积小、容量大、寿命长、可重复使用等特点,     

浅谈利用MATLAB开展数学实验教学

利用恰当的计算机软件工具开展数学实验教学是推动高校数学教学改革和培养学生创新能力的有力措施.有鉴于此,本文简单阐述了"数学实验"的概念和目标并选用MATLAB作为工具,以示例的方式对MATLAB在数学实验中问题求解这一环节加以讨论.