课程文献中心 更多>>

关键词： 产生式组   符号   第一个   标识符   左部   右部   ACM   GOL   语义程序   优先文法  

摘要： 产生式语言(PL)是为写语法识别程序而设计的一种程序语言。它自动地使用语法栈SYN,象我们已经讨论过的其它认别程序一样。PL程序主要由一系列形为 {〈标号〉∶}〈符号〉{〈符号〉}~0{→{〈符号〉}~0}{〈动作〉}~0的产生式组成。其中(这些记号的确切含义在第二章已说明过)

关键词： PL/1   标识符   构件   字符处理   文字处理   属性   数据域   DCL  

摘要： ALGOL60中的数据类型很简单,只有实型、整型、布尔型。其中也提供了“行”,但缺乏处理“行”的手段。因此当需要使用双精度,进行字符处理或按位处理时就很不方便了。PL/1对数据提供了丰富的类型,可以方便地处理各类问题。PL/1的数据大致分为两类,一类是问题数据,它提供程序加工对象的信息。一类是程序控制数据,指示程序如何执行。

关键词： 单元地址   标识符   义符   编译程序   偏旁   编译器   源程序   软件   动态子程序   DJS-21   编译系统  

摘要： DJS-21机算法语言是采用 ALGOL 系统,在 ALGOL60 报告的基础上,根据机器特点作了某些限制和补充.编译方法是采用优先数法,三次扫描完成编译.DJS-21机编译系统具有修改功能、阅读功能、语法检查功能、溢出追踪功能、动态错追踪功能和其它调整功能,这样更便于调整源程序.编译程序和运行系统共约2×6000条指令,全部记在鼓內,编译时按各次扫描分别调入内存进行编译(见附录二).

关键词： 长度   记录   作标记   信息交流   数据处理   记录工程   文档   信息交换   数据块   信息标志   标识符   磁带  

标准号: NF Z62-210-1970

摘要： La présente norme concerne l'échange d'information par bandes magnétiques, au moyen d'étiquettes enregistrées magnétiquement qui permettent d'identifier et de structurer les fichiers, et propose une structure normalisée pour les blocs contenant les enregistrements qui constituent les fichiers.

关键词： address   Algol 60   algorithmic metalanguage   identifier denotation   programming language   programming language linguistics   semantic description   semantic metalanguage   semantics   transformation algorithm  

摘要： The problem of giving an algorithmic specification of the semantics of identifier denotation and block structure in Algol 60 is investigated. To facilitate the statement of the algorithms, a set of “canonical identifiers” and certain auxiliary languages are introduced. The algorithms for identifier denotation are then given. They transform an Algol 60 program into one in which no identifier is ever redeclared;hence they unambiguously associate each identifier with its proper declaration. Informal proofs of the correctness of the algorithms are provided. The implications of the algorithms for resolving some of the remaining trouble spots in Algol 60, and their applicability to other languages, are briefly discussed. © 1970, ACM. All rights reserved.

摘要： This paper presents a procedure for identifying a linear lumped parameter system. The procedure is then mechanised as an identifier.

关键词： Technology, Radiologic*  

摘要： The k-anonymity model has become a standard for anonymizing data. However, almost all applications of k-anonymity are used to anonymize large data sets of personally identifiable information owned by a trusted third party before being given to analysists To further research in this this area, this study created a tool called the Anonymity Engine. This tool was built as a web browser plugin that analyzes headers on all web traffic exiting the system and builds a database of relevant quasi-identifier. Users are notified in real time if a data packet would compromise their identity and give the option to not send the data. This tool has also been used to generate data that shows that modifying data before implementing k-anonymity can impact the results. These modified results show that it can make some users more anonymous while reducing the level of privacy for other users depending on the traffic.

关键词： CAN总线   节点   标识符   CAN-bus node identification character  

摘要： 采用8位单片机87C51FA和新一代CAN控制器SJA1000,实现了航行器黑匣子中多路光电信息采集传输系统的设计,并详细叙述了模块化的节点软硬件设计方案.关键词