非对称信息下以制造商为核心的供应链协调模型

在假定关于销售商单位产品库存成本信息不对称及制造商生产率为有限值的前提下,建立了由单制造商单销售商所组成的供应链协调及最优价格折扣模型.分别制定了对称信息与不对称信息两种情形下供应链协调机制.在保证销售商利润不减的前提下,给出了求解使制造商利润达到最大的全单位量折扣算法,同时给出了相应情形下制造商的最优生产批量及销售商的最优订购批量.最后,利用数值实例说明了模型的求解过程.     

《中文核心期刊要目总览》入编通知

总编先生/女士:我们谨此郑重通知:依据文献计量学的原理和方法,经研究人员对相关文献的检索、计算和分析,以及学科专家评审,贵刊《系统仿真学报》入编《中文核心期刊要目总览》2008年版(即第五版)之自动化技术、计算机技术类的核心期刊。该书定于2008年12月由北京大学出版社出版。书中按《中国图书馆分类法》的学科体系,列出了73个学科的核心期刊表,并逐一对核心期刊进行了著录。著录     

不完全指标权重信息下的语言多指标决策方法

研究了不完全指标权重信息下且指标值为语言评价信息的多指标决策问题,给出了一种基于二元语义信息处理和TOPSIS的决策分析方法.首先将规范化的语言评价信息转化为二元语义形式,然后应用TOPSIS方法和二元语义集成算子建立并求解线性规划模型,得到未知的指标权重值,再通过二元语义加权平均算子计算得到各方案的综合评价值.最后通过算例说明了该方法的有效性和实用性.     

基于ET-WG和ET-OWG算子的二元语义群决策法

针对一类属性值和权重值均为语言评价信息的多属性群决策问题,提出了一种群决策分析方法.首先,为了便于语言评价信息的集结运算,提出了一些新的集结算子:扩展的二元语义加权几何(ET-WG)算子和扩展的二元语义有序加权几何(ET-OWG)算子,并分析了这些算子的性质.然后提出了一种基于ET-WG算子和ET-OWG算子的群决策方法,其核心是通过语言信息的集结运算,得到各方案的群体综合评价信息,从而根据二元语义信息的比较原则,得到所有方案的排序结果.最后给出了一个实例分析,说明了本文提出方法的可行性和实用性.     

SOA-based RFID public services infrastructure: architecture and its core services

Radio frequency identification (RFID) has prominent advantages compared with other auto-identification technologies. Combining RFID with network technology, physical object tracking and information sharing can possibly be carried out in an innovative way. Regarding open-loop RFID applications, RFID public services infrastructure (PSI) is presented, PSI architecture is designed, and service modules are implemented, and a demonstrative application system, blood management and traceability system, is studied to verify PSI. Experimental results show the feasibility of the proposed architecture and the usability of PSI framework software.     

《系统工程理论与实践》投稿须知

正简介《系统工程理论与实践》是中国系统工程学会会刊,创刊于1981年,是系统工程领域创办的第一个刊物,她记载和见证了中国系统科学与系统工程以及管理科学的成长和发展。本刊为月刊,每月25日出版,主要刊登系统工程理论与方法及其在管理、信息、金融、经济、能源、环境、军事、工业、农业、教育等领域中具有重要学术影响的创新理论和具有重要应用价值的优秀成果。《系统工程理论与实践》是国家自然科学基金委员会管理科学A级重要学术期刊,全部论文被Ei收录,一直是全国中文核心期刊。投稿欢迎直接网上投稿,网址:http://www.sysengi.com。投稿完成后网页显示收稿状态,由编委对稿件进行审核,如符合本刊宗旨即为通过初审,稿件状态转为初审状态,同时作者将收到E-mail通知,之后稿件将交付审稿人审阅。     

基于自动机理论的UML活动图模型检验方法

UML活动图被认为是最合适的软件过程描述语言,研究UML活动图的模型检验方法是很有必要的。提出一种基于自动机理论的UML活动图的模型检验方法。该方法给出UML活动图的形式语义,通过计算RTC-STEP,得到LTS,并将LTS映射到Büchi自动机,用LTL表示系统性质,并将LTL公式转换为相应的Büchi自动机,用基于自动机理论的模型检验方法检验UML活动图。     

基于岗位技能的“看学做评”一体化教学模式研究

结合以工作岗位为平台的核心课程体系建设,构建了基于岗位技能的"看学做评"一体化教学模式.即将岗位实践的项目融入到课程内容中,通过学生到工作岗位(或模拟岗位)看工作技术人员或教师的实际操作与讲解,然后进行独立操作与训练,根据学生的实际操作过程和结果进行评比,指出取得的成绩和存在的问题.整个过程中,看是前提,学是基础,做是关键,评是保证,以学生的学与做为主线,突出了以能力为本位的思想.在"看学做评"一体化教学模式中,教师仅起到辅助作用.实践证明,该教学模式不仅使学生提高了专业技能,而且提高了职业素养.     

《科学通报》(Chinese Science Bulletin)征稿简则

<正>《科学通报》(Chinese Science Bulletin)创刊于1950年,是中国科学院和国家自然科学基金委员会共同主办、《中国科学》杂志社出版的自然科学综合性学术刊物.《科学通报》致力于快速报道自然科学各学科基础理论和应用研究的最新研究动态、消息、进展,点评研究动态和学科发展趋势,要求文章的可读性强,能在比较宽泛的学术领域产生深刻的影响.2010年起《科学通报》改为旬刊,每月10日、20日、30日(2月最后一天)出版.《科学通报》是《中国科技论文与引文数据库》和《中国科学引文数据库》的源期刊,被《中国期刊全文数据库》收录,并进入《中文核心期刊要目总览》.     

《自然辩证法研究》征稿启事

<正>本刊是CSSCI哲学类核心期刊、北大中文核心目录自然科学总论期刊,科技哲学学科的专业性、理论性刊物,在学术界和知识界享有盛誉。本刊热诚欢迎国内外学人和作者踊跃投稿,来稿须知如下:1.本刊欢迎经过作者潜心研究而完成的有新材料、新观点的论文