代数免疫阶最高的Boole函数的构造和计数

代数免疫阶是针对代数攻击而提出的新的密码准则。为了抵抗代数攻击,流密码中所使用的Boole函数应该具有高代数免疫阶。文中运用替换掉Dalai所构造的代数免疫对称Boole函数支撑集中一些点的方法构造了大量具有最高代数免疫阶的Boole函数,并给出了所构造函数的计数。特别地,对于某些代数次数低于n/2的多项式p(x),构造了代数标准形中单项式系数都不小于n/2的q(x)使得p(x)+q(x)具有最高代数免疫阶。

stochastic process algebra based software process simulation modeling

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

Relation algebra operations on formal contexts.

This paper discusses the use of relation algebra operations on formal contexts. These operations are a generalisation of some of the context operations that are described in the standard FCA textbook (Ganter & Wille, 1999). This paper extends previous research in this area with respect to applications and implementations. It also describes a software tool (FcaFlint) which in combination with FcaStone facilitates the application of relation algebra operations to contexts stored in many formats.

Algebra Llinol - Cyflwyniad

Cyfieithiad yw'r llyfr hwn o Linear Algebra - An Introduction a ymddangosodd gyntaf yn 1978 ac a gyhoeddwyd gan y cwmni Van Nostrand Reinhold. Cafwyd Ail Argraffiad yn 1982 a dros y blynyddoedd bu nifer o ail brintiadau. Yn y cyfamser cyfieithwyd y llyfr i'r Groeg a Thwrceg. Er i'r llyfr gael ei ddefnyddio dros y blynyddoedd gan nifer o fyfyrwyr yn Aberystwyth a oedd yn cyflwyno eu gwaith yn Gymraeg, nid oedd ar gael yn y Gymraeg. Dyma, o'r diwedd, ymgais i wneud rhyw fath o iawn am hynny. Er bod y llyfr wedi bod allan o brint yn y Saesneg ers rhai blynyddoedd yn awr, mae'n amlwg ei fod yn dal i gael ei gymeradwyo mewn nifer o brifysgolion. Felly, y gobaith yw y bydd o ddefnydd. Efallai mai'r peth nesaf bydd ei gyfiethu'n ?l i'r Saesneg! Mae nifer o newidiadau yn y fersiwn hwn. Mae'n siwr bod nifer o gamgymeriadau ac efallai gwelliannau posibl i'r cyfieithu - byddwn yn ddiolchgar dderbyn unrhyw awgrymiadau. Gellir eu cyflwyno hefyd drwy Dr Gwion Evans o'r Adran Fathemateg, Prifysgol Aberystwyth.

A Biomechanical Model of Human Oculomotor Plant Kinematics Based Upon Geometric Algebra

A biomechanical model of the human oculomotor plant kinematics in 3-D as a function of muscle length changes is presented. It can represent a range of alternative interpretations of the data as a function of one parameter. The model is free from such deficits as singularities and the nesting of axes found in alternative formulations such as the spherical wrist (Paul, l98l). The equations of motion are defined on a quaternion based representation of eye rotations and are compact atnd computationally efficient.

In search of Cork's collecting traditions: from Kilcrea's Library to the Boole Library of today

The objective of this essay is not a description of the presently unresearched, unstated and unquantified tradition of collectors, collecting and collectables in Cork; it is rather one of signposting what survives in terms of influences which coalesced into what became the bibliographical and museological resources of the Queen's College and ultimately University College, Cork (UCC).