Alias 音标拼音: ['eliəs]
n . 别名,化名
ad . 别名,化名
n .
(一种代称,例如在用
e -
mail 时,输入
abc ,
E -
MAIL 管理员可能会转换成
abc @
public1 .
guangzhou .
gd .
cn )
别名,化名别名,化名 (一种代称,例如在用
e -
mail 时,输入
abc ,
E -
MAIL 管理员可能会转换成
abc @
public1 .
guangzhou .
gd .
cn )
alias 别名
alias 别名
alias 别名
alias adv 1 :
as known or named at another time or place ; "
Mr .
Smith ,
alias Mr .
Lafayette " [
synonym : {
alias }, {
a .
k .
a .}, {
also known as }]
n 1 :
a name that has been assumed temporarily [
synonym : {
alias },
{
assumed name }, {
false name }]
Alias \
A "
li *
as \,
adv . [
L .,
fr .
alius .
See {
Else }.] (
Law )
(
a )
Otherwise ;
otherwise called ; --
a term used in legal proceedings to connect the different names of any one who has gone by two or more ,
and whose true name is for any cause doubtful ;
as ,
Smith ,
alias Simpson .
(
b )
At another time .
[
1913 Webster ]
Alias \
A "
li *
as \,
n .;
pl . {
Aliases }. [
L .,
otherwise ,
at another time .] (
Law )
(
a )
A second or further writ which is issued after a first writ has expired without effect .
(
b )
Another name ;
an assumed name .
[
1913 Webster ]
23 Moby Thesaurus words for "
alias ":
Jane Doe ,
John Doe ,
Richard Roe ,
anonym ,
assumed name ,
contrarily ,
else ,
elsewise ,
false name ,
fictitious name ,
in other respects ,
in other ways ,
nom de guerre ,
nom de plume ,
nom de theatre ,
or else ,
other than ,
otherwise ,
pen name ,
professional name ,
pseudonym ,
stage name ,
than 1 .
A name , usually short and easy to
remember and type , that is translated into another name or
string , usually long and difficult to remember or type . Most
{command interpreters } (e .g . {Unix }'s {csh }) allow the user to
define aliases for commands , e .g . "alias l ls -al ". These are
loaded into memory when the interpreter starts and are
expanded without needing to refer to any file .
2 . One of several alternative {hostnames } with
the same {Internet address }. E .g . in the {Unix } {hosts }
database (/etc /hosts or {NIS } map ) the first field on a line
is the {Internet address }, the next is the official hostname
(the "{canonical } name " or "{CNAME }"), and any others are
aliases .
Hostname aliases often indicate that the host with that alias
provides a particular network service such as {archie },
{finger }, {FTP }, or {World -Wide Web }. The assignment of
services to computers can then be changed simply by moving an
alias (e .g . www .doc .ic .ac .uk ) from one {Internet address } to
another , without the clients needing to be aware of the
change .
3 . The name used by {Apple computer , Inc .} for
{symbolic links } when they added them to the {System 7 }
{operating system } in 1991 .
(1997 -10 -22 )
4 . Two names ({identifiers }), usually of local
or global {variables }, that refer to the same resource
({memory } location ) are said to be aliased . Although names
introduced in {programming languages } are typically mapped to
different {memory } locations , aliasing can be introduced by
the use of {address } arithmetic and {pointers } or
language -specific features , like {C } {references }.
Statically deciding (e .g . via a {program analysis } executed by a
sophisticated {compiler }) which locations of a {program } will be
aliased at run time is an {undecidable } problem .
[G . Ramalingam : "The Undecidability of Aliasing ", ACM
Transactions on Programming Languages and Systems (TOPLAS ),
Volume 16 , Issue 5 , September 1994 , Pages : 1467 - 1471 ,
ISSN :0164 -0925 .]
(2004 -09 -12 )ALIAS ,
practice .
This word is prefixed to the name of a second writ of the same kind issued in the same cause ;
as ,
when a summons has been issued and it is returned by the sheriff ,
nil ,
and another is issued ,
this is called an alias summons .
The term is used to all kinds of writs ,
as alias fi .
fa .,
alias vend .
exp .
and the like .
Alias dictus ,
otherwise called ;
a description of the defendant by an addition to his real name of that by which he is bound in the writing ;
or when a man is indicted and his name is uncertain ,
he may be indicted as A B ,
alias dictus C D .
See 4 John .
1118 ;
1 John .
Cas .
243 ;
2 Caines ,
R .
362 ;
3 Caines ,
R .
219 .
安装中文字典英文字典查询工具!
中文字典英文字典工具:
复制到剪贴板
英文字典中文字典相关资料:
On This Day - Today in History, Film, Music and Sport Find out what happened today or any day in history with On This Day Historical events, birthdays, deaths, photos and famous people, from 4000 BC to today
On This Day – What Happened Today in History Discover what happened on this day in history Explore key events, famous birthdays, and historical milestones from past to present
On This Day - What Happened Today In History | Britannica On This Day In History: anniversaries, birthdays, major events, and time capsules This day's facts in the arts, politics, and sciences
Facts Events That Happened Today In History - The Fact Site Here you’ll find some interesting facts events that happened today in history, as well as The Fact Site’s Fact of the Day! Learn what special holiday falls on this day and how to celebrate it
历史上的今天 中国与世界重大事件回顾 - 发现今日历史瞬间- 星座之家 探索历史上的今天,了解中国及世界各地发生的重大历史事件。从历史上著名人物的诞生与逝世到影响深远的历史时刻,全面回顾那些被载入史册的日子。浏览我们的页面,发现更多关于今日的历史故事。
On This Day in History - Timeline Events | ThisDayWiki Discover what happened on this day in history Explore a daily timeline of historical events, famous births, and significant moments sourced from Wikipedia
On This Day In History On This Day In History turns major historical moments into clear, compact stories that you can read in minutes while still understanding why the event mattered
TodayBefore. com - Discover What Happened on This Day in History Explore fascinating events, celebrity moments, and cultural milestones that happened on this very day throughout history Sign up for our daily newsletter for historical insights
OnThisDay - On This Day in History: March 15 In 44 B C , Julius Caesar was assassinated in Rome in March, stabbed to death by Brutus, Cassius, and other Roman senators In 1493, Christopher Columbus returned to Spain after completing his first voyage to the New World
Todays Events – Historical Events Famous Birthdays | On This Day in History Discover what happened today in history! Explore historical events, famous birthdays, and notable deaths for any date Daily dose of fascinating history facts and stories