snapshot.java

一个用java写的地震分析软件(无源码)-used to write a seismic analysis software (without source)

package org.trinet.web;

import java.text.*;
import java.awt.*;
import java.util.*;
import java.io.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.border.*;

import org.trinet.jdbc.*;
import org.trinet.jasi.*;
import org.trinet.util.TimeSpan;
import org.trinet.util.gazetteer.LatLonZ;
//import org.trinet.trigger.*;

import org.trinet.jiggle.*;
//import org.trinet.jiggle.MasterView;
//import org.trinet.jiggle.WFGroupPanel;

import org.trinet.waveserver.rt.WaveClient;

/**
 * Make a snapshot of the first 'n' channels with phase picks. <p>
 *
 *  Usage: SnapShot [evid] [ntraces] [max_secs] [waveServer-file]
 *
 */
public class SnapShot
{
    public static MasterView   mv;	    // the master view

    public static final int NTRACES = 15;

    public static int ntraces = NTRACES ;

    public static int maxSecs = 120;
    public static String waveServerFile = "";

    static boolean debug = true;
    //static boolean debug = false;

    public Dimension singlePanelSize = new Dimension (640, 60);

    public static String host;
    public static String dbasename;
    public static String defaulthost = "k2";
    public static String defaultdbase = defaulthost+"db";

    public static void main (String args[])
    {
	//	long evid = 9570828;	// Hector EQ (yikes!)
	long evid = 9552161;

	if (args.length <= 0)	// no args
	{
	  System.out.println ("Usage: SnapShot [evid] [ntraces] [max_secs] [waveServer-file] [dbase-host] [dbase-name]");
	  //	  System.out.println ("Using evid "+ evid+" as a test...");
	  System.exit(0);

	}


	// event ID
	if (args.length > 0) {

	  Long val = Long.valueOf(args[0]);
	  evid = (long) val.longValue();
	}
	if (debug) System.out.println ("Using evid "+ evid);

	// # of traces
	if (args.length > 1) {

	  Integer val = Integer.valueOf(args[1]);
	  ntraces = (int) val.intValue();
	}

	// max. seconds to plot
	if (args.length > 2) {


	  Integer val = Integer.valueOf(args[2]);
	  maxSecs = (int) val.intValue();
	}
	// get data from waveServer?
	if (args.length > 3) {

	   waveServerFile = args[3];

	   System.out.println ("Get time series from waveServer: file = "+
			       waveServerFile);

	   WaveClient waveClient = null;

	   try {
	       // Make a WaveClient

	       System.out.println ("Creating WaveClient using: "+waveServerFile);

	       waveClient = new WaveClient(waveServerFile); // property file name

	       int nservers = waveClient.numberOfServers();
	       if (nservers <= 0) {
		   System.err.println("getDataFromWaveServer Error:"+
				      " no data servers specified in input file: " +
				      waveServerFile);
		   System.exit(-1);
	       }

	    }
	   catch (Exception ex) {
	       System.err.println(ex.toString());
	       ex.printStackTrace();
	   }

	   if (waveClient != null) Waveform.setWaveSource (waveClient);

	}

	host = defaulthost;	// default
	if (args.length > 4) {
	    host = args[4];
	}

	dbasename = host+"db";	// default
	if (args.length > 5) {
	    dbasename = args[5];
	}

        System.out.println ("Making connection...");
	DataSource init = new TestDataSource(host, dbasename);  // make connection

	//	Component view = SnapShot.makeView (evid, ntraces, maxSecs);

	SnapShot snapShot =  new SnapShot();
	Component view = snapShot.makeViewWithPhases (evid, ntraces, maxSecs);
// make a frame

        JFrame frame = new JFrame("SnapShot of "+evid);

	frame.addWindowListener(new WindowAdapter() {
	    public void windowClosing(WindowEvent e) {System.exit(0);}
	});

	frame.getContentPane().add( view );	    // add scroller to frame

	frame.pack();
	frame.setVisible(true);

	int height = 900;
	int width  = 640;
	frame.setSize(width, height);	// must be done AFTER setVisible


	//	System.exit(0);

    }
    /**
     *
     */
	public Component makeViewWithPhases (long evid,
				    int ntraces,
				    int maxSecs) {

	    double maxDist = 99999.;

	    // make preOT time 15% of maxSec up to a max of 20 sec
	    double preOT = maxSecs * 0.15 ;
	    if (preOT > 20.0) preOT = 20.0;
	    double postOT = maxSecs - preOT;

	    // Load the Solution
	    Solution sol = Solution.create().getById(evid);

	    // no solution
	    if (sol == null) return null;

	    if (debug) System.out.println (": "+sol.toString());

	    // add phases associate with this solution
	    //	    sol.addPhases(Phase.create().getBySolution(sol));
//	    sol.getPhases();
//       sol.loadPhaseList()
	    if (debug) sol.phaseList.dump();

	    double ot   = sol.datetime.doubleValue();
	    TimeSpan ts = new TimeSpan (ot - preOT, ot + postOT);

	    // define the Master View
	    MasterView mv = new MasterView();
	    mv.defineByPhaseList(sol, maxDist, ntraces, ts);

	    mv.setLoadChannelData(true);
	    mv.loadChannelData();
	    mv.distanceSort( );

	    mv.setWaveFormLoadMode(MasterView.LoadAllInForeground);
	    mv.loadWaveforms();

	    return makeView(mv);

	}

    /**
     *
     */
	public Component makeView (long evid,
				    int ntraces,
				    int maxSecs) {

        if (debug) System.out.println ("SnapShot: Making MasterView for evid = "+evid);

	// Make the "superset" MasterView, need to know what's available
	MasterView mv1 = new MasterView();

	// Don't load waveforms or channel data until we've winnowed down to
	// channels with phases
	mv1.setWaveFormLoadMode(MasterView.LoadNone);
	mv1.setLoadChannelData(false);

	boolean status = mv1.defineByDataSource(evid);

	if (!status) return null;	// no such event

	if (mv1.wfvList.size() == 0) return new Label("No waveform views");		// bail if no wfViews
	if (debug) System.out.println ("SnapShot: Total wfviews = "+mv1.wfvList.size());

	// make new MasterView w/ verticals only, then load the waveforms
	// MasterView mv = MasterView.vertOnly(mvBig, ntraces);	    // make MasterView

// Create MasterView of channels with phases

	MasterView mv2 = MasterView.withPhasesOnly(mv1) ;
	if (mv2.wfvList.size() == 0) {
	    if (debug) System.out.println ("SnapShot: No phases found.");
	    return new Label("No waveforms have phases");		// bail if no wfViews
	}
	if (debug) System.out.println ("SnapShot: Total wfviews w/ phases = "+
				       mv2.wfvList.size());

	// lookup lat/lon of the channels in the MasterView
	mv2.setLoadChannelData(true);
	mv2.loadChannelData();
	if (debug) System.out.println ("SnapShot: Distance sorting...");
	mv2.distanceSort( );

// limit to 'ntraces'
	MasterView mv = MasterView.subset(mv2, ntraces);

	if (debug) System.out.println ("SnapShot: Loading waveforms... "+ mv.wfvList.size());
	mv.setWaveFormLoadMode(MasterView.LoadAllInForeground);

	mv.loadWaveforms();

	return makeView(mv);

	}
    /**
     * Make a master view Panel. By default show the phase picks.
     */
    public Component makeView (MasterView mv) {
       return makeView(mv, true);
    }
    /**
     *  Make a master view Panel. If 'showPicks' is true show the phase picks
     * otherwise don't.
     */
    public Component makeView (MasterView mv,
				      boolean showPhaseDescriptions) {

	if (debug) System.out.println ("SnapShot: Making WFGroupPanel...");

        // don't want red time ticks so ignore clock quality
        mv.setClockQualityThreshold(0.0);

	WFGroupPanel wfgPanel = new WFGroupPanel(mv) ;	 // make Group Panel

        wfgPanel.showPhaseDescriptions(showPhaseDescriptions);

	//	Dimension wfDim = new Dimension (width, height);

	if (debug) System.out.println ("SinglePanelSize = "+ singlePanelSize.toString());

	wfgPanel.setSinglePanelSize (singlePanelSize);

	//limit time shown to maxSecs;
	if (mv.timeSpan.size() > maxSecs) {

	    // 2/14/2000 changed to OT - 15 secs. Bogus waveform retrievals made
	    // starting with earliest data shift all real data out of frame.
	    double startTime = mv.solList.getSelected().datetime.doubleValue() - 15.0;

	    //	    double startTime = mv.timeSpan.getStart();
	    wfgPanel.setTimeBounds(new TimeSpan (startTime, startTime+maxSecs));
	}

	// make another panel to support a border
	JPanel borderPanel = new JPanel();
	borderPanel.setBorder(BorderFactory.createRaisedBevelBorder());

	borderPanel.setLayout(new BorderLayout());

	borderPanel.add(wfgPanel, BorderLayout.CENTER);

	// make a label

	String str = mv.solList.getSelected().toSummaryString();
	JLabel label = new JLabel(str);
	int fontSize = 18;
	label.setFont(new Font("Serif", Font.BOLD, fontSize));

	label.setBackground(Color.white);
	label.setForeground(Color.red);

	borderPanel.add(label, BorderLayout.NORTH);

	return borderPanel;

    }


    public void setSinglePanelSize (Dimension singlePanelSize) {

	this.singlePanelSize = singlePanelSize;
    }
} // end of class