LOGISTICS SCHEDULING： ANALYSIS OFTWO-STAGE PROBLEMS

This paper studies the coordination effects between stages for scheduling problems where decision-making is a two-stage process. Two stages are considered as one system. The system can be a supply chain that links two stages, one stage representing a manufacturer; and the other, a distributor It also can represent a single manufacturer, while each stage represents a different department responsible for a part of operations. A problem that jointly considers both stages in order to achieve ideal overall system performance is defined as a system problem. In practice, at times, it might not be feasible for the two stages to make coordinated decisions due to (i) the lack of channels that allow decision makers at the two stages to cooperate, and/or (ii) the optimal solution to the system problem is too difficult (or costly) to achieve.Two practical approaches are applied to solve a variant of two-stage logistic scheduling problems. The Forward Approach is defined as a solution procedure by which the first sta     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

部分真值表在环形分配器设计中的应用

目前步进电机以五相居多，硬件环形分配器用卡罗图来进行设计，则显得复杂冗赘，如果从步进电机运行的规律中找出约束条件，建立部分真值表，便可以直接写出控制逻辑函数，这对于设计相数、拍数较多的步进电机的环形分配器极为方便，这种设计思路在进行数字电路工程设计中也是可以值得借鉴的。     

实验选课系统的设计及实现

在实行学分制的情况下,配合校级中心实验室的管理模式和实验室管理软件进行设计和开发的实验选课系统,既适应了学分制的要求,完善了实验室的管理机制,也提高了管理水平和工作效率。     

BAN逻辑与串空间的比较

研究了2种安全协议的分析方法,即BAN逻辑和串空间.利用这2种方法分别分析了Needham-Schroeder公钥协议,指出了这2种方法各自的优点和缺点.在对这2种方法进行了比较后,指出了这2种方法有2种结合方式.1种是利用串空间给出BAN逻辑的语义,另外1种结合方式是串行,即对于需要分析的协议,先利用BAN逻辑进行分析,然后再利用串空间进行分析,使分析出的结果更加可靠.     

全国“广义逻辑悖论方法论”学术研讨会在皖西学院举行

2007年6月16日，来自南京大学、中国社科院、安徽师大、安徽社科院、浙江大学、扬州大学、湖南师大、华北电力大学、上海对外贸易大学等十几所高校和科研院所的20余位悖论研究专家云集皖西学院，举行为期一天的“广义逻辑悖论方法论”学术研讨会。我院王新华书记，张文兵、祝家     

汇编语言程序设计课程的教学探讨

汇编语言是高等院校计算机专业课程中公认的一门难教难学的课程,本文首先明确了汇编语言学习的重要性、必要性,然后对教学过程中的难点进行了主客观两个方面的解析,最后给出了有关汇编语言教学的几点建议和意见.     

高Tc超导材料Bi_2Sr_2CuO_6和Bi_2Sr_2CaCu_2O_8的晶格振动对称性分析

本文运用群论方法,对高T_c Bi 系超导体中的Bi_2Sr_2CuO_(?)和Bi_2Sr_2CaCu_2O_8的晶格振动模进行了系统的对称性分类.给出了其布里渊区中(?)点,X 点和△线振动模式的对称分解和对称化基.     

在随动曲线坐标系下模拟矩形坯压缩变形的能量法

本文提出一种新的模拟塑性流动的数值法-__在随动曲线坐标系下的能量法.运动学可能速度场、变形总功率泛函以张量形式表达在随动曲线坐标系上,通过优化可变参数使泛函达最小值,以求得变形过程中速度场、位移增量场和最终位移场.根据上述算法和所编制的FORTRAN程序,本文计算了平板间矩形坯压缩变形的位移场.计算结果得到实验验证.