Grafchart在柔性制造系统中的建模与调度

该文应用Grafchart工具箱对柔性制造系统进行了研究,对Grafchart网系统和谓词/变迁系统给出了基本的数学描述,并对系统调度过程中的突发事件引入受控位置,对相同结构部分加入颜色标记,简化了模型,是对Grafchart在FSM建模的一个扩展.说明扩展后的Grafchart结构紧凑、内涵丰富,更适合于对系统进行分析和研究,很好地解决了模型规模和信息显示容量之间的矛盾,具有较强建模能力.     

论东北近代知识分子的历史作用

东北近代知识分子是东北近代发展史上特殊的社会群体,为东北近代历史的发展做出了不可磨灭的贡献。推动了东北区域的社会进步、促进了东北区域经济的发展和东北地区反帝斗争的深入、同样也推动了东北近代教育文化的发展。     

基于代理签名的多银行电子现金系统

为了实现安全的电子支付，基于代理签名方案和Brands电子现金系统，设计了一种新的多银行电子现金系统．通过分析表明，由于引入了代理签名方案，新方案可以方便地取消发币银行的发币能力，克服了现有的基于群签名的多银行电子现金系统的群成员撤销困难、群成员合伙攻击等问题，是一个安全的电子现金系统．     

多芯片组件中时钟线无时延偏差的改进四通孔(v4R)算法

由于多芯片组件(MCM)布线中所使用的四通孔(v4R)算法在时钟线网布线中不考虑其无时延偏差的特殊布线要求，会使同步功能失控。针对这一缺陷，对MCM的时钟布线提出了一种新的方法。通过引入MMM(Method of Meansand Medians)方法，使得自动布线结果中，时钟源点到各作用单元的时延相等，从而改进了v4R算法。     

WITNESS环境下基于改进型IDEF3方法的离散事件仿真建模

针对WITNESS仿真环境下，复杂离散事件仿真建模过程中出现的大量顺序、并行、同步、冲突及因果依赖等关系，提出采用改进型IDEF3方法进行仿真建模．采用仿真规则与交汇点集成、行为单元与仿真信息数据集成的原则进行建模；同时在IDEF3方法的基础上，建立新的行为单元，达到了仿真单元的可重用和可重构性，大大提高了仿真建模的速度，减少了建模难度．最后，给出了在改进型IDEF3方法下进行离散事件仿真的框架，并在仿真软件WITNESS的基础上，通过实例详细描述了建模过程．     

求解单调变分不等式的一类迭代算法

给出了求解单调变分不等式的一类迭代算法．通过解强单调变分不等式子问题，产生一个迭代点列，该迭代点列收敛到变分不等式的解．最后，给出了这类新算法的收敛性分析。     

发展型Stokes问题的非协调有限元法

主要讨论了一类Stokes问题的非协调有限元方法一全离散情形，首先给出了所讨论问题的非协调Galerkin有限元方法的全离散格式，其次对所讨论问题的解与其所给出的离散问题的解之间的误差进行了分析研究，最后利用Stokes投影算子的性质，得到了L2模和能量模方面的一些误差估计．     

用蚂蚁算法处理固定需求交通平衡分配问题

为了提高交通量预测模型的可靠性 ,文章采用一种新型随机搜索思想———人工蚂蚁算法求解固定需求交通平衡分配问题。算法设计中利用蚂蚁王国中增强型学习系统功能和并行计算的特点 ,使得交通分配系统朝着用户优化的方向发展,降低了分配的复杂性 ,为交通分配问题开创了一条新的途径 ,同时显示了蚂蚁算法在交通规划中的使用前景     

代数系统的同态与同构

代数学中极为重要又较为初等的概念就是同态，文章给出了不同代数系统的同态成为同构的条件，其中有些结论在通常文献中未曾出现，是对通常文献的补充。     

基于离散Markov决策过程的发电公司多阶段决策

采用离散时间Markov决策过程(DTMDP)对以多阶段总利润最优为目标的发电公司决策问题进行研究．市场环境下，发电公司根据自身条件，其竞争策略可以是价格的接受者，也可以是价格的制定者．考虑了发电公司不同策略情况下市场均衡状态间的转换概率，分别给出了发电公司作为价格接受者和价格制定者时的多阶段决策模型．通过算例验证了所提模型的有效性和可行性．