The Big Programming Thread - Page 483

Prev 1 481 482 483 484 485 1032 Next

Thread Rules
1. This is not a "do my homework for me" thread. If you have specific questions, ask, but don't post an assignment or homework problem and expect an exact solution.
2. No recruiting for your cockamamie projects (you won't replace facebook with 3 dudes you found on the internet and $20)
3. If you can't articulate why a language is bad, don't start slinging shit about it. Just remember that nothing is worse than making CSS IE6 compatible.
4. Use [code] tags to format code blocks.

KaiserJohan

Sweden1808 Posts

May 21 2014 06:33 GMT

#9641

On May 21 2014 02:49 Rels wrote:

Show nested quote +

Thanks! I'll give it a look.

SDL/SFML is a great start; if you want to go more low-level I suggest jumping on OpenGL directly, plenty of tutorials about. Does require some extra libraries though typically (GLEW, GLFW and later on ASSIMP)

urboss

Austria1223 Posts

May 21 2014 07:32 GMT

#9642

On May 21 2014 15:02 Release wrote:
In java, I cannot seem to create a generic array.

Task<T>[] t = new Task<T>[2];

however, a generic arraylist works;

ArrayList<Task<T>> t = new ArrayList<Task<T>>();

I'm not sure why as a Task<T> is just an object, and Object[] is usually a valid array declaration and Object[i] is usually a valid array of size i.

Array has a method called newInstance:
http://docs.oracle.com/javase/1.5.0/docs/api/java/lang/reflect/Array.html#newInstance(java.lang.Class, int[])

iremnant3847

Taiwan269 Posts

May 21 2014 07:40 GMT

#9643

Could anyone tell me if MATLAB is a useful language? I'm a first-year in college and I just finished taking a class that taught it. Prior to the spring semester, I had never heard of it, so I can't tell whether it's useful or necessary to know. I've got some spare time on my hands so if I determine it to be useful, I think I'll put in some time to learn it a bit more.

sluggaslamoo

Australia4494 Posts

May 21 2014 08:23 GMT

#9644

On May 21 2014 16:40 iremnant3847 wrote:
Could anyone tell me if MATLAB is a useful language? I'm a first-year in college and I just finished taking a class that taught it. Prior to the spring semester, I had never heard of it, so I can't tell whether it's useful or necessary to know. I've got some spare time on my hands so if I determine it to be useful, I think I'll put in some time to learn it a bit more.

Only if you intend to become a professor in science or something.

iremnant3847

Taiwan269 Posts

May 21 2014 08:26 GMT

#9645

On May 21 2014 17:23 sluggaslamoo wrote:

Only if you intend to become a professor in science or something.

I figured as much. Oh well, it was only for a semester.

teamamerica

United States958 Posts

May 21 2014 08:36 GMT

#9646

On May 21 2014 17:26 iremnant3847 wrote:

Show nested quote +

I figured as much. Oh well, it was only for a semester.

I know of engineers and machine learning people who use it. It's fast for prototyping stuff, although for production you'd prolly hammer it out in c++/java once you got the algorithms down. There's also gnu octave but in school matlab should be easy to access.

To the guy asking about parameterized array, you should look up the generics tutorial on sun site. Lots of gotchas that maybe you don't expect otoh. It's related to type erasure and arrays being covariant and java used to not have generics so of arrays weren't covariant your code would be sad

Rollin

Australia1552 Posts

May 21 2014 08:49 GMT

#9647

Matlab is used for modelling lots of systems for engineering solutions to real problems, not for creating software. As a mechatronic engineer, it is the most valuable tool by far.

nunez

Norway4003 Posts

May 21 2014 12:27 GMT

#9648

On May 21 2014 17:26 iremnant3847 wrote:

Show nested quote +

I figured as much. Oh well, it was only for a semester.

no, it's used in industry as well. but i dunno if it's worth putting extra effort into.

MichaelEU

Netherlands816 Posts

May 21 2014 12:34 GMT

#9649

For a software engineer, that one class that teaches you the basics should be enough. If you need it later, learn it later.

Shield

Bulgaria4824 Posts

May 21 2014 21:16 GMT

#9650

Can anyone explain the "on the fly model checking" as in Formal Methods? I understand that it does it at run-time, and that it doesn't have to construct/compile the whole product to check stuff but is that all?

Kambing

United States1176 Posts

May 22 2014 01:22 GMT

#9651

On May 22 2014 06:16 darkness wrote:
Can anyone explain the "on the fly model checking" as in Formal Methods? I understand that it does it at run-time, and that it doesn't have to construct/compile the whole product to check stuff but is that all?

(Forewarning: I'm not a verification expert, so this is my own understanding based off my reading of the literature.)

With respect to SPIN:

Spin works on-the-fly, which means that it avoids the need to preconstruct a global state graph, or Kripke structure, as a prerequisite for the verification of system properties. This makes it possible to verify very large system models.

Verification engines work by modeling the possible states of a program in a finite state automata. With such a model, the problem of determining if the given program meets some specification is reduced to reachability in that automata. The state space for all but the most trivial of programs is too large to compute up front in its entirety. So on-the-fly analysis constructs only the part of the state space that is necessary to verify the property at hand.

The Model Checker SPIN: http://spinroot.com/spin/Doc/ieee97.pdf
Simple On-the-fly Automatic Verification of Linear Temporal Logic: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.51.2625

Shield

Bulgaria4824 Posts

May 22 2014 05:11 GMT

#9652

Thanks! I've managed to find what my Formal Methods professor has said, and it's summed up as:
1) to help control how much of the product needs to be constructed by using the formula's negation
2) to help solve the main complexity (construction of full product)

So nothing is actually said about 'run-time', haha.

3FFA

United States3931 Posts

May 22 2014 11:53 GMT

#9653

I'm planning to purchase a an erasable white board for use in college so I can more easily work out problems and also get used to the feel of a white board. Any chance you guys have any recommendations for the best white board/markers to get? Thanks in advance.

Kambing

United States1176 Posts

May 22 2014 15:06 GMT

#9654

On May 22 2014 14:11 darkness wrote:
Thanks! I've managed to find what my Formal Methods professor has said, and it's summed up as:
1) to help control how much of the product needs to be constructed by using the formula's negation
2) to help solve the main complexity (construction of full product)

So nothing is actually said about 'run-time', haha.

Yeah, there are classes of verification tools that run at runtime. These typically operate over traces of computation rather than models of the state space. And there are, of course, hybrid approaches that use trace information to prune the state space.

Manit0u

Poland17743 Posts

May 22 2014 15:55 GMT

#9655

I need some help with JS. I'm designing a custom rating widget because all of the available jQuery plugins either don't meet the specs or are under shitty license.

Code (mixed with pseudocode):


<div class="x">
    // ----- before
    <span class="y" onclick="func(this)"></span>
    <span class="y" onclick="func(this)"></span>
    // ----- here we call func (for example)
    <span class="y" onclick="func(this)"></span>
    // ----- after
    <span class="y" onclick="func(this)"></span>
    <span class="y" onclick="func(this)"></span>
</div>

<script>
    function func(elem) {
        if (!elem.hasClass("z")) {
            elem.addClass("z");
        }

        $var belems = elements before called element;
        $var aelems = elements after called element;

        for belems as elem {
            if (elem.hasClass("z")) {
                elem.removeClass("z");
            }
         }
         
       for aelems as elem {
            if (!elem.hasClass("z")) {
                elem.addClass("z")
            }
        }       
    }
</script>

The problem I'm facing is actually getting the required elements. <div> "x" is not unique on the page (there are many of them), neither are its children ("y") but I must find specific y's in specific x...

With getElementById it would be piss simple, like this it's not and unfortunately I can't give unique id to the x divs (very ugly).

Any help?

urboss

Austria1223 Posts

May 22 2014 16:12 GMT

#9656

You are using the same variable name "elem" twice.
Once when you pass it to the function and once when you iterate over it.
Ah I guess that's just pseudo code.

In jquery you have .prev() and .next()

In pure JavaScript there is a property of elem, something like .previousSibling and .nextSibling

Manit0u

Poland17743 Posts

May 22 2014 19:28 GMT

#9657

I'll look into it.

Shield

Bulgaria4824 Posts

May 22 2014 19:32 GMT

#9658

Is anyone familiar with the Z notation? I'm getting really confused by bags (multisets). Glossary can be found here: https://www.st.cs.uni-saarland.de/edu/se/2005/zedglossary.pdf

For example, S == [[Flash, Stork, Bisu, JaeDong]] <-- this is a bag

i. S [bag union symbol from glossary] [[Bisu]] = [[Flash, Stork, Bisu, JaeDong, Bisu]] <-- no problem here, should be correct

ii. S ⊕ {Bisu -> 3} = [[Flash, Stork, Bisu, JaeDong, Bisu, Bisu]] <-- no problem, Bisu has to occur 3 times

iii. S U {NaDa -> 3} = ? <--- how do you solve this? I thought bag union should be used rather than simple union, but I've been told the answer is [[Flash, Stork, Bisu, JaeDong, NaDa, NaDa,NaDa]]. Is 'U' indeed valid for bags? Isn't this a job for the bag union instead?

ZenithM

France15952 Posts

May 22 2014 19:44 GMT

#9659

On May 23 2014 04:32 darkness wrote:
Is anyone familiar with the Z notation? I'm getting really confused by bags (multisets). Glossary can be found here: https://www.st.cs.uni-saarland.de/edu/se/2005/zedglossary.pdf

For example, S == [[Flash, Stork, Bisu, JaeDong]] <-- this is a bag

i. S [bag union symbol from glossary] [[Bisu]] = [[Flash, Stork, Bisu, JaeDong, Bisu]] <-- no problem here, should be correct

ii. S ⊕ {Bisu -> 3} = [[Flash, Stork, Bisu, JaeDong, Bisu, Bisu]] <-- no problem, Bisu has to occur 3 times

iii. S U {NaDa -> 3} = ? <--- how do you solve this? I thought bag union should be used rather than simple union, but I've been told the answer is [[Flash, Stork, Bisu, JaeDong, NaDa, NaDa,NaDa]]. Is 'U' indeed valid for bags? Isn't this a job for the bag union instead?

The difference between multiset sum and union is showcased in examples at the end of this section here: http://en.wikipedia.org/wiki/Multiset#Multiplicity_function

Edit: In your case, [Bisu, NaDa] [bag union symbol] [NaDa -> 3] = [Bisu, NaDa -> 4]
while [Bisu, NaDa] U [NaDa -> 3] = [Bisu, NaDa -> 3]

Shield

Bulgaria4824 Posts

May 22 2014 19:58 GMT

#9660

So in this case, [[Bisu, Nada]] U [[Nada -> 3]] is kind of like [[Bisu, Nada]] ⊕ {Nada -> 3}?