GF issueshttps://gl.kwarc.info/smglom/GF/-/issues2018-07-04T07:55:40Zhttps://gl.kwarc.info/smglom/GF/-/issues/5Thiet bi ngoi nha thong minh xu huong cuoc song hien dai2018-07-04T07:55:40ZtaivadlcThiet bi ngoi nha thong minh xu huong cuoc song hien dai<h1><span style="font-size: 14pt;"><strong>THIẾT BỊ NGÔI NHÀ THÔNG MINH_XU HƯỚNG CUỘC SỐNG HIỆN ĐẠI</strong></span></h1>
Bạn đang tìm kiếm những thiết kế thẩm mỹ và hiện cho ngôi nhà của mình? Bạn khó khăn trong việc chọn lựa những tran...<h1><span style="font-size: 14pt;"><strong>THIẾT BỊ NGÔI NHÀ THÔNG MINH_XU HƯỚNG CUỘC SỐNG HIỆN ĐẠI</strong></span></h1>
Bạn đang tìm kiếm những thiết kế thẩm mỹ và hiện cho ngôi nhà của mình? Bạn khó khăn trong việc chọn lựa những trang thiết bị uy tín, chất lượng. Sự tưởng tượng, khiếu thẩm mỹ của bạn kết hợp với một công nghệ hiện đại nhất sẽ biến mỗi ý tưởng, mỗi nhu cầu của bạn trở thành sự thật. Hãy để Smarthouse Vinteli tư vấn giúp bạn.
<strong>Những trang thiết bị chuyên dùng cho nhà thông minh hiện nay</strong>
<img src="https://image.prntscr.com/image/B25OKgZ3QIm3-5MRnsyIzg.jpeg" />
<p style="text-align: center;"><em>Bộ xử lý trung tâm </em></p>
Được mệnh danh là đa năng cho phép liên kết các thiết bị khác nhau trong nhà thành một thiết bị ảo, bạn cũng dễ dàng kiểm soát bằng cách gom chúng thành một nhóm các thiết bị có chung chức năng : hệ thống sưởi, hệ thống diều hoà, hệ thống tưới nước… Nhờ vào cách bố trí màn hìnhcho <a href="https://www.informationweek.com/profile.asp?piddl_userid=305270"><strong>nhà thông minh</strong></a>, bạn sẽ dễ dàng theo dõi hoạt động của các nhóm thiết bị trong thời gian thực. Một chức năng rất thú vị nữa là giúp bạn có thể định vị được các thành viên trong gia đình. Ưu điểm này mang lại sự tiện lợi khi kiểm soát các thiết bị có cùng chức năng chỉ bằng một nút bấm và đơn giản hoá giao diện cho người sử dụng vì giảm số lượng biếu tượng thiết bị.
<strong><em>Ổ cắm nguồn không dây</em></strong>
<em>ổ cắm điện thông minh nhập khẩu của Vinteli</em>
Bạn không còn e ngại khi dùng những ổ cắm to, chiếm diện tích và bất tiện như trước đây nữa. Với thiết bị để <a href="https://gab.ai/nha-thong-minh-vinteli"><strong>lắp đặt nhà thông minh</strong></a> nhỏ gọn, thân thiện, trực quan dễ sử dụng Ổ cắm nguồn không dây có thể làm hài lòng mọi khách hàng khó tính nhất. Thiết bị này không đơn giản là một ổ cắm điều khiển từ xa mà nó là cả một kiệt tác kỹ thuật, bạn có thể lắp đặt ở bất cứ nơi nào bạn muốn giúp bạn điều khiển các thiết bị điện và theo dõi điện năng tiệu thụ mà không cần bất kì thao tác bảo trì nào.
<img class="aligncenter" src="https://image.prntscr.com/image/epU8ziaATTmiusv0KOJY3A.jpeg" />
<h2><strong><em>Thiết bị chiếu sáng hiện đại</em></strong></h2>
Thông thường để điều khiển các thiết bị chiếu sáng trong nhà, chúng ta thường phải di chuyển và bật tắt rất nhiều công tắc cảm ứng khác nhau, tuy nhiên với giải pháp smarthouse các kịch bản chiếu sáng được các kỹ sư hàng đầu thiết lập sẵn cho từng hoạt cảnh cụ thể như ban ngày bạn có ánh sáng mặt rời rồi nên hệ thống chiếu sáng cho nhà bạn sẽ cung cấp một lượng sáng thấp hơn so với tối hay những nơi đọc sách, học tập của các bé sẽ thường được bố trí một nguồn sáng hợp lí.
<h3><em>Tích hợp thiết bị chiếu sáng</em></h3>
Giờ đây chỉ một cái chạm nhẹ là bạn có thể điều khiển được toàn bộ hệ thống chiếu sáng trong nhà theo ý muốn của chính mình. Ví dụ như khi có khách đến nhà bạn thì chỉ cần nhấn vào chế độ “tiếp khách” một loạt các bóng đèn trong nhà sẽ cùng bật sáng lên hay toàn bộ hệ thống đèn sẽ tắt khi bạn ấn vào chế độ “đi vắng”.
<a href="https://git.laquadrature.net/lqdn-interne/generateur-slogans/issues/19"><strong>Giải pháp nhà thông minh</strong></a> Smarthouse Vinteli đi đầu về nhập khẩu các trang thiết bị dành cho nhà thông minh tại Việt Nam. Với mong muốn mang lại những sản phẩm chất lượng xây dựng cuộc sống hoàn mỹ cho khách hàng. Chúng tôi luôn sẵn sàng tư vấn giúp bạn mọi thông tin về thiết bị nhà thông minh.
https://gl.kwarc.info/smglom/GF/-/issues/4fully recursive NL/Formula grammar2018-03-24T06:42:58ZMichael Kohlhasemichael.kohlhase@fau.defully recursive NL/Formula grammarWe need to be able to handle cases like
```
Let $S = \{ n \in Z | \text{$n$ is even} \}$
```
where NL contains a formula that contains NL, which contains a formula again.
I guess we need have parallel categories in the NL and F subgr...We need to be able to handle cases like
```
Let $S = \{ n \in Z | \text{$n$ is even} \}$
```
where NL contains a formula that contains NL, which contains a formula again.
I guess we need have parallel categories in the NL and F subgrammars, and wherever category NX is allowed also a category FX is allowed.Frederik SchaeferFrederik Schaeferhttps://gl.kwarc.info/smglom/GF/-/issues/3Make a German concrete Grammar2018-03-24T06:43:33ZMichael Kohlhasemichael.kohlhase@fau.deMake a German concrete GrammarMost of the [SMGloM](https://mathhub.info/smglom) which is our intended first target is German and English. So we should have a German concrete Grammar. We should probably change to a functor style grammar for that.Most of the [SMGloM](https://mathhub.info/smglom) which is our intended first target is German and English. So we should have a German concrete Grammar. We should probably change to a functor style grammar for that.Frederik SchaeferFrederik Schaeferhttps://gl.kwarc.info/smglom/GF/-/issues/2Rework nouns (MObj/MathCN) and introduce declarations2018-03-23T10:29:47ZFrederik SchaeferRework nouns (MObj/MathCN) and introduce declarationsCurrent Situation
---
We have the categories `MObj`, which represents common nouns like
* positive integer $n$
* abelian group
* ...
We also have the category `MathCN`, which represents formulae that introduce an identifier, like $n...Current Situation
---
We have the categories `MObj`, which represents common nouns like
* positive integer $n$
* abelian group
* ...
We also have the category `MathCN`, which represents formulae that introduce an identifier, like $n$ or $0 < k < 2$.
A `MathCN` can be appended to an `MObj` in an apposition ("an integer $n$").
TODO
---
Develop a way to deal with nouns properly in a way that can handle declarations as well.
Then, write a new issue with a description for the actual implementation.
Observations
---
There are at least two different ways how a formula can correspond to a noun (currently, `MathCN` corresponds only to the first one):
* *With* identifier: "$n$", "$a \in S$", ...
* *Without* identifier: "there is a bijection from $[0, 1]$ to $(0, 1)$", ...
Example sentences
---
* Let $n$ be a positive integer
* For every positive integer $n$
* For every $n \in N$
* For every divisor $d$ of a natural number $n$
* A positive integer $n$ is
* Let $S = {s_1, ..., s_n}$ be a finite set of integershttps://gl.kwarc.info/smglom/GF/-/issues/1Establish good naming conventions2018-03-23T09:55:02ZFrederik SchaeferEstablish good naming conventionsCurrently, we tend to use the prefix F for formula-level things and the prefix N for natural language-level things (`FStatement`, `NGrammar`, ...). However, it is not used consistently.
Sometimes, functions are suffixed with their result...Currently, we tend to use the prefix F for formula-level things and the prefix N for natural language-level things (`FStatement`, `NGrammar`, ...). However, it is not used consistently.
Sometimes, functions are suffixed with their resulting type.
Sometimes, the names of functions are simply their signature.
**TODO**:
- Establish a good naming convention (taking into account conventions used by the GF community).
- Enforce this naming conventions throughout the project.