Exemple #1
0
        /// <summary>
        /// Serialized WaferFabSettings without the Distributions (Random class cannot be serialized).
        /// </summary>
        /// <param name="reader"></param>
        /// <param name="area">Area to serialize, if not specified complete fab will be build.</param>
        /// <param name="withLotStarts">With or without real lot starts</param>
        public static void SerializeWaferFabSettings(AutoDataReader reader, bool withLotStarts, string area = "COMPLETE")
        {
            reader.ReadWaferFabSettings(@"FittedEPTParameters.csv", withLotStarts, false, DispatcherBase.Type.EPTOVERTAKING, area);

            string fileName = withLotStarts ? $"WaferFabSettings_{area}_WithLotStarts" : $"WaferFabSettings_{area}_NoLotStarts";

            reader.SerializeWaferFabSettings(fileName);
        }
Exemple #2
0
        /// <summary>
        /// Serializes WorkCenterLotActivities. Uses waferfabsettings + raw lot activities (from Excel add-on Nexperia Tools > F/W Queries > LotsProdEqpt).
        /// </summary>
        /// <param name="lotActivitiesFilename"></param>
        public static void SerializeWorkCenterLotActivities(AutoDataReader reader, string filenameLotActivities, string filenameSerializedOutput, bool onlyProductionLots)
        {
            reader.ReadWaferFabSettings(@"FittedEPTParameters.csv", false, true, DispatcherBase.Type.EPTOVERTAKING);

            reader.ReadWorkCenterLotActivities(filenameLotActivities, onlyProductionLots);

            reader.SerializeWorkCenterLotActivities($"{filenameSerializedOutput}");
        }
Exemple #3
0
        static void Main(string[] args)
        {
            string inputDir = @"C:\CSSLWaferFab\Input\";

            string outputDir = @"C:\CSSLWaferFab\Output\WaferFabSim\";

            string parameters = @"FittedEPTParameters - 2019-8-1_4months.csv";

            DateTime initialDateTime = new DateTime(2019, 8, 1);

            Settings.WriteOutput = true;
            Settings.FixSeed     = true;

            ShellModel WaferFabSim = new ShellModel(outputDir);

            // Load WaferFab settings
            AutoDataReader reader = new AutoDataReader(inputDir + @"CSVs\", inputDir + @"SerializedFiles\");

            WaferFabSettings waferFabSettings = reader.ReadWaferFabSettings(parameters, true, true, DispatcherBase.Type.EPTOVERTAKING);

            waferFabSettings.SampleInterval       = 1 * 60 * 60; // seconds
            waferFabSettings.LotStartsFrequency   = 1;           // hours
            waferFabSettings.UseRealLotStartsFlag = true;

            // MIVS Settings
            //waferFabSettings.WIPTargets = reader.ReadWIPTargets(waferFabSettings.LotSteps, "WIPTargets.csv");
            //waferFabSettings.MIVSjStepBack = 2;
            //waferFabSettings.MIVSkStepAhead = 2;

            // Read Initial Lots
            WaferFabSim.ReadRealSnaphots(inputDir + @$ "SerializedFiles\RealSnapShots_2019-{initialDateTime.Month}-1_2019-{initialDateTime.Month + 1}-1_1h.dat");
            waferFabSettings.InitialRealLots = WaferFabSim.RealSnapshotReader.RealSnapshots.Where(x => x.Time.Date == initialDateTime).OrderBy(x => x.Time).First().GetRealLots(1);

            // Experiment settings
            ExperimentSettings experimentSettings = new ExperimentSettings();

            int count = waferFabSettings.InitialRealLots.Where(x => x.StartTime == null).Count();

            experimentSettings.NumberOfReplications = 30;
            experimentSettings.LengthOfReplication  = 121 * 24 * 60 * 60; // seconds
            experimentSettings.LengthOfWarmUp       = 0 * 60 * 60;        // seconds

            // Connect settings
            WaferFabSim.MyWaferFabSettings = waferFabSettings;

            WaferFabSim.MyExperimentSettings = experimentSettings;

            // Run simulation
            WaferFabSim.RunSimulation();

            // Report summary
            SimulationReporter reporter = WaferFabSim.MySimulation.MakeSimulationReporter();

            reporter.PrintSummaryToFile();
            reporter.PrintSummaryToConsole();
        }
Exemple #4
0
        /// <summary>
        /// Serializes LotTraces. Gets the WorkCenterLotActivities from serialized files. Combines the individual activities from one lot into a trace.
        /// </summary>
        /// <param name="reader"></param>
        /// <param name="workCenterLotAcitivitiesSerializedFile"></param>
        public static void SerializeLotTraces(AutoDataReader reader, string filenameLotActivities, string filenameOutputFile)
        {
            if (reader.WaferFabSettings == null)
            {
                reader.ReadWaferFabSettings(@"FittedEPTParameters.csv", false, false, DispatcherBase.Type.EPTOVERTAKING);
            }

            reader.ReadWorkCenterLotActivities(filenameLotActivities, true);

            reader.SerializeLotTraces(filenameOutputFile);
        }
Exemple #5
0
        /// <summary>
        /// Serializes LotStarts. Reads the LotTraces from serialized file, gets from all traces the starts and transfers this into LotStarts.
        /// </summary>
        /// <param name="reader"></param>
        public static void SerializeLotStarts(AutoDataReader reader, string timeframe)
        {
            if (reader.WaferFabSettings == null)
            {
                reader.ReadWaferFabSettings(@"FittedEPTParameters.csv", false, false, DispatcherBase.Type.EPTOVERTAKING);
            }

            reader.LotTraces = Deserializer.DeserializeLotTraces(Path.Combine(reader.DirectorySerializedFiles, $"LotTraces_{timeframe}.dat"));

            reader.GetLotStarts();

            reader.SerializeLotStarts($"LotStarts_{timeframe}");
        }
Exemple #6
0
        static void Main(string[] args)
        {
            string inputDir = @"C:\Users\nx008314\OneDrive - Nexperia\Work\WaferFab\";

            string outputDir = @"C:\CSSLWaferFab\";

            Settings.Output  = true;
            Settings.FixSeed = true;

            ShellModel WaferFabSim = new ShellModel(inputDir, outputDir);

            // Load WaferFab settings
            //ManualDataReader reader = new ManualDataReader(inputDir + "CSVs");
            AutoDataReader reader = new AutoDataReader(inputDir + "Auto");

            WaferFabSettings waferFabSettings = reader.ReadWaferFabSettings();

            waferFabSettings.SampleInterval       = 1 * 60 * 60; // seconds
            waferFabSettings.LotStartsFrequency   = 1;           // hours
            waferFabSettings.UseRealLotStartsFlag = true;

            // Read Initial Lots
            WaferFabSim.ReadRealSnaphots(inputDir + @"SerializedFiles\RealSnapshots_2019-12-1_2020-1-1_1h.dat");

            waferFabSettings.InitialRealLots = WaferFabSim.RealSnapshotReader.RealSnapshots.First().RealLots;

            // Experiment settings
            ExperimentSettings experimentSettings = new ExperimentSettings();

            experimentSettings.NumberOfReplications = 1;
            experimentSettings.LengthOfReplication  = 1 * 24 * 60 * 60; // seconds
            experimentSettings.LengthOfWarmUp       = 0 * 60 * 60;      // seconds

            // Connect settings
            WaferFabSim.MyWaferFabSettings = waferFabSettings;

            WaferFabSim.MyExperimentSettings = experimentSettings;

            // Run simulation
            WaferFabSim.RunSimulation();

            // Report summary
            SimulationReporter reporter = WaferFabSim.MySimulation.MakeSimulationReporter();

            reporter.PrintSummaryToFile();
            reporter.PrintSummaryToConsole();
        }
Exemple #7
0
        static void Main(string[] args)
        {
            List <DateTime> DateTimes = ReadDateTimes(@"C:\CSSLWaferFab\Input\WIPBalanceWeights\DateTimes.csv");

            int jStepBack  = 0;
            int kStepAhead = 1;

            string inputDir         = @"C:\CSSLWaferFab\Input\";
            string eptParameterFile = @"FittedEPTParameters - 2019-06-01.csv";

            // Get WaferFabSettings
            AutoDataReader   reader           = new AutoDataReader(inputDir + @"CSVs\", inputDir + @"SerializedFiles\");
            WaferFabSettings waferFabSettings = reader.ReadWaferFabSettings(eptParameterFile, false, false, DispatcherBase.Type.MIVS);

            waferFabSettings.WIPTargets = reader.ReadWIPTargets(waferFabSettings.LotSteps, "WIPTargets.csv");


            // Get all lots from snapshot
            LotTraces lotTraces = Deserializer.DeserializeLotTraces(inputDir + @"SerializedFiles\LotTraces_2019_2020_2021.dat");

            foreach (DateTime time in DateTimes)
            {
                RealSnapshot realSnapshot = lotTraces.GetWIPSnapshot(time, 0);
                List <Lot>   lots         = realSnapshot.GetRealLots(0).Select(x => x.ConvertToLot(0, waferFabSettings.Sequences, false, time)).Where(x => x != null).ToList();

                // Construct current WIP levels and WIP targets
                Dictionary <string, int>     WIPlevels  = realSnapshot.WIPlevelsInWafers;
                Dictionary <LotStep, double> WIPtargets = waferFabSettings.WIPTargets;

                // Construct weights per lot
                Dictionary <Lot, double> weights = new Dictionary <Lot, double>();

                foreach (Lot lot in lots)
                {
                    double weight = 0.0;

                    for (int relStep = -jStepBack; relStep <= 0; relStep++)
                    {
                        if (lot.HasRelativeStep(relStep))
                        {
                            LotStep step = lot.GetRelativeStep(relStep);

                            if (WIPlevels.ContainsKey(step.Name))
                            {
                                weight += WIPlevels[step.Name] - WIPtargets[step];
                            }
                            else // WIP level of step is not know in snapshot, so it has to be 0
                            {
                                weight -= WIPtargets[step];
                            }
                        }
                    }

                    for (int relStep = 1; relStep <= kStepAhead; relStep++)
                    {
                        if (lot.HasRelativeStep(relStep))
                        {
                            LotStep step = lot.GetRelativeStep(relStep);

                            if (WIPlevels.ContainsKey(step.Name))
                            {
                                weight += WIPtargets[step] - WIPlevels[step.Name];
                            }
                            else // WIP level of step is not know in snapshot, so it has to be 0
                            {
                                weight += WIPtargets[step];
                            }
                        }
                    }

                    weights.Add(lot, weight);
                }

                WriteWeightsToCSV(weights, time);
            }
        }
Exemple #8
0
        static void SnapshotsWorksstationQueueLenthsJeroen()
        {
            /// //////////////////////////////////////////////
            /// SnapShots Workstation Queue Lengths //////////

            /*
             * DateTime date = new DateTime(2019, 6, 1);
             * int monthsToEvaluate = 12;
             *
             * string inputDir = @"C:\CSSLWaferFab\Input\";
             *
             * string outputDir = @"C:\CSSLWaferFab\Output";
             *
             * string parameters = @"FittedEPTParameters - 2019-06-01.csv";
             *
             * AutoDataReader autoDataReader = new AutoDataReader(inputDir + @"CSVs\", inputDir + @"SerializedFiles\");
             * WaferFabSettings waferFabSettings = autoDataReader.ReadWaferFabSettings(parameters, true, false);
             *
             * List<string> workCenters = new List<string>();
             * foreach (string workCenter in waferFabSettings.WorkCenters)
             * {
             *  workCenters.Add(workCenter);
             * }
             *
             * // Write headers
             * StreamWriter writer = new StreamWriter(Path.Combine(outputDir, "Snapshots", $"Snapshots Workcenter - Complete - 06-2019.txt"));
             * writer.Write("Time,");
             * foreach (string workCenter in workCenters)
             * {
             *  if (workCenter != workCenters.Last())
             *  {
             *      writer.Write($"{workCenter},");
             *  }
             *  else
             *  {
             *      writer.Write($"{workCenter}\n");
             *  }
             * }
             *
             * RealSnapshotReader realSnapshotReader = new RealSnapshotReader();
             * for (int j = 0; j < monthsToEvaluate; j++)
             * {
             *  DateTime n = date.AddMonths(j);
             *  DateTime m = date.AddMonths(j + 1);
             *
             *  string filename = inputDir + @$"SerializedFiles\RealSnapShots_{n.Year}-{n.Month}-{n.Day}_{m.Year}-{m.Month}-{m.Day}_1h.dat";
             *  realSnapshotReader.Read(filename, 1);
             *
             *  List<RealSnapshot> realSnaphshots = new List<RealSnapshot>();
             *  if (j == 0)
             *  {
             *      realSnaphshots = realSnapshotReader.RealSnapshots;
             *  }
             *  else
             *  {
             *      realSnaphshots = realSnapshotReader.RealSnapshots.Skip(1).ToList();
             *  }
             *
             *  // Write Data
             *  foreach (RealSnapshot realSnapshot in realSnaphshots)
             *  {
             *      writer.Write($"{realSnapshot.Time},");
             *      foreach (string workCenter in workCenters)
             *      {
             *          if (workCenter != workCenters.Last())
             *          {
             *              int count = realSnapshot.RealLots.Where(x => x.LotActivity.WorkStation == workCenter).Count();
             *              writer.Write($"{count},");
             *          }
             *          else
             *          {
             *              int count = realSnapshot.RealLots.Where(x => x.LotActivity.WorkStation == workCenter).Count();
             *              writer.Write($"{count}\n");
             *          }
             *      }
             *  }
             * }
             *
             * writer.Close();
             */


            /// //////////////////////////////////////////////
            /// SnapShots IRD Queue Lengths //////////////////

            DateTime date             = new DateTime(2019, 6, 1);
            int      monthsToEvaluate = 12;

            string inputDir = @"C:\CSSLWaferFab\Input\";

            string outputDir = @"C:\CSSLWaferFab\Output";

            string parameters = @"FittedEPTParameters - 2019-06-01.csv";


            AutoDataReader   autoDataReader   = new AutoDataReader(inputDir + @"CSVs\", inputDir + @"SerializedFiles\");
            WaferFabSettings waferFabSettings = autoDataReader.ReadWaferFabSettings(parameters, true, false);

            List <string> orderedLotSteps = new List <string>();

            foreach (var step in waferFabSettings.LotSteps.OrderBy(x => x.Value.Id))
            {
                orderedLotSteps.Add(step.Key);
            }

            //Write headers
            StreamWriter writer = new StreamWriter(Path.Combine(outputDir, "Snapshots", $"Snapshots IRD Wafers - {date.Year}-{date.Month}-{date.Day}.txt"));

            writer.Write("Time,");
            foreach (string lotStep in orderedLotSteps)
            {
                if (lotStep != orderedLotSteps.Last())
                {
                    writer.Write($"{lotStep},");
                }
                else
                {
                    writer.Write($"{lotStep}\n");
                }
            }

            RealSnapshotReader realSnapshotReader = new RealSnapshotReader();

            for (int j = 0; j < monthsToEvaluate; j++)
            {
                DateTime n = date.AddMonths(j);
                DateTime m = date.AddMonths(j + 1);

                string filename = inputDir + @$ "SerializedFiles\RealSnapShots_{n.Year}-{n.Month}-{n.Day}_{m.Year}-{m.Month}-{m.Day}_1h.dat";
                realSnapshotReader.Read(filename, 1);

                List <RealSnapshot> realSnaphshots = new List <RealSnapshot>();
                if (j == 0)
                {
                    realSnaphshots = realSnapshotReader.RealSnapshots;
                }
                else
                {
                    realSnaphshots = realSnapshotReader.RealSnapshots.Skip(1).ToList();
                }

                //Write Data
                foreach (RealSnapshot realSnapshot in realSnaphshots)
                {
                    writer.Write($"{realSnapshot.Time},");
                    foreach (string lotStep in orderedLotSteps)
                    {
                        if (lotStep != orderedLotSteps.Last())
                        {
                            if (realSnapshot.LotSteps.Contains(lotStep))
                            {
                                List <RealLot> realLots   = realSnapshot.RealLots.Where(x => x.IRDGroup == lotStep).ToList();
                                int            nrOfWafers = 0;
                                for (int k = 0; k < realLots.Count(); k++)
                                {
                                    nrOfWafers += realLots[k].Qty;
                                }
                                writer.Write($"{nrOfWafers},");
                            }
                            else
                            {
                                writer.Write("0,");
                            }
                        }
                        else
                        {
                            if (realSnapshot.LotSteps.Contains(lotStep))
                            {
                                List <RealLot> realLots   = realSnapshot.RealLots.Where(x => x.IRDGroup == lotStep).ToList();
                                int            nrOfWafers = 0;
                                for (int k = 0; k < realLots.Count(); k++)
                                {
                                    nrOfWafers += realLots[k].Qty;
                                }
                                writer.Write($"{nrOfWafers}\n");
                            }
                            else
                            {
                                writer.Write("0\n");
                            }
                        }
                    }
                }
            }

            writer.Close();



            /// //////////////////////////////////////////////
            /// SnapShots IRD Queue Lengths //////////////////

            /*
             * DateTime i = new DateTime(2019, 10, 1);
             *
             * string inputDir = @"E:\OneDrive - Nexperia\CSSLWaferFab\Input\";
             *
             * string outputDir = $@"C:\CSSLWaferFab\Output";
             *
             *
             * AutoDataReader autoDataReader = new AutoDataReader(inputDir + @"CSVs\", inputDir + @"SerializedFiles\");
             * WaferFabSettings waferFabSettings = autoDataReader.ReadWaferFabSettings(true, false);
             * List<string> orderedLotSteps = new List<string>();
             * foreach (var step in waferFabSettings.LotSteps.OrderBy(x => x.Value.Id))
             * {
             *  orderedLotSteps.Add(step.Key);
             * }
             *
             * // Write headers
             * StreamWriter writer = new StreamWriter(Path.Combine(outputDir, "Snapshots", $"Snapshots IRD Lots - {i.Year}-{i.Month}-{i.Day}.txt"));
             * writer.Write("Time,");
             * foreach (string lotStep in orderedLotSteps)
             * {
             *  if (lotStep != orderedLotSteps.Last())
             *  {
             *      writer.Write($"{lotStep},");
             *  }
             *  else
             *  {
             *      writer.Write($"{lotStep}\n");
             *  }
             * }
             *
             * RealSnapshotReader realSnapshotReader = new RealSnapshotReader();
             * for (int j = 0; j < 2; j++)
             * {
             *  string filename = inputDir + @$"SerializedFiles\RealSnapShots_{i.Year}-{i.Month + j}-{i.Day}_{i.Year}-{i.Month + 1 + j}-{i.Day}_1h.dat";
             *  realSnapshotReader.Read(filename, 1);
             *
             *  List<RealSnapshot> realSnaphshots = new List<RealSnapshot>();
             *  if (j == 0)
             *  {
             *      realSnaphshots = realSnapshotReader.RealSnapshots;
             *  }
             *  else
             *  {
             *      realSnaphshots = realSnapshotReader.RealSnapshots.Skip(1).ToList();
             *  }
             *
             *  // Write Data
             *  foreach (RealSnapshot realSnapshot in realSnaphshots)
             *  {
             *      writer.Write($"{realSnapshot.Time},");
             *      foreach (string lotStep in orderedLotSteps)
             *      {
             *          if (lotStep != orderedLotSteps.Last())
             *          {
             *              if (realSnapshot.LotSteps.Contains(lotStep))
             *              {
             *                  int count = realSnapshot.RealLots.Where(x => x.IRDGroup == lotStep).Count();
             *                  writer.Write($"{count},");
             *              }
             *              else
             *              {
             *                  writer.Write("0,");
             *              }
             *          }
             *          else
             *          {
             *              if (realSnapshot.LotSteps.Contains(lotStep))
             *              {
             *                  int count = realSnapshot.RealLots.Where(x => x.IRDGroup == lotStep).Count();
             *                  writer.Write($"{count}\n");
             *              }
             *              else
             *              {
             *                  writer.Write("0\n");
             *              }
             *          }
             *      }
             *  }
             * }
             *
             * writer.Close();
             *
             *
             *
             * /// ///////////////////////////////////////////////////
             * /// Gamma analysis ///////////////////////////////
             * /*
             * bool write = true;
             *
             * GammaDistribution gammaDistribution = new GammaDistribution(90, 72900);
             * double alpha = 0.11;
             * double beta = 0.001235;
             *
             * Console.WriteLine("{0}, {1}", gammaDistribution.Alpha, gammaDistribution.Beta);
             * List<double> values = new List<double>();
             * double sumx = 0;
             * double sumxx = 0;
             * double sumw = 0;
             *
             * for (int i = 0; i < 1000000; i++)
             * {
             *  double value = gammaDistribution.Next();
             *  values.Add(value);
             *  sumx += value;
             *  sumxx += value * value;
             *  sumw += 1;
             * }
             *
             * double mean = sumx / sumw;
             * double variance = sumxx / sumw - sumx / sumw * sumx / sumw;
             * double stdev = Math.Sqrt(variance);
             *
             * Console.WriteLine("{0}, {1}, {2}", mean, variance, stdev);
             * Console.WriteLine("{0}, {1}", gammaDistribution.Alpha, gammaDistribution.Beta);
             * if (write)
             * {
             *  using (StreamWriter writer = new StreamWriter(@$"E:\OneDrive - Nexperia\OUTPUT\Python\Gamma Test\Alpha = {alpha}, Beta = {beta}.txt"))
             *  {
             *      writer.WriteLine("Gamma rvs");
             *
             *      foreach (double i in values)
             *      {
             *          writer.WriteLine(i);
             *      }
             *  }
             * }
             */

            /// ///////////////////////////////////////////////////
            /// Read Queue lengths ///////////////////////////////

            /*
             * DateTime initialDateTime = new DateTime(2019, 4, 1);
             *
             * DateTime finalDateTime = new DateTime(2022, 4, 1);
             *
             * string DirectorySerializedFiles = @"E:\OneDrive - Nexperia\CSSLWaferFab\Input\SerializedFiles";
             *
             * string outputDirectory = $@"C:\CSSLWaferFab\LotActivities\{initialDateTime.ToString("yyyy-MM-dd")}";
             *
             * List<WorkCenterLotActivities> workCenterLotActivities = Deserializer.DeserializeWorkCenterLotActivities(Path.Combine(DirectorySerializedFiles, "WorkCenterLotActivities_2019_2020.dat"));
             *
             * //string wc = "PHOTOLITH";
             *
             * List<string> workCenters = new List<string>()
             * {"BACKGRIND", "BATCH UP", "CMP", "DICE", "DRY ETCH", "ELEC TEST", "EVAPORATION", "FURNACING", "IMPLANT",
             *  "INSPECTION", "LPCVD", "MERCURY", "NITRIDE DEP", "OFF LINE INK", "PACK", "PHOTOLITH", "PROBE", "REPORTING",
             *  "SAMPLE TEST", "SPUTTERING", "WET ETCH"};
             *
             *
             * foreach (string wc in workCenters)
             * {
             *  List<Tuple<DateTime, int>> queueLengths = workCenterLotActivities.Where(x => x.WorkCenter == wc).First()
             *      .WIPTrace.Where(x => x.Item1 >= initialDateTime && x.Item1 <= finalDateTime).OrderBy(x => x.Item1).ToList();
             *
             *  // Write all results to a text file
             *  using (StreamWriter writer = new StreamWriter(Path.Combine(outputDirectory, $"{wc}_QueueLength.txt")))
             *  {
             *      writer.WriteLine("Time,QueueLength");
             *
             *      foreach (Tuple<DateTime, int> queueLength in queueLengths)
             *      {
             *          writer.WriteLine(queueLength.Item1 + "," + queueLength.Item2);
             *      }
             *  }
             * }
             */
        }