專利名稱：一種帶有無線局域網的網絡以及終端接入無線局域網方法
技術領域：
本發明涉及通信技術領域，尤其涉及一種帶有無線局域網的網絡以及終端接入無 線局域網的方法。
背景技術：
隨著國內移動運營商對3G以至LTE無線蜂窩網絡的加快部署推進，在人口稠密的 都市地區的無線覆蓋已經比較完善。中國的城市化和舊城改造在相當長的一段時期內都將 會持續進行，運營商原先對高無線流量地區和熱點地區的估計和現有的城市建設之間的偏 差逐漸變大，造成原有熱點區域的無線蜂窩覆蓋難以承擔越來越多的移動用戶接入和持續 增長的流量訪問需求，以及不斷出現的新的人口匯聚地的高話務接入問題。運營商一直在 努力選址建設更多的基站等無線蜂窩接入網絡基礎設施，但是由于新增無線蜂窩站點的選 址比較困難，而且受限于無線蜂窩網絡的高帶寬成本，在人口稠密的地區或熱點商務地區 增加蜂窩無線接入設備越來越變得難以實施。另一方面，國內運營商越來越重視全業務的運營和融合。原先以移動為主的運營 商在不斷增加對固網建設的投資，原先以固網業務為主的運營商也在不斷增加對移動網絡 建設的投資。對于掌握大量固網資源的運營商來說，如何利用固網的容量承接移動熱點地 區無線接入流量的高負荷，已經成為運營商所必須要考慮的課題。WLAN無線接入網絡作為固定寬帶網絡的延伸，其建設成本低，部署比較靈活，而且 WLAN和無線蜂窩雙模終端或客戶端已經成功上線運行。所以在WLAN無線覆蓋和無線移動 蜂窩網絡覆蓋區域疊加處，或者在移動無線蜂窩網絡高流量地區建設WLAN無線熱點，使得 用戶在這些無線覆蓋疊加區域使用移動業務時，能夠經由WLAN網絡接入，可以有效降低無 線蜂窩接入網絡的流量壓力和負荷，保證或改善移動用戶經由無線蜂窩接入網絡接入時的 業務質量，降低用戶投訴，并且能夠滿足和適應使用大屏幕多媒體移動終端用戶日益快速 增加的訪問數據網絡的業務需求。

發明內容
本發明所要解決的技術問題是，提供一種帶有無線局域網的網絡以及終端接入無 線局域網的方法，在WLAN和移動無線蜂窩網絡疊加覆蓋區，讓終端用戶自動或手動選擇接 入WLAN網絡，以降低移動無線蜂窩網絡的負荷或為其分擔接入流量，該方法可以保證終端 用戶經由WLAN接入能夠獲得和移動無線蜂窩網絡接入時一致的業務服務。為了解決上述問題，本發明提供了一種帶有無線局域網的網絡，包括核心網、接入 網和終端，所述接入網包括無線蜂窩網和無線局域網，所述無線局域網中設置有多個無線 熱點，所述網絡中進一步包括熱點信息地圖服務器，所述熱點信息地圖服務器連接至核心 網。作為可選的技術方案，所述網絡中還包括定位服務器，所述定位服務器與熱點信 息地圖服務器以及核心網之間均建立連接。
本發明進一步提供了一種上述終端接入無線局域網的方法，包括如下步驟終端 經由無線蜂窩網接入至核心網；熱點信息地圖服務器根據終端的請求，通過無線蜂窩網將 終端所在位置的無線局域網熱點分布信息發送給終端；終端收到熱點分布信息后，確定是 否通過無線局域網熱點接入至無線局域網絡。作為可選的技術方案，終端所在網絡中包括定位服務器，所述終端獲得熱點分布 信息的步驟進一步包括如下步驟終端將身份信息發送至熱點信息地圖服務器，并請求獲 得當前位置的無線局域網熱點分布信息；熱點信息地圖服務器向定位服務器請求終端的位 置信息；定位服務器向核心網請求終端位置信息；核心網同無線蜂窩網交互獲得終端的位 置信息；核心網將終端的位置信息返回至定位服務器；定位服務器將終端的位置信息返回 至熱點信息地圖服務器；熱點信息地圖服務器根據終端的位置信息將終端所在位置附近的 無線局域網熱點位置信息推送給終端。所述身份信息是終端的國際移動用戶識別號碼。作為可選的技術方案，終端所在網絡中包括定位服務器，所述終端獲得熱點分布 信息的步驟進一步包括如下步驟定位服務器主動獲得終端當前的位置信息，并發送至終 端；終端將此位置信息發送給熱點信息地圖服務器，并請求獲得該位置附近的熱點位置信 息；熱點信息地圖服務器根據終端的位置信息將終端所處位置附近的熱點位置信息推送給 終端。作為可選的技術方案，所述終端獲得熱點分布信息的步驟進一步包括如下步驟 終端接收所在區域的無線蜂窩基站的所廣播的信息；終端將此廣播信息中的位置區域信息 發送給熱點信息地圖服務器，并請求獲得該位置附近的熱點位置信息；熱點信息地圖服務 器根據終端發來的位置區域信息確定終端所處的基站，進而確定終端的位置；熱點信息地 圖服務器根據終端的位置信息將終端所處位置附近的熱點位置信息推送給終端。所述廣播 信息包含基站身份識別信息和基站位置區域信息的至少一種，所述位置區域信息包括移動 無線蜂窩網絡的位置區、路由區和小區識別碼中的一種或多種。作為可選的技術方案，所述熱點信息地圖服務器推送無線局域網熱點位置給終端 的步驟中，熱點信息服務器首先根據熱點位置信息生成熱點地圖，再將所述地圖推送給終端。作為可選的技術方案，所述熱點信息地圖服務器推送熱點位置給終端的步驟中， 推送方式選自于以下兩種方式中的任意一種(1)推送包含熱點地圖信息的HTTP或WAP頁 面給終端；(2)推送包含熱點地圖信息的URL鏈接給終端，此URL是包含在短信息或者彩信 中的，也可以采用其它格式的數據報文來傳送。本發明的優點在于，通過在網絡中設置熱點信息地圖服務器，終端可以獲取附近 的無線局域網熱點信息，從而引導或吸引用戶在無線局域網和無線蜂窩網無線雙覆蓋區 域，接入無線局域網熱點后進行上網、下載等業務，有效降低對無線蜂窩網絡設備如基站等 的負荷和流量壓力。并且本發明進一步提供了終端接入無線局域網熱點的方法，為終端的 接入提供了多種選擇方案。


附圖1是本發明所述網絡的具體實施方式
中的網絡架構示意圖。附圖2至附圖4是本發明所述接入方法的三個具體實施方式
的信令圖。
附圖5是以CDMA作為無線蜂窩網為例的一工程實施例的信令圖。附圖6是附圖5所示實施例中生成的無線熱點分布圖。
具體實施例方式接下來結合附圖對本發明所述的一種帶有無線局域網的網絡以及終端接入無線 局域網的方法的具體實施方式
做出詳細說明。以下本實施方式所述的無線蜂窩網絡是指3GPP標準組織定義或者3GPP2標準組 織所定義的網絡，無線局域網(WLAN)是指IEEE 802標準工作組定義的網絡。首先結合附圖給出本發明所述帶有無線局域網的網絡的具體實施方式
。附圖1所 示是本具體實施方式
所述網絡的架構示意圖，包括核心網10、無線蜂窩網11、無線局域網 12、終端13、熱點信息地圖服務器14以及定位服務器15，其中無線蜂窩網11和無線局域網 12均是核心網10的接入網，熱點信息地圖服務器14以及定位服務器15均與核心網10連 接，并通過核心網10連接至各個接入網以及終端13。終端13可以是手機、移動式電腦或者 其他任何有無線通訊功能的電子設備。所述無線局域網12中設置有多個無線熱點。所謂無線熱點(Hotspot)是指就是 無線局域網的一種服務方式，采用專用的設備實現。而這種專用的設備以及與之對應的無 線熱點服務，通常會設置在機場、火車站、銀行、快餐店、咖啡屋、酒吧等人流密集的地方。附 圖1的網絡中進一步包括熱點信息地圖服務器14，此服務器中記錄了各個無線熱點的具體 位置，熱點信息地圖服務器14與核心網10連接。附圖1所示的網絡中還包括了定位服務器15，定位服務器15與熱點信息地圖服務 器14以及核心網10之間均建立連接。設置定位服務器15是一種可選的網絡架構。定位 服務器15的作用在于為熱點信息地圖服務器14提供定位服務，熱點信息地圖服務器14會 把發出查詢請求的終端13的身份信息發送給定位服務器15，并由定位服務器通過核心網 10以及無線蜂窩網11來完成對終端的定位服務，并把結果反饋給熱點信息地圖服務器14。 以上過程將在后續的具體實施方式
中做詳細介紹。由于對終端13的定位方法不是唯一的， 還有其它不需要定位服務器15的方案，因此定位服務器15為網絡中的一可選組件。上文提到，對終端13的定位方法不是唯一的，利用基站廣播進行定位就是另外一 種可行的方法。所述無線蜂窩網11應當具有多個基站，這是本領域內的公知常識，本實施 方式利用基站所廣播信息中的基站身份識別信息或者基站所處位置區域信息，例如位置 區、路由區及小區識別碼等，這樣終端就能夠被動地獲得能夠對其進行定位的信息。如果終端內置有主動的定位信息模塊，甚至于可以不在網絡中設置用于定位的部 件。例如在終端內置GPS模塊，脫離通信網絡進行主動定位。因此實現本發明所述尋找到 無線局域網12的無線熱點并接入這一目的的唯一必要組件是熱點信息地圖服務器14，該 組件能夠為終端13提供其附近無線熱點的分布信息，以便終端13接入無線局域網12，而對 終端13的定位手段則是多種多樣的。以下便以三個具體實施方式
給出附圖1所示的終端13接入無線局域網12的三種 不同的方法。首先給出本發明所述接入方法的第一具體實施方式
，本具體實施方式
所采用的網 絡中包括定位服務器，附圖2所示是本具體實施方式
所述方法的信令圖，以下將結合此附圖對本實施方式的各個步驟作出具體解釋。步驟S200，終端經由無線蜂窩網接入至核心網。這是移動終端最普通的接入狀態， 如果在終端所在區域有無線局域網，則終端選擇通過無線局域網接入核心網可以降低移動 蜂窩網的通信壓力。步驟S211，終端將身份信息發送至熱點信息地圖服務器，并請求獲得當前位置的 無線局域網熱點分布信息。這里的身份信息可以是終端的國際移動用戶識別(IMSI)號碼， 也可以是移動終端的接入號碼或者網絡賦予每個終端的其它特殊識別代碼等。步驟S212，熱點信息地圖服務器向定位服務器請求終端的位置信息。熱點信息地 圖服務器的任務是向終端傳送終端所在位置附近的無線熱點信息，這首先需要獲得終端的 具體位置，而熱點信息地圖服務器自身并沒有定位功能。本實施方式中，熱點信息地圖服務 器通過借助于定位服務器實現這一功能。當然，此步驟中熱點信息地圖服務器要向定位服 務器匯報在步驟S211中獲得的終端的身份信息。步驟S213，定位服務器向核心網請求終端位置信息。此步驟中，定位服務器向核心 網匯報所獲得的終端身份信息。步驟S214，核心網同無線蜂窩網交互獲得終端的位置信息。無線蜂窩中分布著很 多基站，能夠通過對終端的無線信號測量計算等多種方法，獲得終端的位置信息，并將此信 息匯報給核心網。步驟S215，核心網將終端的位置信息返回至定位服務器。步驟S216，定位服務器將終端的位置信息返回至熱點信息地圖服務器。至此，定位 服務器完成了對終端的定位操作，熱點信息地圖服務器通過定位服務器完成了對終端的定 位。以上步驟S211至S216均在網絡內部各個服務器以及基站之間完成，并不涉及對終端 的操作，因此可以降低終端的數據處理量，也無需對終端的硬件和軟件作出明顯的改動，且 如需升級定位程序，只需要在核心網和接入網的層面操作，不涉及到對終端的改動，因此升 級更新非常方便。步驟S217，熱點信息地圖服務器根據終端的位置信息將終端所在位置附近的無線 局域網熱點位置信息推送給終端。此步驟可以是熱點信息服務器首先根據熱點位置信息生 成熱點地圖，再將所述地圖推送給終端。當然，也可以有其他的選擇，例如推送熱點的地理 位置信息，終端將此信息與本地的地圖合成后，形成熱點分布圖，或者推送熱點分布的文本 描述信息，以上其他選擇也相當于提供了熱點的分布地圖，而目的在于精簡傳輸的數據量 以降低網絡負荷。推送方式可以是直接推送包含無線熱點信息(例如熱點地圖)的HTTP或 WAP頁面給終端；也可以推送包含無線熱點信息(例如熱點地圖)的URL鏈接給終端，所述 URL鏈接可以被包含在短信息、彩信或其它格式的數據報文中。以上步驟S211至S217可以 概括為熱點信息地圖服務器根據終端的請求，通過無線蜂窩網將終端所在位置的無線局 域網熱點分布信息發送給終端。在后續的具體實施方式
中，還將介紹其他兩種類似的方法， 可以達到與以上步驟S211至S217相同的效果。步驟S220，終端收到熱點分布信息后，確定是否通過無線局域網熱點接入至無線 局域網絡。當終端獲得周圍熱點的分布信息后，如果經用戶自行判斷或者程序自動判定熱 點距離終端所在位置較遠，則可以選擇不接入任何熱點。如果在終端附近確有熱點，則可 以手動或自動開啟終端的無線局域網信號搜索功能，搜索出附近的無線局域網接入點的SSID，并選擇某個無線局域網的SSID接入無線局域網的網絡。接下來結合附圖給出本發明的第二具體實施方式
。本具體實施方式
所采用的網絡 中亦包括定位服務器，附圖3所示是本具體實施方式
所述方法的信令圖，以下將結合此附 圖對本實施方式的各個步驟作出具體解釋。步驟S300，終端經由無線蜂窩網接入至移動核心網。此步驟的解釋參見上一個具 體實施方式。步驟S311，定位服務器主動獲得終端當前的位置信息，并發送至終端。此步驟類似 于前一具體實施方式
的本具體實施的步驟S214，但區別在于定位服務器并不依賴于熱點信 息地圖服務器的請求去對終端進行定位，而是主動地對每個接入的終端進行定位。此方法 由于不需要終端主動發送請求，因此對終端的定位速度快。步驟S312，終端將此位置信息發送給熱點信息地圖服務器，并請求獲得該位置附 近的熱點位置信息。步驟S313，熱點信息地圖服務器根據終端的位置信息將終端所在位置附近的無線 局域網熱點位置信息推送給終端。以上步驟S312和S313的解釋請參考前一具體實施方式
與之類似的步驟。以上步驟S311至S313可以概括為熱點信息地圖服務器根據終端的請 求，通過無線蜂窩網將終端所在位置的無線局域網熱點分布信息發送給終端。與前一具體 實施方式不同的是，定位服務器是主動地對每個接入的終端進行定位，提高了定位速度。在 后續的具體實施方式
中，還將介紹一種類似的方法，可以達到與以上兩個具體實施方式
相 同的效果。步驟S320，終端收到熱點分布信息后，確定是否通過無線局域網熱點接入至無線 局域網絡。此步驟的解釋參見上一個具體實施方式
。接下來結合附圖給出本發明的第三具體實施方式
。本具體實施方式
所采用的網絡 中不包括定位服務器，直接利用無線蜂窩網基站的系統信息廣播來實現。附圖4所示是本具體實施方式
所述方法的信令圖，以下將結合此附圖對本實施方式的各個步驟作出具體解 釋。步驟S400，終端經由無線蜂窩網接入至移動核心網。此步驟的解釋參見上一個具 體實施方式。步驟S411，終端接收所在區域的無線蜂窩基站所廣播的系統信息。本實施方式中， 基站所廣播的系統信息中包含基站身份識別信息和基站位置區域信息的至少一種，位置區 域信息包括移動無線蜂窩網絡的位置區、路由區和小區識別碼中的一種或多種。當然，在其 他的實施方式中，基站也可以廣播其它用于定位的信息，例如基站經緯度等。步驟S412，終端將此廣播信息中的位置區域信息發送給熱點信息地圖服務器，并 請求獲得該位置附近的熱點位置信息。此操作相當于間接地將終端自己的位置信息發送給 了熱點信息地圖服務器。步驟S413，熱點信息地圖服務器根據終端發來的位置區域信息確定終端所處的基 站，進而確定終端的位置。這一步驟可以通過在熱點信息地圖服務器本地自建一數據庫來 解決基站和其地理位置之間的映射關系。步驟S414，熱點信息地圖服務器根據終端的位置信息將終端所處位置附近的無線 局域網熱點位置信息推送給終端。步驟S414的解釋請參考前一具體實施方式
與之類似的步驟。以上步驟S411至S414可以概括為熱點信息地圖服務器根據終端的請求，通過無線 蜂窩網將終端所在位置的無線局域網熱點分布信息發送給終端。與前一具體實施方式
不同 的是并沒有采用定位服務器，終端是靠接收基站的廣播信息并轉發至熱點信息地圖服務器 來進行定位，其優點在于省卻了定位服務器，通過終端和熱點信息地圖服務器解析廣播信 息來進行定位，從而降低了核心網處理數據的工作量。步驟S420，終端收到熱點分布信息后，確定是否通過無線局域網熱點接入至無線 局域網絡。此步驟的解釋參見上兩個具體實施方式
。下面以CDMA作為無線蜂窩網為例，舉例說明以上所述的接入流程，主要對應于接 入方法的第一具體實施方式
。附圖5是以下所述方法的信令圖。終端搜索到CDMA無線蜂窩網絡信號后，發起PPP撥號，和核心網交互建立PPP會 話；終端讀取配置文件，獲得熱點信息地圖服務器的域名。然后，終端對此域名發起DNS解析，獲得熱點信息地圖服務器的IP地址；終端讀取 出UIM卡模塊的IMSI信息，利用預先配置的密鑰進行加密；終端構造HTTP/GET請求，攜帶 加密后的IMSI信息，發送給熱點信息地圖服務器，加密采用DES加密算法；熱點信息地圖服 務器將請求信息進行解密，解出IMSI后，向定位服務器發送定位請求；定位服務器收到定 位請求后，向核心網發起定位請求；核心網根據IMSI信息向基站控制器發起定位流程，基 站控制器根據終端和基站的無線信號測量結果，進行運算后，返回終端的位置經緯度信息 和基站ID ；核心網將這些信息發送給定位服務器；定位服務器將這些信息返回給熱點信息 地圖服務器。熱點信息地圖服務器根據基站ID或者用戶的經緯度信息，查詢地理信息數據庫， 搜索附近的WLAN熱點信息，包括WLAN熱點的SSID、坐標位置等。然后進行運算生成WLAN 熱點信息地圖，將其URL鏈接通過HTTP 200 OK消息返回給終端；終端收到熱點的URL和 "WLAN熱點查詢”提示后，點擊鏈接，可顯示出WLAN熱點信息地圖HTTP頁面。附圖6所示即為所顯示的HTTP頁面，位于西藏中路沿線的兩個信號塔狀標志以 及人民公園內部的一個信號塔狀標志是WLAN熱點所在位置。當終端獲得周圍存在的WLAN 熱點信息后，可手動或自動開啟WLAN信號搜索出附近的WLAN AP的SSID，并選擇某個WLAN SSID接入WLAN網絡。通過以上提供的方法，終端可以自動獲取附近的WLAN熱點信息，并以友好易用的 方式呈現給用戶，同時可以提醒用戶經由WLAN上網能夠獲得更高的帶寬和更優惠的資費。 從而引導或吸引用戶在WLAN和CDMA無線雙覆蓋區域，接入WLAN熱點后進行上網、下載等 業務，有效降低對CDMA無線蜂窩網絡設備如基站等的負荷和流量壓力。以上所述僅是本發明的優選實施方式，應當指出，對于本技術領域的普通技術人 員，在不脫離本發明原理的前提下，還可以做出若干改進和潤飾，這些改進和潤飾也應視為 本發明的保護范圍。
權利要求
一種帶有無線局域網的網絡，包括核心網、接入網和終端，所述接入網包括無線蜂窩網和無線局域網，其特征在于，所述無線局域網中設置有多個無線熱點，所述網絡中進一步包括熱點信息地圖服務器，所述熱點信息地圖服務器連接至核心網。
2.根據權利要求1所述的帶有無線局域網的網絡，其特征在于，所述網絡中還包括定 位服務器，所述定位服務器與熱點信息地圖服務器以及核心網之間均建立連接。
3.一種處在權利要求1中所述網絡中的終端接入無線局域網的方法，其特征在于，包 括如下步驟終端經由無線蜂窩網接入至核心網；熱點信息地圖服務器根據終端的請求，通過無線蜂窩網將終端所在位置的無線局域網 熱點分布信息發送給終端；終端收到無線局域網熱點分布信息后，確定是否通過無線局域網熱點接入至無線局域 網絡。
4.根據權利要求3所述的接入無線局域網的方法，其特征在于，終端所在網絡中包括 定位服務器，所述熱點信息地圖服務器將無線局域網熱點分布信息發送給終端的步驟進一 步包括如下步驟終端將身份信息發送至熱點信息地圖服務器，并請求獲得當前位置的無線局域網熱點 分布信息；熱點信息地圖服務器向定位服務器請求終端的位置信息；定位服務器向核心網請求終端位置信息；核心網同無線蜂窩網交互獲得終端的位置信息；核心網將終端的位置信息返回至定位服務器；定位服務器將終端的位置信息返回至熱點信息地圖服務器；熱點信息地圖服務器根據終端的位置信息將終端所處位置附近的無線局域網熱點位 置信息推送給終端。
5.根據權利要求4所述的接入無線局域網的方法，其特征在于，所述身份信息是終端 的國際移動用戶識別號碼。
6.根據權利要求3所述的接入無線局域網的方法，其特征在于，終端所在網絡中包括 定位服務器，所述終端獲得熱點分布信息的步驟進一步包括如下步驟定位服務器主動獲得終端當前的位置信息，并發送至終端；終端將此位置信息發送給熱點信息地圖服務器，并請求獲得該位置附近的熱點位置信息；熱點信息地圖服務器根據終端的位置信息將終端所處位置附近的無線局域網熱點位 置信息推送給終端。
7.根據權利要求3所述的接入無線局域網的方法，其特征在于，所述終端獲得熱點分 布信息的步驟進一步包括如下步驟終端接收所在區域的無線蜂窩基站所廣播的系統信息；終端將此廣播信息中的位置區域信息發送給熱點信息地圖服務器，并請求獲得該位置 附近的熱點位置信息；熱點信息地圖服務器根據終端發來的位置區域信息確定終端所處的基站，進而確定終端的位置；熱點信息地圖服務器根據終端的位置信息將終端所處位置附近的無線局域網熱點位 置信息推送給終端。
8.根據權利要求7所述的接入無線局域網的方法，其特征在于，所述無線蜂窩基站所 廣播的信息中包含基站身份識別信息和基站所在位置區域信息的至少一種，所述位置區域 信息包括移動無線蜂窩網絡的位置區、路由區和小區識別碼中的一種或多種。
9.根據權利要求4、6或7任意一項所述的接入無線局域網的方法，其特征在于，所述熱 點信息地圖服務器推送無線局域網熱點位置給終端的步驟中，熱點信息服務器首先根據熱 點位置信息生成熱點地圖，再將所述地圖推送給終端。
10.根據權利要求4、6或7任意一項所述的接入無線局域網的方法，其特征在于，所述 熱點信息地圖服務器推送熱點位置給終端的步驟中，推送方式選自于以下兩種方式中的任 意一種(1)推送包含熱點地圖信息的HTTP或WAP頁面給終端；(2)推送包含熱點地圖信息的URL鏈接給終端，此URL是包含在短信息或者彩信中的。
全文摘要
本發明提供了一種帶有無線局域網的網絡，包括核心網、接入網和終端，所述接入網包括無線蜂窩網和無線局域網，所述無線局域網中設置有多個無線熱點，所述網絡中進一步包括熱點信息地圖服務器，所述熱點信息地圖服務器連接至核心網。本發明進一步提供了一種上述終端接入無線局域網的方法。本發明的優點在于，通過在網絡中設置熱點信息地圖服務器，終端可以獲取附近的無線局域網熱點信息，從而引導或吸引用戶在無線局域網和無線蜂窩網無線雙覆蓋區域，接入無線局域網熱點后進行上網、下載等業務，有效降低對無線蜂窩網絡設備如基站等的負荷和流量壓力。并且本發明進一步提供了終端接入無線局域網熱點的方法，為終端的接入提供了多種選擇方案。
文檔編號H04W76/02GK101951551SQ20101029823
公開日2011年1月19日 申請日期2010年9月30日 優先權日2010年9月30日
發明者郭磊 申請人:上海頂竹通訊技術有限公司