Some of Leonid Rosenblum’s works

L. Ya. Rosenblum and A.V. Yakovlev.
Signal graphs: from self-timed to timed ones,
Proc. of the Int. Workshop on Timed Petri Nets,
Torino, Italy, July 1985, IEEE Computer Society Press, NY, 1985, pp. 199-207.

https://www.staff.ncl.ac.uk/alex.yakovlev/home.formal/LR-AY-TPN85.pdf

A paper establishing interesting relationship between the interleaving and true causality semantics
using algebraic lattices. It also identifies an connection between the classes of lattices and the property
of generalisability of concurrency relations (from arity N to arity N+1),
i.e. the conditions for answering the question such as,
if three actions A, B and C are all pairwise concurrent, i.e. ||(A,B), ||(A,C), and ||(B,C), are they concurrent “in three”, i.e. ||(A,B,C)?
L. Rosenblum, A. Yakovlev, and V. Yakovlev.
A look at concurrency semantics through “lattice glasses”.
In Bulletin of the EATCS (European Association for Theoretical Computer Science), volume 37, pages 175-180, 1989.

https://www.staff.ncl.ac.uk/alex.yakovlev/home.formal/lattices-Bul-EATCS-37-Feb-1989.pdf

Paper about the so called symbolic STGs, in which signals can have multiple values (which is often convenient for specifications of control at a more abstract level than dealing with binary signals) and hence in order to implement them in logic gates one needs to solve the problem of binary expansion or encoding, as well as resolve all the state coding issues on the way of synthesis of circuit implementation.

https://www.staff.ncl.ac.uk/alex.yakovlev/home.formal/async-des-methods-Manchester-1993-SymbSTG-yakovlev.pdf

Paper about analysing concurrency semantics using relation-based approach. Similar techniques are now being developed in the domain of business process modelling and work-flow analysis: L.Ya. Rosenblum and A.V. Yakovlev. Analysing semantics of concurrent hardware specifications. Proc. Int. Conf. on Parallel Processing (ICPP89), Pennstate University Press, University Park, PA, July 1989, pp. 211-218, Vol.3

https://www.staff.ncl.ac.uk/alex.yakovlev/home.formal/LR-AY-ICPP89.pdf

Моделирование параллельных процессов. Сети Петри [Текст] : курс для системных архитекторов, программистов, системных аналитиков, проектировщиков сложных систем управления / Мараховский В. Б., Розенблюм Л. Я., Яковлев А. В. – Санкт-Петербург : Профессиональная литература, 2014. – 398 с. : ил., табл.; 24 см. – (Серия “Избранное Computer Science”).; ISBN 978-5-9905552-0-4
(Серия “Избранное Computer Science”)

https://www.researchgate.net/…/Simulation-of-Concurrent-Processes-Petri-Nets.pdf

Leonid Rosenblum passes away …

Today In Miami at the age of 83 passed away a well known Russian and American automata theory scientist Leonid Rosenblum. He was my mentor and closest friend. Here is some brief information about his career. In Russian.

Леонид Яковлевич Розенблюм (5 марта 1936 г. – 2 апреля 2019 г.), канд. техн.наук, доцент – пионер мажоритарной логики, самосинхронной схемотехники, теории и применений сетей Петри в моделировании и проектировании цифровых схем и параллельных систем.В течение 20 лет, с 1960г. по 1980г., занимался с коллегами (в группе профессора В.И. Варшавского) наукой и приложениями (например, разработкой новой схемотехники и надежных бортовых компьютеров) в Вычислительном центре Ленинградского отделения Математического института им. В.А. Стеклова АН СССР.

С 1981г. по 1989 г. работал доцентом кафедры математического обеспечения и применения ЭВМ в ЛЭТИ им. В.И. Ульянова-Ленина (ныне Санкт-Петербургский государственный электротехнический университет). В 90-х годах после эмиграции в США работал адъюнкт-профессором в Бостонском университете, а также исследователем в Гарвардском университете.

Соавтор/автор пяти книг, около двух сотен различных изданий, учебных пособий, статей и обзоров, более 40 авторских свидетельств на изобретения.

Среди его учеников – профессора университетов России, Великобритании, США, Финляндии и других стран, сотрудники институтов АН Российской Федерации, таких как Институт Проблем Управления, а также известных отечественных и зарубежных компаний, таких как Intel, Cadence, Xilinx и т.д.

Леонида Яковлевича отличало врожденное свойство видеть в людях только положительные качества, помогать всем и во всем, и конечно необыкновенное чувство юмора. Эта утрата для огромного числа людей повсюду, всех кому посчастливилось его знать или слышать о нем.

Вечная память, дорогой Лека!

Leonid Yakovlevich Rosenblum (March 5, 1936 – April 2, 2019), Cand. Technical Sciences, Associate Professor – a pioneer of majority logic, self-timed circuit design, theory and applications of Petri nets in the modeling and design of digital circuits and parallel systems.

For 20 years, from 1960 to 1980, he worked with his colleagues (in the group of Professor VI Varshavsky) with science and applications (for example, developing new circuitry and reliable on-board computers) at the Computing Center of the Leningrad Branch of the Mathematical Institute. V.A. Steklov Academy of Sciences of the USSR.
From 1981 to 1989, he worked as an associate professor at the Department of Software and Computer Applications at LETI named after Ulyanov-Lenin  (now St. Petersburg State Electrotechnical University). In the 90s, after emigration to the United States, he worked as an adjunct professor at Boston University, as well as a researcher at Harvard University.
Co-author / author of five books, about two hundred different publications, textbooks, articles and reviews, more than 40 certificates of authorship for inventions.

Among his students are professors from universities in Russia, the United Kingdom, the United States, Finland and other countries, employees of institutes of the Academy of Sciences of the Russian Federation, such as the Institute of Management Problems, as well as well-known domestic and foreign companies such as Intel, Cadence, Xilinx, etc.

Leonid Yakovlevich was distinguished by the innate ability to see in people only positive qualities, to help everyone and in everything, and of course an extraordinary sense of humor. This is a great loss for a huge number of people everywhere, all who were lucky enough to know or hear about him.
Rest in peace, dear Leo!

 

On “Свой – Чужой” (Friend – Foe) paradigm and can we do as good as Nature?

I recently discovered that there is no accurate linguistic translation of the words “Свой” and “Чужой” from Russian to English. A purely semantical translation of “Свой” as “Friend” and  “Чужой” as “Foe” will only be correct in this particular paired context of “Свой – Чужой” as “Friend – Foe”, which sometimes delivers the same idea as “Us – Them”. I am sure there are many idioms that are also translated as the “whole dish” rather than by ingredients.

Anyway, I am not going to discuss here linguistic deficiencies of languages.

I’d rather talk about the concept or paradigm of “Свой – Чужой”, or equally “Friend – Foe”, that we can observe in Nature as a way of enabling living organisms to survive as species through many generations. WHY, for example, one particular species does not produce off-spring as a result of mating with another species? I am sure geneticists would have some “unquestionable’’ answers to this question. But, probably those answers will either be too trivial that they wouldn’t trigger any further interesting technological ideas, or too involved that they’d require studying this subject at length before seeing any connections with non-genetic engineering.  Can we hypothesize about this “Big WHY” by looking at the analogies in technology?

Of course another question crops up as why that particular WHY is interesting and maybe of some use to us engineers.

Well, one particular form of usefulness can be in trying to imitate this “Friend – Foe” paradigm in information processing systems to make them more secure. Basically, what we want to achieve is that if a particular activity has a certain “unique stamp of a kind’’ it can only interact safely and produce meaningful results with another activity of the same kind. As activities or their products lead to other activities we can think of some form of inheritance of the kind, as well as evolution in the form of creating a new kind with another “unique stamp of that kind”.

Look at this process as the physical process driven by energy. Energy enables the production of the offspring actions/data from the actions/data of the similar kind (Friends leading to Friends) or of the new kind, which is again protected from intrusion by the actions/data of others or Foes.

My conjecture is that the DNA mechanisms in Nature underpin this “Friend – Foe” paradigm by applying unique identifiers or DNA keys. In the world of information systems we generate keys (by prime generators and filters to separate them from the already used primes) and use encryption mechanisms. I guess that the future of electronic trading, if we want it to be survivable, is in making available energy flows generate masses of such unique keys and stamp our actions/data in their propagation.

Blockchains are probably already using this “Свой – Чужой” paradigm, do they? I am curious how mother Nature manages to generate these new DNA keys and not run out of energy. Probably there is a hidden reuse there? There should be balance between complexity and productivity somewhere.

Our paper on Performance-Energy-Reliability interplay in Multi-core Scaling

Fei Xia, Ashur Rafiev, Ali Aalsaud, Mohammed Al-Hayanni, James Davis, Joshua Levine, Andrey Mokhov, Alexander Romanovsky, Rishad Shafik, Alex Yakovlev, Sheng Yang,  “Voltage, Throughput, Power, Reliability, and Multicore Scaling”, Computer, vol. 50, no. , pp. 34-45, August 2017, doi:10.1109/MC.2017.3001246

http://publications.computer.org/computer-magazine/2017/08/08/voltage-throughput-power-reliability-and-multicore-scaling/

This article studies the interplay between the performance, energy, and reliability (PER) of parallel-computing systems. It describes methods supporting the meaningful cross-platform analysis of this interplay. These methods lead to the PER software tool, which helps designers analyze, compare, and explore these properties. The web extra at https://youtu.be/aijVMM3Klfc illustrates the PER (performance, energy, and reliability) tool, expanding on the main engineering principles described in the article.

The PER tool can be found here:

www.async.org.uk/prime/PER/per.html

Open access paper version is here:

http://eprint.ncl.ac.uk/file_store/production/231220/F814D1A8-84ED-4996-A2C1-6BD3763E6456.pdf

Real Power stuff in ARM Research Summit 2017

There have been several presentations about Real Power Computing at the last ARM Research Summit held on 11-13th September 2017 in Cambridge (Robinson College):

The full agenda of the summit is here:

https://developer.arm.com/research/summit/agenda

The videos of the talks can be found here:

http://www.arm.com/summit/live

It is possible to navigate to the right video by selecting the Webcam by the name of the room where that session was scheduled in the Agenda.

The most relevant talk was our talk on Real Power Computing, given by Rishad Shafik. it is listed under my name on Monday 11th Sept at 9:00.

Other relevant talks were by Geoff Merrett and Bernard Stark, in the same session, and by Kerstin Eder on Tuesday 12th at 9:00.

 

Real-Power Computing: Basics

What is Real-Power Computing?

RP Computing is a discipline of designing computer systems, in hardware and software, which operate under definite power or energy constraints. These constraints are formed from the requirements of applications, i.e. known at the time of designing or programming these systems or obtained from the real operating conditions, i.e. at run time. These constrains can be associated with limited sources of energy supplied to the computer systems as well as with bounds on dissipation of energy by computer systems.

Applications

These define areas of computing where power and energy require rationing in making systems perform their functions.

Different ways of categorising applications can be used. One possible way is to classify application based on different power ranges, such as microWatts, milliWatts etc.

Another way would be to consider application domains, such as bio-medical, internet of things, automotive systems etc.

Paradigms

These define typical scenarios where power and energy constraints are considered and put into interplay with functionalities. These scenarios define modes, i.e. sets of constraints and optimisation criteria. Here we look at the main paradigms of using power and energy on the roads.

Power-driven: Starting on bicycle or car from stationary state as we go from low gears to high gears. Low gears allow the system to reach certain speed with minimum power.

Energy-driven: Steady driving on a motorway, where we could maximise our distance for a given amount of fuel.

Time-driven: Steady driving on a motorway where we minimise the time to reach the destination and fit the speed-limit regulations.

Hybrid: Combinations of power and energy-driven scenarios, i.e. like in PI (D) control.

Similar categories could be defined for budgeting cash in families, depending on the salary payment regimes and living needs. Another source of examples could be the funding modes for companies at different stages of their development.

Architectural considerations

These define elements, parameters and characteristics of system design that help meeting the constraints and optimisation targets associated with the paradigms. Some of them can be defined at design (programming and compile) time while some defined at run-time and would require monitors and controls.

On Relationship between X and Y chromosome evolution and PID control

First of all, I would like you to read my previous post on the graphical interpretation of the mechanisms of evolution of X and Y chromosomes.

These mechanisms clearly demonstrate the greater changeability of the X pool (in females) than the Y pool  (present only in males) – simply due to the fact that X chromosomes in females merge and branch (called fan in and fan out).

The next, in my opinion, interesting observation is drawn from the notions of mathematical analysis and dynamical systems theory. Here we have ideas of proportionality, integration, differentiation, on one hand, and notions of combinationality and sequentiality on the other.

If we look at the way how X-chromosomes evolve with fan-in mergers, we clearly see the features akin to proportionality and differentiality. The outgoing X pools are sensitive to the incoming X pools and their combinations. Any mixing node in this graph shows high sensitivity to inputs.

Contrary to that, the way of evolution of Y-chromosomes with NO fan-in contributions, clearly shows the elements of integration and sequentiality, or inertia, i.e. the preservation of the long term features.

So, the conclusions that can be drawn from this analysis are:

  1. Males tend to bring the integral or sequential (cf. sequential circuits in digital systems – with longer term memory) aspect to the overall process of evolution
  2. Females tend to bring the proportional/differential or combinatorial (cf. combinational circuits – with shorter term memory)
  3. The presence of both male and female genetics are essential for stability of the evolution and survival of the kind, much like the PID feedback control helps stability of dynamical systems, and much like the combination of combination and sequential circuits allow computer systems to operate according to their programs.

Again, I would be grateful for any comments and observations!

PS. By looking at the way how our society is now governed (cf. female or male presidents and prime ministers), you might think whether we are subject to differentiality/combinatorics or integrality/sequentiality and hence whether we are stable as a dynamical system or systems (in different countries).

Happy Days!

 

 

 

 

 

On the dynamics of evolution of Y and X chromosomes

It is a known fact that men inherit both Y and X chromosomes while women only X chromosomes.

As a corollary of that fact we also know that Y-chromosomes, sometimes synonymized with Y-DNA, are only inherited by the male part of the human race. This means that Y-chromosome inheritance mechanism is only forward-branching, i.e. Y-DNA is passed from one generation to the next generation “nearly” unchanged. As I am not an expert in genetics I cannot state precisely, in quantitative terms, what this “nearly” is worth. Suppose this “nearly” is close to 100% for simplicity.

Below is a diagram which illustrates my understanding of the mechanism of inheritance of Y-chromosomes.

This diagram is basically a branching tree, showing the pathways of the Y-DNA from one generation to the future generations of males. The characteristic feature of this inheritance mechanism is that it is Fan-out only. Namely, there is no way that the Y-DNA can be obtained by merging different Y-DNAs because we have no Fan-in mechanism.

Let’s now consider the mechanism of inheritance and evolution of X-chromosomes.The way how I see this mechanism is shown in the following diagram.

X-chromosomes are inherited by both males and females. But, as I understand, this happens in two different ways.

Each female takes a portion of X chromosomes from her father (let’s denote it as X1) and a portion of X chromosomes from her mother (denoted by X2), thereby producing its own set of chromosomes X2’ which is a function of X1 and X2. Similar inheritance is in the next generation where X2’’=f(X1’,X2’).

Each male, however, only inherits X chromosomes from his mother, as shown above, where X1’’=f(X2’).

At each generation, when the offspring produced has a female, there is a merge of X chromosomes from both parents. This means that the pool of X chromosomes as we go down the generations is constantly changed and renewed with new DNA from different incoming branches.

This mechanism is therefore both Fan-in and Fan-out. And this is not a tree but a directed acyclic graph.

What sort of conclusion can we draw from this analysis? Well, I draw many interesting (to me at least) conclusions associated with the dynamics of evolution of the genetic pool of males and females. One can clearly see that the dynamics of genesis of females is much higher than that of males. Basically, one half of a male’s genesis remains “nearly” (please note my earlier remark about “nearly”) unchanged, and only the other half is subject to mutation, whereas in females both halves are changed.

I can only guess that Y-chromosomes are probably affected by various factors such as geographical movements, difference in environment, deceases etc., but these mutations are nowhere near as powerful as the mergers in the X-pool.

In my next memo I will write about the relationship between the above mechanisms of evolution and PID (proportional-integrative-differential) control in dynamical systems, which will lead to some conjectures about the feedback control mechanisms in evolution of species.

I would be grateful if those whose knowledge of human genetics is credible enough could report to me of any errors in my interpretation of these mechanisms.