- FloEFD 工程师使用灵活,企业如何科学管控许可证资源?
随着制造企业对设计仿真一体化需求的增长,FloEFD作为SiemensDigitalIndustriesSoftware提供的CAD嵌入式计算流体动力学(CFD)工具,凭借与SolidWorks、Creo、NX、CATIA等主流CAD平台深度集成,广泛应用于电子散热、汽车、能源装备、流体机械等行业。FloEFD的优势在于其“工程师友好型”理念,使设计工程师可以直接在CAD环境中完成几何建模、网格生
- 时间组件库Day.js那些事
前端小白花
javascript开发语言ecmascript
一、简介1.什么是Day.jsDay.js是一个轻量级,易于使用的JavaScript日期库,提供了强大的日期和时间处理功能,与Moment.js的API设计相似,但具有更高的性能和更小的体积。Day.js官网https://day.js.org/docs/zh-CN/installation/installation2.优势a.特点轻量级:Dayjs的压缩后大小只有2KB左右,远小于Moment
- oldguo-MySQL 8.0 OCP 原题解析-Q23
MySQL_oldguo
Question23:Examinethecommand,whichexecutesuccessfully:shell>mysqld--initialize-insecureWhichstatementistrue?A)Theinstallationcreatesatemporarytestenvironmentwithdatainthe/tmpdirectory.B)Theinstallatio
- 删除我的电脑中“C盘瘦身专家”图标(流氓软件)
用联想电脑管家强制先卸载掉该软件,然后以管理员身份打开注册表(regedit)跳转到注册路径:计算机\HKEY_CURRENT_USER\Software\Microsoft\Windows\CurrentVersion\Explorer\MyComputer找到包含“C盘瘦身专家”得注册表项,然后直接删除,刷新桌面浏览器,就可以看到图标被删除了,国内做好软件不行,搞流氓软件倒是有一绝,正常从市场
- 机器视觉Halcon
介绍Halcon是由德国MVTecSoftwareGmbH公司开发的一款机器视觉软件,广泛应用于工业检测、医学成像、机器人引导、三维视觉等领域。它提供强大的图像处理和分析功能,支持快速开发高效的机器视觉应用。_____________________________________________________________________________Halcon主要特点1.强大的图像处理
- Groupdocs.Viewer for .NET 25.6
sdk大全
AsposeTotalfor.NETGroupdocs
Groupdocs.Viewerfor.NETisaverybasicyetpotenttoolthatallowsdeveloperstorenderdocumentsandenabletheirapplicationstoviewitintheirapplicationswithoutusinganyotherthird-partysoftware,suchasMicrosoftOfficeo
- 虚拟机VMware 安装centos、常规配置、共享文件等
一乐乐
安装centos7【通过vm来安装运行centos7】一、准备工作1、centos7的安装镜像下载链接:http://isoredirect.centos.org/centos/7/isos/x86_64/2、vmware-workstation的安装包下载链接:https://softwareupdate.vmware.com/cds/vmw-desktop/ws/本文选择的centos7版本是
- win配置gradle
彦楠
windowsjavajavagradlewindows
1,下载gradle-7.5.1下载链接:gradle-7.5.12,解压gradle-7.5.1,配置环境变量,新建GRADLE_HOME环境变量指向你的Gradle解压路径例如G:\Software\gradle-7.5.13,将%GRADLE_HOME%\bin添加到Path环境变量中4,验证gradle是否安装成功,打开cmd命令行输入gradle-vC:\Users\Administra
- Standard_Mutex 类详解
心瞳几何原语
学习OCCTOCCTQt
//Createdon:2005-04-10//Createdby:AndreyBETENEV//Copyright(c)2005-2014OPENCASCADESAS////ThisfileispartofOpenCASCADETechnologysoftwarelibrary.////Thislibraryisfreesoftware;youcanredistributeitand/ormod
- Elasticsearch-ik分析器
mykyle
elasticsearchjenkins大数据
CLI安装步骤1、停止Elasticsearch(如果正在运行):在安装插件之前,确保Elasticsearch没有在运行。命令:systemctlstopelasticsearch2、安装插件:使用elasticsearch-plugin命令安装IK插件。进入到你的es的安装目录:如/usr/local/software/elasticsearch[root@localhostelasticse
- 软考 系统架构设计师系列知识点之杂项集萃(115)
蓝天居士
系统架构设计师系统架构
接前一篇文章:软考系统架构设计师系列知识点之杂项集萃(114)第211题特定领域软件架构(DomainSpecificSoftwareArchitecture,DSSA)是一个在特定应用领域中,为一组应用提供组织结构参考的标准软件体系结构。参加DSSA的人员可以划分为多种角色,其中()的任务是控制整个领域分析过程,进行知识获取,将获取的知识组织到领域模型中;()的任务是根据领域模型和现有系统开发出
- 嵌入式项目开源网站有哪些?
嵌入式开发星球
单片机项目实战操作之优秀单片机linux运维服务器stm32
大家好,今天主要给大家分享一下,如何使用国内外的开源网站,找到对应的开源项目。第一:嘉立创开源广场"OSHWHUB"是开放源硬件(OrganicSoftwareHardware)社区平台,旨在推广开源硬件和共享设计。该网站向用户提供了一个集成的平台,用于共享硬件设计、技术交流和扩展开源硬件社区。用户可以在该网站上浏览、下载和分享开源硬件项目,并与其他开源硬件爱好者进行交流和合作。链接:立创开源硬件
- 世博轮腿机器人Software
wl_pro_robot.ino这个代码是一个完整的机器人控制程序,涉及到多个硬件模块的控制和通信,包括电机、传感器、舵机、PID控制器、滤波器、Web服务器等。下面简要解释一些关键部分:电机与驱动控制:代码定义了两个电机(motor1和motor2)及其驱动器(driver1和driver2),并通过FOC(Field-OrientedControl)技术来进行电机控制。PID控制器:通过PID
- conda 删除指定环境
张飞的技术博客
pythonconda
创建环境,并指定python版本condacreate--nameenvnamepython=3.10查看当前环境condainfo-e删除带环境名的环境condaremoveenv(环境名称)删除只有目录的环境condaenvremove-pD:\SoftWare\miniconda3\demoenv
- 如何编写假设和约束---SRS软件需求规格指南系列
reddishz
需求分析需求分析软件工程
文章内容涵盖如下的术语:软件需求规范(SoftwareRequirementsSpecification,SRS),假设(Assumptions),约束(Constraints),技术假设(TechnicalAssumptions),操作假设(OperationalAssumptions),商业假设(BusinessAssumptions),技术限制(TechnologicalConstraint
- Python 程序无法找到 Oracle 的 64 位客户端库 (libclntsh.so)
期待着2013
python
数据库错误:DPI-1047:Cannotlocatea64-bitOracleClientlibrary:"libclntsh.so:cannotopensharedobjectfile:Nosuchfileordirectory".Seehttps://oracle.github.io/odpi/doc/installation.html#linuxforhelp这个错误表明Python程序无
- windows show failed无法启动你的相机
有时我们在不知道什么情况下电脑便会变成这个样子,当我们以为是驱动问题的时候,或许我们可以使用下面的办法解决这个问题首先用驱动精灵或者驱动人生修复系统驱动,然后按照下面步骤操作方法:1.WIN键+R打开命令端,输入regedit运行2.进入计算机\HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\WindowsMediaFoundation\Platform\3.新建DWO
- 临时修复:Windows 10 Insiders 15042上的Logitech BRIO相机损坏
cunfuteng7334
httpjavawebgljsonwindows
IjustupdatedmyWindows10toInsidersFastBuild15042,andsuddenlymygloriousnewLogitechBRIO4kwebcamdoesn'twork!Well,it'sallbetasoftware,butitturnsouttheissueiswithsomethingintheLogitechINFfilesfortheirdriver
- conda安装geemap
Prophet.Z
geemapGEEcondapython深度学习
打个卡,开始学习使用geemap网址:http://geemap.org/installation/conda安装geemap:打开Anacondaprompt终端,输入:condainstallgeemap-cconda-forge吴秋生老师建议创建一个新的conda环境来安装geemap。安装以下命令设置condaenv并按照geemap和pygis,其中包括geemap的所有可选的安装包。c
- Google Chrome 谷歌浏览器全部版本集合
邓草
chrome前端谷歌浏览器
GoogleChrome谷歌浏览器全部版本集合CollectionofallsoftwareversionsofGoogleChrome.项目介绍本项目为GoogleChrome谷歌浏览器的全部版本集合,方便大家下载旧版本使用。因为Gitee项目限制仓库1G大小,所以许多谷歌浏览器版本无法上传。想下载全部的谷歌浏览器版本,请移步Github:https://github.com/dengcao/c
- LOCK指令前缀
Zeppelin421
在Intel®64andIA-32ArchitecturesSoftwareDeveloper'sManual中的章节LOCK-AssertLOCK$SignalPrefix中给出LOCK指令的详细解释LOCK是一个指令前缀,也就是说LOCK会使紧跟在其后面的指令变成原子指令(atomicinstruction)。LOCK指令前缀只能加在以下这些指令前面ADD,ADC,AND,BTC,BTR,BT
- 【Linux系列】rsync和mv
檀越@新空间
s5Linux学习linux服务器java
博客目录1.操作性质不同2.对源文件的影响3.使用场景4.示例对比使用`rsync-a`:使用`mv`:5.注意事项总结rsync-a/data/software/build0713/dist//usr/share/nginx/html/和mv是两种完全不同的操作,主要区别如下:1.操作性质不同rsync-a复制同步:将源目录(/data/software/build0713/dist/)的内容递
- 【软件测试】从软件测试到Bug评审:生命周期与管理技巧
卜及中
软件工程(测试)bug测试工具软件工程
文章目录一、软件测试的生命周期软件生命周期软件测试生命周期各阶段内容二、Bugbug的概念bug要素bug级别1.按严重程度(Severity)分类2.按优先级(Priority)分类示例冲突场景bug的生命周期三、测试时与开发人员意见不统一Bug是否描述清楚?站在用户角度重新思考问题Bug定级要有依据Bug评审一、软件测试的生命周期软件生命周期我们知道:软件生命周期(SoftwareDevelo
- How to install and setup PostgreSQL on Ubuntu?
1.InstallationStepsforPostgreSQLonUbuntu1.1UpdatethePackageListOpenaterminalandrunthefollowingcommandtoensureyourpackagelistisup-to-date:sudoaptupdate1.2InstallPostgreSQLUsethefollowingcommandtoinstal
- pip是如何卸载你安装的第三方库的
酷python
pythonpython
使用pipuninstall命令可以卸载掉你所安装的第三方库,所有与其相关的文件都将被pip整理出来展示并询问是否真的要删除,类似下面的提示pipuninstallnoxFoundexistinginstallation:nox2020.8.22Uninstallingnox-2020.8.22:Wouldremove:d:\python\lib\site-packages\nox-2020.8.
- MetaGPT源码剖析(一):MetaGPT框架下的多智能体协作项目——software_company.py
ATM006
开源Agent框架机器智能人工智能大模型源码剖析AgentMetaGPT
每一篇文章都短小精悍,不啰嗦。software_company.py这段代码是一个基于Typer构建的命令行工具,用于启动MetaGPT框架下的多智能体协作项目(比如生成软件项目、完成开发任务等)。它就像一个"项目启动器",允许用户通过命令行参数配置项目需求、资源投入等,进而调度不同角色的智能体(如产品经理、架构师、工程师等)协同工作。一、代码整体功能与定位从架构视角看,这段代码是MetaGPT框
- iOS 26 公测版定了,预计下周发布!
lzhdim
ioscocoamacosobjective-c
iOS26公测版定了——7月23日正式开放下载!这是彭博社记者MarkGurman等多方消息源确认的时间,苹果将同步推送iOS26、iPadOS26、macOS26等全家桶系统的公测版本,但VisionPro的visionOS26暂不开放。除iOS26外,同步发布的公测版系统还包括:iPadOS26、macOS26、watchOS26、tvOS26、HomePodSoftware26,AirPod
- [论文阅读] 人工智能 + 软件工程 | 单会话方法论:一种以人类为中心的人工智能辅助软件开发协议
张较瘦_
前沿技术论文阅读人工智能软件工程
单一对话法(SCM):AI辅助软件开发的“全局对话”新思路SingleConversationMethodology:AHuman-CenteredProtocolforAI-AssistedSoftwareDevelopmentarXiv:2507.12665SingleConversationMethodology:AHuman-CenteredProtocolforAI-AssistedSo
- 【no vue no bug】 npm : 无法加载文件 D:\software\nodeJS\node22\npm.ps1
源码方舟
BUGvue.jsbugnpm
【Bug问题】在vscode中打开项目目录运行npm相关的命令时报下面错误,但是ctrl+r打开控制台输入npm命令又是可以运行的。npm:无法加载文件D:\software\nodeJS\node22\npm.ps1,因为在此系统上禁止运行脚本。有关详细信息,请参阅https:/go.microsoft.com/fwlink/?LinkID=135170中的about_Execution_Pol
- 软件工程:软件开发之需求分析
云纳星辰怀自在
软件工程软件工程需求分析ASPICE功能安全软件需求分析原则软件需求分析属性需求开发策略模板
物有本末,事有终始。知所先后,则近道矣。对软件开发而言,软件需求乃重中之重。必先之事重千钧,不可或缺如日辰。汽车行业由于有方法论和各种标准约束,对软件开发有严苛的要求。ASPICE指导如何审核软件开发,虽然没有明确定义如何去开发,但是ASPICE的Guideline和Essential文件中给出很多参考。本文则详细阐述如何编写软件需求,同时介绍软件需求的必要属性。本文用SRS(SoftwareRe
- Dom
周华华
JavaScripthtml
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml&q
- 【Spark九十六】RDD API之combineByKey
bit1129
spark
1. combineByKey函数的运行机制
RDD提供了很多针对元素类型为(K,V)的API,这些API封装在PairRDDFunctions类中,通过Scala隐式转换使用。这些API实现上是借助于combineByKey实现的。combineByKey函数本身也是RDD开放给Spark开发人员使用的API之一
首先看一下combineByKey的方法说明:
- msyql设置密码报错:ERROR 1372 (HY000): 解决方法详解
daizj
mysql设置密码
MySql给用户设置权限同时指定访问密码时,会提示如下错误:
ERROR 1372 (HY000): Password hash should be a 41-digit hexadecimal number;
问题原因:你输入的密码是明文。不允许这么输入。
解决办法:用select password('你想输入的密码');查询出你的密码对应的字符串,
然后
- 路漫漫其修远兮 吾将上下而求索
周凡杨
学习 思索
王国维在他的《人间词话》中曾经概括了为学的三种境界古今之成大事业、大学问者,罔不经过三种之境界。“昨夜西风凋碧树。独上高楼,望尽天涯路。”此第一境界也。“衣带渐宽终不悔,为伊消得人憔悴。”此第二境界也。“众里寻他千百度,蓦然回首,那人却在灯火阑珊处。”此第三境界也。学习技术,这也是你必须经历的三种境界。第一层境界是说,学习的路是漫漫的,你必须做好充分的思想准备,如果半途而废还不如不要开始。这里,注
- Hadoop(二)对话单的操作
朱辉辉33
hadoop
Debug:
1、
A = LOAD '/user/hue/task.txt' USING PigStorage(' ')
AS (col1,col2,col3);
DUMP A;
//输出结果前几行示例:
(>ggsnPDPRecord(21),,)
(-->recordType(0),,)
(-->networkInitiation(1),,)
- web报表工具FineReport常用函数的用法总结(日期和时间函数)
老A不折腾
finereport报表工具web开发
web报表工具FineReport常用函数的用法总结(日期和时间函数)
说明:凡函数中以日期作为参数因子的,其中日期的形式都必须是yy/mm/dd。而且必须用英文环境下双引号(" ")引用。
DATE
DATE(year,month,day):返回一个表示某一特定日期的系列数。
Year:代表年,可为一到四位数。
Month:代表月份。
- c++ 宏定义中的##操作符
墙头上一根草
C++
#与##在宏定义中的--宏展开 #include <stdio.h> #define f(a,b) a##b #define g(a) #a #define h(a) g(a) int main() { &nbs
- 分析Spring源代码之,DI的实现
aijuans
springDI现源代码
(转)
分析Spring源代码之,DI的实现
2012/1/3 by tony
接着上次的讲,以下这个sample
[java]
view plain
copy
print
- for循环的进化
alxw4616
JavaScript
// for循环的进化
// 菜鸟
for (var i = 0; i < Things.length ; i++) {
// Things[i]
}
// 老鸟
for (var i = 0, len = Things.length; i < len; i++) {
// Things[i]
}
// 大师
for (var i = Things.le
- 网络编程Socket和ServerSocket简单的使用
百合不是茶
网络编程基础IP地址端口
网络编程;TCP/IP协议
网络:实现计算机之间的信息共享,数据资源的交换
协议:数据交换需要遵守的一种协议,按照约定的数据格式等写出去
端口:用于计算机之间的通信
每运行一个程序,系统会分配一个编号给该程序,作为和外界交换数据的唯一标识
0~65535
查看被使用的
- JDK1.5 生产消费者
bijian1013
javathread生产消费者java多线程
ArrayBlockingQueue:
一个由数组支持的有界阻塞队列。此队列按 FIFO(先进先出)原则对元素进行排序。队列的头部 是在队列中存在时间最长的元素。队列的尾部 是在队列中存在时间最短的元素。新元素插入到队列的尾部,队列检索操作则是从队列头部开始获得元素。
ArrayBlockingQueue的常用方法:
- JAVA版身份证获取性别、出生日期及年龄
bijian1013
java性别出生日期年龄
工作中需要根据身份证获取性别、出生日期及年龄,且要还要支持15位长度的身份证号码,网上搜索了一下,经过测试好像多少存在点问题,干脆自已写一个。
CertificateNo.java
package com.bijian.study;
import java.util.Calendar;
import
- 【Java范型六】范型与枚举
bit1129
java
首先,枚举类型的定义不能带有类型参数,所以,不能把枚举类型定义为范型枚举类,例如下面的枚举类定义是有编译错的
public enum EnumGenerics<T> { //编译错,提示枚举不能带有范型参数
OK, ERROR;
public <T> T get(T type) {
return null;
- 【Nginx五】Nginx常用日志格式含义
bit1129
nginx
1. log_format
1.1 log_format指令用于指定日志的格式,格式:
log_format name(格式名称) type(格式样式)
1.2 如下是一个常用的Nginx日志格式:
log_format main '[$time_local]|$request_time|$status|$body_bytes
- Lua 语言 15 分钟快速入门
ronin47
lua 基础
-
-
单行注释
-
-
[[
[多行注释]
-
-
]]
-
-
-
-
-
-
-
-
-
-
-
1.
变量 & 控制流
-
-
-
-
-
-
-
-
-
-
num
=
23
-
-
数字都是双精度
str
=
'aspythonstring'
- java-35.求一个矩阵中最大的二维矩阵 ( 元素和最大 )
bylijinnan
java
the idea is from:
http://blog.csdn.net/zhanxinhang/article/details/6731134
public class MaxSubMatrix {
/**see http://blog.csdn.net/zhanxinhang/article/details/6731134
* Q35
求一个矩阵中最大的二维
- mongoDB文档型数据库特点
开窍的石头
mongoDB文档型数据库特点
MongoDD: 文档型数据库存储的是Bson文档-->json的二进制
特点:内部是执行引擎是js解释器,把文档转成Bson结构,在查询时转换成js对象。
mongoDB传统型数据库对比
传统类型数据库:结构化数据,定好了表结构后每一个内容符合表结构的。也就是说每一行每一列的数据都是一样的
文档型数据库:不用定好数据结构,
- [毕业季节]欢迎广大毕业生加入JAVA程序员的行列
comsci
java
一年一度的毕业季来临了。。。。。。。。
正在投简历的学弟学妹们。。。如果觉得学校推荐的单位和公司不适合自己的兴趣和专业,可以考虑来我们软件行业,做一名职业程序员。。。
软件行业的开发工具中,对初学者最友好的就是JAVA语言了,网络上不仅仅有大量的
- PHP操作Excel – PHPExcel 基本用法详解
cuiyadll
PHPExcel
导出excel属性设置//Include classrequire_once('Classes/PHPExcel.php');require_once('Classes/PHPExcel/Writer/Excel2007.php');$objPHPExcel = new PHPExcel();//Set properties 设置文件属性$objPHPExcel->getProperties
- IBM Webshpere MQ Client User Issue (MCAUSER)
darrenzhu
IBMjmsuserMQMCAUSER
IBM MQ JMS Client去连接远端MQ Server的时候,需要提供User和Password吗?
答案是根据情况而定,取决于所定义的Channel里面的属性Message channel agent user identifier (MCAUSER)的设置。
http://stackoverflow.com/questions/20209429/how-mca-user-i
- 网线的接法
dcj3sjt126com
一、PC连HUB (直连线)A端:(标准568B):白橙,橙,白绿,蓝,白蓝,绿,白棕,棕。 B端:(标准568B):白橙,橙,白绿,蓝,白蓝,绿,白棕,棕。 二、PC连PC (交叉线)A端:(568A): 白绿,绿,白橙,蓝,白蓝,橙,白棕,棕; B端:(标准568B):白橙,橙,白绿,蓝,白蓝,绿,白棕,棕。 三、HUB连HUB&nb
- Vimium插件让键盘党像操作Vim一样操作Chrome
dcj3sjt126com
chromevim
什么是键盘党?
键盘党是指尽可能将所有电脑操作用键盘来完成,而不去动鼠标的人。鼠标应该说是新手们的最爱,很直观,指哪点哪,很听话!不过常常使用电脑的人,如果一直使用鼠标的话,手会发酸,因为操作鼠标的时候,手臂不是在一个自然的状态,臂肌会处于绷紧状态。而使用键盘则双手是放松状态,只有手指在动。而且尽量少的从鼠标移动到键盘来回操作,也省不少事。
在chrome里安装 vimium 插件
- MongoDB查询(2)——数组查询[六]
eksliang
mongodbMongoDB查询数组
MongoDB查询数组
转载请出自出处:http://eksliang.iteye.com/blog/2177292 一、概述
MongoDB查询数组与查询标量值是一样的,例如,有一个水果列表,如下所示:
> db.food.find()
{ "_id" : "001", "fruits" : [ "苹
- cordova读写文件(1)
gundumw100
JavaScriptCordova
使用cordova可以很方便的在手机sdcard中读写文件。
首先需要安装cordova插件:file
命令为:
cordova plugin add org.apache.cordova.file
然后就可以读写文件了,这里我先是写入一个文件,具体的JS代码为:
var datas=null;//datas need write
var directory=&
- HTML5 FormData 进行文件jquery ajax 上传 到又拍云
ileson
jqueryAjaxhtml5FormData
html5 新东西:FormData 可以提交二进制数据。
页面test.html
<!DOCTYPE>
<html>
<head>
<title> formdata file jquery ajax upload</title>
</head>
<body>
<
- swift appearanceWhenContainedIn:(version1.2 xcode6.4)
啸笑天
version
swift1.2中没有oc中对应的方法:
+ (instancetype)appearanceWhenContainedIn:(Class <UIAppearanceContainer>)ContainerClass, ... NS_REQUIRES_NIL_TERMINATION;
解决方法:
在swift项目中新建oc类如下:
#import &
- java实现SMTP邮件服务器
macroli
java编程
电子邮件传递可以由多种协议来实现。目前,在Internet 网上最流行的三种电子邮件协议是SMTP、POP3 和 IMAP,下面分别简单介绍。
◆ SMTP 协议
简单邮件传输协议(Simple Mail Transfer Protocol,SMTP)是一个运行在TCP/IP之上的协议,用它发送和接收电子邮件。SMTP 服务器在默认端口25上监听。SMTP客户使用一组简单的、基于文本的
- mongodb group by having where 查询sql
qiaolevip
每天进步一点点学习永无止境mongo纵观千象
SELECT cust_id,
SUM(price) as total
FROM orders
WHERE status = 'A'
GROUP BY cust_id
HAVING total > 250
db.orders.aggregate( [
{ $match: { status: 'A' } },
{
$group: {
- Struts2 Pojo(六)
Luob.
POJOstrust2
注意:附件中有完整案例
1.采用POJO对象的方法进行赋值和传值
2.web配置
<?xml version="1.0" encoding="UTF-8"?>
<web-app version="2.5"
xmlns="http://java.sun.com/xml/ns/javaee&q
- struts2步骤
wuai
struts
1、添加jar包
2、在web.xml中配置过滤器
<filter>
<filter-name>struts2</filter-name>
<filter-class>org.apache.st