Một số vấn đề liên quan đến hệ thống DKTD, hàm, bộ DKTD!

Automation Theory ​

Problem
It is generally expected that automation will provide major improvements in the operational safety and efficiency of large dynamic systems, as well as reduce the development costs. Typical examples of such systems are chemical plants, electric power grids, automated highways, integrated battlefields, space station operations, and airspace operations. The primary technical characteristic of these systems is that they are hybrid in the following sense. They are a mixture of arithmetic and symbolic parts. The arithmetic parts are continuous; they are represented by means of real variables, continuous functions, and differential or difference equations; they are driven by real functions of time, such as pilot motion of the aileron, or wind gust. The symbolic parts, on the other hand, are intrinsically discrete; they are modeled by means of formal languages; their variables are sentences; their dynamics are modeled by means of automata; they are driven by discrete events such as pilot control mode engagement,
or a report of a control margin exceedence. Over the past fifty years a mature body of knowledge, the Automatic Control Theory, has been developed for the arithmetic systems. It provides very effective algorithms for the design of estimator and control laws. It, also, provides an understanding of the robustness of the designs which allows one to infer overall system safety and performance form a relatively small number of simulation tests. Similarly, considerable advances have been made, primarily in Computer Science, in the understanding of the symbolic systems. However, at present there is no comparable understanding of hybrid systems. Issues of safety, performance, robustness, and compatibility with the human operator are wide open. The promise of automation will not be realized unless the behavior of hybrid systems is understood. The immediate challenge for the technical community is to develop an effective hybrid systems theory.
Objective
The objective is to develop a rigorous and effective methodology for the design and validation of flight vehicle management systems, which are the on- board imbedded systems providing the interface between the air traffic control, the flight crew, and the airframe.
Approach
Build on the advances made in Automatic Control Theory and Computer Science. Support the internal research program with university grants and NRC Associates. Focus both internal and academic research on the specific case of flight vehicle management systems. Try to achieve simplicity and tractability of designs by means of system structure, especially concepts such as hierarchies, super states, and modularity. Place emphasis initially on (1) simulation models, (2) analytic open-loop models, (3) analytic closed-loop models, and (4) formal theory of displays.
Accomplishments
A technique together with a set of computer algorithms has been developed for the routine design of multi-mode flight control systems for a large variety of aircraft, including CTOL, VTOL, and rotorcraft, with possibly nonlinear, multi-axis, and coupled force and moment generators. Furthermore, a standard interface for the transmission of commands from the symbolic part to the (arithmetic) control system has been developed. The next step is to find an efficient way to discretize the aircraft behavior so that closed-loop control can be achieved at the higher, symbolic level. These results have been reported [1] to the research community.
Point of Contact
George Meyer, AFH, (415) 604-5750
Reference
Meyer, G., ''''Design of Flight Vehicle Management Systems,'''' Plenary Lecture at the 33rd IEEE Conference on Decision and Control, Orlando, Florida, Dec. 14-16, 1994.
--------------------------------------------------------------------------------
xem http://vision.arc.nasa.gov/HST/Brief/Automation.T./Automation.T.html
--------------------------------------------------------------------------------
THÂN! KỸ SƯ KHÔNG BIÊN GIỚI
--------------------------------------------------------------------------------
е?c lan0303 s?a v௠05:23 ng๠19/06/2006
u?c tula s?a vo 21:21 ngy 19/06/2006

HiHi! đề nghị nhỏ coi như là xả stress!
Pha1: Thiết kế mô phỏng trên PC ''Lò phản ứng hoá học được điều khiển tự động''. (Mình có 1 LAB như vậy trên Internet, chạy trong chế độ Intranet, LAB nầy ''Nhím'' có biết )
Pha2: Hiện thực thiết kế ở Pha1.
Pha3: Tiếp thị.
...........
Việc thực hiện Pha1, Pha2, Pha3,... sử dụng phương pháp CASE, Nhưng mà nó có thị trường không vậy BoRea?
VÍ DỤ: Description of a system.
USE WORK.ALL;
ENTITY sample_system IS
PORT (xin: IN BIT_VECTOR;
z : OUT BIT_VECTOR;
clk: IN BIT );
END sample_system;
ARCHITECTURE structural OF sample_system IS
SIGNAL xreg, yreg, addout: BIT_VECTOR(7 DOWNTO 0);
BEGIN
RX: ENTITY BitReg8 PORT MAP(xin,xreg,clk);
RY: ENTITY BitReg8 PORT MAP(addout,yreg,clk);
ADD: ENTITY Adder PORT MAP(xreg,yreg,addout);
z <= addout;
END structural;
--------------------------------------------------------------------------------
THÂN! KỸ SƯ KHÔNG BIÊN GIỚI
--------------------------------------------------------------------------------
Reference: (chỉ là tham khảo thôi nha)
Undergraduate Thesis of Truong X. Nghiem
http://www.seas.upenn.edu/~nghiem/research.htm#underthesis
Simulation of a reactor controlled by an SFC

Visually running an SFC

SFC E***ing

Variable declaration and system configuration

Được lan0303 sửa chữa / chuyển vào 07:06 ngày 19/06/2006

Bác đặt vấn đề rành rọt lắm, nhưng cho hỏi thêm một tí, thoã thuận về license thì sao? (phần cứng bao gồm cả firmware - đây là loại hàng may đo riêng lẽ)
--------------------------------------------------------------------------------
THÂN! KỸ SƯ KHÔNG BIÊN GIỚI
--------------------------------------------------------------------------------

hi, lan0303
diễn đàn trao đổi về mặt kỹ thuật thôi, bác lại muốn đưa mấy cái thành tích do Tổng công ty Thi đua-khen thưởng TW VN vào đây à? tự nói về mình là điều không nên trong kỹ thuật thuần tuý như ở đây! bác đừng giận em, nói chuyện thành tích ở VN em thấy cứ ghê ghê: iCMS, VN''s Games...GS,TS có mà hàng đống! chẳng để làm gì cho dân tộc cả.
nói vậy chứ cũng muốn khoe với Bác một tý: chỗ em không có dây chuyền tự động chi cả, chỉ có máy con rơle nối với nhau thôi, lơ ngơ nó trip một phát thì mấy cái máy bơm nước của Bác phải chạy bằng Accu đấy đấy!
tiết lộ cho Bác thêm một tý chỗ em không bao giờ dùng PLC (vì nó rùa quá -02 chu kỳ 50Hz thì nó vừa tính+trip không kịp), mấy con rơle chỗ em còn lệnh cho đồng bọn của nó ở TBA 500kV Phú lâm+Đà nẵng trip cùng nhau cho vui.
Bác cứ làm chuyến Tây nguyên-lượn qua TBA 500kV pleiku (ở ngay ngoài đường thôi) một tý, bác sẽ thấy cái nhà máy xử lý nước ở Biên hoà nó phức tạp như thế nào? chỉ gấp 3 lần trạm 500kV Phú lâm thôi, đừng hỏi em, em không làm trong chỗ đó, chỉ thỉnh thoảng ghé vào kiểm tra thôi.
Thân.

Bác lan à,
Cái lưu đồ của bác chỉ có ích cho các bạn sinh viên đang học thôi. Nó không nói lên được là có khả năng hiện thực hoá nó hay không. Mình cũng có thể ngoáy 1 phát ra cái lưu đồ như vậy, nhưng mù tịt về phần cứng.
1.- Sản phẩm này có chỗ phức tạp hơn : dosing system - vd. có 3 nguyên liệu chính, 3 loại xúc tác, giả định các bồn chứa đều đặt trên cao để tự chảy.
- Valve1 mở, flow meter thông báo lượng chảy của nguyên liệu đủ dung tích a1, khoá valve1.
- Valve2 mở, flow meter thông báo lượng chảy của nguyên liệu đủ dung tích a2, khoá valve2.
- Xúc tác a3 được đong bằng 2 bình thủy tinh, (1L và 0.1L vd dụ cần đong 2,5L sẽ đong 2 lần 1L và 5 lần 0.1L, nếu digital flow meter quá đắt, nguyên liệu chính cũng sẽ được đong theo kiểu này, hoặc sẽ lắp 1 hệ level sensor bên trong reactor) mỗi bình có valve vào, valve ra, valve thở, level sensor đặt ở dưới valve thở, nạp vào lò phản ứng qua ball spray.
- Mở valve3 cho boiler steam vào đạt đến nhiệt độ t1, đóng valve2, kích hoạt timer.
- IF nhiệt độ tự tăng quá nhiệt độ t2, mở valve4 đuổi hết nước ra, khoá valve4 lại, mở valve5 cho chiller glycol vào để làm mát tới nhiệt độ t2.
ELSE IF sau s1 giây nhiệt độ nhỏ hơn t4 (t1 < t4 < t3 < t2) mở valve steam để nhiệt độ đạt t3.
timer = s2 nạp tiếp nguyên liệu a3
procedure maintainheat(t:integer)
procedure maintaincool(t:integer)
procedure dosingcatalyst(a:real)
.....
Nguyên liệu a4 dạng powder được nạp bằng screw drive step/servo motor.
2.- Nếu làm 1 cái, phương án rẻ nhất là mua SBC hoặc PC104, cắm multi I/O data acquisition card, multi axial motor driver card, ... rồi lập trình. Cần thời gian để tìm hiểu về các pneumatic control device, solenoid control device, motion control device, cần thời gian để lập trình, đó là cái mình thiếu.
Mình cần làm 4-5 cái (và có đủ kinh phí để làm), sau đó mình sẽ liên kết nó thành hệ thống sản xuất liên hoàn, chỉ 1 kỹ sư vận hành và 2 công nhân nạp nguyên liệu lên vị trí đã định, nối ống) bác có thể chào giá trọn gói bao gồm quyền sở hữu trí tuệ (khi đó bác mà tiếp tục bán nó thì tôi đi kiện), hoặc bác muốn giữ lại intellectual properties thì tùy, hoặc có 1 cách trung gian bác thiết kế bản vẽ phần cứng tôi muốn clone bao nhiêu sản phẩm cũng được, phần bác, bác cứ việc bán.
Mình vào các nhà máy hoá dệt của Hàn quốc, Đài Loan ở Saigòn, (xài reactor 2000 gallons - 500.000 USD) nhưng vẫn thấy bọn kỹ thuật viên cân catalyst bằng tay, bấm giờ bằng tay.
Thấy ẹ quá, muốn tinh vi tí.
Được borea sửa chữa / chuyển vào 09:54 ngày 19/06/2006
u?c lan0303 s?a vo 15:07 ngy 19/06/2006

hi, bo...
bài toán của bạn hay đấy, bạn gửi cho mình cái flow chart đi, thực hiện như bạn theo phương án bạn đã nói, sở hữu trí tuệ gì đây?? tôi với bạn làm thử, chạy thử nghiệm cho Ok rồi bạn bán, ta trừ chi phí, cưa lợi nhuận ròng theo thoả thuận thôi!
quan điểm của tui là làm ra cái bánh thì khó, chứ chia bánh cho hợp lý thì có nhiều cách lắm, không ai sợ thiệt cả! hehe, phải vậy không?
với quy trình điều khiển như bạn mô tả thì phần cứng điều khiển có giá không quá 50USD (không bao gồm các cảm biến, valve...) còn firmware thì tự làm thôi, bán được bao nhiêu là được bấy nhiêu có tốn gì đâu. bạn thấy thế nào?
Thân

Thanks for your quote, newdayvn
Thú thật, mình là dân ngoại ngữ tiếng nga, tự học được khoảng công nghệ thông tin với công nghệ hoá là đuối lắm rồi => chỉ muốn làm khách hàng của automation thôi.
Kinh phí vài chục USD thì chỉ làm đồ chơi thôi, mình đang muốn làm đồ công nghiệp (pilote reactors 200L-500L, nếu các yếu tố kinh tế - kỹ thuật đều OK thì scale up)..
Bạn có ở saigon không? PM cho mình số phone, đi uống cafe, bàn thêm. Ở VN, công nghệ hoá là con zero tròn trỉnh => làm cái này custom made cho mình, chứ còn bán cho người khác e là hơi bị khó. Nhưng có một giải pháp nữa : liên kết với bọn chinese reactor manufacturer đặt hàng OEM làm value add products rồi bán lại trong ASEAN dưới tên thương hiệu ASEAN cái này thì nghe lại hơi bị đao to búa lớn.

Được borea sửa chữa / chuyển vào 14:05 ngày 19/06/2006

1.- ''Tự nói về mình là điều không nên trong kỹ thuật thuần tuý''! Tất nhiên là đúng rồi, nhưng mấy Em nó biết mình là ''kỹ sư máy tính'' ... mà cứ cho là ''không biết về máy tính'', nếu mình thuộc loại ''kỹ sư máy tính lơ mơ'' thì không nói làm gì!.
2.- SCADA cho ngành điện tế nhị nhiều hơn WWTP Tự Động (dám để cho mất điện), tuy nhiên mình thấy khía cạnh con người (trình độ chuyên môn kỹ thuật), thiết bị, chính sách, ... rất quan trọng!.
3.- WWTP Tự Động có khã năng chống lại hỏng hóc, ... nhưng lại không chống được ''sáng kiến'' của Việt nam. HiHi!
--------------------------------------------------------------------------------
THÂN! KỸ SƯ KHÔNG BIÊN GIỚI
--------------------------------------------------------------------------------

- Tham khảo Reactor Simulation của PhD Student - Nghiêm Xuân Trường, Bộ môn tự động ĐHBK-HN (2003-2005): Thực ra thì phải có ''học'' có ''hành'' thì mới tính đến ... ''khả năng hiện thực'' nó phải không.
Về PhD Student - Nghiêm Xuân Trường xem http://www.seas.upenn.edu/~nghiem/about.htm
- Tất cả mọi công việc: thiết kế, thi công, chạy thử, nghiệm thu, vận hành ... đều phải có ''tiêu chuẩn ... '', thì mới tính đến khả năng mở rộng, nâng cấp, ...; Tất cả đều phải được mô phỏng trên máy tính (kể cả phần cứng phải dùng VHDL: Hardware Description Language, ví dụ Description of a system được viết bằng VHDL), nếu mô hình chạy được trên máy tính thì mới nói đến khả năng hiện thực thành công nó (1996 mình thấy TOCA - bưu điện thi công board mạch điện tử theo bản vẽ rất tốt, không kém hàng ngoại) và hệ thống mới được ... nhà nước cấp giấy phép đưa vào khai thác vì nó thuộc nhóm thiết bị Nồi hơi, Lò phản ứng; Cần phải có cách tiếp cận để giải quyết vấn đề, do vậy Bác BoRea cho mình một ít thời gian mới có thể trả lời được.
- Giai đoạn đầu xây dựng mô hình thử nghiệm trên máy tính, Bác có thể thực hiện công việc trong LAB của mình trên Internet cũng được.
- Bác còn có thể được Nhà Nước cấp tiền R&D cho làm đó, nhiều Ông sẽ đứng ra đỡ đầu (làm Chủ nhiệm đề tài) và được vậy thì các khoản giấy phép coi như xong.
* Mình mới thấy bài của Bác NewDayVN, Chúc hai Bác thành công nha!
--------------------------------------------------------------------------------
THÂN! KỸ SƯ KHÔNG BIÊN GIỚI
--------------------------------------------------------------------------------

Hehe, bác lan à,
Em - nông dân cú đỉn - không quen chơi với nhà nước, xin tiền nhà nước. Nên chỉ đi kiếm người biết làm để "deal" cho được việc của em thôi. Bác offer hợp lý thì em deal.
Reactors, boilers, chillers thì đi nhập về, tiêu chuẩn nước ngoài chắc là đủ để lấy giấy phép Việt Nam. Hệ thống điều khiển chẳng qua chỉ là thay thế chân tay cho đỡ chân lấm tay bùn thôi, chả phép tắc gì cả.
Em không học về điện tử nên không biết về VHDL, cứ nghĩ thiết kế mainboard, hay TV ra hàng vạn sản phẩm mới xài tới nó.
Simulator thì em chỉ biết cái Fluent CFD để mô phỏng dòng chảy, quá trình nhiệt động, thủy-khí động để thiết kế trên máy tính mấy cái baffle, agitator; trước khi đem ra làm thật.