核心台套加卫星台套订货方式在上海通用汽车的应用

介绍常见的进口件订货方式和改进的方式-模块式订货,推出根据上海通用汽车的实际情况提出的核心台套加卫星台套采购方案,即分别订购各车型共用件和各车型配置独特件,通过订货方式改进以调和市场需求的剧烈波动和进口供应链的长订货提前期之间的矛盾。     

Verifying functions in online stock trading systems

Temporal colored Petri nets, an extension of temporal Petri nets, are introduced in this paper. It can distinguish the personality of individuals (tokens), describe clearly the causal and temporal relationships betwee nevents in concurrent systems, and represent elegantly certain fundamental properties of concurrent systems, such as eventuality and fairness. The use of this method is illustrated with an example of modeling and formal verification of an online stock trading system. The functional correctness of the modeled system is formally verified based on the temporal colored Petri net model and temporal assertions. Also, some main properties of the system are analyzed. It has been demonstrated sufficiently that temporal colored Petri nets can verify efficiently some time-related properties of concurrent systems, and provide both the power of dynamic representation graphically and the function of logical inference formally. Finally. future work is described.     

论我国股市道德的"蛛网理论"

当前我国股市正在快速发展中,股市道德问题也日益为世人瞩目。股市道德及不道德力量同股市欺诈等问题具有相互对应关系,这就形成了一个制衡机制;在具体的运行中,其制衡机制可以两种依道德曲线的斜率不同,而呈封闭、收敛和发散三种"蛛网"运行状态;依此原理,以德治市的关键是要遏制"发散的蛛网"、争取股市运行于"收敛的蛛网"状态。     

多输出支持向量回归及其在股指预测中的应用

为了解决多输出回归问题，提出了一种新的多输出支持向量回归算法。给出了定义在超球上的损失函数，并将训练SVM转化为迭代解线性方程组，在求解过程中采用边计算边使矩阵降阶的方法，加快了运算速度。建立了该算法应用于股指预测的模型，对上证综合指数的建模与预测表明：与单输出支持向量回归算法建立的模型相比，该算法具有更好的整体预测精度和抗噪性能，是对证券市场进行分析和预测的一种可行而有效的方法。     

缺货不补的随机存储系统的建模与仿真

基于(s,S)策略,讨论了缺货不通过到达的订货进行补充的随机存储系统.假定需求量、需求发生的间隔、以及提前时间都为随机变量,建立了系统的数学模型.给出库存总费用和缺货率的计算公式,将二者加权平均得到策略的综合系数.设计了系统仿真运行框图,在各种费用参数给定后,利用计算机仿真和综合系数来选定最优存储策略.     

有限制二维板材启发式下料算法研究

橱柜及板式家具生产都涉及二维板材下料,材料利用率的最大化一直是该类企业追求的目标。本文提出了基于启发式规则的有限制二维板材下料算法。通过在橱柜生产过程中自动下料系统的实施和理论分析,该算法是实用有效的。     

现代企业制度下公司制改造探析

对新旗铸造厂股份合作制改造后所取得的经营效果进行了阐述,肯定了股份合作制在其中所起的作用和积极意义,同时也对其在运行中表现出来的缺陷和不足进行了评析,指出股份合作制是国家在特定历史条件下创造的一种过渡性质的企业组织模式,企业的长远发展是建立起现代企业制度,向有限责任公司或股份有限公司模式发展。     

An exact algorithm for generating homogenous T-shape cutting patterns

Both the material usage and the complexity of the cutting process should be considered in generating cutting patterns. This paper presents an exact algorithm for constrained two-dimensional guillotine-cutting problems of rectangles. It uses homogenous T-shape patterns to simplify the cutting process. Only homogenous strips are allowed, each of which contains rectangular blanks of the same size and direction. The sheet is divided into two segments. Each segment consists of strips of the same length and direction. The strip directions of the two segments are perpendicular to each other. The algorithm is based on branch and bound procedure combined with dynamic programming techniques. It is a bottom-up tree-search approach that searches the solution tree from the branches to the root. Tighter bounds are established to shorten the searching space. The computational results indicate that the algorithm is efficient both in computation time and in material usage.     

再生水行业最优资本结构的实证研究

确定最优资本结构对再生水项目的融资和行业发展具有重要的意义，本文采用基于公司股票价值最大化的最优资本结构研究模型，结合上市公司数据对再生水行业的最优资本结构进行实证分析，旨在为再生水行业的项目融资安排提供参考。     

股权分置改革与公司绩效研究

选择我国第一批全面股改的上市公司为样本,运用业绩评价理论对其2006年的会计报告的有关数据进行分析,从财务指标视角验证股权分置改革对公司绩效的影响,考察股权分置改革计划能否真正改善我国上市公司的公司治理的效果。