Search

Results

wiki:seclusterchi1.0: 28 Hits

</code> In the cluster tool, jobs may start almost simultaneously on different cluster processors. Because the chi distribution initial values are dependent on the ... imes the number of distributions used in the used chi model. I used a difference of 123456 to be on the

transformal:start: 23 Hits

riendly way. ==== The Chi formalism ==== The [[chi:start|Chi formalism]] combines ease of modeling with a straightforward, formal semantics. Ease of modeling i... several other user-friendly syntactic extensions. Chi is suited to modeling, simulation, and verificati... communication and actions, and shared variables. Chi has been widely used in industrial projects and o

sesystems:using_the_se_racks_from_windows_using_andlinux: 19 Hits

ossibly inside a virtual machine. See also the [[:chi:installation|Chi/CIF Installation]] for instructions on how to install the Chi/CIF tooling. ====== Using the SE rack systems fr... sions only).". This page describes how to use the Chi/CIF tooling on the SE rack systems using andLinux

cookbook:folding: 16 Hits

for this problem is the following function: <code chi> func sum(val xs: [nat]) -> nat = |[ var s: nat =... the list by removing the head of the list, and we start the loop. We can use this function in the following process fragment: <code chi> |[ var xs: [nat] = [ 1,3,2 ], s: nat, ... :: ...... way of specification is in a recursive way: <code chi> func sum(val xs: [nat]) -> nat = |[ var s: nat =

sesystems:kate_kwrite: 15 Hits

====== Using Kate/KWrite to edit Chi/CIF files ====== Both the Kate and KWrite editor can be used to edit Chi and CIF files. They can be used without any modif... === It is possible to get syntax highlighting of Chi and CIF models in the Kate editor. This is in no ... pful non the less. To get syntax highlighting for Chi and CIF models in Kate/KWrite, follow these steps

biological_systems:sim: 12 Hits

====== Simulators ====== * [[Chi:start|Chi]] *[[:vanbeek:jlap05|Syntax and consistent equation semantics (article published in JLAP, 2006)]] * Timed Chi * {{:chi:chi10_refman1689.pdf|Chi 1.0 reference manual}} (23 aug 2007) * {{:chi:learningch

cookbook:buffers: 11 Hits

annel ''b''. The list is denoted by ''xs''. <code chi> proc B(chan a?,b!: item) = |[ var xs: [item] = [... is denoted by ''N'', can be specified by: <code chi> proc B(chan a?,b!: item, val N: nat) = |[ var xs... re then one item or product before processing can start. Well-known examples of such machines are furnace... ke([1,2,3],1) = [1]''; ''hd([1,2,3]) = 1''. <code chi> proc B(chan a?: item, b!: [item], val k: nat) =

experimenting:start: 10 Hits

output from Chi. ===== Other links ===== * [[chi:start|Chi]] The Chi language Wiki page * [[structuring_experimenting:start|Structuring Experimenting]] - Frame work for cond

supcon:scide:releases: 10 Hits

loaded from the [[http://devel.se.wtb.tue.nl/trac/chi-tooling/downloads|development site]] ('IDE' secti... tems:toolselect|toolselect]] (on the [[:sesystems:start#serack-nn.se.wtb.tue.nl|SE rack systems]]). ===== Page change notifications ===== See [[:wiki:start#Page change notifications|Page change notificatio... * This version is compatible with [[cif:releases#start|Chinetics]] rev6018 and higher. * SCIM * Lo

wiki:secluster: 10 Hits

ted into the queue separately. The easiest way to start these simulations is to use Python to submit thes... achine simultaneously. Since the stochasticity in chi depends on the moment of starting the simulation,... e result! This is because stochastic functions in chi produce identical results if two simulations are ... solution would be to give each simulation a uniq start seed using the (I think) ''-s'' option. I don't

structuring_experimenting:start: 9 Hits

rocess is divided into three parts: * //Run// - Start the actual simulations with the chi-model. * //Calculation// - Perform the desired ... es. To read the documentation: Unzip the file and start ''index.html''. ''frame.py'' will soon be instal... the required functions and parameters to it. * Start the frame, i.e. start concurrent execution of the three functions. \\ See the template and example files

twins:master_jelte_leijenaar:questions: 9 Hits

idential, I'd like to know this before I actually start writing about it. I'm going to give the layout of... o rewrite my model to the [[:CIF|CIF]] version of Chi. This will, offcourse, take some time during the ... (J): I will give a presentation about the hybrid-/chi models of de DS-86 so far. Can I use the full sch... ven better to come to present (if it involves the Chi code). This product is enough, don't worry :-) =

biological_systems:man: 8 Hits

esults of the deterministic ODEs in Figure 1. The chi-code can be found here:[[biological_systems:examples1#Complete Reaction|chi]].\\ {{ :biological_systems:structure_mm2.png |}... reconfiguring (or processing) a substrate it can start processing the arriving substrate. If the enzyme ... ot idle. A machine is considered idle if it could start processing a new product. Utilisation has no dime

projects:twins:start: 8 Hits

ce 2008. See also: * [[:cif:start|CIF]] * [[:chi:start|Chi]] Note that we use and (partially) develop [[:chi:start|Chi]] and the [[:cif:start|Compositional Interchange Format (CIF)]] for supe

experimenting:splitting: 8 Hits

projects:multiform:start: 8 Hits

supcon:pushbutton_lamp_tutorial_state_based: 7 Hits

sesystems:using_the_se_racks_from_windows_using_ssh: 6 Hits

wonham:sctool: 5 Hits

twins:master_jelte_leijenaar:progress: 5 Hits

supcon:tooling_availability: 4 Hits

supcon:scide:installation: 4 Hits

supcon:scide:start: 4 Hits

vanbeek:start: 4 Hits

biological_systems:sidebar: 4 Hits

playground:start: 3 Hits

supcon:cif_svc_overview: 3 Hits

supcon:susyna: 2 Hits