ocl

Using hashCat with a RAR file?

試著忘記壹切 提交于 2020-01-17 02:19:48
问题 I'm pretty stumped, is it actually possible to use hashcat for a RAR file? The forum says "yes" and points to a sample... They appear to be calling: ./oclHashcat64.bin -m 12500 hash -w 3 -a 3 ha?l?l?l?l?l So far, so good.. So I go grab jtr and run rar2john, which gives me; test.rar:$RAR3$*1*1234561234561234*e1111111*22222222*33333333*0*/home/test.rar*77*33:1::testClip.wmv I've tried every permutation of this in place of the 'hash' in the command, but I always get Line-length exception Has

Why allInstance not for isUnique?

余生颓废 提交于 2020-01-06 07:06:39
问题 I have a class Client with attribute noClient, I wan to verify there is no client with the same noClient. I have the solution below, but the teacher said its not appropriate. Because the contraint may be repeated. I don't know why. And I need to find another solution. context Client inv NoClientUnique: Client.allInstances -> isUnique (noClient) My problem is, I don't even know what is the problem with the code above to be able to find another solution. This this a school question. Maybe not

How to write OCL contraint

允我心安 提交于 2019-12-25 16:24:59
问题 I am new to OCL, I am using papyrus on eclipse luna 4.4.2 I have a class diagram named CLIENT with the constraint {all attributes are out of scope} a second class named Customer with the constraint {all attributes are mandatory} and another class call Address having an attribute provenance with the constraint {provenance shall be mandatory} How should I write the OCL constraint that suit the formal language? will also like to know how to verify the correctness of the syntax? 回答1: In case of

OCL write constraint on an operation of class A and attribute of class B

限于喜欢 提交于 2019-12-25 12:53:07
问题 Follwing another post: I would like to know if OCL allows the following. Imagine the following UML diagram. How to use ocl to model: "a person can drinkWater() only if he is from country name 'ABCD'" AND if the population of the country is >= 1000000" Of course, the example is purely fictive. ================ ================ | Person | | Country | |--------------| |--------------| |- name |------------------|- id | |- age | |- name | |--------------| |- population | |+ drinkWater()| ========

Linking opencv nonfree components (SIFT features and OCL specifically)

巧了我就是萌 提交于 2019-12-23 12:45:20
问题 I am having trouble compiling some code after a OS upgrade (Ubuntu 12.04 to 14.04) and a re-install of opencv. The general issue is with the "nonfree" parts of opencv which I compiled from source using the following procedure: mkdir ~/OpenCV && cd ~/OpenCV wget http://downloads.sourceforge.net/project/opencvlibrary/opencv-unix/2.4.10/opencv-2.4.10.zip unzip opencv-2.4.10.zip cd opencv-2.4.10 cmake -D WITH_CUDA=ON -D CMAKE_BUILD_TYPE=RELEASE -D CMAKE_INSTALL_PREFIX=/usr . make sudo make

OCL constraints checking on Eclipse Papyrus

不羁的心 提交于 2019-12-22 10:57:34
问题 Does anyone manage to check OCL constraints on a class diagram modeled in Eclipse Papyrus ? I have definied a simple test profile with only one constraint on a stereotype attribute : {OCL} self.property > 0 The stereotype extends the Property metaclass so I applied it on a class attribute and I set the property of the stereotype to 0. But I never got an error with the Validation > Validate Model command from the context menu. Any help would be much appreciate. Thanks by advance. 回答1: I answer

Can derived attributes be persisted and derivation disabled in Ecore and OCL?

不问归期 提交于 2019-12-22 08:55:36
问题 I want to port a legacy data format, which consists of concepts similar to Eclipse Modeling Framework (EMF) Ecore: Elements with Parameters which have different datatypes and default values. A custom-made tool lets you edit such model instances by a fancy table-based GUI. Also, a common feature for the Parameters is that a Derivation Rule can be added which specifies that the Parameter value gets computed automatically from other parameters. That also seems similar to Ecore derived Attributes

Acceleo M2T - Write timestamp into a generated file

余生颓废 提交于 2019-12-12 04:47:23
问题 I am generating some files by using different Acceleo templates defined into a *.mtl file. At the top op these files I need to write something like: #----------------------------------------------------------------------------- # Project automatically generated by XXX at (add timestamp here) #----------------------------------------------------------------------------- How could I generate this timestamp dynamically each time I generate the files? Thanks! Edit: I solved this as described

ocl-facedetect sample of opencv 2.4.6.1

前提是你 提交于 2019-12-12 04:35:21
问题 ![enter image description here][1]On Ubuntu 12.04 LTS with NVidia GeForce 8 series GPU card, I am trying to run the ocl-facedetect sample of OpenCV 2.4.6.1 and seeing following error: $./ocl-example-facedetect -t haarcascade_frontalface_alt.xml -i friends.jpg In image read loop0 ~~~~ Loading convertC3C4 Building source:./convertC3C4_GeForce 8600 GT -D GENTYPE4=uchar4.clb ~~~~ Loading RGB2Gray Building source:./RGB2Gray_GeForce 8600 GT -D DEPTH_0.clb ~~~~ Loading resizeLN_C1_D0 Building source

OCL is it allow to write constraint on an operation and attribute

隐身守侯 提交于 2019-12-11 06:14:24
问题 Imagine the following class Person ================ | Person | |--------------| |- name | |- age | |--------------| |+ drinkWater()| |+ drinkBeer() | ================ Using OCL, is it possible to set a constraint on the operation drinkBeer() ? For instance allowing only Person >= 21 year old to drink beer? 回答1: context Person::drinkBeer() pre Adult: self.age >= 21 should probably do. 来源: https://stackoverflow.com/questions/43815870/ocl-is-it-allow-to-write-constraint-on-an-operation-and