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

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

选择相控阵雷达信号的准则和所用信号的特性分析

本文从雷达信号的基本原理出发,提出了选择相控阵雷达信号形式的准则。分析了常用信号的主要性能,并修正了文献[1]中的错误。     

高速铁路车站作业过程的TCPN仿真通用模型

高速铁路车站作业系统仿真是进行车站作业过程的进路排列与到发线运用等问题研究的有效方法,并可对车站各项设备使用状况进行详细分析.已有的仿真手段存在建模过程复杂、可重用性不足等问题.针对铁路客运站作业系统仿真问题提出了基于赋对有色Petri 网的与车站站型布置不直接相关的高铁车站作业过程通用性模型,用于各种站型布置的高铁车站作业过程的仿真及优化,可以适用于有不同作业类型的高铁车站仿真,该模型具有计算效率高、通用性强、优化方法灵活等特点.     

基于网络学习空间的高中物理精准教学研究

网络学习空间人人通作为“三通两平台”工程的核心是教育信息化深入应用的重点发展方向。人人通网络学习空间能创新教育服务模式,支持教师精准教学和学生的个性化、高效化学习。高中物理教师利用网络学习空间分析学生学情,可以提高教学的针对性、有效性。     

一类MIMO网络控制系统的时滞相关鲁棒控制器设计

针对一类多输入多输出(MIMO)网络控制系统,提出一种时滞相关鲁棒控制器的设计方法.首先经过等价推导,将系统转化成具有多输入时滞的连续系统,利用李雅普诺夫函数,通过求解若干线性矩阵不等式,获得系统时滞相关鲁棒控制器.算法递推简单,避免了进行系统变换和处理交叉项,减少了计算负荷.仿真结果表明:在网络具有一定传输时延的情况下,该方法可以获得满足系统稳定性的控制器.     

司南酌、盘针及指南鱼新议

指南针史的重要标志——8世纪僧一行观测磁偏角已获确认,本文以此为新的立足点,进一步探索司南酌、盘针和指南鱼等问题.磁针指南的发现早于磁石指南.司南酌的磁针最初得自"磁石引针",后来革新为"以磁石磨针锋",方家的师承家法和朝廷的禁令使其长期秘而不宣.沈括的《梦溪笔谈》之前,北宋堪舆家廖瑀已明文记载"以磁石磨针锋".唐代磁...     

吉尔实在论处置"自然规律"的特点与意义

吉尔实在论思想中,不同范畴的自然规律具有不同程度的隐含客观性与层次建构性的特点.在本体论上,吉尔实在论对自然规律给予了肯定,并且其自然本体论具有客观实在性和主观建构性双重性质.在认识论上,吉尔强调科学认识与真实世界之间是一种近似的模型建构关系,否定了 自然科学规律的绝对客观性和真理的极端绝对性而凸现其建构性.在方法论上...     

一类次线性椭圆方程组的正解

一类带有边值的次线性椭圆方程组,证得这样的次线性椭圆方程组存在正解.