基于Petri网的PLC程序设计

随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计.     

累次极限换序的一个充分条件

本文对于二元函数的累次极限的换序给出了一致收敛这一充分条件。     

基于k-分辨-FB级数展开的多分量LFM信号分离

针对傅里叶-贝塞尔变换(FBT)难以估计和有效分离多分量LFM信号的问题,提出了一种k分辨-FB(k-FB)级数展开结合dechirp的信号分离与估计算法。在FB级数的基础上引入k分辨参数,通过理论推导,得出了信号频率与级数的关系,证明了参数估计精度与k取值正相关。通过解线频调和k-FB级数计算,实现了信号分离重构和参数估计。在不同信噪比、信号功率比和k分辨条件下对信号的分离精度进行了仿真研究,并与基于分数阶傅里叶变换(FrFT)的方法进行了对比。仿真结果验证了算法的有效性。     

廊坊市“文化信息资源共享工程”建设分析与研究

在介绍廊坊市“文化信息资源共享工程”建设现状基础上,阐述了资源共享的意义,分析了资源共享存在的问题,研究了相应的解决方法。     

知识经济时代高等院校创新教育途径探索

从培养目标、培养模式、培养过程、培养内容、培养方法、培养手段等六个方面阐述高校创新教育，有针对性地提出高校创新教育内涵和实现创新教育的主要途径。     

信息技术与高职数学课程整合研究

从高职院校的培养目标出发，指出信息技术与高职数学课程整合的目标，分析信息技术环境下高职数学课程的特征，介绍信息技术与高职数学课程整合的策略，阐述信息技术与高职数学课程整合的一些途径。     

自治主体建模在海军战术仿真中的应用

多主体系统是分布人工智能和分布计算的交叉研究领域,也是普遍公认的研究和解决复杂自适应系统问题的一种有效途径,而武器装备体系对抗就是一类典型的复杂自适应系统问题.从分析实体模型层次和类型入手,利用作战主体刻画具有复杂作战行为的实体,提出一个作战主体模型框架,阐述作战单元、作战平台和装备的(装配或指挥控制)关联关系.     

The problem of time's arrow historico-critically reexamined

Responding to Hasok Chang's vision of the history and philosophy of science (HPS) as the continuation of science by other means, I illustrate the methods of HPS and their utility through a historico-critical examination of the problem of “time's arrow”, that is to say, the problem posed by the claim by Boltzmann and others that the temporal asymmetry of many physical processes and indeed the very possibility of identifying each of the two directions we distinguish in time must have a ground in the laws of nature. I claim that this problem has proved intractable chiefly because the standard mathematical representation of time employed in the formulation of the laws of nature “forgets” one of the connotations of the word ‘time’ as it is used in ordinary language and in experimental physics.     

田径运动肌肉损伤及康复对策研究

在田径教学、训练与比赛中,由于没有完全遵循人体运动的生理规律和调控生物节律,不能使机体的工作运行保持在良好的竞技状态,导致各种各样的运动创伤,严重地影响教学、训练与运动成绩的提高.文章从运动医学理论对田径运动中肌肉损伤的原因进行分析,寻找科学的田径运动损伤康复手段。