compilerbitch: That's me, that is! (Default)
compilerbitch ([personal profile] compilerbitch) wrote2005-11-23 02:25 pm

Calling all Greek/Latin experts!

Hi all,

I have an urgent need for one or more new words for a mathematics paper I'm currently writing. We are trying to create a taxonomy of existing approaches to hardware analysis, but no actual accepted terminology currently exists. Tradition has it that new terms should probably derive from Greek and/or Latin, hence the plea for help from people-who-know-about-such-stuff.

Anyway, I'll describe the things we're trying to describe, so suggestions of good sounding relevant technical terms would be much appreciated!

Timeless, time free, not requiring consideration of time, time independent. Our best guess so far is achronous. Technically, an achronous model would represent the behaviour of a circuit without taking into account the absolute time(s) at which signals change state.

Non-achronous, something denoting the opposite of the previous case, technically models of circuit behaviour that do take into account absolute time.

'Absolute time', here I'm looking for something that would fit into the same bit of a sentence as 'achronous', but that means 'depending on absolute time'.

'Stretchy time'

'Rigid time'

'Independent time'

'Relational/related time'


'Unknown time' (variants including 'unknown within a range' and 'completely unknown' would be handy)

'Sliced-up time' where slices may be arbitrarily thick.

'Sliced-up time' where slices are of equal, regular duration (think 'clock ticking').

'Ordered time' (here, I mean order in the sense of partial/total order, e.g. 1,2,3,4... rather than something political)

It would be a good idea to avoid existing terms, e.g. synchronous, asynchronous, because I'd rather have distinct, new terms that won't have existing overloaded meaning though they should still be intuitively meaningful. Also, nothing too long -- we really need single words rather than phrases.

The world of science thanks you in advance!



Edit: It's looking like achronal is in pole position at the moment. It's already in use in my current draft, which you can see here if you have the stomach for a heavily mathematical 31 page bludgeon-of-a-journal-paper.

[identity profile] shreena.livejournal.com 2005-11-23 02:28 pm (UTC)(link)
Oooh, I'll be watching the comments on this with interest. I'm currently writing a chapter on Augustine and time and one of the problems that I'm having is that he doesn't appear to have different words for things like atemporality Vs eternity and, as far as I can tell, most ancient writers don't seem to make anywhere near as many temporal distinctions as we do. I'm only just starting to research the vocab bit of this chapter so I don't as yet have anything much to add but I'll come back to it.

[identity profile] andrewwyld.livejournal.com 2005-11-23 02:39 pm (UTC)(link)
Quantum mechanics uses time-independent and time-dependent for the Schrödinger equations -- could those be helpful for the first two?

For "sliced" I recommend partitioned.  I don't think you will find a single word for this, though.  As for the clock ticking idea, I don't know if you could use periodic at all?

[identity profile] andrewwyld.livejournal.com 2005-11-23 02:43 pm (UTC)(link)
Just as a thought for a neologism, you could always use sequentiae as elements of a well-ordered sequence for "ordered" time.  Apparently Sequentia is medieval Latin for the hymn following the alleluia, literally "that which follows".

[identity profile] andrewwyld.livejournal.com 2005-11-23 02:48 pm (UTC)(link)
By the way, what do you mean by "relational" time?  The only context from which I know relational is databases.

[identity profile] compilerbitch.livejournal.com 2005-11-23 02:55 pm (UTC)(link)
I'm alluding to 'independent attribute' vs. 'relational attribute' models. Basically, an independent attribute model (of a circuit, say) would model all values independently of each other with respect to nondeterminism, whereas in a relational attribute model values can depend on each other. A simple example would be classical bits vs. qubits, where k classical bits can exist in 2k states, but k qubits can be constrained to only possibly exist in a subset of the 2k classical states -- in this case, the qubit model could formally be regarded as a relational attribute model, and the classical bit model could be regarded as an independent attribute model.

[identity profile] andrewwyld.livejournal.com 2005-11-23 03:08 pm (UTC)(link)
Hmm ... I am not sure how that applies to time.

[identity profile] compilerbitch.livejournal.com 2005-11-23 03:58 pm (UTC)(link)
Look here for me using an independent attribute model with time as the important axis. The terminology is from here:

Jones, N. D., and Muchnick, S. Complexity of flow analysis, inductive assertion synthesis, and a language due to Dijkstra. In 21st Symposium on Foundations of Computer Science (1980), IEEE, pp. 185-190.

and is quite well known in the program analysis world, though less well known elsewhere.

[identity profile] compilerbitch.livejournal.com 2005-11-23 02:49 pm (UTC)(link)
time-independent and time-dependent

We thought of those, but they would have other connotations for hardware people, which is why we wanted something a bit more distinct (think googlewhack)

[identity profile] caramel-betty.livejournal.com 2005-11-23 02:49 pm (UTC)(link)
I suggest leaping on [livejournal.com profile] cerberuspuppy (leave a message for him in his blog or something), as he teaches Greek and Latin. Also, I like the idea of leaping on him. *coughs*

[identity profile] cerberuspuppy.livejournal.com 2005-11-23 08:03 pm (UTC)(link)
Hola!

I like achronous (or achronal if you prefer). Give me a little *ahem* time to think about this and I'll get back to you.... Also, you may have to explain in more simplistic terms what you're after as my science knowledge is, shall we say, limited.

[identity profile] compilerbitch.livejournal.com 2005-11-23 09:19 pm (UTC)(link)
I'm currently using achronous in the paper -- it seems to fit well, and has the benefit of not having large numbers of confusing overloaded meanings. It's quite likely that we'll stick with it, but I have a few more days before I have to submit the final version to the journal.

What we're doing is basically a huge land-grab of techniques used to analyse (as in predict) the behaviour of an important class of electronic circuits -- we've come up with a very general framework which subsumes nearly all existing work as special cases, whilst also allows a few new things to be proven. This kind of thing happened in the analysis of software in the 1970s, but for some reason no one has attempted this for hardware. So we have. It's a bit scary, and (it seems) not too popular from some people in the hardware community, especially as we're seen as coming from the software world.

We are Borg! Resistance is futile! All your analyses are belong to us!

OK, specifically what I mean by 'achronous' is essentially to coin a new technical term that describes all analyses of circuits that do not take into account absolute time. As a simple example, if you turn on a light at 8am tomorrow morning, an achronous analysis of what was going on would simply say that the light transitions from off to on, whereas a non-achronous analysis might record the exact time at which the light turned on, or perhaps note that the light will be turned on strictly after you get out of bed and strictly before you brush your teeth.

Our kind of 'achronous' analysis, for obvious reasons, is quite abstract, but it can be proven correct, and is also capable of telling you what range of possible behaviours might occur. In a more real application, one might use this kind of technique to determine whether a particular unwanted case could ever possibly arise, such as (for example) an aircraft going outside its design parameters in response to incorrect pilot input. I know the people (at Ecole Normale Superieure in Paris) who are doing exactly that kind of stuff for the Airbus flight software at the moment, using closely related techniques. I also know people at NASA using it to validate the flight software for the Mars Exploration Rover project (aka Spirit & Opportunity), so this is all actually quite current and happening stuff.

oy!

[identity profile] wildscarlet.livejournal.com 2005-11-23 09:08 pm (UTC)(link)
Find your own beautiful "straight" boy to leap on. Or suffer the fists of Mistress Scarlet.

x

Re: oy!

[identity profile] compilerbitch.livejournal.com 2005-11-23 09:20 pm (UTC)(link)
Eeek!

It was that [livejournal.com profile] caramel_betty wot told me to do it, honest! :-)

Re: oy!

[identity profile] cerberuspuppy.livejournal.com 2005-11-23 09:28 pm (UTC)(link)
I think that comment was aimed at CB, not you compilerbitch. Although you would be well-advised to avoid jumping on me anyway; you might break and I certainly would. I am flimsy, you see...

Also, your use of achronous seems good to me.

Re: oy!

[identity profile] caramel-betty.livejournal.com 2005-11-24 03:24 pm (UTC)(link)
Is suffering your fists supposed to put me off?
ext_3375: Banded Tussock (Default)

[identity profile] hairyears.livejournal.com 2005-11-23 04:09 pm (UTC)(link)
I think you're after:
  • Spiritual;
  • Temporal;
  • Agnostic;
  • Profane
Which is silly, but fun.

So try playing with 'temporal' a bit, and find a tame classicist to shek your working...

  1. Antemporal;
  2. Contemporal;
  3. Temporal;
  4. Variotemporal;
  5. Presbytemporal;
  6. Paratemporaneous;
  7. Co-temporal;
  8. Anatemporal (or 'Temporally-agnostic');
  9. Tempotonic (being composed of tones, or slices of time);
  10. Harmonic or metronomic;
  11. Temporostructural;


[identity profile] cerberuspuppy.livejournal.com 2005-11-23 08:10 pm (UTC)(link)
Antemporal;
Contemporal;
Temporal;
Variotemporal;
Presbytemporal;
Paratemporaneous.......


Urgh. Brainfry. As with the guy who named the television, you're mixing your classical languages!

You mean extemporal (which is almost already a word) [from Latin] or achronous [from Greek]. I'll let you off with contemporal and variotemporal (and temporal, obviously). Presbytemporal and paratemporal have the same problem as antemporal, although they do amuse me somewhat. Try presbychronous (if that's what you mean - "old time"-ish). Anatemporal should be anachronous, although that's already a word meaning something else...

[identity profile] dr-strych9.livejournal.com 2005-11-28 02:40 am (UTC)(link)
I like extemporal.

[identity profile] hsenag.livejournal.com 2005-11-23 05:43 pm (UTC)(link)
Might be worth looking at the publications of these guys: http://www.haskell.org/yampa/ - from what I can remember of their work, they have to handle some of this kind of thing too.

"Tomos" is Greek for Slice, hence...

[identity profile] magicdragon2.livejournal.com 2005-11-24 05:04 am (UTC)(link)
"Tomos" is Greek for Slice. Hence atom, thing so small it can't be sliced. Hence Tomography.

You may want to use my new coinage: CHRONOTOMIC (time-sliced) or maybe TOMOCHRONIC.

I'd love to know even more about your paper in progress!

Jonathan Vos Post
ex-Adjunct Professor of Mathematics, Woodbury University
ex-Adjunct Professor of Astronomy, Cypress College
PhD (All But Degree) Computer Science, UMass/Amherst
over 70 computer science and software papers published

Re: "Tomos" is Greek for Slice, hence...

[identity profile] dr-strych9.livejournal.com 2005-11-28 02:37 am (UTC)(link)
Chonotom would make a useful noun with which to refer to a slice of time, with chronotomic and chonotomically being the obvious adjective and adverb forms. You could even make a verb with to chronotomize.

Re: "Tomos" is Greek for Slice, hence...

[identity profile] magicdragon2.livejournal.com 2005-11-28 07:13 am (UTC)(link)
Looks good, sounds good. Except for the typo: "Chonotom" should be "Chronotom." Your verb, from my suggestion, "to chronotomize" is nice, and strangely reminds me of Curley in the Three Stooges saying "I'll murderlize you!" Or maybe "murdalize," no transcript being available.

Peter Lynd in New Zealand, sparked international controversy with a series of Physics papers that solve Zeno's Paradox in a new way, denying that, in the actual universe, there is such a thing as a "moment" of time. That is, one might say, he promulgated the Chronotomic Hypothesis.

Time-slicing is not like slicing salami!

[identity profile] yannnis.livejournal.com 2005-11-25 11:26 pm (UTC)(link)
Here are some thoughts. Most likely wrong but hopefully could sparkle some ideas..
(I would need to better understand the exact context and meaning of where each of them is to be used to try and give some more accurate/relevant terms).

Timeless: άχρονο~without specific time/timing (achronous/achronal?), διαχρονικό~time independent/always valid regardless time (diachronic ?), ανεξίχρονο~time independent (anexichronous?), αϊδιος?, etc.

Non-achronous: χρονικό~some facts that took place during a specific period (chronicon?/chronal?)

'Absolute time', here I'm looking for something that would fit into the same bit of a sentence as 'achronous', but that means 'depending on absolute time': ??

'Stretchy time': χρονιος~after a long time,late,long-delaying,tardy (chronic/chronious), εγχρονιζω~to be long about a thing,delay,become chronic

'Rigid time': μονόχρονα~of one time, of the same time or measure (monochronous)

'Independent time': αυτόχρονος~being its own time (autochronous)

'Relational/related time': ??

'Unknown time' (variants including 'unknown within a range' and 'completely unknown' would be handy): ?

'Sliced-up time' where slices may be arbitrarily thick: χρονοδιαιρετά/χρονοδιαιρέσεις (chronodivisions?), ανισόχρονα~of unequal times/durations (anisochronous), ετερόχρονα~of different times (heterochronous)

'Sliced-up time' where slices are of equal, regular duration (think 'clock ticking'): ισοχρονικά ΧΥΖ ~ ΧΥΖ of the same duration (isochronous ΧΥΖ)

'Ordered time' (here, I mean order in the sense of partial/total order, e.g. 1,2,3,4... rather than something political): εγκαιρος~timely (?)

If you are really serious about this I could probably try ask some greek-linguists..(but then again I am also not sure how urgent is your urgent need and if I could get that done in time ;).

[identity profile] dr-strych9.livejournal.com 2005-11-28 02:46 am (UTC)(link)
Your concept of "absolute time" might be well-informed by first reading On the Chronometry and Metrology of Computer Network Timescales and their Application to the Network Time Protocol (http://www.cis.udel.edu/~mills/database/papers/time.pdf) by David L. Mills. You may find his use of the term epoch to be worth reuse.